Implementation of Argus

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Implementation of Argus

Full text

Pdf (1.34 MB)

Source

ACM Symposium on Operating Systems Principles archive
Proceedings of the eleventh ACM Symposium on Operating systems principles table of contents

Austin, Texas, United States

Pages: 111 - 122

Year of Publication: 1987

ISBN:0-89791-242-X

Also published in ...

Authors

B. Liskov	Massachusettes Institute of Technology, Cambridge
D. Curtis	Massachusettes Institute of Technology, Cambridge
P. Johnson	Massachusettes Institute of Technology, Cambridge
R. Scheifer	Massachusettes Institute of Technology, Cambridge

Sponsor

SIGOPS: ACM Special Interest Group on Operating Systems

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 26, Citation Count: 41

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	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/41457.37514 What is a DOI?

ABSTRACT

Argus is a programming language and system developed to support the construction and execution of distributed programs. This paper describes the implementation of Argus, with particular emphasis on the way we implement atomic actions, because this is where Argus differs most from other implemented systems. The paper also discusses the performance of Argus. The cost of actions is quite reasonable, indicating that action systems like Argus are practical.

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	Andrew D. Birrell , Bruce Jay Nelson, Implementing remote procedure calls, ACM Transactions on Computer Systems (TOCS), v.2 n.1, p.39-59, February 1984 [doi>10.1145/2080.357392]
	2	Mike Blasgen , Jim Gray , Mike Mitoma , Tom Price, The convoy phenomenon, ACM SIGOPS Operating Systems Review, v.13 n.2, p.20-25, April 1979 [doi>10.1145/850657.850659]
	3	T. Bloom, DYNAMIC MODULE REPLACEMENT IN A DISTRIBUTED PROGRAMMING SYSTEM, Massachusetts Institute of Technology, Cambridge, MA, 1983
	4	Edsger W. Dijkstra, The structure of the “THE”-multiprogramming system, Communications of the ACM, v.11 n.5, p.341-346, May 1968 [doi>10.1145/363095.363143]
	5	Gray, J. N., Lorie, R. A., Putzolu, G. F., and Traiger, I. L. Granularity of locks and degrees of consistency in a shared data base. In Modeling in Data Base Management Systems, G.M. Nijssen, Ed., North Holland, 1976.
	6	Jim Gray, Notes on Data Base Operating Systems, Operating Systems, An Advanced Course, p.393-481, January 1978
	7	Jim Gray , Paul McJones , Mike Blasgen , Bruce Lindsay , Raymond Lorie , Tom Price , Franco Putzolu , Irving Traiger, The Recovery Manager of the System R Database Manager, ACM Computing Surveys (CSUR), v.13 n.2, p.223-242, June 1981 [doi>10.1145/356842.356847]
	8	Irene Greif , Robert Seliger , William Weihl, A Case Study of CES: A Distributed Collaborative Editing System Implemented in Argus, IEEE Transactions on Software Engineering, v.18 n.9, p.827-839, September 1992 [doi>10.1109/32.159831 ]
	9	Maurice P. Herlihy , Barbara Liskov, A Value Transmission Method for Abstract Data Types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.4, p.527-551, Oct. 1982 [doi>10.1145/69622.357182]
	10	Hwang, D. Constructing Highly-Available Services in a Distributed Environment. S.M. Thesis, M.I.T. Dept. of Electrical Engineering and Computer Science, Cambridge, Ma., forthcoming.
	11	E. K. Kolodner, RECOVERY USING VIRTUAL MEMORY, Massachusetts Institute of Technology, Cambridge, MA, 1987
	12	Butler W. Lampson , David D. Redell, Experience with processes and monitors in Mesa, Communications of the ACM, v.23 n.2, p.105-117, Feb. 1980 [doi>10.1145/358818.358824]
	13	Lampson, B. W., and Sturgis, H. E. Crash Recovery in a Distributed Data Storage System. Xerox Research Center, Palo Alto, Ca., 1979.
	14	Bruce G. Lindsay , Laura M. Haas , C. Mohan , Paul F. Wilms , Robert A. Yost, Computation and communication in R*: a distributed database manager, ACM Transactions on Computer Systems (TOCS), v.2 n.1, p.24-38, February 1984 [doi>10.1145/2080.357390]
	15	Barbara Liskov , Robert Scheifler, Guardians and Actions: Linguistic Support for Robust, Distributed Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.3, p.381-404, July 1983 [doi>10.1145/2166.357215]
	16	Liskov, B. Overview of the Argus language and system. Programming Methodology Group Memo 40, M.I.T. Laboratory for Computer Science, Cambridge, Ma., February, 1984.
	17	Liskov, B., Scheifier, R., Walker, E., and Weihl, W. Orphan Detection. Programming Methodology Group Memo 53, M.I.T. Laboratory for Computer Science, Cambridge, Ma., 1987. Also published in Proc. of the 17th International Symposium on Fault- Tolerant Computing, July 1987.
	18	Liskov, B., Bloom, T., Gifford, D., Scheifier, R., and Weihl, W. Communication in the Mercury System. Submitted for publication.
	19	Liskov, B., and Shrira, L. Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems. Submitted for publication.
	20	Liskov, B., and Guttag, J. Iteration Abstraction. In Abstraction and Specification in Program Development, MIT Press and McGraw Hill, 1986.
	21	C. Mohan , B. Lindsay, Efficient commit protocols for the tree of processes model of distributed transactions, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.76-88, August 17-19, 1983, Montreal, Quebec, Canada [doi>10.1145/800221.806711]
	22	J. E.B. Moss, Nested transactions: an approach to reliable distributed computing, Massachusetts Institute of Technology, Cambridge, MA, 1985
	23	Erik T. Mueller , Johanna D. Moore , Gerald J. Popek, A nested transaction mechanism for LOCUS, Proceedings of the ninth ACM symposium on Operating systems principles, p.71-89, October 10-13, 1983, Bretton Woods, New Hampshire, United States
	24	R. M. Needham , A. J. Herbert , J. G. Mitchell, How to connect stable memory to a computer, ACM SIGOPS Operating Systems Review, v.17 n.1, p.16-16, January 1983 [doi>10.1145/850733.850736]
	25	Nelson, B. Remote procedure call. Technical Report CMU- CS-81-119, Carnegie Mellon University, Pittsburgh, Pa., 1981.
	26	Brian M. Oki , Barbara H. Liskov , Robert W. Scheifler, Reliable object storage to support atomic actions, Proceedings of the tenth ACM symposium on Operating systems principles, p.147-159, December 1985, Orcas Island, Washington, United States
	27	Postel, J. Internet User Datagram Protocol. Network Information Center RFC-768, USC/Information Sciences Institute, August, 1980.
	28	J. H. Saltzer , D. P. Reed , D. D. Clark, End-to-end arguments in system design, ACM Transactions on Computer Systems (TOCS), v.2 n.4, p.277-288, Nov. 1984 [doi>10.1145/357401.357402]
	29	Spector, A. Z., et al. Camelot: A Distributed Transaction Facility for Mach and the Internet -- An Interim Report. Technical Report CMU-CS-87-129, Dept. of Computer Science, Carnegie Mellon University, Pittsburgh, Pa., 1987.
	30	William Weihl , Barbara Liskov, Implementation of resilient, atomic data types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.2, p.244-269, April 1985 [doi>10.1145/3318.3319]

