{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T13:40:02Z","timestamp":1736084402187,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":27,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540552367"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022435","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:03:27Z","timestamp":1131861807000},"page":"9-30","source":"Crossref","is-referenced-by-count":4,"title":["Causal memory"],"prefix":"10.1007","author":[{"given":"Mustaque","family":"Ahamad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James E.","family":"Burns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phillip W.","family":"Hutto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gil","family":"Neiger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Sarita V. Adve and Mark D. Hill. Weak ordering \u2014 a new definition. In Proceedings of the 17th Annual International Symposium on Computer Architecture, pages 2\u20134, 1990.","key":"2_CR1","DOI":"10.1145\/325164.325100"},{"doi-asserted-by":"crossref","unstructured":"Yehuda Afek, Geoffrey Brown, and Michael Merritt. A lazy cache algorithm. In Proceedings of the 1989 ACM Symposium on Parallel Algorithms and Architectures, pages 209\u201323, June 1989.","key":"2_CR2","DOI":"10.1145\/72935.72958"},{"doi-asserted-by":"crossref","unstructured":"Mustaque Ahamad, Phillip W. Hutto, and Ranjit John. Implementing and programming causal distributed shared memory. In 11th International Conference on Dist. Comput., May 1991.","key":"2_CR3","DOI":"10.1109\/ICDCS.1991.148677"},{"doi-asserted-by":"crossref","unstructured":"Henri E. Bal and Andrew S. Tanenbaum. Distributed programming with shared data. In Proceedings of the IEEE 1988 International Conference on Computer Languages, pages 82\u20131, October 1988.","key":"2_CR4","DOI":"10.1109\/ICCL.1988.13046"},{"doi-asserted-by":"crossref","unstructured":"J. K. Bennett, J. B. Carter, and W. Zwaenepoel. Adaptive software cache management for distributed shared memory architectures. In Proceedings of the 17th Annual International Symposium on Computer Architecture, May 1990.","key":"2_CR5","DOI":"10.1145\/325164.325124"},{"doi-asserted-by":"crossref","unstructured":"J. K. Bennett, J. B. Carter, and W. Zwaenepoel. Munin: Distributed shared memory based on type-specific memory coherence. In Proceedings of the 2nd ACM Symposium on Principles and Practice of Parallel Programming, pages 168\u2013177, March 1990.","key":"2_CR6","DOI":"10.1145\/99163.99182"},{"unstructured":"Kenneth Birman, Andre Shiper, and Pat Stephenson. Lightweight causal and atomic group multicast. Technical Report 91-1192, Department of Computer Science, Cornell University, February 1991. To appear in ACM Transactions on Computer Systems.","key":"2_CR7"},{"key":"2_CR8","first-page":"133","volume":"I","author":"R. Bisiani","year":"1989","unstructured":"Roberto Bisiani, Andreas Nowatzyk, and Mosur Ravishankar. Coherent shared memory on a distributed memory machine. In Proceedings of the 1989 International Conference on Parallel Processing, volume I, pages 133\u2013141, 1989.","journal-title":"Proceedings of the 1989 International Conference on Parallel Processing"},{"key":"2_CR9","first-page":"258","volume":"II","author":"P. M. Clancey","year":"1990","unstructured":"Patrick M. Clancey and Joan M. Francioni. Distribution of pages in distributed shared memory. In Proceedings of the 1990 International Conference on Parallel Processing, volume II, pages 258\u2013265, August 1990.","journal-title":"Proceedings of the 1990 International Conference on Parallel Processing"},{"doi-asserted-by":"crossref","unstructured":"Danny Dolev and Nir Shavit. Bounded concurrent time-stamp systems are constructible. In Proceedings of the Twenty-First ACM Symposium on Theory of Computing, pages 454\u201366, May 1989.","key":"2_CR10","DOI":"10.21236\/ADA213853"},{"issue":"2","key":"2_CR11","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/2.15","volume":"21","author":"M. Dubois","year":"1988","unstructured":"Michel Dubois, Christoph Scheurich, and Faye Briggs. Synchronization, coherence, and event ordering in multiprocessors. IEEE Computer, 21(2): 9\u201322, February 1988.","journal-title":"IEEE Computer"},{"key":"2_CR12","volume-title":"Proceedings of the Eleventh Australian Computer Science Conference","author":"C. Fidge","year":"1988","unstructured":"Colin Fidge. Timestamps in message-passing systems that preserve the partial ordering. In Proceedings of the Eleventh Australian Computer Science Conference, University of Queensland, Australia, 1988."},{"doi-asserted-by":"crossref","unstructured":"Brett D. Fleisch and Gerald J. Popek. Mirage: A coherent distributed shared memory design. In Proceedings of the Twelfth ACM Symposium on Operating Systems Principles, pages 211\u2013224, December 1989.","key":"2_CR13","DOI":"10.1145\/74850.74871"},{"doi-asserted-by":"crossref","unstructured":"Kourosh Gharachorloo, Daniel Lenoski, James Laudon, Phillip Gibbons, Anoop Gupta, and John Hennessy. Memory consistency and event ordering in scalable shared-memory multiprocessors. In Proceedings of the 17th Annual International Symposium on Computer Architecture, pages 15\u201326, 1990.","key":"2_CR14","DOI":"10.1145\/325096.325102"},{"issue":"3","key":"2_CR15","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"M. P. Herlihy","year":"1990","unstructured":"Maurice P. Herlihy and Jeannette M. Wing. Linearizability: A correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3):463\u2013492, July 1990.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"doi-asserted-by":"crossref","unstructured":"Phillip W. Hutto and Mustaque Ahamad. Slow memory: Weakening consistency to enhance concurrency in distributed shared memories. In Proceedings of the 10th International Conference on Distributed Computing Systems, pages 302\u2013311, 1990.","key":"2_CR16","DOI":"10.1109\/ICDCS.1990.89297"},{"doi-asserted-by":"crossref","unstructured":"R. E. Kessler and M. Livny. An analysis of distributed shared memory algorithms. In Proceedings of the 9th International Conference on Distributed Computing, pages 498\u2013505, June 1989.","key":"2_CR17","DOI":"10.1109\/ICDCS.1989.37982"},{"issue":"7","key":"2_CR18","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Leslie Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558\u2013565, July 1978.","journal-title":"Communications of the ACM"},{"issue":"9","key":"2_CR19","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1109\/TC.1979.1675439","volume":"C-28","author":"L. Lamport","year":"1979","unstructured":"Leslie Lamport. How to make a multiprocessor computer that correct executes multiprocess programs. IEEE Transactions on Computers, C-28(9):690\u2013691, September 1979.","journal-title":"IEEE Transactions on Computers"},{"issue":"2","key":"2_CR20","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF01786227","volume":"1","author":"L. Lamport","year":"1986","unstructured":"Leslie Lamport. On interprocess communication; part I: Basic formalism. Distributed Computing, 1(2):77\u201385, 1986.","journal-title":"Distributed Computing"},{"issue":"2","key":"2_CR21","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/BF01786228","volume":"1","author":"L. Lamport","year":"1986","unstructured":"Leslie Lamport. On interprocess communication; part II: Algorithms. Distributed Computing, 1(2):86\u2013101, 1986.","journal-title":"Distributed Computing"},{"issue":"4","key":"2_CR22","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1145\/75104.75105","volume":"7","author":"K. Li","year":"1989","unstructured":"Kai Li and Paul Hudak. Memory coherence in shared virtual memory systems. ACM Transactions on Computer Systems, 7(4):321\u2013359, November 1989.","journal-title":"ACM Transactions on Computer Systems"},{"unstructured":"Richard J. Lipton and Jonathan S. Sandberg. PRAM: A scalable shared memory. Technical Report 180-88, Princeton University, Department of Computer Science, September 1988.","key":"2_CR23"},{"unstructured":"Richard J. Lipton and D. N. Serpanos. Uniform-cost communication in scalable multiprocessors. In Proceedings of the 1990 International Conference on Parallel Processing, pages I429\u2013I432, August 1990.","key":"2_CR24"},{"unstructured":"Friedemann Mattern. Time and global states of distributed systems. In Michel Cosnard, Patrice Quinton, Yves Robert, and Michel Raynal, editors, Proceedings of the International Workshop on Parallel and Distributed Algorithms. North-Holland, October 1988.","key":"2_CR25"},{"issue":"1","key":"2_CR26","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1145\/5001.5007","volume":"8","author":"J. Misra","year":"1986","unstructured":"J. Misra. Axioms for memory access in asynchronous hardware systems. ACM Transactions on Programming Languages and Systems, 8(1):142\u2013153, January 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"unstructured":"Umakishore Ramachandran, Mustaque Ahamad, and M. Yousef Khalidi. Coherence of distributed shared memory: Unifying synchronization and data transfer. In Proceedings of the 18th International Conference on Parallel Processing, pages 160\u2013169, August 1989.","key":"2_CR27"}],"container-title":["Lecture Notes in Computer Science","Distributed Algorithms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022435.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T12:59:50Z","timestamp":1736081990000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022435"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540552367"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/bfb0022435","relation":{},"subject":[]}}