We used the specification language TLA+ to analyze the correctness of two cache-coherence protocols for shared-memory multiprocessors based on two generations (EV6 and EV7) of the Alpha processor. A memory model defines the relationship between the values written by one processor and the values read by another, and a cache-coherence protocol manipulates the caches to preserve this relationship....

The quantum repeater protocol is a promising approach for implementing long-distance communication and large-scale networks. A key idea of the to use long-lived memories achieve an efficient entanglement connection between different segments, with polynomial scaling. Here, we report experiment that realizes two segments via on-demand swapping through atomic storage times tens milliseconds. With...

Asynchronous, cache coherence, shared-memory multiprocessor, SMP We propose and evaluate a cache-coherent symmetric multiprocessor system (SMP) based on asynchronous caches. In a system with asynchronous caches, processors and memory controllers may observe the same coherence request at different points in time. All protocol transactions are unidirectional and processors do not report snoop res...

We define a protocol for on-chip communication that supports dynamic interconnect networks with global memory management based on the notion of distributed shared memory with a uniform address space. The protocol is implemented by a memory manager. It is beneficial to separate the steady-state processing (data communication with static interconnect) from changing from one steady state (or user ...

As microprocessors become faster and demand more bandwidth the already limited scalability of a shared-bus decreases even further. Cache only memory architecture (COMA) for distributed shared memory multiprocessors has a potential to effectively decrease the gap between high performance microprocessors and bus. The concept of COMA is organizing traditional main memory as a large cache. COMA all...

Detection of awareness in patients with consciousness disorders is a challenge that can be facilitated by functional neuroimaging. We elaborated a functional magnetic resonance imaging (fMRI) protocol to detect covert activity in altered states of consciousness. We hypothesized that passive listening to narratives with graduated emotional charge triggers graduated cerebral activations. The fMRI...

increased level of stress has negative effects on cognitive functions. thus, it is necessary to identify appropriate strategies to prevent cognitive and motor performance decline. the aim of this research was to study the effect of immobilization stress on learning and memory and the protective role of physical activity in them. from male albino-wistar rats of pastor institute, 32 rats were ran...

Plurality consensus considers a network of n nodes, each having one of k opinions. Nodes execute a (randomized) distributed protocol with the goal that all nodes adopt the plurality (the opinion initially supported by the most nodes). Communication is realized via the Gossip (or random phone call) model. A major open question has been whether there is a protocol for the complete graph that conv...

Software-implementations of shared memory are still far behind the performance of hardware-based shared memory implementations (HW-DSM) and are not viable options for most fine-grain shared memory applications. The major source for their inefficiency comes from the cost of interrupt-based asynchronous protocol processing, not from the actual network latency. As the raw hardware latency of inter...

The Chip Multiprocessor (CMP) architecture offers dramatically faster retrieval of shared data which is cached on-chip rather than in an off-chip memory. Remote cache requests are handled through a cache coherence protocol. In order to obtain the best possible performance with the CMP architecture, the cache coherence protocol must be optimized to reduce time lost during remote cache and offchi...