[comp.os.research] Argus Distributed OS - request for references

thomo@cs.uq.oz.au (John Thomas) (06/17/91)

I am currently undertaking a distributed computing subject and next semester
have to present a seminar on the ARGUS distributed programming language.

As such, any references, material etc regarding ARGUS would be appreciated.

Thanks in advance.


*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*

EMAIL: thomo@cs.uq.oz.au 			Ph: (07) 365 2726

SNAIL: John Thomas,         	               +------------------+
       c/o Computer Science Department,        |   And remember,  |
       University of Queensland,               | A HONKed nose is |
       Queensland, 4072 Australia. 	       |  a HAPPY nose !  |
                            	               +------------------+
*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*

mday@pion.lcs.mit.edu (Mark Day) (06/23/91)

Argus is more of a programming language and system than a
distributed OS.  It is a language for writing reliable distributed
programs, which means that it has something of the flavor of an
operating system in its concern for integrity, concurrency, and
communication.

It is still in limited use at MIT -- we are currently planning to use
it to build a prototype distributed object repository.  It runs on
Vaxes with 4.3BSD (and one teeny kernel hack), and is not very
portable; because of limited staff, we have no plans (yet...) to make
the changes necessary to export it.

The following references are probably the most useful for
understanding the system and its implementation (as opposed to
applications or algorithms built on top of the system).  I've listed
them in chronological order: you may want to start from the bottom,
since that's the retrospective article.

--Mark Day
mday@lcs.mit.edu

--------------------

B. Liskov and R. Scheifler, "Guardians and Actions: Linguistic Support
for Robust, Distributed Programs." ACM Transactions on Programming
Languages and Systems 5, 3 (July 1983), pp. 381-404.

W. Weihl and B. Liskov, "Implementation of Resilient, Atomic Data
Types."  ACM Transactions on Programming Languages and Systems 7, 2
(April 1985), pp. 244-269.

B. Oki, B. Liskov, and R. Scheifler, "Reliable Object Storage to
Support Atomic Actions." Proceedings of the 10th Symposium on
Operating Systems Principles, 1985.

B. Liskov et al., "Argus Reference Manual." MIT Laboratory for
Computer Science Technical Report 400, November 1987.

B. Liskov et al., "Implementation of Argus." Proceedings of the 11th
ACM Symposium on Operating Systems Principles, November 1987, pp.
111-122.

B. Liskov, "Distributed Programming in Argus." Comm. ACM 31, 3 (March
1988), pp. 300-312.