Next:    About this document 
Up: The Synergy Between Non-blocking 
 Previous:  Concluding Remarks
 
 
 
References
- 1
 - J. Allemany and E.W.Felton, Performance issues in
non-blocking synchronization on shared memory multiprocessors.  
Proceedings of the 11th Annual ACM Symposium on Principles of
Distributed Computing, pp 125-134, August 1992.
 - 2
 - J.H. Anderson and M. Moir, Universal Constructions
for Multi-Object Operations, 
Proceedings of the 14th Annual ACM Symposium on Principles of
Distributed Computing, Ottawa, Ont. Canada, pp 184-193, August 20-23,
1995
 - 3
 -  G. Barnes, A Method for Implementing Lock-Free Shared
Data Structures  Proceedings of the 5th ACM Symposium on Parallel
Algorithms and Architectures 1993
 - 4
 - B.N. Bershad, Practical considerations for non-blocking
concurrent objects.   Proceedings 13th IEEE International Conference on
Distributed Computing Systems, Los Alamitos CA, IEEE Computer Society
Press, pp 264-273, May 25-28, 1993.
 - 5
 - E.A. Brewer, C.N. Dellarocas, A. Colbrook, and
W.E. Weihl, ``PROTEUS: A High-Performance Parallel-Architecture
Simulator'', Technical Report MIT/LCS/TR-516, MIT Laboratory for
Computer Science, September 1991.
 - 6
 - D.R. Cheriton, The V Distributed System.  
Communications of the ACM, 31(3), pp 314-333, March 1988
 - 7
 -  D.R. Cheriton and K. Duda. A Caching Model
of Operating System Kernel Functionality.  Proceedings of 1st
Symposium on Operation Systems Design and Implementation, Monterey,
CA, pp 179-193, Nov 14-17, 1994.
 - 8
 - D.R. Cheriton, H. Goosen, and P. Boyle,
ParaDiGM: A highly scalable shared-memory multi-computer architecture.
 IEEE Computer, 24(2), February 1991.
 - 9
 - D.R. Cheriton and R. Kutter. Optimizing
memory-based messaging for scalable shared memory multiprocessor
architectures.  To appear in  USENIX Computer Systems Journal 1996.
(available as Stanford Computer Science Technical Report CS-93-123,
December 1993.)
 - 10
 - D.R. Cheriton, H. Goosen, and P. Machanick,
Restructuring a Parallel Simulation to Improve Cache Behavior in a
Shared-Memory Multiprocessor: A First Experience.
In  Proceedings of the International Symposium on Shared Memory
Multiprocessing, pp 23-31, Tokyo, April 1991.
 - 11
 -  Joseph Heinrich. MIPS R4000 User's Manual,  PTR
Prentice Hall, Englewood Cliffs NJ, 1993
 - 12
 - M.P. Herlihy and J.E.B. Moss.  Transactional
Memory: Architectural support for lock-free data structures.  
1993 20th Annual Symposium on Computer Architecture San Diego,
Calif.  pp. 289-301. May 1993.
 - 13
 - M. P. Herlihy.  Wait-free synchronization.
 ACM Transactions on Programming  Languages and Systems, 13(1), pp
123-149, January, 1991
 - 14
 - M. Herlihy.  A Methodology for Implementing Highly
Concurrent Data Objects  ACM Transactions on Programming Languages
and Systems, 15(5), 745-770,
November, 1993
 - 15
 -  A. Israeli and L. Rappaport, Disjoint-Access-Parallel
Implementations of Strong Shared Memory Primitives,  
Proceedings of the 13th Annual ACM Symposium on Principles of
Distributed Computing, Los Angeles, CA, pp 151-160, August 14-17,
1994
 - 16
 -  A. Israeli and L. Rappaport, Efficient wait-free
implementation of a concurrent priority queue  7th Intl Workshop
on Distributed Algorithms '93, Lausanne, Switzerland,  Lecture
Notes in Computer Science 725, Springer Verlag, pp 1-17, Sept.  1993
 - 17
 -  H. Massalin and C. Pu. A lock-free multiprocessor
OS kernel.  Technical Report CUCS-005-01, Computer Science
Department, Columbia University, October 1991.
 - 18
 -  M. Michael and M. Scott, Simple, Fast, and Practical
Non-Blocking and Blocking Concurrent Queue Algorithms'', 
Proceedings of the 15th Annual ACM Symposium on Principles of
Distributed Computing, Philadelphia, PA, pp 267-276, May 1996.
 - 19
 -  N. Shavit and D. Tovitov, Software Transactional
Memory,  
Proceedings of the 14th Annual ACM Symposium on Principles of
Distributed Computing, Ottawa, Ont. Canada, pp 204-213, August 20-23,
1995
 - 20
 -  R. Sites, ed., DEC Alpha Architecture, Digital
Press, Burlington, Mass. 1992
 - 21
 - J. Stone, H. Stone, P. Heidelbergher, and J. Turek.
Multiple Reservations and the Oklahoma Update. 
 IEEE Parallel and Distributed Technology, vol 1, no.4, pp 58-71,
November, 1993
 - 22
 - J. Torrellas, A. Gupta, and J. Hennessy.
Characterizing the Caching and Synchronization Performance of a
Multiprocessor Operating System.  In  Fifth International
Conference on Architectural Support for Programminlg Languages and
Operating Systems, pp 162-174, October 1992
 - 23
 - J. Turek, D. Shasha and S. Prakash. Locking without
blocking: Making Lock-Based Concurrent Data Structure Algorithms
Non-Blocking.   Proceedings of the 1992 Principles of Database
Systems pp 212-222, 1992.
 - 24
 -  J. Valois, Lock-Free Linked Lists Using
Compare-and-Swap,  Proceedings of the 14th Annual ACM Symposium on
Principles of 
Distributed Computing, Ottawa, Ont. Canada, pp 214-222, August 20-23,
1995
 - 25
 - M. Zelesko and D. R. Cheriton, Specializing Object
Oriented RPC for Functionality and Performance, 
 Proceedings 16th IEEE International Conference on
Distributed Computing Systems, IEEE Computer Society
Press, May 27-30, 1996.
 - 26
 -  M68000 Family Programmer's Reference Manual,
Motorola, Inc. 1989
 - 27
 -  PowerPC 601 RISC Mircroprocessor User's Manual,
Motorola Inc, 1993
 
 
Michael Greenwald 
Wed Sep 18 15:42:13 PDT 1996