Reflections on an operating system design
Communications of the ACM
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
Protection in programming languages
Communications of the ACM
Mixed solutions for the deadlock problem
Communications of the ACM
Operating system principles
UIO: a uniform I/O system interface for distributed systems
ACM Transactions on Computer Systems (TOCS)
Towards a universal directory service
ACM SIGOPS Operating Systems Review
Extending a capability based system into a network environment
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Mach and Matchmaker: kernel and language support for object-oriented distributed systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Hardware support for interprocess communication
ISCA '87 Proceedings of the 14th annual international symposium on Computer architecture
Communications of the ACM
The DUNIX distributed operating system
ACM SIGOPS Operating Systems Review
A survey of process migration mechanisms
ACM SIGOPS Operating Systems Review
Sorting Large Files on a Backend Multiprocessor
IEEE Transactions on Computers
Partitioning Techniques for Large-Grained Parallelism
IEEE Transactions on Computers
A Kernel for High-Performance Multicast Communications
IEEE Transactions on Computers
Experience with Charlotte: Simplicity and Function in a Distributed Operating System
IEEE Transactions on Software Engineering
On Distributing JASMIN's Optimistic Multiversioning Page Manager
IEEE Transactions on Software Engineering
The interaction of architecture and operating system design
ASPLOS IV Proceedings of the fourth international conference on Architectural support for programming languages and operating systems
Scheduling and IPC mechanisms for continuous media
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
The integration of virtual memory management and interprocess communication in Accent
ACM Transactions on Computer Systems (TOCS)
Distributed process groups in the V Kernel
ACM Transactions on Computer Systems (TOCS)
Towards a universal directory service
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
The Gutenberg operating system kernel
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Office Information Systems and Computer Science
ACM Computing Surveys (CSUR)
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
The COSIE communications subsystem: support for distributed office applications
ACM Transactions on Information Systems (TOIS)
An experimental distributed modeling system
ACM Transactions on Information Systems (TOIS)
Medusa: an experiment in distributed operating system structure
Communications of the ACM
ACM Computing Surveys (CSUR)
The worm program model: an application centred point of view for distributed architecture design
EW 3 Proceedings of the 3rd workshop on ACM SIGOPS European workshop: Autonomy or interdependence in distributed systems?
Overview of the Jasmin database machine
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
A Visual Process Connector for Unix
IEEE Software
Distributed Transaction Management in Jasmin
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
ICSE '81 Proceedings of the 5th international conference on Software engineering
The Roscoe distributed operating system
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Publishing: a reliable broadcast communication mechanism
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
The distributed V kernel and its performance for diskless workstations
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
SODA: A simplified operating system for distributed applications
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Data abstraction: A static implementation strategy
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Implementing relational views of programs
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A progress report on the Desperanto research project: software support for distributed processing
ACM SIGOPS Operating Systems Review
SODA: a simplified operating system for distributed applications
ACM SIGOPS Operating Systems Review
An interprocess communication model for a distributed software testbed
SIGCOMM '83 Proceedings of the symposium on Communications Architectures & Protocols
XOS: an operating system for the X-tree architecture
ACM SIGOPS Operating Systems Review
Language support for fast and reliable message-based communication in singularity OS
Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
SISC: providing efficient XML-based service-orientation for core OS functionality
Proceedings of the 2007 workshop on Service-oriented computing performance: aspects, issues, and approaches
Message oriented programming-A resource based methodology
Computer Languages
Hi-index | 0.04 |
This paper describes the fundamentals and some of the details of task communication in DEMOS, the operating system for the CRAY-1 computer being developed at the Los Alamos Scientific Laboratory. The communication mechanism is a message system with several novel features. Messages are sent from one task to another over links. Links are the primary protected objects in the system; they provide both message paths and optional data sharing between tasks. They can be used to represent other objects with capability-like access controls. Links point to the tasks that created them. A task that creates a link determines its contents and possibly restricts its use. A link may be passed from one task to another along with a message sent over some other link subject to the restrictions imposed by the creator of the link being passed. The link based message and data sharing system is an attractive alternative to the semaphore or monitor type of shared variable based operating system on machines with only very simple memory protection mechanisms or on machines connected together in a network.