References

1

Apollo Computer Inc.
Concurrent Programming Support (CPS) Reference.
330 Billerica Road, Chelmsford, MA 01824, June 1987.

2

AT&T.
System V Interface Definition, Issue 2.
Customer Information Center, P.O. Box 19901, Indianapolis, IN 46219, 1986.

3

M. J. Bach and S. J. Buroff.
Multiprocessor UNIX operating systems.
AT&T Bell Laboratories Technical Journal, 63(8):1733-1749, October 1984.

4

A. D. Birrell, J. V. Guttag, J. J. Horning, and R. Levin.
Synchronization primitives for a multiprocessor: A formal specification.
In Proceedings of the Eleventh Symposium on Operating System Principles, New York, November 1987. ACM.
To appear.

5

Digital Equipment Corporation, Maynard, MA.
VAX/VMS System Services Reference Manual, September 1984.

6

C. A. R. Hoare.
Monitors: An operating system structuring concept.
Communications of the ACM, 17(10):549-557, October 1974.

7

William Joy, Eric Cooper, Robert Fabry, Samuel Leffler, Kirk McKusick, and David Mosher.
4.2BSD system manual.
In UNIX Programmer's Manual, 4.2 Berkeley Software Distribution, volume 2C. Computer Systems Research Group, University of California at Berkeley, 1983.

8

Jonathan Kepecs.
Lightweight processes for UNIX implementation and applications.
In USENIX Association Conference Proceedings, pages 299-308, June 1985.

9

Butler W. Lampson.
Hints for computer system design.
IEEE Software, 1(1):11-28, January 1984.

10

Butler W. Lampson and David D. Redell.
Experience with processes and monitors in Mesa.
Communications of the ACM, 23(2):105-117, February 1980.

11

D. L. Parnas.
On the criteria to be used in decomposing systems into modules.
Communications of the ACM, 15(12):1053-1058, December 1972.

12

John S. Quarterman, Abraham Silberschatz, and James L. Peterson.
4.2BSD and 4.3BSD as examples of the UNIX system.
ACM Computing Surveys, 17(4):379-418, December 1985.

13

Richard F. Rashid.
Threads of a new system.
UNIX REVIEW, 4(8):37, August 1986.

14

Dennis M. Ritchie and Ken Thompson.
The UNIX time-sharing system.
Communications of the ACM, 17(7):365-375, July 1974.

15

Paul Rovner.
Extending Modula-2 to build large, integrated systems.
IEEE Software, 3(6):46-57, November 1986.

16

Daniel C. Swinehart, Polle T. Zellweger, and Robert B. Hagmann.
The structure of Cedar.
In Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, pages 230-244, New York, June 1985. ACM.

17

Avadis Tevanian, Jr., Richard F. Rashid, David B. Golub, David L. Black, Eric Cooper, and Michael W. Young.
Mach threads and the Unix kernel: The battle for control.
In USENIX Association Conference Proceedings, pages 185-197, Phoenix, June 1987.

18

Charles P. Thacker and Lawrence C. Stewart.
Firefly: a multiprocessor workstation.
In Proceedings of the Second International Conference on Architectural Support for Programming Languages and Operating Systems. ACM and IEEE Computer Society, October 1987.
To appear.

19

Niklaus Wirth.
Programming in Modula-2.
Springer-Verlag, third edition, 1985.