Distributed Operating Systems - Theory and Practice

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

Sommario

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.

Dettagli sul prodotto

• Con la collaborazione di: Jean-Pierr Banatre (Editore), Jean-Pierre Banatre (Editore), Muslim Bozyigit (Editore), Yakup Paker (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 16.11.2012
• EAN: 9783642466069
• ISBN: 978-3-642-46606-9
• Pagine: 379
• Peso: 741 g
• Illustrazioni: X, 379 p.
• Serie: NATO ASI Series F: Computer and Systems Sciences; Nato ASI Subseries F: Nato ASI Series (closed) / Nato ASI Subseries F: (closed); NATO ASI Series; NATO ASI Series F: Computer and Systems Sciences; Nato ASI Subseries F:
• Categoria: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Sistemi operativi, interfacce