{"product_id":"elements-of-distributed-computing-isbn-9780471036005","title":"Elements of Distributed Computing","description":"A lucid and up-to-date introduction to the fundamentals of distributed computing systems  \u003cp\u003eAs distributed systems become increasingly available, the need for a fundamental discussion of the subject has grown. Designed for first-year graduate students and advanced undergraduates as well as practicing computer engineers seeking a solid grounding in the subject, this well-organized text covers the fundamental concepts in distributed computing systems such as time, state, simultaneity, order, knowledge, failure, and agreement in distributed systems.\u003c\/p\u003e \u003cp\u003eDeparting from the focus on shared memory and synchronous systems commonly taken by other texts, this is the first useful reference based on an asynchronous model of distributed computing, the most widely used in academia and industry. The emphasis of the book is on developing general mechanisms that can be applied to a variety of problems. Its examples-clocks, locks, cameras, sensors, controllers, slicers, and synchronizers-have been carefully chosen so that they are fundamental and yet useful in practical contexts.\u003c\/p\u003e \u003cp\u003eThe text's advantages include:\u003c\/p\u003e \u003cul\u003e \u003cli\u003eEmphasizes general mechanisms that can be applied to a variety of problems\u003c\/li\u003e \u003cli\u003eUses a simple induction-based technique to prove correctness of all algorithms\u003c\/li\u003e \u003cli\u003eIncludes a variety of exercises at the end of each chapter\u003c\/li\u003e \u003cli\u003eContains material that has been extensively class tested\u003c\/li\u003e \u003cli\u003eGives instructor flexibility in choosing appropriate balance between practice and theory of distributed computing\u003c\/li\u003e \u003c\/ul\u003eMit der Verfügbarkeit verteilter Systeme wächst der Bedarf an einer fundamentalen Diskussion dieses Gebiets. Hier ist sie! Abgedeckt werden die grundlegenden Konzepte wie Zeit, Zustand, Gleichzeitigkeit, Reihenfolge, Kenntnis, Fehler und Übereinstimmung. Die Betonung liegt auf der Entwicklung allgemeiner Mechanismen, die auf eine Vielzahl von Problemen angewendet werden können. Sorgfältig ausgewählte Beispiele (Taktgeber, Sperren, Kameras, Sensoren, Controller, Slicer und Syncronizer) dienen gleichzeitig der Vertiefung theoretischer Aspekte und deren Umsetzung in die Praxis. Alle vorgestellten Algorithmen werden mit durchschaubaren, induktionsbasierten Verfahren bewiesen.  Foreword.\u003cbr\u003e \u003cbr\u003e Preface.\u003cbr\u003e \u003cbr\u003e Introduction.\u003cbr\u003e \u003cbr\u003e Model of a Computation.\u003cbr\u003e \u003cbr\u003e Logical Clocks.\u003cbr\u003e \u003cbr\u003e Verifying Clock Algorithms.\u003cbr\u003e \u003cbr\u003e Clocks of Different Dimensions.\u003cbr\u003e \u003cbr\u003e Mutual Exclusion: Using Timestamps.\u003cbr\u003e \u003cbr\u003e Mutual Exclusion: Tokens and Quorums.\u003cbr\u003e \u003cbr\u003e Drinking Philosophers Problem.\u003cbr\u003e \u003cbr\u003e Leader Election.\u003cbr\u003e \u003cbr\u003e Global State.\u003cbr\u003e \u003cbr\u003e Observing Global Predicates.\u003cbr\u003e \u003cbr\u003e Observing Conjuctive Predicates.\u003cbr\u003e \u003cbr\u003e Channel Predicates.\u003cbr\u003e \u003cbr\u003e Termination Detection.\u003cbr\u003e \u003cbr\u003e Control of a Distributed Computation.\u003cbr\u003e \u003cbr\u003e Causal Message Ordering.\u003cbr\u003e \u003cbr\u003e Synchronous and Total Message Ordering.\u003cbr\u003e \u003cbr\u003e Computation of a Global Functon.\u003cbr\u003e \u003cbr\u003e Repeated Global Computation of a Global Function.\u003cbr\u003e \u003cbr\u003e Synchronizers.\u003cbr\u003e \u003cbr\u003e Slicers.\u003cbr\u003e \u003cbr\u003e Distributed Shared Memory.\u003cbr\u003e \u003cbr\u003e Self-Stabilization.\u003cbr\u003e \u003cbr\u003e Knowledge and Common Knowledge.\u003cbr\u003e \u003cbr\u003e Consensus Under Asynchrony.\u003cbr\u003e \u003cbr\u003e Consensus Under Synchrony.\u003cbr\u003e \u003cbr\u003e Failure Detectors.\u003cbr\u003e \u003cbr\u003e Easy Problems in Asychronous Systems.\u003cbr\u003e \u003cbr\u003e Checkpointing for Recovery.\u003cbr\u003e \u003cbr\u003e Message Logging for Recovery.\u003cbr\u003e \u003cbr\u003e Appendix: Partial Orders.\u003cbr\u003e \u003cbr\u003e Bibliography.\u003cbr\u003e \u003cbr\u003e Index. VIJAY K. GARG, PhD, is a professor in the Electrical and Computer Engineering Department at the University of Texas at Austin and a leading researcher in distributed computing systems..  A lucid and up-to-date introduction to the fundamentals of distributed computing systems\u003cbr\u003e \u003cbr\u003e As distributed systems become increasingly available, the need for a fundamental discussion of the subject has grown. Designed for first-year graduate students and advanced undergraduates as well as practicing computer engineers seeking a solid grounding in the subject, this well-organized text covers the fundamental concepts in distributed computing systems such as time, state, simultaneity, order, knowledge, failure, and agreement in distributed systems.\u003cbr\u003e \u003cbr\u003e Departing from the focus on shared memory and synchronous systems commonly taken by other texts, this is the first useful reference based on an asynchronous model of distributed computing, the most widely used in academia and industry. The emphasis of the book is on developing general mechanisms that can be applied to a variety of problems. Its examples-clocks, locks, cameras, sensors, controllers, slicers, and synchronizers-have been carefully chosen so that they are fundamental and yet useful in practical contexts.\u003cbr\u003e \u003cbr\u003e The text's advantages include:\u003cbr\u003e * Emphasizes general mechanisms that can be applied to a variety of problems\u003cbr\u003e * Uses a simple induction-based technique to prove correctness of all algorithms\u003cbr\u003e * Includes a variety of exercises at the end of each chapter\u003cbr\u003e * Contains material that has been extensively class tested\u003cbr\u003e * Gives instructor flexibility in choosing appropriate balance between practice and theory of distributed computing","brand":"Wiley-IEEE Press","offers":[{"title":"Default Title","offer_id":47989119058149,"sku":"NP9780471036005","price":167.95,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1842\/7735\/files\/9780471036005.jpg?v=1761782873","url":"https:\/\/k12savings.com\/es\/products\/elements-of-distributed-computing-isbn-9780471036005","provider":"K12savings","version":"1.0","type":"link"}