Distributed programming in Argus

@article{Liskov1988DistributedPI,
  title={Distributed programming in Argus},
  author={Barbara Liskov},
  journal={Commun. ACM},
  year={1988},
  volume={31},
  pages={300-312}
}
  • B. Liskov
  • Published 1988
  • Computer Science
  • Commun. ACM
Argus—a programming language and system developed to support the implementation and execution of distributed programs—provides mechanisms that help programmers cope with the special problems that arise in distributed programs, such as network partitions and crashes of remote nodes. 
Combining Tasking and Transactions
This position paper discusses the issues in design and development of a transaction support for Ada 95. Transactions and other fault tolerance mechanisms are reviewed, and their applicability in aExpand
Combining tasking and transaction
This position paper discusses the issues in design and development of a transaction support for Ada 95. Transactions and other fault tolerance mechanisms are reviewed, and their applicability in aExpand
Combining tasking and transaction
TLDR
This position paper discusses the issues in design and development of a transaction support for Ada 95 and possible ways of integration are presented, and implementation problems are discussed. Expand
Object-Oriented Distributed Programming in BETA
TLDR
This paper describes abstractions that have been designed to support distributed programming in the object oriented programming language BETA by demanding for type orthogonal persistence and distribution. Expand
PANDA - Supporting Distributed Programming in C++
TLDR
The paper discusses the design rationales underlying the PANDA system, and the fundamental features of PANDA are surveyed, and their implementation in the current prototype environment is outlined. Expand
RPC-level support for object-oriented distributed programming
TLDR
The design of an RPC system for building object-oriented distributed software systems to provide mechanisms for supporting use of inheritance, polymorphism, dynamic binding, and modular development in implementing distributed softwareSystems. Expand
Preventing recursion deadlock in concurrent object-oriented systems
TLDR
Two language-independent, system-level mechanisms are proposed: a novel technique using multi-ported objects, and a named-threads scheme that borrows from previous work in distributed computing. Expand
Design of a Remote Procedure Call System for Object-Oriented Distributed Programming
TLDR
The functionalities of this RPC system to support mechanisms for supporting inheritance, polymorphism, dynamic binding, and modular development in implementing distributed software systems are presented. Expand
The PANDA system architecture-a pico-kernel approach
TLDR
The goal of PANDA is to provide an environment for parallel and distributed programming in C++ that consists of a small operating system kernel, and a runtime package located in user space. Expand
An Orthogonal Distribution Language for Uniform Object-Oriented Languages
On one side the complexity of the design of distributed application systems is usually reduced significantly by using a distributed programming model that abstracts from the actual distribution andExpand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 21 REFERENCES
Implementation of Argus
TLDR
The implementation of Argus is described, with particular emphasis on the way the authors implement atomic actions, because this is where Argus differs most from other implemented systems. Expand
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
TLDR
The language addresses the writing of robust programs that survive hardware failures without loss of distributed information and that provide highly concurrent access to that information while preserving its consistency. Expand
Rationale for the design of the Ada programming language
TLDR
This book discusses classical programming, general program structure - visibility and overloading, and representation classes and machine dependences in the context of knowledge representation. Expand
Crash Recovery in a Distributed Data Storage System
An algorithm is described which guarantees reliable storage of data in a distributed system, even when different portions of the data base, stored on separate machines, are updated as part of aExpand
ARGUS REFERENCE MANUAL
TLDR
Argus is an experimental language/system designed to support the construction and execution of distributed programs that make use of on-line data that must remain consistent in spite of concurrency and hardware failures, and provide services under real-time constraints that are not severe. Expand
Implementation of resilient, atomic data types
TLDR
This work defines what it means for abstract data types to be atomic and resilient, and discusses issues that arise in implementing such types, and describes a particular linguistic mechanism provided in the Argus programming language. Expand
Nested Transactions: An Approach to Reliable Distributed Computing
TLDR
The method for implementing nested transactions is novel in that it uses locking for concurrency control and the necessary algorithms for locking, recovery, distributed commitment, and distributed deadlock detection for a nested transaction system are presented. Expand
Abstraction mechanisms in CLU
TLDR
This paper provides an introduction to the abstraction mechanisms in CLU and illustrates the utility of the three kinds of abstractions in program construction and shows how CLU programs may be written to use and implement abstractions. Expand
Avalon : language support for reliable distributed systems
TLDR
This paper presents an overview of the novel aspects of Avalon/C++: support for testing transaction serialization orders at run-time, and user-defined, but system-invoked, transaction commit and abort operations for atomic data objects. Expand
Camelot : a distributed transaction facility for mach and the internet - an interim report
TLDR
A number of latency experiments are reported on to show the overhead of Camelot Release 0.4(22) and should not be interpreted as representing the official policies, either expressed or implied, of any of the sponsoring agencies or the United States government. Expand
...
1
2
3
...