Basic Techniques for the Efficient Coordination of Very Large Numbers of Cooperating Sequential Processors

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Basic Techniques for the Efficient Coordination of Very Large Numbers of Cooperating Sequential Processors

Full text

Pdf (1.50 MB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 5 , Issue 2 (April 1983) table of contents

Pages: 164 - 189

Year of Publication: 1983

ISSN:0164-0925

Authors

Allan Gottlieb	Department of Computer Science, Courant Institute of Mathematical Sciences, New York University, 251 Mercer Street, New York, NY
Boris D. Lubachevsky	Department of Computer Science, Courant Institute of Mathematical Sciences, New York University, 251 Mercer Street, New York, NY
Larry Rudolph	Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 13, Downloads (12 Months): 57, Citation Count: 84

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/69624.357206 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	BENES, V.E. Mathematical Theory of Connecting Networks and Telephone Traffic. Academic Press, New York, 1965.
	2	BURNS, J.E., FISCHER, M.J., JACKSON, P., LYNCH, N.A., AND PETERSON, G.L. Shared data requirements for implementations of mutual exclusion using a test-and-set primitive. In Proceedings, 1978 International Conference on Parallel Processing, Bellaire, Mich., 1978, pp. 79-87.
	3	BURROUGHS CORP. Numerical aerodynamic simulation facility feasibility study. Rep. NAS2- 9897, Mr. 1979.
	4	CLOS, C. A study of nonblocking switching networks. Bell $yst. Tech. J. 32 (1953), 406-424.
	5	P. J. Courtois , F. Heymans , D. L. Parnas, Concurrent control with “readers” and “writers”, Communications of the ACM, v.14 n.10, p.667-668, Oct. 1971 [doi>10.1145/362759.362813]
	6	DEO, N., PANG, C.Y., AND LORD, R.E. Two parallel algorithms for shortest path problems. In Proceedings, 1980 International Conference on Parallel Processing, Bells/re, Mich., 1980, pp. 244-253.
	7	Edsger W. Dijkstra, Self-stabilizing systems in spite of distributed control, Communications of the ACM, v.17 n.11, p.643-644, Nov. 1974 [doi>10.1145/361179.361202]
	8	DIJKSTRA, E.W. Hierarchical orderings of sequential processes. Acta Inf. 1, 2 (0ct. 1971), 115-138.
	9	E. W. Dijkstra, Solution of a problem in concurrent programming control, Communications of the ACM, v.8 n.9, p.569, Sept. 1965 [doi>10.1145/365559.365617]
	10	DOLEV, D. A Comparative Study of Synchronization by Parallel Control Systems. Ph.D. dissertation, Dep. of Computer Science, Weizmann Inst. of Science, Rehovot, Israel, 1979.
	11	DRAUGHON, E., GRISHMAN, R, SCHWARTZ, J., AND STEIN, A. Programming considerations for parallel computers. Rep. IMM 362, Courant Inst. of Mathematical Sciences, New York Univ., New York, Nov. 1967.
	12	Murray A. Eisenberg , Michael R. McGuire, Further comments on Dijkstra's concurrent programming control problem, Communications of the ACM, v.15 n.11, p.999, Nov. 1972 [doi>10.1145/355606.361895]
	13	ELLIS, C.S. Concurrent search and insertion in AVL trees. IEEE Trans. Comput. C-29, 9 (Sept. 1980), 811-817.
	14	GOTTLIEB, A. Washcloth--The logical successor to Soapsuds. Ultracomputer note 12, Courant Inst. of Mathemtical Sciences, New York Univ., New York, 1980.
	15	GOTTLIEB, A., GRISHMAN, R., KaUSKAL, C.P., MCAULIFFE, K.P., RUDOLPH, L., AND SNIR, M. The NYU ultracomputer--Designing an MIMD shared memory parallel machine. To appear in IEEE Trans. Comput, C-32, 2 (Feb. 1983).
	16	GOTTLXEB, A., AND KRUSKAL, C. A data motion algorithm. Ultracomputer note 7, Courant Inst. of Mathematical Sciences, New York Univ,, New York, 1980.
	17	HENDERSON, P.B., AND ZALCSTEIN, Y. Characterization of the synchronization languages for PVsystems. In Proceedings, 1978 International Conference on Parallel Processing, Bellaire, Mich., 1978.
	18	HOLOBER, G., AND SNYDER, L. Scheduling parallel processes without a common scheduler. In Proceedings, 1979 International Conference on Parallel Processing, Bellaire, Mich., 1979, pp. 186-195.
	19	Howard P. Katseff, A new solution to the critical section problem, Proceedings of the tenth annual ACM symposium on Theory of computing, p.86-88, May 01-03, 1978, San Diego, California, United States [doi>10.1145/800133.804335]
	20	KLAPPHOLZ, D. Private communication, 1981.
	21	KNU?H, D.E. The Art~of Computer Programming, voL 3: Sorting and Searching. Addison- Wesley, Reading, Mass., 1973, p. 153.
	22	Donald E. Knuth, Additional comments on a problem in concurrent programming control, Communications of the ACM, v.9 n.5, p.321-322, May 1966 [doi>10.1145/355592.365595]
	23	KRUSKAL, C.P., AND SNm, M. Some results on multistage interconnection networks for multiprocessors. Ultracomputer note 41, Courant Inst. of Mathematical Sciences, New York Univ., New York, 1982.
	24	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]
	25	LAWXU~., D.H. Access and alignment of data in an array processor, iEEE Trans. Comput. C-24, 12 (Dec. 1975), 1145-1155.
	26	R. J. Lipton, Limitations of synchronization primitives with conditional branching and global variables, Proceedings of the sixth annual ACM symposium on Theory of computing, p.230-241, April 30-May 02, 1974, Seattle, Washington, United States [doi>10.1145/800119.803900]
	27	LrPTON, R.J., SNYO~.R, L., AND ZALCSTEIN, Y. Evaluation criteria for process synchronization. In Proceedings, IEEE Sagamore Conference on Parallel Processing, Silver Springs, Md., 1975, pp. 245--250.
	28	Marshall C. Pease, An Adaptation of the Fast Fourier Transform for Parallel Processing, Journal of the ACM (JACM), v.15 n.2, p.252-264, April 1968 [doi>10.1145/321450.321457]
	29	Marshall C. Pease, Matrix Inversion Using Parallel Processing, Journal of the ACM (JACM), v.14 n.4, p.757-764, Oct. 1967 [doi>10.1145/321420.321434]
	30	Gary L. Peterson , Michael J. Fischer, Economical solutions for the critical section problem in a distributed system (Extended Abstract), Proceedings of the ninth annual ACM symposium on Theory of computing, p.91-97, May 04-04, 1977, Boulder, Colorado, United States [doi>10.1145/800105.803398]
	31	RIVEST, R., ANO PRATT, V.R. The mutual exclusion problem for unreliable processors: Preliminary report. In Proceedings of the 17th Annual Symposium on Foundations of Computer Science, 1976, pp. 1-8.
	32	Lawrence S. Rudolph, Software structures for ultraparallel computing, 1982
	33	Jacob T. Schwartz, Ultracomputers, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.4, p.484-521, Oct. 1980 [doi>10.1145/357114.357116]
	34	SCHWARTZ, J.T. The Burroughs FMP machine. Ultracomputer note 5, Courant Inst. of Mathematical Sciences, New York Univ., New York, 1980.
	35	SXP.(~EL, H.J. Single instruction-multiple data strear~ machine interconnection design. In Proceedings, 1976 International Conference on Parallel Processing, Bellaire, Mich., 1976, pp. 272-280.
	36	STONE, H.S. Parallel processing with the perfect shuffle, iEEE Trans. Comput. C-20, 2 (Feb. 1971), 153-161.
	37	SULLIVAN, H., BASHKOW, T., AND I4~LAPPHOLZ, D. A large scale homogeneous, fully distributed parallel machine. Comput. Archit News 5, 7 (Mar. 1977), 105-125.
	38	VALL~NT, L.G. Experiments with a parallel communications scheme. Presented at 18th Allerton Conference on Communication, Control, and Computing, 1980.
	39	VANTILBORGH, H., AND VANLAMSWEERDE, A. On an extension of Dijkstra's semaphore primifives. Inf. Process. Lett. I (1972), 181-186.
	40	WU, C.-L., AND FENG, T.-Y. On a class of multistage interconnection networks, iEEE Trans. Comput. C-29, 8 (Aug. 1980), 694-702.

CITED BY 84

	Gurindar S. Sohi , James E. Smith , James R. Goodman, Restricted Fetch and Φ operations for parallel processing, Proceedings of the 3rd international conference on Supercomputing, p.410-416, June 05-09, 1989, Crete, Greece
	Cynthia Dwork , Maurice Herlihy , Orli Waarts, Contention in shared memory algorithms, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing, p.174-183, May 16-18, 1993, San Diego, California, United States
	Nir Shavit , Asaph Zemach, Combining funnels: a new twist on an old tale…, Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, p.61-70, June 28-July 02, 1998, Puerto Vallarta, Mexico
	Suresh Jagannathan , Stephen Weeks, Analyzing stores and references in a parallel symbolic language, ACM SIGPLAN Lisp Pointers, v.VII n.3, p.294-305, July-Sept. 1994
	Yehuda Afek , Eytan Weisberger , Hanan Weisman, A completeness theorem for a class of synchronization objects, Proceedings of the twelfth annual ACM symposium on Principles of distributed computing, p.159-170, August 15-18, 1993, Ithaca, New York, United States
	J. Place, FCFS: a novel scheduling policy for tightly-coupled parallel computer systems, Proceedings of the 17th conference on ACM Annual Computer Science Conference, p.188-194, February 21-23, 1989, Louisville, Kentucky
	C. D. McCrosky , J. J. Glasgow , M. A. Jenkins, Nial: A candidate language for fifth generation computer systems, Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge, p.157-166, January 1984
	Perry Cheng , Guy E. Blelloch, A parallel, real-time garbage collector, ACM SIGPLAN Notices, v.36 n.5, p.125-136, May 2001
	Guy E. Blelloch , John Greiner, A provable time and space efficient implementation of NESL, ACM SIGPLAN Notices, v.31 n.6, p.213-225, June 15, 1996
	Maurice Herlihy , Beng-Hong Lim , Nir Shavit, Low contention load balancing on large-scale multiprocessors, Proceedings of the fourth annual ACM symposium on Parallel algorithms and architectures, p.219-227, June 29-July 01, 1992, San Diego, California, United States
	Nir Shavit , Asaph Zemach, Diffracting trees, ACM Transactions on Computer Systems (TOCS), v.14 n.4, p.385-428, Nov. 1996
	Albert G. Greenberg , Boris D. Lubachevsky , Andrew M. Odlyzko, Simple, efficient, asynchronous parallel algorithms for maximization, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.2, p.313-337, April 1988
	Susan Flynn Hummel , Edith Schonberg , Lawrence E. Flynn, Factoring: a practical and robust method for scheduling parallel loops, Proceedings of the 1991 ACM/IEEE conference on Supercomputing, p.610-632, November 18-22, 1991, Albuquerque, New Mexico, United States
	M. Herlihy, A methodology for implementing highly concurrent data structures, ACM SIGPLAN Notices, v.25 n.3, p.197-206, Mar. 1990
	Susan Flynn Hummel , Edith Schonberg , Lawrence E. Flynn, Factoring: a method for scheduling parallel loops, Communications of the ACM, v.35 n.8, p.90-101, Aug. 1992
	Guy E. Blelloch , Perry Cheng, On bounding time and space for multiprocessor garbage collection, ACM SIGPLAN Notices, v.34 n.5, p.104-117, May 1999
	Maurice Herlihy, A methodology for implementing highly concurrent data objects, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.5, p.745-770, Nov. 1993
	Susan R. Dickey , Richard Kenner, Hardware combining and scalability, Proceedings of the fourth annual ACM symposium on Parallel algorithms and architectures, p.296-305, June 29-July 01, 1992, San Diego, California, United States
	James R. Goodman , Mary K. Vernon , Philip J. Woest, Efficient synchronization primitives for large-scale cache-coherent multiprocessors, ACM SIGARCH Computer Architecture News, v.17 n.2, p.64-75, April 1989
	Eugene Fiume , Alain Fournier , Larry Rudolph, A parallel scan conversion algorithm with anti-aliasing for a general-purpose ultracomputer, ACM SIGGRAPH Computer Graphics, v.17 n.3, p.141-150, July 1983
	J. Biswas , J. C. Browne, Simulation Data Structures for Parallel Resource Management, IEEE Transactions on Software Engineering, v.19 n.7, p.672-686, July 1993
	Maurice Herlihy, Wait-free synchronization, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.1, p.124-149, Jan. 1991
	Michael Klugerman , C. Greg Plaxton, Small-depth counting networks, Proceedings of the twenty-fourth annual ACM symposium on Theory of computing, p.417-428, May 04-06, 1992, Victoria, British Columbia, Canada
	John Greiner , Guy E. Blelloch, A provably time-efficient parallel implementation of full speculation, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.309-321, January 21-24, 1996, St. Petersburg Beach, Florida, United States
	Costas Busch , Marios Mavronicolas, A combinatorial treatment of balancing networks, Journal of the ACM (JACM), v.43 n.5, p.794-839, Sept. 1996
	Nir Shavit , Asaph Zemach, Scalable concurrent priority queue algorithms, Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing, p.113-122, May 04-06, 1999, Atlanta, Georgia, United States
	J. M. Stone, Debugging concurrent processes: a case study, ACM SIGPLAN Notices, v.23 n.7, p.145-153, July 1988
	James Aspnes , Maurice Herlihy , Nir Shavit, Counting networks, Journal of the ACM (JACM), v.41 n.5, p.1020-1048, Sept. 1994
	Janice M. Stone, A simple and correct shared-queue algorithm using compare-and-swap, Proceedings of the 1990 conference on Supercomputing, p.495-504, October 1990, New York, New York, United States
	R Cole , U Vishkin, Deterministic coin tossing and accelerating cascades: micro and macro techniques for designing parallel algorithms, Proceedings of the eighteenth annual ACM symposium on Theory of computing, p.206-219, May 28-30, 1986, Berkeley, California, United States
	Clyde P Kruskal , Larry Rudolph , Marc Snir, Efficient synchronization of multiprocessors with shared memory, Proceedings of the fifth annual ACM symposium on Principles of distributed computing, p.218-228, August 11-13, 1986, Calgary, Alberta, Canada
	Thanasis Mitsolides , Malcolm Harrison, Generators and the replicator control structure in the parallel environment of ALLOY, ACM SIGPLAN Notices, v.25 n.6, p.189-196, Jun. 1990
	Maged M. Michael , Michael L. Scott, Simple, fast, and practical non-blocking and blocking concurrent queue algorithms, Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, p.267-275, May 23-26, 1996, Philadelphia, Pennsylvania, United States
	Maurice P. Herlihy, Impossibility and universality results for wait-free synchronization, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.276-290, August 15-17, 1988, Toronto, Ontario, Canada
	Guy E. Blelloch , Phillip B. Gibbons , Girija J. Narlikar , Yossi Matias, Space-efficient scheduling of parallelism with synchronization variables, Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures, p.12-23, June 23-25, 1997, Newport, Rhode Island, United States
	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
	M. P. Herlihy , J. M. Wing, Axioms for concurrent objects, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.13-26, January 21-23, 1987, Munich, West Germany
	David F. Bacon , Ravi Konuru , Chet Murthy , Mauricio Serrano, Thin locks: featherweight synchronization for Java, ACM SIGPLAN Notices, v.33 n.5, p.258-268, May 1998
	Nir Shavit , Asaph Zemach, Diffracting trees (preliminary version), Proceedings of the sixth annual ACM symposium on Parallel algorithms and architectures, p.167-176, June 27-29, 1994, Cape May, New Jersey, United States
	A. Borodin , J. E. Hopcroft, Routing, merging and sorting on parallel models of computation, Proceedings of the fourteenth annual ACM symposium on Theory of computing, p.338-344, May 05-07, 1982, San Francisco, California, United States
	Guy E. Blelloch , Perry Cheng , Phillip B. Gibbons, Room synchronizations, Proceedings of the thirteenth annual ACM symposium on Parallel algorithms and architectures, p.122-133, July 2001, Crete Island, Greece
	Edith Schonberg , Edmond Schonberg, Highly parallel Ada—Ada on an ultracomputer, ACM SIGAda Ada Letters, v.V n.2, p.58-71, Sep., Oct. 1985
	Maurice Herlihy , Beng-Hong Lim , Nir Shavit, Scalable concurrent counting, ACM Transactions on Computer Systems (TOCS), v.13 n.4, p.343-364, Nov. 1995
	James Aspnes , Maurice Herlihy , Nir Shavit, Counting networks and multi-processor coordination, Proceedings of the twenty-third annual ACM symposium on Theory of computing, p.348-358, May 05-08, 1991, New Orleans, Louisiana, United States
	John Greiner , Guy E. Blelloch, A provably time-efficient parallel implementation of full speculation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.2, p.240-285, March 1999
	Albert G. Greenberg , Boris D. Lubachevsky , Andrew M. Odlyzko, Simple, efficient asynchronous parallel algorithms for maximization, Proceedings of the fourth annual ACM symposium on Principles of distributed computing, p.300-308, August 1985, Minaki, Ontario, Canada
	Beng-Hong Lim , Anant Agarwal, Reactive synchronization algorithms for multiprocessors, ACM SIGPLAN Notices, v.29 n.11, p.25-35, Nov. 1994
	Michael Hind , Edmond Schonberg, Efficient loop-level parallelism in Ada, Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations, p.166-179, October 21-25, 1991, San Jose, California, United States
	Nancy Lynch , Nir Shavit , Alex Shvartsman , Dan Touitou, Counting networks are practically linearizable, Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, p.280-289, May 23-26, 1996, Philadelphia, Pennsylvania, United States
	B. Rosenburg, Low-synchronization translation lookaside buffer consistency in large-scale shared-memory multiprocessors, ACM SIGOPS Operating Systems Review, v.23 n.5, p.137-146, Dec. 3–6, 1989
	S. Prakash , Yann Hang Lee , T. Johnson, A Nonblocking Algorithm for Shared Queues Using Compare-and-Swap, IEEE Transactions on Computers, v.43 n.5, p.548-559, May 1994
	B. D. Lubachevsky, Efficient distributed event driven simulations of multiple-loop networks, ACM SIGMETRICS Performance Evaluation Review, v.16 n.1, p.12-24, May 1988
	Clyde P. Kruskal , Larry Rudolph , Marc Snir, Efficient synchronization of multiprocessors with shared memory, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.4, p.579-601, Oct. 1988
	G. N. Srinivasa Prasanna , A. Agrawal , B. R. Musicus, Hierarchical Compilation of Macro Dataflow Graphs for Multiprocessors with Local Memory, IEEE Transactions on Parallel and Distributed Systems, v.5 n.7, p.720-736, July 1994
	Maurice Herlihy , Nir Shavit , Orli Waarts, Linearizable counting networks, Distributed Computing, v.9 n.4, p.193-203, February 1996
	Z. Fan , K. H. Cheng, A Generalized Simultaneous Access Dictionary Machine, IEEE Transactions on Parallel and Distributed Systems, v.2 n.2, p.149-159, April 1991
	Eric Freudenthal , Allan Gottlieb, Process coordination with fetch-and-increment, ACM SIGPLAN Notices, v.26 n.4, p.260-268, Apr. 1991
	William Tsun-Yuk Hsu , Pen-Chung Yew, An effective synchronization network for hot-spot accesses, ACM Transactions on Computer Systems (TOCS), v.10 n.3, p.167-189, Aug. 1992
	G. A. Alverson , D. Notkin, Program Structuring for Effective Parallel Portability, IEEE Transactions on Parallel and Distributed Systems, v.4 n.9, p.1041-1059, September 1993
	Cynthia Dwork , Maurice Herlihy , Orli Waarts, Contention in shared memory algorithms, Journal of the ACM (JACM), v.44 n.6, p.779-805, Nov. 1997
	David B. Skillicorn , Domenico Talia, Models and languages for parallel computation, ACM Computing Surveys (CSUR), v.30 n.2, p.123-169, June 1998
	N. Islam , R. H. Campbell, Design Considerations for Shared Memory Multiprocessor Message Systems, IEEE Transactions on Parallel and Distributed Systems, v.3 n.6, p.702-711, November 1992
	Philip F. Hingston , R. Lyndon While, A dynamic communication algorithm for digital halftoning, Australian Computer Science Communications, v.24 n.1, p.111-118, January-February 2002
	Jason Gait, A Kernel for High-Performance Multicast Communications, IEEE Transactions on Computers, v.38 n.2, p.218-226, February 1989
	P. Heidelberger , A. Norton , John T. Robinson, Parallel Quicksort Using Fetch-And-Add, IEEE Transactions on Computers, v.39 n.1, p.133-138, January 1990
	G. E. Blelloch, Scans as Primitive Parallel Operations, IEEE Transactions on Computers, v.38 n.11, p.1526-1538, November 1989
	Danny Hendler , Nir Shavit , Lena Yerushalmi, A scalable lock-free stack algorithm, Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures, June 27-30, 2004, Barcelona, Spain
	Guy E. Blelloch , Perry Cheng, On bounding time and space for multiprocessor garbage collection, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Thomas Grün , Thomas Rauber , Jochen Röhrig, Support for Efficient Programming on the SB-PRAM, International Journal of Parallel Programming, v.26 n.3, p.209-240, June 1998
	Roger Wattenhofer , Peter Widmayer, The counting pyramid: an adaptive distributed counting scheme, Journal of Parallel and Distributed Computing, v.64 n.4, p.449-460, April 2004
	J. J. Little , G. E. Blelloch , T. A. Cass, Algorithmic Techniques for Computer Vision on a Fine-Grained Parallel Machine, IEEE Transactions on Pattern Analysis and Machine Intelligence, v.11 n.3, p.244-257, March 1989
	James H. Anderson , Mark Moir, Using local-spin k-exclusion algorithms to improve wait-free object implementations, Distributed Computing, v.11 n.1, p.1-20, December 1997
	Mark Moir , Daniel Nussbaum , Ori Shalev , Nir Shavit, Using elimination to implement scalable and lock-free FIFO queues, Proceedings of the seventeenth annual ACM symposium on Parallelism in algorithms and architectures, July 18-20, 2005, Las Vegas, Nevada, USA
	Zhen Fang , Lixin Zhang , John B. Carter , Liqun Cheng , Michael Parker, Fast synchronization on shared-memory multiprocessors: an architectural approach, Journal of Parallel and Distributed Computing, v.65 n.10, p.1158-1170, October 2005
	Kunal Agrawal , Yuxiong He , Wen Jing Hsu , Charles E. Leiserson, Adaptive scheduling with parallelism feedback, Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming, March 29-31, 2006, New York, New York, USA
	David F. Bacon , Ravi Konuru , Chet Murthy , Mauricio J. Serrano, Thin locks: featherweight Synchronization for Java, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Guy E. Blelloch , Phillip B. Gibbons , S. Harsha Vardhan, Combinable memory-block transactions, Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures, June 14-16, 2008, Munich, Germany
	Robert H. Halstead, Jr., MULTILISP: a language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.4, p.501-538, Oct. 1985
	Zhen Fang , Lixin Zhang , John B. Carter , Ali Ibrahim , Michael A. Parker, Active memory operations, Proceedings of the 21st annual international conference on Supercomputing, June 17-21, 2007, Seattle, Washington
	Jan Edler , Allan Gottlieb , Clyde P. Kruskal , Kevin P. McAuliffe , Larry Rudolph , Marc Snir , Patricia J. Teller , James Wilson, Issues related to MIMD shared-memory computers: the NYU ultracomputer approach, ACM SIGARCH Computer Architecture News, v.13 n.3, p.126-135, June 1985
	Maurice Herlihy , Srikanta Tirthapura , Roger Wattenhofer, Ordered Multicast and Distributed Swap, ACM SIGOPS Operating Systems Review, v.35 n.1, p.85-96, January 1, 2001
	Susan Flynn , Edith Schonberg , Edmond Schonberg, The efficient termination of Ada tasks in a multi-processor environment, ACM SIGAda Ada Letters, v.VII n.7, p.55-76, November/December 1987
	W. Craig Scratchley, Using Smalltalk for wait-free implementation of highly-concurrent objects, ACM SIGPLAN OOPS Messenger, v.4 n.4, p.44-53, Oct. 1993
	Sanjeev Kumar , Daehyun Kim , Mikhail Smelyanskiy , Yen-Kuang Chen , Jatin Chhugani , Christopher J. Hughes , Changkyu Kim , Victor W. Lee , Anthony D. Nguyen, Atomic Vector Operations on Chip Multiprocessors, ACM SIGARCH Computer Architecture News, v.36 n.3, p.441-452, June 2008