Journal ArticleDOI
Distributed programming in Argus
TLDR
Argus as mentioned in this paper is a programming language and system developed to support the implementation and execution of distributed programs and provides mechanisms that help programmers cope with the special problems that arise in distributed programs, such as network partitions and crashes of remote nodes.Abstract:
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.read more
Citations
More filters
The Physiology of the Grid An Open Grid Services Architecture for Distributed Systems Integration
TL;DR: This presentation complements an earlier foundational article, “The Anatomy of the Grid,” by describing how Grid mechanisms can implement a service-oriented architecture, explaining how Grid functionality can be incorporated into a Web services framework, and illustrating how the architecture can be applied within commercial computing as a basis for distributed system integration.
Journal ArticleDOI
An overview of workflow management: from process modeling to workflow automation infrastructure
TL;DR: This paper provides a high-level overview of the current workflow management methodologies and software products and discusses how distributed object management and customized transaction management can support further advances in the commercial state of the art in this area.
Proceedings ArticleDOI
NV-Heaps: making persistent objects fast and safe with next-generation, non-volatile memories
Joel Coburn,Adrian M. Caulfield,Akel Ameen D,Laura M. Grupp,Rajesh Gupta,Ranjit Jhala,Steven Swanson +6 more
TL;DR: A lightweight, high-performance persistent object system called NV-heaps is implemented that provides transactional semantics while preventing these errors and providing a model for persistence that is easy to use and reason about.
Proceedings ArticleDOI
Composable memory transactions
TL;DR: This paper presents a new concurrency model, based on transactional memory, that offers far richer composition, and describes new modular forms of blocking and choice that have been inaccessible in earlier work.
Journal ArticleDOI
Programming languages for distributed computing systems
TL;DR: This paper gives the view of what a distributed system is, and describes the three main characteristics that distinguish distributed programming languages from traditional sequential languages, namely, how they deal with parallelism, communication, and partial failures.
References
More filters
Book ChapterDOI
Notes on Data Base Operating Systems
TL;DR: This paper is a compendium of data base management operating systems folklore and focuses on particular issues unique to the transaction management component especially locking and recovery.
Book
Nested Transactions: An Approach to Reliable Distributed Computing
TL;DR: 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.
Journal ArticleDOI
Abstraction mechanisms in CLU
TL;DR: This paper provides an introduction to the abstraction mechanisms in CLU by means of programming examples, and it is shown how CLU programs may be written to use and implement abstractions.
Journal ArticleDOI
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
TL;DR: In this article, the authors present an integrated programming language and system designed to support the construction and maintenance of distributed programs: programs in which modules reside and execute at communicating, but geographically distinct, nodes.
Book
Abstraction and Specification in Program Development
Barbara Liskov,John V. Guttag +1 more
TL;DR: "Abstraction and Specification in Program Development" offers professionals in program design and software engineering a methodology that will enable them to construct programs that are reliable and reasonably easy to understand, modify, and maintain.