Distributed Operating Systems

Theory and Practice
Herausgegeben von Paker, Yakup; Banatre, Jean-Pierre; Bozyigit, Muslim

• Broschiertes Buch

Produktbeschreibung

This text comprises the edited collection of papers presented at the NATO Advanced Study Institute which took place at Altmyunus,

Produktdetails

• Nato ASI Subseries F: 28
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-642-46606-9
• Seitenzahl: 396
• Erscheinungstermin: 3. April 2012
• Englisch
• Abmessung: 254mm x 178mm x 22mm
• Gewicht: 741g
• ISBN-13: 9783642466069
• ISBN-10: 3642466060
• Artikelnr.: 36114094

Inhaltsangabe

1 Formal Aspects of Concurrent Systems.- A Formal Basis for the Specification of Concurrent Systems.- On the Construction of Distributed Programs.- Derivation of Distributed Algorithms.- 2 Design Issues for Distributed Operating Systems.- Design of Highly Decentralised Operating Systems.- Communication Models for Distributed Computation.- New Concepts for Distributed System Structuring.- 3 Hardware Support for Distributed Computing Systems.- Distributed Computing System Architectures: Hardware.- Hardware Support for the Distributed Operating System of the Heidelberg Polyp Processor.- 4 Case Studies.- The Apollo DOMAIN Distributed File System.- The CHORUS Distributed Operating System: Some Design Issues.- The Conic Support Environment for Distributed Systems.- An Experience in Solving a Transaction Ordering Problem in a Distributed System.- Distributed Transaction Processing and The Camelot System.- Worm Programs.