Journal ArticleDOI
Reconfiguration and module replacement in Argus: theory and practice
Toby Bloom,Mark Stuart Day +1 more
Reads0
Chats0
TLDR
Early work on reconfiguration of distributed applications was carried out as part of the Argus project at MIT, focusing on correctness conditions and on alternative implementations, and lessons learnt are discussed.Abstract:
Early work on reconfiguration of distributed applications was carried out as part of the Argus project at MIT. In this paper, we review that work, focusing on correctness conditions and on alternative implementations, and discuss lessons learnt, not only about the reconfiguration system, but also about language design for supporting reconfigurable systems.read more
Citations
More filters
Proceedings ArticleDOI
Architecture-based runtime software evolution
TL;DR: An architecture-based approach to runtime software evolution is presented and the role of software connectors in supporting runtime change is highlighted and an initial implementation of a tool suite for supporting the runtime modification of software architectures is presented.
Proceedings ArticleDOI
Dynamic software updating
TL;DR: This work presents a new approach for C-like languages that provides type-safe dynamic updating of native code in an extremely flexible manner and permits the use of automated tools to aid the programmer in the updating process.
Journal ArticleDOI
Practical dynamic software updating for C
TL;DR: Ginseng, a DSU implementation for C that performs a series of analyses that when combined with some simple runtime support ensure that an update will not violate type-safety while guaranteeing that data is kept up-to-date.
Journal ArticleDOI
Dynamic software updating
Michael Hicks,Scott M. Nettles +1 more
TL;DR: This work presents an approach for C-like languages that provides type-safe dynamic updating of native code in an extremely flexible manner and permits the use of automated tools to aid the programmer in the updating process.
Proceedings ArticleDOI
Mutatis mutandis: safe and predictable dynamic software updating
TL;DR: Proteus is presented, a core calculus for dynamic software updating in C-like languages that is flexible, safe, and predictable, and defines a novel and efficient static updateability analysis to establish con-freeness statically.
References
More filters
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
The evolving philosophers problem: dynamic change management
Jeff Kramer,Jeff Magee +1 more
TL;DR: A model for dynamic change management which separates structural concerns from component application concerns is presented and is applied to an example problem, 'evolving philosophers', which has been implemented and tested in the Conic environment for distributed systems.
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
Abstraction mechanisms in CLU
TL;DR: 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.
Journal ArticleDOI
Distributed programming in Argus
TL;DR: 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.