CITED BY 41

	Eliot Moss, Panel on concurrency, ACM SIGPLAN Notices, v.23 n.5, p.119-127, May 1988
	Barbara B. Wyatt , Krishna Kavi , Steve Hufnagel, Parallelism in Object-Oriented Languages: A Survey, IEEE Software, v.9 n.6, p.56-66, November 1992
	H. K. Korth , G. Speegle, Formal model of correctness without serializabilty, ACM SIGMOD Record, v.17 n.3, p.379-386, June 1988
	K. Rothermel , C. Mohan, ARIES/NT: a recovery method based on write-ahead logging for nested transactions, Proceedings of the 15th international conference on Very large data bases, p.337-346, July 1989, Amsterdam, The Netherlands
	R. Balter , P. Y. Chevalier , A. Freyssinet , D. Hagimont , S. Lacourte , X. Rousset de Pina, Is the microkernel technology well suited for the support of object-oriented operating systems: the guide experience, USENIX Symposium on USENIX Microkernels and Other Kernel Architectures Symposium, p.1-1, September 20-23, 1993, San Diego, California
	Barbara Liskov, Distributed programming in Argus, Communications of the ACM, v.31 n.3, p.300-312, March 1988
	Andrew Birrell , Greg Nelson , Susan Owicki , Edward Wobber, Network objects, ACM SIGOPS Operating Systems Review, v.27 n.5, p.217-230, Dec. 1993
	David K. Garnick , A. Toni Cohen, Locality in distributed computations, Proceedings of the 1988 ACM sixteenth annual conference on Computer science, p.335-344, February 1988, Atlanta, Georgia, United States
	B. H. Tay , A. L. Ananda, A survey of remote procedure calls, ACM SIGOPS Operating Systems Review, v.24 n.3, p.68-79, July 1990
	Patrick Eugster , Sebastien Vaucouleur, Composing atomic features, Science of Computer Programming, v.63 n.2, p.130-146, 1 December 2006
	Anthony D. Joseph , M. Frans Kaashoek, Building reliable mobile-aware applications using the Rover toolkit, Proceedings of the 2nd annual international conference on Mobile computing and networking, p.117-129, November 1996, Rye, New York, United States
	Elliot Kolodner , Barbara Liskov , William Weihl, Atomic garbage collection: managing a stable heap, ACM SIGMOD Record, v.18 n.2, p.15-25, June 1989
	David R. Cheriton , Dale Skeen, Understanding the limitations of causally and totally ordered communication, ACM SIGOPS Operating Systems Review, v.27 n.5, p.44-57, Dec. 1993
	Bharat Bhargava , John Riedl, The Raid Distributed Database System, IEEE Transactions on Software Engineering, v.15 n.6, p.726-736, June 1989
	M. Weiser , A. Demers , C. Hauser, The portable common runtime approach to interoperability, ACM SIGOPS Operating Systems Review, v.23 n.5, p.114-122, Dec. 3–6, 1989
	Anthony D. Joseph , M. Frans Kaashoek, Building reliable mobile-aware applications using the Rover toolkit, Wireless Networks, v.3 n.5, p.405-419, Oct. 1997
	Laurent Daynès , Grzegorz Czajkowski, Lightweight flexible isolation for language-based extensible systems, Proceedings of the 28th international conference on Very Large Data Bases, p.718-729, August 20-23, 2002, Hong Kong, China
	M. L. Scott , T. J. LeBlanc , B. D. Marsh, Multi-model parallel programming in psyche, ACM SIGPLAN Notices, v.25 n.3, p.70-78, Mar. 1990
	Sabine Habert , Laurence Mosseri, COOL: kernel support for object-oriented environments, ACM SIGPLAN Notices, v.25 n.10, p.269-275, Oct. 1990
	Irene Greif , Robert Seliger , William Weihl, A Case Study of CES: A Distributed Collaborative Editing System Implemented in Argus, IEEE Transactions on Software Engineering, v.18 n.9, p.827-839, September 1992
	M. J. Carey , R. Jauhari , M. Livny, On Transaction Boundaries in Active Databases: A Performance Perspective, IEEE Transactions on Knowledge and Data Engineering, v.3 n.3, p.320-336, September 1991
	Dahlia Malkhi , Michael K. Reiter, An Architecture for Survivable Coordination in Large Distributed Systems, IEEE Transactions on Knowledge and Data Engineering, v.12 n.2, p.187-202, March 2000
	Michael Fry, Practical trade-offs for open interconnection, Proceedings of the 1992 ACM annual conference on Communications, p.1-8, March 03-05, 1992, Kansas City, Missouri, United States
	Theo Härder , Kurt Rothermel, Concurrency control issues in nested transactions, The VLDB Journal — The International Journal on Very Large Data Bases, v.2 n.1, p.39-74, January 1993
	John H. Reppy, CML: A higher concurrent language, ACM SIGPLAN Notices, v.26 n.6, p.293-305, June 1991
	Jeffrey S. Chase , Henry M. Levy , Edward D. Lazowska , Miche Baker-Harvey, Lightweight shared objects in a 64-bit operating system, ACM SIGPLAN Notices, v.27 n.10, p.397-413, Oct. 1992
	Roger S. Chin , Samuel T. Chanson, Distributed, object-based programming systems, ACM Computing Surveys (CSUR), v.23 n.1, p.91-124, March 1991
	Cormac Flanagan , Stephen N. Freund , Marina Lifshin, Type inference for atomicity, Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation, p.47-58, January 10-10, 2005, Long Beach, California, USA
	Cormac Flanagan , Stephen N. Freund , Shaz Qadeer, Exploiting purity for atomicity, ACM SIGSOFT Software Engineering Notes, v.29 n.4, July 2004
	Brian M. Oki , Barbara H. Liskov, Viewstamped replication: a general primary copy, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.8-17, August 15-17, 1988, Toronto, Ontario, Canada
	Elliot K. Kolodner , William E. Weihl, Atomic incremental garbage collection and recovery for a large stable heap, ACM SIGMOD Record, v.22 n.2, p.177-186, June 1, 1993
	Cormac Flanagan , Stephen N. Freund , Jaeheon Yi, Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs, ACM SIGPLAN Notices, v.43 n.6, June 2008
	Brian N. Bershad , Thomas E. Anderson , Edward D. Lazowska , Henry M. Levy, User-level interprocess communication for shared memory multiprocessors, ACM Transactions on Computer Systems (TOCS), v.9 n.2, p.175-198, May 1991
	Cormac Flanagan , Shaz Qadeer, A type and effect system for atomicity, ACM SIGPLAN Notices, v.38 n.5, May 2003
	Cormac Flanagan , Stephen N. Freund , Shaz Qadeer, Exploiting Purity for Atomicity, IEEE Transactions on Software Engineering, v.31 n.4, p.275-291, April 2005
	Cormac Flanagan , Stephen N Freund, Atomizer: a dynamic atomicity checker for multithreaded programs, ACM SIGPLAN Notices, v.39 n.1, p.256-267, January 2004
	Karsten Schwan , Win Bo, “Topologies”—distributed objects on multicomputers, ACM Transactions on Computer Systems (TOCS), v.8 n.2, p.111-157, May 1990
	Cormac Flanagan , Stephen N. Freund , Marina Lifshin , Shaz Qadeer, Types for atomicity: Static checking and inference for Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.4, p.1-53, July 2008
	Cormac Flanagan , Stephen N. Freund, Atomizer: A dynamic atomicity checker for multithreaded programs, Science of Computer Programming, v.71 n.2, p.89-109, April, 2008
	David B. Skillicorn , Domenico Talia, Models and languages for parallel computation, ACM Computing Surveys (CSUR), v.30 n.2, p.123-169, June 1998
	Henri E. Bal , Jennifer G. Steiner , Andrew S. Tanenbaum, Programming languages for distributed computing systems, ACM Computing Surveys (CSUR), v.21 n.3, p.261-322, Sep. 1989