Implementing hybrid consistency with high-level synchronization operations

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Implementing hybrid consistency with high-level synchronization operations

Full text

Pdf (1.19 MB)

Source

Annual ACM Symposium on Principles of Distributed Computing archive
Proceedings of the twelfth annual ACM symposium on Principles of distributed computing table of contents

Ithaca, New York, United States

Pages: 229 - 240

Year of Publication: 1993

ISBN:0-89791-613-1

Author

Roy Friedman

Sponsors

SIGOPS: ACM Special Interest Group on Operating Systems
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 8, Citation Count: 5

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/164051.164077 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Sarita V. Adve , Mark D. Hill, Weak ordering—a new definition, Proceedings of the 17th annual international symposium on Computer Architecture, p.2-14, May 28-31, 1990, Seattle, Washington, United States
	2	S. Adve and M. Hin, A Unified Formalization of Four Shared-Memory Models, Computer Sciences Technical Report #1051, University of Madison-Wisconsin, September 1991.
	3	Y. Afek , G. Brown , M. Merritt, A lazy cache algorithm, Proceedings of the first annual ACM symposium on Parallel algorithms and architectures, p.209-222, June 18-21, 1989, Santa Fe, New Mexico, United States [doi>10.1145/72935.72958]
	4	A. Agarwal et al. "The MIT Alewife Machine: A Large- Scale Distributed Memory Multiprocessor," In proceedings of Workshop on Scalable Shared Memory Multiprocessors. Kluwer Academic Publishers, 1991.
	5	Mustaque Ahamad , James E. Burns , Phillip W. Hutto , Gil Neiger, Causal Memory, Proceedings of the 5th International Workshop on Distributed Algorithms, p.9-30, October 07-09, 1991
	6	Y. Amir, D. Dolev, S. Kramer and D. Malki, "Total Ordering of Messages in Broadcast Domains," Technical Report CS92-9, Dept. of Computer Science, the Hebrew University of Jerusalem, 1992.
	7	Hagit Attiya, Implementing FIFO Queus and Stacks (Extended Abstract), Proceedings of the 5th International Workshop on Distributed Algorithms, p.80-94, October 07-09, 1991
	8	Hagit Attiya , Soma Chaudhuri , Roy Friedman , Jennifer L. Welch, Shared memory consistency conditions for non-sequential execution: definitions and programming strategies, Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures, p.241-250, June 30-July 02, 1993, Velen, Germany [doi>10.1145/165231.165263]
	9	Hagit Attiya , Roy Friedman, A correctness condition for high-performance multiprocessors (extended abstract), Proceedings of the twenty-fourth annual ACM symposium on Theory of computing, p.679-690, May 04-06, 1992, Victoria, British Columbia, Canada [doi>10.1145/129712.129778]
	10	Hagit Attiya , Jennifer L. Welch, Sequential consistency versus linearizability (extended abstract), Proceedings of the third annual ACM symposium on Parallel algorithms and architectures, p.304-315, July 21-24, 1991, Hilton Head, South Carolina, United States [doi>10.1145/113379.113407]
	11	Kenneth P. Birman , Thomas A. Joseph, Reliable communication in the presence of failures, ACM Transactions on Computer Systems (TOCS), v.5 n.1, p.47-76, Feb. 1987 [doi>10.1145/7351.7478]
	12	André Schiper , Kenneth Birman , Pat Stephenson, Lightweight causal and atomic group multicast, ACM Transactions on Computer Systems (TOCS), v.9 n.3, p.272-314, Aug. 1991 [doi>10.1145/128738.128742]
	13	R. Bisiani, A. Nowatzyk, and M. Ravisllankar, "Coherent. Shared Memory on a Distributed 5lemorv ~{achine," Proc. Int. Con{. on Parallel Proce~'s~,q. 1989. pp. 1-133-141.
	14	W. Brantley, K. McAiJliffe, and J. Weiss, "RP3 Processor-Memory Element," Proc. Inter,atio, Conf. on Parollel Processing, 1985, pp. 782-789.
	15	Jo-Mei Chang , N. F. Maxemchuk, Reliable broadcast protocols, ACM Transactions on Computer Systems (TOCS), v.2 n.3, p.251-273, Aug. 1984 [doi>10.1145/989.357400]
	16	Michel, Dubois , Christoph Scheurich , Fayé A. Briggs, Synchronization, Coherence, and Event Ordering in Multiprocessors, Computer, v.21 n.2, p.9-21, February 1988 [doi>10.1109/2.15]
	17	Kourosh Gharachorloo , Daniel Lenoski , James Laudon , Phillip Gibbons , Anoop Gupta , John Hennessy, Memory consistency and event ordering in scalable shared-memory multiprocessors, Proceedings of the 17th annual international symposium on Computer Architecture, p.15-26, May 28-31, 1990, Seattle, Washington, United States
	18	Phillip B. Gibbons , Michael Merritt, Specifying non-blocking shared memories (extended abstract), Proceedings of the fourth annual ACM symposium on Parallel algorithms and architectures, p.306-315, June 29-July 01, 1992, San Diego, California, United States [doi>10.1145/140901.141895]
	19	Phillip B. Gibbons , Michael Merritt , Kourosh Gharachorloo, Proving sequential consistency of high-performance shared memories (extended abstract), Proceedings of the third annual ACM symposium on Parallel algorithms and architectures, p.292-303, July 21-24, 1991, Hilton Head, South Carolina, United States [doi>10.1145/113379.113406]
	20	R. J. Goodman, "Cache Consistency an(t Sequential Consistency," Computer Science Technical Repmt #1006, University of Wisconsin, Madison. February 1991.
	21	Maurice P. Herlihy , Jeannette M. Wing, Linearizability: a correctness condition for concurrent objects, ACM Transactions on Programming Languages and Systems (TOPLAS), v.12 n.3, p.463-492, July 1990 [doi>10.1145/78969.78972]
	22	P. Hutto and M. Ahamad, Slow Memory: lV~aken- ~ng Consistencyto Enhance Concurrencq ~n D~tr~buted Shored Memories, TR GIT-ICS-89/39, Georgia. Inst. of Tech., October 1989.
	23	L. Lamport, "How to Ixlake a Multiprocessor Computer that Correctly Executes Multiprocess Programs," IEEE Trans. on Computers, Vol. C-28. no. 9. pp. 690-691.
	24	R. Lipton and J. Sandberg, PRAM: A Scalable Shared Memory, Technical Report CS-TR-180-88, Princeton University, September 1988.
	25	Marios Mavronicolas , Dan Roth, Efficient, Strongly Consistent Implementations of Shared Memory (Extended Abstract), Proceedings of the 6th International Workshop on Distributed Algorithms, p.346-361, November 02-04, 1992

CITED BY 5

	John Howard , Shmuel Katz, Reconciliations, Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.14-21, August 14-17, 1994, Los Angeles, California, United States
	Hagit Attiya , Jennifer L. Welch, Sequential consistency versus linearizability, ACM Transactions on Computer Systems (TOCS), v.12 n.2, p.91-122, May 1994
	DeQing Chen , Chunqiang Tang , Brandon Sanders , Sandhya Dwarkadas , Michael L. Scott, Exploiting high-level coherence information to optimize distributed shared state, ACM SIGPLAN Notices, v.38 n.10, October 2003
	Martha J. Kosa, Making operations of concurrent data types fast, Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.32-41, August 14-17, 1994, Los Angeles, California, United States
	Roy Friedman, Implementing hybrid consistency with high-level synchronization operations, Distributed Computing, v.9 n.3, p.119-129, December 1995