ACM Computing Surveys (CSUR)
High level programming for distributed computing
Communications of the ACM
Segment sizes and liftetimes in Algol 60 programs
Communications of the ACM
Distributed processes: a concurrent programming concept
Communications of the ACM
Ethernet: distributed packet switching for local computer networks
Communications of the ACM
Graph models of computer systems: Application to performance evaluation of an operating system
SIGMETRICS '76 Proceedings of the 1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation
Metric (Extended Abstract): A kernel instrumentation system for distributed environments
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
On the duality of operating system structures
ACM SIGOPS Operating Systems Review
A graph-model analysis of computer communications protocols.
A graph-model analysis of computer communications protocols.
| Hi-index | 0.00 |
This paper concerns the performance evaluation of an operating system based on communicating processes. Processes communicate via messages and there is no shared data. Execution of a program is abstracted as a sequence of events to denote significant computational steps. A finite state machine model of computation is used for the specifications of abstract computational properties and, thereafter, for the selective analysis of measurement data. A set of conventions is developed to characterize the performance of communicating processes. A hierarchical layering technique is used to concisely describe the characteristics of large systems. A performance monitoring system was implemented and applied to the analysis of RIG, a message-based operating system.