Hardware support for interprocess communication
ISCA '87 Proceedings of the 14th annual international symposium on Computer architecture
Recovery management in QuickSilver
ACM Transactions on Computer Systems (TOCS)
A Generalized Timed Petri Net Model for Performance Analysis
IEEE Transactions on Software Engineering
Measurements of distributed operating systems
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
MC 68000 16-Bit Microprocessor User's Manual
MC 68000 16-Bit Microprocessor User's Manual
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Accent: A communication oriented network operating system kernel
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
A unified model and implementation for interprocess communication in a multiprocessor environment
SOSP '81 Proceedings of the eighth 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
Hardware support for interprocess communication
Hardware support for interprocess communication
An overview of the Amoeba distributed operating system
ACM SIGOPS Operating Systems Review
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Flexible Hardware/Software Support for Message Passing on a Distributed Shared Memory Architecture
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Hi-index | 0.00 |
The use of a special-purpose coprocessor for supporting message passing is proposed. An actual message-based operating system is partitioned into computation and communication parts, executing, respectively, on a host and a message coprocessor which interact through shared queues. Its performance is measured on a multiprocessor. Hardware support in the form of a special-purpose smart bus and smart shared memory is designed. The benefits of these components are demonstrated through analytical modeling using generalized timed Petri nets. The analysis shows good agreement with experimental results and indicates that substantial benefits may be obtained when the software is partitioned between host and the message coprocessor and when a small amount of special-purpose hardware is added.