MTU Cork Library Catalogue

Syndetics cover image
Image from Syndetics

Distributed systems / edited by Sape Mullender.

Contributor(s): Mullender, Sape J.
Material type: materialTypeLabelBookSeries: ACM Press frontier series.Publisher: New York : Reading, Mass. : ACM Press ; Addison-Wesley Pub. Co, c1993Edition: 2nd ed.Description: xvi, 595 p. : ill. ; 25 cm.ISBN: 0201624273.Subject(s): Electronic data processing -- Distributed processingDDC classification: 005.43
Contents:
A state-of-the-Art Distributed system: Computing with BOB / Michael D. Schroeder -- What good are models and what models are good? / Fred B. Schneider -- Specifications of Concurrent and Distributed systems / William E. Weihl -- Consistent global states of distributed systems: Fundamental concepts and mechanisms / Ozalp Babaoglu and Keith Marzullo -- Fault-Tolerant Broadcasts and Related Problems / Vassos Hadzilacos and Sam Toueg -- Non-blocking atomic commitment / Ozalp Babaoglu and Sam Toueg -- Replication Management using the State-Machine approach / Fred B. Schneider -- The Primary-Backup approach / Navin Budhiraja, Keith Marzullo, Fred B. Schneider and Sam Toueg -- Interprocess Communication / Sape J. Mullender -- Reliable Messages and Connection Establishment / Butler W. Lampson -- A Case study: Automatic Reconfiguration in Autonet / Thomas L. Rodeheiffer and Michael D. Schroeder -- Names / Roger M. Needham -- Transaction-Processing Techniques / William E. Weihl -- Distributed File Systems / M. Satyanarayanan -- Kernel Support for Distributed systems / Sape J. Mullender -- Real Time and Dependability Concepts / Hermann Kopetz and Paulo Verissimo -- Real-Time Communication / Paulo Verissimo -- Scheduling / Hermann Kopetz -- Design of Distributed Real-time systems / Paulo Verissimo and Hermann Kopetz -- Crytography and Secure Channels / Roger M. Needham -- Authentication in Distributed systems / Butler W. Lampson.
Holdings
Item type Current library Call number Copy number Status Date due Barcode Item holds
General Lending MTU Bishopstown Library Lending 005.43 (Browse shelf(Opens below)) 1 Available 00126761
General Lending MTU Bishopstown Library Lending 005.43 (Browse shelf(Opens below)) 1 Available 00018489
General Lending MTU Bishopstown Library Lending 005.43 (Browse shelf(Opens below)) 1 Available 00019202
Total holds: 0

Enhanced descriptions from Syndetics:

Technological progress in distributed computing systems continues at a rapid pace, and this second edition has been completely revised to reflect the current state of the art. Examples and case studies of commericial and experimental systems are provided by a distinguished author team, whose work reflects the cutting edge of modern developments in the field.

"Collects the lecture notes ... held five times: Arctic '88 in Tromso, Norway, Fingerlakes '89 in Ithaca, NY, Bologna '90 in Italy, Karuizawa '91 in Japan, and Lisboa '92 in Portugal"--Pref.

Includes bibliographical references and index.

A state-of-the-Art Distributed system: Computing with BOB / Michael D. Schroeder -- What good are models and what models are good? / Fred B. Schneider -- Specifications of Concurrent and Distributed systems / William E. Weihl -- Consistent global states of distributed systems: Fundamental concepts and mechanisms / Ozalp Babaoglu and Keith Marzullo -- Fault-Tolerant Broadcasts and Related Problems / Vassos Hadzilacos and Sam Toueg -- Non-blocking atomic commitment / Ozalp Babaoglu and Sam Toueg -- Replication Management using the State-Machine approach / Fred B. Schneider -- The Primary-Backup approach / Navin Budhiraja, Keith Marzullo, Fred B. Schneider and Sam Toueg -- Interprocess Communication / Sape J. Mullender -- Reliable Messages and Connection Establishment / Butler W. Lampson -- A Case study: Automatic Reconfiguration in Autonet / Thomas L. Rodeheiffer and Michael D. Schroeder -- Names / Roger M. Needham -- Transaction-Processing Techniques / William E. Weihl -- Distributed File Systems / M. Satyanarayanan -- Kernel Support for Distributed systems / Sape J. Mullender -- Real Time and Dependability Concepts / Hermann Kopetz and Paulo Verissimo -- Real-Time Communication / Paulo Verissimo -- Scheduling / Hermann Kopetz -- Design of Distributed Real-time systems / Paulo Verissimo and Hermann Kopetz -- Crytography and Secure Channels / Roger M. Needham -- Authentication in Distributed systems / Butler W. Lampson.

Table of contents provided by Syndetics

  • A State-of-the-Art Distributed System: Computing with Bob
  • What Good Are Models and What Models Are Good?
  • Specifications of Concurrent and Distributed Systems
  • Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanisms
  • Fault-Tolerant Broadcasts and Related Problems
  • Non-Blocking Atomic Commitment
  • Replication management Using the State-Machine Approach
  • The Primary-Backup Approach
  • Interprocess Communications
  • Reliable Messages and Connection Establishment
  • A Case Study: Automatic Reconfiguration in Automet
  • Names
  • Transaction-Processing Techniques
  • Distributed File Systems
  • Kernel Support for Distributed Systems
  • Real-Time and Dependability Concepts
  • Real-Time Communication
  • Scheduling
  • Design of Distributed Real-Time Systems
  • Cryptography and Secure Channels
  • Authentication in Distributed Systems
  • Index

