Computer Systems (TOCS)


Search Issue
enter search term and/or author name


ACM Transactions on Computer Systems (TOCS), Volume 5 Issue 3, Aug. 1987

High-performance operating system primitives for robotics and real-time control systems
Tom Bihari, Gregor Taulbee, Bruce W. Weide, Karsten Schwan
Pages: 189-231
DOI: 10.1145/24068.24070
To increase speed and reliability of operation, multiple computers are replacing uniprocessors and wired-logic controllers in modern robots and industrial control systems. However, performance increases are not attained by such hardware alone....

Response times in level-structured systems
Paul K. Harter, Jr.
Pages: 232-248
DOI: 10.1145/24068.24069
Real-time programs are among the most critical programs in use today, yet they are also among the worst understood and the most difficult to verify. Validation of real-time systems is nonetheless extremely important in view of the high costs...

Concurrency versus availability: atomicity mechanisms for replicated data
Maurice Herlihy
Pages: 249-274
DOI: 10.1145/24068.27643
A replicated object is a typed data object that is stored redundantly at multiple locations to enhance availability. Most techniques for managing replicated data have a two-level structure: At the higher level, a replica-control protocol...

An optimized contention protocol for broadband networks
W. Worth Kirkman
Pages: 275-283
DOI: 10.1145/24068.27644
This paper describes the concepts underlying an alternative link-level protocol for broadband local networks. The protocol uses implicit slotting of the contention channel to support larger networks, improve performance, and provide reliable...

The information structure of distributed mutual exclusion algorithms
Beverly A. Sanders
Pages: 284-299
DOI: 10.1145/24068.28052
The concept of an information structure is introduced as a unifying principle behind several of the numerous algorithms that have been proposed for the distributed mutual exclusion problem. This approach allows the development of a generalized...