by Keith Marzullo, Mark D. Wood
ftp://ftp.cs.ucsd.edu/pub/faculty/marzullo/TR91-1187.ps.Z
Add To MetaCart
Abstract:
This paper describes Meta, a toolkit for the construction of reliable non-real-time reactive systems. The intended use for Meta is for building applications such as monitoring and debugging systems, tool integration services, and network and distributed application managers. In order to use Meta, a distributed program is first instrumented with a software sensor and actuator abstraction that exposes the state of the program for purposes of control. Then, a control program is written that monitors the state of the instrumented program and changes the state when specified conditions occur. Issues that are addressed by Meta include the construction of a consistent global state for detection, replication for fault-tolerance where appropriate, and the decentralization of control in order to reduce latency. 1 Constructing Reactive Systems A reactive system [11] structure is characterized by a control program that interacts with an instrumented process called the environment. The control program is input-driven: it monitors the environment and reacts to significant events by sending commands to the environment. The most common use of a reactive system structure is for process control systems, in which case the
Citations
|
1747
|
Time, clocks and the ordering of events in a distributed system
– Lamport
- 1978
|
|
1059
|
The entity-relationship model: Toward a unified view of data
– Chen
- 1976
|
|
864
|
Remote Procedure Call
– Nelson
- 1982
|
|
796
|
Distributed snapshots: Determining global states of distributed systems
– Chandy, Lamport
- 1985
|
|
573
|
Implementing fault-tolerant services using the state machine approach: A tutorial
– Schneider
- 1990
|
|
279
|
Exploiting virtual synchrony in distributed systems
– Birman, Joseph
- 1987
|
|
268
|
On the development of reactive systems
– Harel, Pnueli
- 1985
|
|
219
|
Preserving and using context information in interprocess communication
– Peterson, Buchholz, et al.
- 1989
|
|
175
|
Chandy and Jayadev Misra. Parallel Program Design: A Foundation
– Mani
- 1988
|
|
153
|
Consistent detection of global predicates
– Cooper, Marzullo
- 1991
|
|
148
|
Debugging Concurrent Programs
– McDowell, Helmbold
- 1989
|
|
115
|
Debugging heterogeneous distributed systems using event-based models of behavior
– Bates
- 1995
|
|
105
|
Partial orders for parallel debugging
– Fidge
- 1989
|
|
93
|
A relational approach to monitoring complex systems
– Snodgrass
- 1988
|
|
72
|
Breakpoints and halting in distributed programs
– Miller, Choi
- 1988
|
|
54
|
Birman: Tools for distributed Application Management
– Marzullo, Cooper, et al.
- 1991
|
|
42
|
Detection of Global State Predicates
– Marzullo, Neiger
- 1991
|
|
41
|
Connecting tools using message passing in the field program development environment
– Reiss
- 1990
|
|
21
|
IDD: an interactive distributed debugger
– HARTER, HEIMBIGNER, et al.
- 1985
|
|
16
|
adaptable tool integration policies for integrated environments
– Low-cost
- 1990
|
|
15
|
Tools for Monitoring and Controlling Distributed Applications
– Marzullo, Cooper, et al.
- 1991
|
|
13
|
ISIS - A Distributed Programming Environment User’s Guide and Reference Manual, First edition
– Birman, Joseph, et al.
- 1988
|
|
8
|
The Role of Inhibition in Asynchronous Consistent-Cut Protocols
– Taylor
- 1989
|
|
5
|
A generalized approach to monitoring distributed computations for event occurrences
– Spezialetti
- 1989
|
|
4
|
Fault-Tolerant Management of Distributed Applications Using the Reactive System Architecture
– WOOD
- 1991
|
|
1
|
Detection of global state predicates. Extended abstract submitted for presentation
– Marzullo, Neiger
- 1991
|
|
1
|
The role of inhibition in asynchronous consistent-- cut protocols
– Taylor
- 1989
|
