ACM DL

Computer Systems (TOCS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Computer Systems (TOCS), Volume 10 Issue 3, Aug. 1992

An effective synchronization network for hot-spot accesses
William Tsun-Yuk Hsu, Pen-Chung Yew
Pages: 167-189
DOI: 10.1145/146937.146938
In large multiprocessor systems, fast synchronization is crucial for high performance. However, synchronization traffic tends to create “hot-spots” in shared memory and cause network congestion. Multistage shuffle-exchange networks...

Adaptable concurrency control for atomic data types
M. S. Atkins, M. Y. Coady
Pages: 190-225
DOI: 10.1145/146937.146939
In many distributed systems concurrent access is required to a shared object, where abstract object servers may incorporate type-specific properties to define consistency requirements. Each operation and its outcome is treated as an event, and...

A logic for reasoning about security
Janice Glasgow, Glenn Macewen, Prakash Panangaden
Pages: 226-264
DOI: 10.1145/146937.146940
A formal framework called Security Logic (SL) is developed for specifying and reasoning about security policies and for verifying that system designs adhere to such policies. Included in this modal logic...