SHARER, a time sharing system for the CDC 6600
Communications of the ACM
Dynamic Supervisors - their design and construction
SOSP '67 Proceedings of the first ACM symposium on Operating System Principles
Communications of the ACM
The decline and fall of Operating Systems I
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Communications of the ACM
A system for teaching concurrent programming
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
The operating system kernel as a secure programmable machine
ACM SIGOPS Operating Systems Review
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Exokernel: an operating system architecture for application-level resource management
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Application performance and flexibility on exokernel systems
Proceedings of the sixteenth ACM symposium on Operating systems principles
MULTISAFE—a modular multiprocessing approach to secure database management
ACM Transactions on Database Systems (TODS)
Third Generation Computer Systems
ACM Computing Surveys (CSUR)
An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys (CSUR)
Some Deadlock Properties of Computer Systems
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Fault Tolerant Operating Systems
ACM Computing Surveys (CSUR)
Pilot: an operating system for a personal computer
Communications of the ACM
Thoth, a portable real-time operating system
Communications of the ACM
Reflections on an operating system design
Communications of the ACM
A large semaphore based operating system
Communications of the ACM
Use of the concept of transparency in the design of hierarchically structured systems
Communications of the ACM
An operating system based on the concept of a supervisory computer
Communications of the ACM
Communications of the ACM
Communications of the ACM
HYDRA: the kernel of a multiprocessor operating system
Communications of the ACM
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
The architecture of concurrent programs
The architecture of concurrent programs
A system architecture for pervasive computing
EW 9 Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system
IEEE Annals of the History of Computing
System D: A Distributed System for Availability
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
Block Asynchronous I/O: A Flexible Infrastructure for User-Level Filesystems
HiPC '01 Proceedings of the 8th International Conference on High Performance Computing
The invention of concurrent programming
The origin of concurrent programming
An outline of a course on operating system principles
The origin of concurrent programming
The origin of concurrent programming
The programming language concurrent Pascal
The origin of concurrent programming
ACM SIGOPS Operating Systems Review
A proposal for certain process management and intercommunication primitives
ACM SIGOPS Operating Systems Review
The TYPESET-10 Message Exchange Facility: a case study in systemic design
ACM SIGOPS Operating Systems Review
Heart: An operating system nucleus machine implemented by firmware
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
An architecture with comprehensive facilities of inter-process synchronization and communication
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
ICSE '81 Proceedings of the 5th international conference on Software engineering
Designing software for ease of extension and contraction
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Operating system enhancement through firmware
MICRO 10 Proceedings of the 10th annual workshop on Microprogramming
A top-down, laboratory based operating system course
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
Microprogramming of a burst structure
MICRO 7 Conference record of the 7th annual workshop on Microprogramming
A structure for interprocess communication in a data communications handler
ACM '76 Proceedings of the 1976 annual conference
Some deadlock properties of computer systems
SOSP '71 Proceedings of the third ACM symposium on Operating systems principles
Short-term scheduling in multiprogramming systems
SOSP '71 Proceedings of the third ACM symposium on Operating systems principles
Process selection in a hierarchical operating system
SOSP '71 Proceedings of the third ACM symposium on Operating systems principles
MERT - a multi-environment real-time operating system
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
Some constraints and tradeoffs in the design of network communications
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
Sharing data and services in a virtual machine system
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
Error resynchronization in producer-consumer systems
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
Overview of the Hydra Operating System development
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
The System Language for Project SUE
Proceedings of the SIGPLAN symposium on Languages for system implementation
The structure and characteristics of distributed systems
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Interprocess communication in real-time systems
SOSP '73 Proceedings of the fourth ACM symposium on Operating system principles
Hierarchical language definition
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
A short discussion of interprocess communication in the sue/360/370 operating system
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
The grok project data structures and process communication
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Gypsy: A language for specification and implementation of verifiable programs
Proceedings of an ACM conference on Language design for reliable software
The purpose of concurrent Pascal
Proceedings of the international conference on Reliable software
ACM '75 Proceedings of the 1975 annual conference
Comments on the topic “programming, and its implication on programming languages”
ACM '75 Proceedings of the 1975 annual conference
A model highlighting the security of operating systems
ACM '74 Proceedings of the 1974 annual conference - Volume 1
Principles of computer system organization
SIGCSE '70 Proceedings of the first SIGCSE technical symposium on Education in computer science
Some considerations for a high performance message-based interprocess communication system
Proceedings of the 1975 ACM SIGCOMM/SIGOPS workshop on Interprocess communications
A functional view of data independence
SIGFIDET '74 Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control
A user-controlled synchronization method
ACM SIGOPS Operating Systems Review
Some deadlock properties of computer systems
ACM SIGOPS Operating Systems Review
Short-term scheduling in multiprogramming systems
ACM SIGOPS Operating Systems Review
Process selection in a hierarchical operating system
ACM SIGOPS Operating Systems Review
An approach to distributed software systems
ACM SIGOPS Operating Systems Review
ACM SIGOPS Operating Systems Review
Principles of computer system organization
ACM SIGCSE Bulletin
On a "buzzword": hierarchical structure
Software pioneers
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
A student group project in operating system implementation
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
ACM SIGMIS Database
Categorization of Common Coupling and Its Application to the Maintainability of the Linux Kernel
IEEE Transactions on Software Engineering
Commercial Fault Tolerance: A Tale of Two Systems
IEEE Transactions on Dependable and Secure Computing
System support for pervasive applications
ACM Transactions on Computer Systems (TOCS)
A computer system supporting data abstraction
ACM SIGOPS Operating Systems Review
A computer system supporting data abstraction
ACM SIGOPS Operating Systems Review
Are virtual-machine monitors microkernels done right?
ACM SIGOPS Operating Systems Review
Journal of Systems and Software
Operating system enhancement through microprogramming
ACM SIGMICRO Newsletter
Change propagations in the maintenance of kernel-based software with a study on Linux
ACM-SE 45 Proceedings of the 45th annual southeast regional conference
Resources, concurrency, and local reasoning
Theoretical Computer Science
Towards trustworthy computing systems: taking microkernels to the next level
ACM SIGOPS Operating Systems Review
REBUS, A Fault-Tolerant Distributed System for Industrial Real-Time Control
IEEE Transactions on Computers
A Computer Architecture for Level Structured Systems
IEEE Transactions on Computers
An Open System Operational Semantics for an Object-Oriented and Component-Based Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Project SUE as a learning experience
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
Operating system design considerations for microprogrammed mini-computer satellite systems
AFIPS '73 Proceedings of the June 4-8, 1973, national computer conference and exposition
A parallel processor for evaluation studies
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Verifiable secure operating system software
AFIPS '74 Proceedings of the May 6-10, 1974, national computer conference and exposition
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol
Electronic Notes in Theoretical Computer Science (ENTCS)
seL4: formal verification of an OS kernel
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
On The Advantages of Tagged Architecture
IEEE Transactions on Computers
IBM Systems Journal
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
The OKL4 microvisor: convergence point of microkernels and hypervisors
Proceedings of the first ACM asia-pacific workshop on Workshop on systems
Quarantine: fault tolerance for concurrent servers with data-driven selective isolation
HotPar'11 Proceedings of the 3rd USENIX conference on Hot topic in parallelism
An approach to software system modelling and analysis
Computer Languages
Representation and manipulation of information systems: A simplified approach
Journal of Systems and Software
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles
ACM SIGOPS 24th Symposium on Operating Systems Principles
From L3 to seL4 what have we learnt in 20 years of L4 microkernels?
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles
Comprehensive formal verification of an OS microkernel
ACM Transactions on Computer Systems (TOCS)
| Hi-index | 48.40 |
This paper describes the philosophy and structure of a multi-programming system that can be extended with a hierarchy of operating systems to suit diverse requirements of program scheduling and resource allocation. The system nucleus simulates an environment in which program execution and input/output are handled uniformly as parallel, cooperating processes. A fundamental set of primitives allows the dynamic creation and control of a hierarchy of processes as well as the communication among them.