Distributed Operating Systems: Theory and Practice
β Scribed by Leslie Lamport (auth.), Yakup Paker, Jean-Pierre Banatre, MΓΌslim BozyiΔit (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Year
- 1987
- Tongue
- English
- Leaves
- 379
- Series
- NATO ASI Series 28
- Edition
- 1
- Category
- Library
No coin nor oath required. For personal study only.
β¦ Synopsis
This text comprises the edited collection of papers presented at the NATO Advanced Study Institute which took place at Altmyunus,
β¦ Table of Contents
Front Matter....Pages I-X
Front Matter....Pages 1-1
A Formal Basis for the Specification of Concurrent Systems....Pages 3-46
On the Construction of Distributed Programs....Pages 47-65
Derivation of Distributed Algorithms....Pages 67-109
Front Matter....Pages 111-111
Design of Highly Decentralized Operating Systems....Pages 113-145
Communication Models for Distributed Computation....Pages 147-174
New Concepts for Distributed System Structuring....Pages 175-197
Front Matter....Pages 199-199
Distributed Computing System Architectures : Hardware....Pages 201-218
Hardware Support for the Distributed Operating System of the Heidelberg Polyp Processor....Pages 219-237
Front Matter....Pages 239-239
The Apollo DOMAIN Distributed File System....Pages 241-260
The CHORUS Distributed Operating System: Some Design Issues....Pages 261-287
The Conic Support Environment for Distributed Systems....Pages 289-310
An Experience in Solving a Transaction Ordering Problem in a Distributed System....Pages 311-330
Distributed Transaction Processing and The Camelot System....Pages 331-353
Worm Programs....Pages 355-379
Back Matter....Pages 381-382
β¦ Subjects
Operating Systems
π SIMILAR VOLUMES
Distributed systems are now in use in a wide range of computer applications and are being considered as a "first candidate" whenever a new application emerges. Although some of the design and implementation principles of such systems have been widely understood and accepted there are still some issu
<p><p>This classroom-tested textbook describes the design and implementation of software for distributed real-time systems, using a bottom-up approach. The text addresses common challenges faced in software projects involving real-time systems, and presents a novel method for simply and effectively
This classroom-tested textbook describes the design and implementation of software for distributed real-time systems, using a bottom-up approach. The text addresses common challenges faced in software projects involving real-time systems, and presents a novel method for simply and effectively perfor
The Practice of Cloud System Administration, Volume 2, focuses on βdistributedβ or βcloudβ computing and brings a DevOps/SRE sensibility to the practice of system administration. Unsatisfied with books that cover either design or operations in isolation, the authors created this authoritative refere