wood@cs.cornell.edu (Mark D. Wood) (03/16/91)
Archive-name: os/research/marzullo-wood-reactive-systems/1991-03-05 Archive: cu-arpa.cs.cornell.edu:/pub/TR91-1193.ps.Z [128.84.254.3] Original-posting-by: wood@cs.cornell.edu (Mark D. Wood) Original-subject: New TR available: Tools for Constructing Distributed Reactive Systems Reposted-by: emv@msen.com (Edward Vielmetti, MSEN) A new technical report is available from Cornell University, entitled "Tools for Constructing Distributed Reactive Systems," by Keith Marzullo and Mark Wood. This report is available by writing to the Technical Report Librarian, Department of Computer Science, Upson Hall, Cornell University, Ithaca NY 14853 and asking for TR # 91-1193. Alternatively, a compressed PostScript copy may be obtained by anonymous ftp from cu-arpa.cs.cornell.edu; the file is TR91-1193.ps.Z ABSTRACT Many distributed applications can be cast as a reactive systems, where a reactive system consists of an instrumented program that is monitored and controlled by an input-driven control program. Examples of non-real-time reactive systems include monitoring and debugging systems, tool integration services, and network and distributed application managers. There is currently little support for building reactive systems. This paper describes the Meta toolkit that provides such support. Using Meta, a distributed system can be instrumented with a sensor and actuator abstraction that exposes the state of the system for purposes of control. Then, a control program can be written that interacts with the instrumented system using guarded commands. Of particular concern is the efficiency of control, so Meta allows the control program to be distributed in order to take advantage of locality as much as possible. .................................................................... Mark D. Wood wood@cs.cornell.edu (INTERNET) Computer Science / Upson Hall moxy@CRNLVAX5 (BITNET) Cornell University / Ithaca, NY 14853 (607) 255-1149