Distributed Computing: Fundamentals, Simulations, and Advanced Topics
* Comprehensive introduction to the fundamental results in the mathematical foundations of distributed computing
* Accompanied by supporting material, such as lecture notes and solutions for selected exercises
* Each chapter ends with bibliographical notes and a set of exercises
* Covers the fundamental models, issues and techniques, and features some of the more advanced topics
Čo hovoria ostatní - Napísať recenziu
Na obvyklých miestach sme nenašli žiadne recenzie.
Iné vydania - Zobraziť všetky
Distributed computing: fundamentals, simulations, and advanced topics
Hagit Attiya,Jennifer Welch
Zobrazenie úryvkov - 2004
0-valent adjusted clock admissible execution assume asynchronous system block executions broadcast service Byzantine failures causally clock synchronization code for processor communication system computation event condition consensus algorithm consensus object consensus problem Consider contradiction crash failures critical section defined definition Distributed Computing distributed shared memory enter the critical Exercise failure detector faulty processors FIFO flooding algorithm hardware clock identifier implies inductive initial configuration Lemma linearizability lower bound message complexity message delays message-passing systems messages sent multicast mutual exclusion algorithm node nonfaulty processor pi number of messages number of processors omission failures phase number pi's processor receives proof prove randomized randomized algorithm read/write objects read/write registers requires returns ring scan sequence number sequential consistency shared memory systems shared objects shared variables simulating processor single-writer snapshot object solve consensus spanning tree specification synchronous ring termination Theorem totally ordered update validity vector clock wait-free simulation write operation
Strana 2 - each computing entity can only be aware of information that it acquires, it has only a local view of the global situation. Computing entities can fail independently, leaving some components operational while others are not. The explosive growth of distributed systems makes it imperative to understand how to overcome these difficulties.