Excerpt provided by Syndetics

This book collects the lecture notes used at the Advanced Courseon Distributed Systems which has now been held five times--Artic'88 in Tromso, Norway, Fingerlakes '89 in Ithaca, NY, Bologna '90in Italy, Karuizawa '91 in Japan and Lisboa '92 in Portugal. Itsinauguration will be at the sixth advanced course, Seattle '93 inSeattle, WA. The first edition was based on the lecture notes used at Artic'88 and Fingerlakes '89. Since then, the course has evolved andsteadily improved: coordination between the lecturers haseliminated duplication of material; it has produced agreement onterminology; and the course now reflects a more balanced view ofboth 'theoretical' and 'practical' aspects of research indistributed systems. As a consequence, the material in this second edition is almostentirely new. Only one chapter, in fact, has survived unscathedfrom the first edition. This book, I believe, has now become acoherent treatment of an increasingly important research area. DISTRIBUTED SYSTEMS is intended for people in universities andindustry interested in distributed systems. Teachers can usethis book torefresh their knowledge of distributed systems. Graduate students can use it to get acquainted with the field andas a reference to other work. Distributed systems designers andbuilders can use it as a source book when trying to solveproblems they encounter in their work. It can be (and is, bysome of the authors) used in post-graduate distributed systemscourses. It is aimed at graduate students in computer science: the reader should have a good general knowledge of computerorganization, computer networks, and operating systems. The book can be roughly partitioned into seven parts--anintroduction (Chapters 1-3), a part on theoretical foundations(Chapters 4-8), a part on Communication (Chapters 9-11), a parton file systems and database systems (Chapters 12-14), a singlechapter on kernel support (Chapter 15), a part on real-timesystems (Chapters 16-19), and a part on security (Chapters20-21). In Chapter 1, Schroeder explains what distinguishesd distributedsystems from other systems, and he discusses properties ofdistributed systems and techniques for achieving them. Then, inChapter 2, Schneider discusses the importance of making modelsofthe behaviour of distributed systems and the failures that needto be masked by them. Chapter 3, by Weihl, introduces aspecification method for concurrent systems and then derivesspecifications for the alternat-bit protocol, mutexes andcondition variables, remote procedure call, and a name service. The second group of chapters covers theoretical foundations ofdistributed and fault-tolerant algorithms. Chapter 4, byBabaoglu and Marzullo, describes how one can deduce, through theexchange of messages, what the state is of a distributed system. It introduces consistent cuts and snapshots, causality, logicaland vector clocks, and characterizes stable and unstablepredicates. Chapter 5, by Hadzilacos and Toueg, introducesvarious broadcast mechanisms. Using broadcasts, it is possibleto provide to a set of cooperating processes a consistent view ofa distributed computation. Broadcast protocols play an importantrole in the following three chapters. Chapter 6, by Babaoglu andToueg, gives protocols for non-blocking atomic commitment,Chapter 7, by Schneider, describes one well-known technique forturning a deterministic program running on a single computer intoa distributed one running on a set of computers so that itbecomes fault tolerant, and Chapter 8, by Budhiraja, Marzullo,Schneider and Toueg, shows another technique for transforming aprogram into a fault-tolerant one. In Chapter 9, Mullender discusses practical aspects of protocoldesign for interprocess communication in distributed systems. Attention is given to achieving at-most-once behaviour ofremote-invocation protocols in unreliable networks. Remoteprocedure call is also described in Chapter 9. Lampson appliesthe specification of methods of Chapter 2 to the derivationof aprotocol for connection establishment in Chapter 10. In Chapter11 Rodeheffer and Schroeder examine a particular distributedapplication--building up the routing tables for a high-speedswitch-based local-area network. Needham discusses issues associated with naming in Chapter 12 andshows that building naming databases for very large systems is afar from trivial. Weihl describes the protocols used forimplementing atomic transactions in distrubed systems subject toprocessor and network failures in Chapter 13. AndSatyanarayanan, in Chapter 14, shows how empirical data about howfile systems are used can be used to advantage in theimplementation of distributed file systems. One file system,Coda, is also described there in detail. In Chapter 15, Mullender uses the design of the Amoebadistributed system to discuss issues of distributed system kerneldesign and discuss techniques for memory management and processmanagement. In Chapters 16-19, Kopetz and Verissimo cover the subject ofreal-time systems. Chapter 16 introduces real time and theconcept of dependability. Chapter 17 then covers communicationin real-time systems, while Chapter 18 discusses scheduling ofreal-time processes. Two case studies, MARS and DELTA-4, are thesubject of Chapter 19. The final part of the book is about security and cryptography. Needham explains how cryptography is used to build secureauthenticated communication channels in Chapter 20. In Chapter21, Lampson unfolds a security architecture for distributedsystems, in which he covers security aspects ranging from securebootstrapping to authenticating a party on the other side of theplanet. 0201624273P04062001 Excerpted from Distributed Systems by Sape Mullender All rights reserved by the original copyright owners. Excerpts are provided for display purposes only and may not be reproduced, reprinted or distributed without the written permission of the publisher.

Powered by Koha