Implementation of argus

Proceedings of the 11th ACM Symposium on Operating Systems Principles, SOSP 1987

Volumn , Issue , 1987, Pages 111-122

  Liskov, Barbara ^a   Curtis, Dorothy ^a   Johnson, Paul ^a   Scheifier, Robert ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACTION SYSTEMS; ATOMIC ACTIONS; DISTRIBUTED PROGRAM;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84990706089     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/41457.37514     Document Type: Conference Paper

References (30)

1. Birrell, A. D., and Nelson, B. J. "Implementing remote procedure calls". ACM Trans. on Computer Systeme 2, 1(February 1984).
2. Blasgen, M., Gray, J., Mitoma, M., and Price, T. "The convoy phenomenon". ACM Operating Systems Review 13, 2 (Apr 1979).
3. Bloom, T. Dynamic module replacement in a distributed programming system. Technical Report MIT/LCS/TR-303, M.I.T. Laboratory for Computer Science, Cambridge Ma., 1983.
4. Dijkstra, E. W. "The structure of the 'THE'-multiprogramming system". Comm. of the ACM 11, 5(May 1968).
5. Gray, J. N., and 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. Gray, J. N. Notes on data base operating systems. In Lecture Notes in Computer Science, Goos and Hartmanis, Eds., Springer-Verlag, 1978, pp. 393-481.
7. Gray, J. N., et al. "The Recovery Manager of the System R Database Manager". ACM Computing Surveys 13, 2(June 1981), 223-242.
8. Greif, I., Seliger, R., and Weihl, W. A Case Study of CES: A Distributed Collaborative Editing System Implemented in Argus. Programming Methodology Group Memo 55, MIT Laboratory for Computer Science, Cambridge, Ma., April, 1987. To be published in IEEE Trans. on Software Engineering.
9. Herlihy, M. P., and Liskov, B. "A value transmission method for abstract data types". ACM Trans. on Programming Languages and Systems 4, 4(October 1982), 527-551.
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. Kolodner, E. Recovery Using Virtual Memory. Technical Report MIT/LCS/TR-404, MIT Laboratory for Computer Science, Cambridge, Ma., 1987.
12. Lampson, B., and Redell, D. "Experience with processes and monitors in Mesa". Comm. of the ACM 28, 2(February 1980), 105-117.
13. Lampson, B. W., and Sturgis, H. E. Crash Recovery in a Distributed Data Storage System. Xerox Research Center, Palo Alto, Ca., 1979.
14. ∗: A distributed database manager". ACM Trans. on Computer Systems 2, 1(February 1984).
15. Liskov, B., and Scheifier, R. W. "Guardians and actions: linguistic support for robust, distributed programs". ACM Trans. on Programming Languages and Systems 5, 3(July 1983), 381-404.
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., Scheifler, 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., Scheifler, 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. Mohan, C, and Lindsay, B. Efficient commit protocols for the tree of processes model of distributed transactions. Proc. of the Second Annual Symposium on Principles of Distributed Computing, ACM, August, 1983.
22. Moss, J. E. B., Nested transactions: an approach to reliable distributed computing. The MIT Press, Cambridge, Ma., 1985.
23. Mueller, E., Moore, J., and Popek, G. A nested transaction mechanism for LOCUS. Proc. of the Ninth ACM Symposium on Operating Systems Principles, ACM, October, 1983.
24. Needham, R., Herbert, A., and Mitchell, J. "How to connect stable memory to a computer". ACM Operating Systems Review 17, 1(January 1983).
25. Nelson, B. Remote procedure call. Technical Report CMU-CS-81-119, Carnegie Mellon University, Pittsburgh, Pa., 1981.
26. Oki, B., Liskov, B., and Scheifler, R. Reliable object storage to support atomic actions. Proc. of the ACM Tenth Symposium on Operating Systems Principles, ACM, 1985.
27. Postel, J. Internet User Datagram Protocol. Network Information Center RFC-768, USC/Information Sciences Institute, August, 1980.
28. Saltzer, J. H., Reed, D. P., and Clark, D. D. "End-to-end arguments in system design". ACM Trans, on Computer Systems 2, 4(November 1984), 277-288.
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. Weihl, W., and Liskov, B. "Implementation of Resilient, Atomic Data Types". ACM Trans. on Programming Languages and Systems 7, 2(April 1985), 244-269.