Segmentation and the Design of Multiprogrammed Computer Systems
Journal of the ACM (JACM)
On implementation of label, variables
Communications of the ACM
The instrumentation of multics
Communications of the ACM
Virtual memory, processes, and sharing in MULTICS
Communications of the ACM
The working set model for program behavior
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
A scheduling philosophy for multiprocessing systems
Communications of the ACM
Programming semantics for multiprogrammed computations
Communications of the ACM
TRAFFIC CONTROL IN A MULTIPLEXED COMPUTER
TRAFFIC CONTROL IN A MULTIPLEXED COMPUTER
Timesharing system design concepts (McGraw-Hill computer science series)
Timesharing system design concepts (McGraw-Hill computer science series)
Lock-free linked lists using compare-and-swap
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Concurrent reading and writing
Communications of the ACM
Deadlock freedom through object ownership
International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming
Contention-sensitive data structures and algorithms
DISC'09 Proceedings of the 23rd international conference on Distributed computing
| Hi-index | 0.02 |
A technique is presented for replacing long-term interlocking of shared data by the possible repetition of unprivileged code in case a version number (associated with the shared data) has been changed by another process. Four principles of operating system architecture (which have desirable effects on the intrinsic reliability of a system) are presented; implementation of a system adhering to these principles requires that long-term lockout be avoided.