The power of processor consistency

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The power of processor consistency

Full text

Pdf (1.10 MB)

Source

ACM Symposium on Parallel Algorithms and Architectures archive
Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures table of contents

Velen, Germany

Pages: 251 - 260

Year of Publication: 1993

ISBN:0-89791-599-2

Authors

Mustaque Ahamad
Rida A. Bazzi
Ranjit John
Prince Kohli
Gil Neiger

Sponsors

SIGACT: ACM Special Interest Group on Algorithms and Computation Theory
SIGARCH: ACM Special Interest Group on Computer Architecture
European Comp Soc : European Computer Society

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 7, Downloads (12 Months): 48, Citation Count: 15

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/165231.165264 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	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
	3	M. Ahamad, P. W. Hutto, and R. John. Implementing and programming causal distributed shared memory. In Prx#c.eedings of the Eleventh International Conference on Distributed Computing, pages 274-281, May 1991.
	4	H. Attiya, August 1992. Personal communication.
	5	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]
	6	P. Bitar. MIMD synchronization and coherence. Technical Report 90/605, Department of Computer Science, University of California at Berkeley, November 1990.
	7	M. Dubois , C. Scheurich , F. Briggs, Memory access buffering in multiprocessors, Proceedings of the 13th annual international symposium on Computer architecture, p.434-442, June 02-05, 1986, Tokyo, Japan
	8	1%. Friedman, March 1993. Personal communication.
	9	K. Gharachorloo, S. V. Adve, A. Gupta, J. L. Hennessy, and M. D. Kill. Programming for different memory consistency models. Journal of Parallel and Distributed Systems, 15(4):399-407, August 1992.
	10	K. Gharachorloo, A. Gupta, and J. Henaessy. Revision to "Memory consistency and event ordering in scalable shared-memory multiprocessors." Unpublished manuscript, March 1993.
	11	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
	12	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]
	13	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]
	14	J. R. Goodman. Cache consistency and sequential consistency. Technical Report 61, IEEE Scalable Coherent Interface Working Group, March 1989.
	15	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]
	16	P. W. Hutto and M. Ahamad. Slow memory: Weakening consistency to enhance concurrency in distributed shared memories. In Proceedings of the Tenth International Conference on Distributed Computing Systems, May 1990. A complete version appears as Technical Report 89/39, School of Information and Computer Science, Georgia Institute of Technology.
	17	P. Kohli, G. Neiger, and M. Ahamad. A characterization of scalable shared memories. Technical Report 93/04, CoUege of Computing, Georgia Institute of Technoloffy, January 1993.
	18	Leslie Lamport, A new solution of Dijkstra's concurrent programming problem, Communications of the ACM, v.17 n.8, p.453-455, Aug. 1974 [doi>10.1145/361082.361093]
	19	L. Laznport. How to make a multiprocessor computer that correct executes multiprocess programs. IEEE Transactions on Computers, C-28(9):690--691, September 1979.
	20	L. Lamport. On interprocess communication; part I: Basic formalism. Distributed Computing, 1(2):77-85, 1986.
	21	R. J. Lipton and J. S. Sandberg. PRAM: A scalable shared memory. Technical Report 180-88, Department of Computer Science, Princeton University, September 1988.
	22	J. Misra, Axioms for memory access in asynchronous hardware systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.1, p.142-153, Jan. 1986 [doi>10.1145/5001.5007]
	23	G. L. Peterson. Myths about the mutual exclusion problem, information Processing ~etters, 12(3):115- 116, June 1981.

CITED BY 16

	William Pugh, Fixing the Java memory model, Proceedings of the ACM 1999 conference on Java Grande, p.89-98, June 12-14, 1999, San Francisco, California, United States
	Alex Gontmakher , Assaf Schuster, Java consistency: nonoperational characterizations for Java memory behavior, ACM Transactions on Computer Systems (TOCS), v.18 n.4, p.333-386, Nov. 2000
	Mihai Surdeanu , Dan Moldovan, Design and Performance Analysis of a Distributed Java Virtual Machine, IEEE Transactions on Parallel and Distributed Systems, v.13 n.6, p.611-627, June 2002
	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
	Jaeheung Yeo , Heon Y. Yeom , Taesoon Park, An asynchronous protocol for release consistent distributed shared memory systems, Proceedings of the 2000 ACM symposium on Applied computing, p.716-721, March 2000, Como, Italy
	Faith Fich , Eric Ruppert, Hundreds of impossibility results for distributed computing, Distributed Computing, v.16 n.2-3, p.121-163, September 2003
	Robert C. Steinke , Gary J. Nutt, A unified theory of shared memory consistency, Journal of the ACM (JACM), v.51 n.5, p.800-849, September 2004
	Braxton Thomason , Craig Chase, Partially ordered epochs for thread-level speculation, Proceedings of the 2nd conference on Computing frontiers, May 04-06, 2005, Ischia, Italy
	Pieter H. Hartel , Luc Moreau, Formalizing the safety of Java, the Java virtual machine, and Java card, ACM Computing Surveys (CSUR), v.33 n.4, p.517-558, December 2001
	Lisa Higham , LillAnne Jackson, Translating between itanium and sparc memory consistency models, Proceedings of the eighteenth annual ACM symposium on Parallelism in algorithms and architectures, July 30-August 02, 2006, Cambridge, Massachusetts, USA
	Lisa Higham , Lillanne Jackson , Jalal Kawash, Specifying memory consistency of write buffer multiprocessors, ACM Transactions on Computer Systems (TOCS), v.25 n.1, p.1-es, February 2007
	M. Rasit Eskicioglu, A comprehensive bibliography of distributed shared memory, ACM SIGOPS Operating Systems Review, v.30 n.1, p.71-96, Jan. 1996
	Lisa Higham , Jalal Kawash, Tight Bounds for Critical Sections in Processor Consistent Platforms, IEEE Transactions on Parallel and Distributed Systems, v.17 n.10, p.1072-1083, October 2006
	Lisa Higham , Jalal Kawash, Implementing sequentially consistent programs on processor consistent platforms, Journal of Parallel and Distributed Computing, v.68 n.4, p.488-500, April, 2008
	Susmit Sarkar , Peter Sewell , Francesco Zappa Nardelli , Scott Owens , Tom Ridge , Thomas Braibant , Magnus O. Myreen , Jade Alglave, The semantics of x86-CC multiprocessor machine code, Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, January 21-23, 2009, Savannah, GA, USA
	Vicent Cholvi , Ernesto Jiménez , Antonio Fernández Anta, Interconnection of distributed memory models, Journal of Parallel and Distributed Computing, v.69 n.3, p.295-306, March, 2009