Implications of structured programming for machine architecture
Communications of the ACM
Communications of the ACM
TASK forces: Distributed software for solving problems of substantial size
ICSE '79 Proceedings of the 4th international conference on Software engineering
Storage concepts in a software-reliability-directed computer architecture
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
The CAP project - an interim evaluation
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
StarOS, a multiprocessor operating system for the support of task forces
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
NAMING AND PROTECTION IN EXTENDABLE OPERATING SYSTEMS
NAMING AND PROTECTION IN EXTENDABLE OPERATING SYSTEMS
A study of process behavior in virtual computer systems.
A study of process behavior in virtual computer systems.
List structure: measurements, algorithms, and encodings.
List structure: measurements, algorithms, and encodings.
The design of computer architectures to enhance software reliability.
The design of computer architectures to enhance software reliability.
Functionality and performance in capability-based operating systems.
Functionality and performance in capability-based operating systems.
Tagged architecture: how compelling are its advantages?
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
Low contention semaphores and ready lists
Communications of the ACM
Systematic protection mechanism design
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
On minimizing contention at semaphores
ACM SIGARCH Computer Architecture News
On minimizing contention at semaphores
ACM SIGOPS Operating Systems Review
Capability Based Tagged Architectures
IEEE Transactions on Computers
| Hi-index | 0.02 |
A capability system which supports very small objects can achieve flexible and efficient protection. This paper presents a scheme for representing both large and small entitles In a computation, down to integers and character strings, as objects. This is achieved by a generalization of tagged memory to encompass extended data types; and by the use of variable-length capabilities, which can be very short if they are close to the object they reference. As developed here, the design assumes a single, systemwide virtual-address space, and a stack architecture; but it could probably be modified for use In other environments.