Sequential consistency and the lazy caching algorithm

被引：10
|
作者：
Gerth, R [1 ]
机构：
[1] Intel Corp, Microproc Prod Grp, Strateg CAD Labs, Hillsboro, OR 97124 USA
来源：
DISTRIBUTED COMPUTING | 1999年 / 12卷 / 2-3期
关键词：
sequential consistency; weak memory models; cache coherency; parallel program verification;
D O I：
10.1007/s004460050057
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
I introduce and discuss sequential consistency, a relaxed memory model, and define what it means for a protocol to implement sequential consistency. Then, I introduce the lazy caching protocol of Afek, Brown and Merrit [ABM93] and formalize it as a labeled transition system.
引用
收藏
页码：57 / 59
页数：3
相关论文
共 50 条
  • [1] The compositional approach to sequential consistency and lazy caching
    Janssen, W
    Poel, M
    Zwiers, J
    DISTRIBUTED COMPUTING, 1999, 12 (2-3) : 105 - 127
  • [2] Sequential consistency as lazy linearizability
    Raynal, M
    EURASIA-ICT 2002: INFORMATION AND COMMUNICATION TECHNOLOGY, PROCEEDINGS, 2002, 2510 : 866 - 873
  • [3] Refinement verification of the lazy caching algorithm
    Hesselink, Wim H.
    ACTA INFORMATICA, 2006, 43 (03) : 195 - 222
  • [4] Refinement verification of the lazy caching algorithm
    Wim H. Hesselink
    Acta Informatica, 2006, 43 : 195 - 222
  • [5] Applying sequential consistency to web caching
    Torres-Rojas, FJ
    Meneses, E
    PDPTA '05: Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications, Vols 1-3, 2005, : 803 - 809
  • [6] LAZY CACHING
    AFEK, Y
    BROWN, G
    MERRITT, M
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1993, 15 (01): : 182 - 205
  • [7] Lazy Caching: A Novel Proxy Caching Algorithm for Peer-to-Peer Live Streaming
    Zhai, Haibin
    Wong, Albert K.
    Lu, Li
    Jiang, Hai
    Li, Jun
    Li, Zhongcheng
    2012 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), 2012, : 2016 - 2020
  • [8] Lazy caching in TLA
    Ladkin, P
    Lamport, L
    Olivier, B
    Roegel, D
    DISTRIBUTED COMPUTING, 1999, 12 (2-3) : 151 - 174
  • [9] Lazy arc consistency
    Schiex, T
    Régin, JC
    Gaspin, C
    Verfaillie, G
    PROCEEDINGS OF THE THIRTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE, VOLS 1 AND 2, 1996, : 216 - 221
  • [10] Lazy Release Consistency for GPUs
    Alsop, Johnathan
    Orr, Marc S.
    Beckmann, Bradford M.
    Wood, David A.
    2016 49TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE (MICRO), 2016,
12345