next up previous contents
Next: About this document Up: The Synergy Between Non-blocking Previous: Acknowledgements

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

28
The SPARC Architecture Manual Version 9, Sun Inc.

29
VAX11 Architecture Handbook, Digital Equipment Corporation 1979


Michael Greenwald
Thu Sep 19 12:18:20 PDT 1996