Sequential consistency and the lazy caching algorithm

Distributed Computing

Volumn 12, Issue 2-3, 1999, Pages 57-59

  Gerth, Rob ^a  

^a INTEL CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BUFFER STORAGE; COMPUTER ARCHITECTURE; DATA RECORDING; MATHEMATICAL MODELS; SEQUENTIAL SWITCHING;

LAZY CACHING ALGORITHMS; SEQUENTIAL CONSISTENCY;

PARALLEL PROCESSING SYSTEMS;

EID: 0033341947     PISSN: 01782770     EISSN: None     Source Type: Journal    
DOI: 10.1007/s004460050057     Document Type: Article

References (6)

1. Mosberger D: Memory consistency models. ACM SIGOPS Operating Systems Review 27(1):18-27 (1993)
2. Afek Y, Brown G, Merritt M: Lazy Caching. Transactions on Programming Languages and Systems (TOPLAS) 15(1):182-206 (1993)
3. Burkhardt H, Frank S, Knobe B, Rothnie J: Overview of the KSR1 Computer System. Technical Report KSR-TR-9202001, Kendall Square Research, Boston, 1992
4. Rob Gerth: Introduction to sequential consistency and the lazy caching algorithm. In: Deliverable WP3 of ESPRIT BRA REACT (project 6021), June 1994
5. Lamport L: How to make a multiprocessor that correctly executes multiprocess programs. IEEE Transactions on Computers C-28:690-691 (1979)
6. [LLG+] Lenoski D, Laudon J, Gharachorloo K, Weber W-D, Gupta A, Hennessy J, Horowitz M, Lam MS: The Stanford Dash multiprocessor. IEEE Computer pp 63-79, 1992