Communications of the ACM
TENEX, a paged time sharing system for the PDP - 10
Communications of the ACM
A hardware architecture for implementing protection rings
Communications of the ACM
Protection in programming languages
Communications of the ACM
The nucleus of a multiprogramming system
Communications of the ACM
HYDRA: the kernel of a multiprocessor operating system
Communications of the ACM
On the transfer of control between contexts
Programming Symposium, Proceedings Colloque sur la Programmation
Overview of the Hydra Operating System development
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
An architecture for object management in OIS
ACM Transactions on Information Systems (TOIS)
The muse object architecture: a new operating system structuring concept
ACM SIGOPS Operating Systems Review
The operating system kernel as a secure programmable machine
ACM SIGOPS Operating Systems Review
SafeBots: a paradigm for software security controls
NSPW '96 Proceedings of the 1996 workshop on New security paradigms
Supporting distributed applications: experience with Eden
Proceedings of the tenth ACM symposium on Operating systems principles
The Gutenberg operating system kernel
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Fault Tolerant Operating Systems
ACM Computing Surveys (CSUR)
Operating System Structures to Support Security and Reliable Software
ACM Computing Surveys (CSUR)
Interprocess communication and processor dispatching on the Intel 432
ACM Transactions on Computer Systems (TOCS)
A language extension for expressing constraints on data access
Communications of the ACM
Protection in programming-language translations
Secure Internet programming
The operating system kernel as a secure programmable machine
EW 6 Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs
A hardware implementation of capability-based addressing
ACM SIGARCH Computer Architecture News
Supporting ada memory management in the iAPX-432
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
A technique for the architectural implementation of software subsystems
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
Architectural implications of abstract data type implementation
ISCA '79 Proceedings of the 6th annual symposium on Computer architecture
An extensible file system for hydra
ICSE '78 Proceedings of the 3rd international conference on Software engineering
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
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
In support of domain structure for operating systems
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Observations on the development of an operating system
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
iMAX: A multiprocessor operating system for an object-based computer
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
Hints for computer system design
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
How to design a system in which modules can be changed on the fly
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Language features for process interaction
Proceedings of an ACM conference on Language design for reliable software
Object oriented operating systems: An emerging design methodology
ACM '82 Proceedings of the ACM '82 conference
Vulnerabilities in Synchronous IPC Designs
SP '03 Proceedings of the 2003 IEEE Symposium on Security and Privacy
Capability architecture revisited
ACM SIGOPS Operating Systems Review
A hardware implementation of capability-based addressing
ACM SIGOPS Operating Systems Review
Using type-extension to organize virtual-memory mechanisms
ACM SIGOPS Operating Systems Review
A computer system supporting data abstraction
ACM SIGOPS Operating Systems Review
A computer system supporting data abstraction
ACM SIGOPS Operating Systems Review
Capability Based Tagged Architectures
IEEE Transactions on Computers
SAS kernel: streaming as a service kernel for correlated multi-streaming
Proceedings of the 21st international workshop on Network and operating systems support for digital audio and video
The need for capability policies
Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs
Hi-index | 48.24 |
The main features of a general purpose multiaccess operating system developed for the CDC 6400 at Berkeley are presented, and its good and bad points are discussed as they appear in retrospect. Distinctive features of the design were the use of capabilities for protection, and the organization of the system into a sequence of layers, each building on the facilities provided by earlier ones and protecting itself from the malfunctions of later ones. There were serious problems in maintaining the protection between layers when levels were added to the memory hierarchy; these problems are discussed and a new solution is described.