This paper proposes a new coherence method called" multicast snoo**" that dynamically
adapts between broadcast snoo** and a directory protocol. Multicast snoo** is unique …

We develop a specification methodology that documents and specifies a cache coherence
protocol in eight tables: the states, events, actions, and transitions of the cache and memory …

Modern shared-memory multiprocessors use complex memory system implementations that
include a variety of non-trivial and interacting optimizations. More time is spent in verl $ ving …

Current superscalar processors commit instructions in program order by using a reorder
buffer (ROB). The ROB provides support for speculation, precise exceptions, and register …

One approach in verifying the correctness of a multiprocessor system is to show that its
execution results comply with the memory consistency model it is meant to implement. It has …

Cache coherence protocols of current shared-memory multiprocessors are difficult to verify.
Our previous work proposed an extension of Lamport's logical clocks for showing that …

This paper presents a framework for analyzing the performance of multithreaded programs
using a model called a constraint graph. We review previous constraint graph definitions for …

Multiprocessor Memory Model Verification Page 1 Multiprocessor Memory Model
Verification Paul Loewenstein, Shailender Chaudhry, Robert Cypher, Chaiyasit Manovit 21 …

In this paper we propose a methodology for verifying the sequential consistency of caching
algorithms. The scheme combines times-tam** and an auxiliary history table to construct a …

A computer system is useless unless it can interact with the outside world through
input/output (I/O) devices. II0 systems are complex, including aspects such as memory …