ACM DL

Computer Systems (TOCS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Computer Systems (TOCS), Volume 8 Issue 4, Nov. 1990

Deriving protocol specifications from service specifications including parameters
Reinhard Gotzhein, Gregor von Bochmann
Pages: 255-283
DOI: 10.1145/128733.128734
The service specification concept has acquired an increasing level of recognition by protocol designers. This architectural concept influences the methodology applied to service and protocol definition. Since the protocol is seen as the logical...

Tolerating failures of continuous-valued sensors
Keith Marzullo
Pages: 284-304
DOI: 10.1145/128733.128735
One aspect of fault-tolerance in process control programs is the ability to tolerate sensor failure. This paper presents a methodology for transforming a process control program that cannot tolerate sensor failures into one that can. Issues...

Concurrent reading and writing of clocks
Leslie Lamport
Pages: 305-310
DOI: 10.1145/128733.128736
As an exercise in synchronization without mutual exclusion, algorithms are developed to implement both a monotonic and a cyclic multiple-word clock that is updated by one process and read by one or more other processes. ...

High-level language debugging for concurrent programs
German S. Goldszmidt, Shaula Yemini, Shmuel Katz
Pages: 311-336
DOI: 10.1145/128733.128737
An integrated system design for debugging distributed programs written in concurrent high-level languages is described. A variety of user-interface, monitoring, and analysis tools integrated around a uniform process model are provided. Because...