The Resource Distributed Algorithms for Message-Passing Systems, by Michel Raynal, (electronic resource)

Distributed Algorithms for Message-Passing Systems, by Michel Raynal, (electronic resource)

Label
Distributed Algorithms for Message-Passing Systems
Title
Distributed Algorithms for Message-Passing Systems
Statement of responsibility
by Michel Raynal
Creator
Author
Author
Subject
Language
  • eng
  • eng
Summary
Distributed computing is at the heart of many applications. It arises as soon as one has to solve a problem in terms of entities -- such as processes, peers, processors, nodes, or agents -- that individually have only a partial knowledge of the many input parameters associated with the problem. In particular each entity cooperating towards the common goal cannot have an instantaneous knowledge of the current state of the other entities. Whereas parallel computing is mainly concerned with 'efficiency', and real-time computing is mainly concerned with 'on-time computing', distributed computing is mainly concerned with 'mastering uncertainty' created by issues such as the multiplicity of control flows, asynchronous communication, unstable behaviors, mobility, and dynamicity. While some distributed algorithms consist of a few lines only, their behavior can be difficult to understand and their properties hard to state and prove. The aim of this book is to present in a comprehensive way the basic notions, concepts, and algorithms of distributed computing when the distributed entities cooperate by sending and receiving messages on top of an asynchronous network. The book is composed of seventeen chapters structured into six parts: distributed graph algorithms, in particular what makes them different from sequential or parallel algorithms; logical time and global states, the core of the book; mutual exclusion and resource allocation; high-level communication abstractions; distributed detection of properties; and distributed shared memory. The author establishes clear objectives per chapter and the content is supported throughout with illustrative examples, summaries, exercises, and annotated bibliographies. This book constitutes an introduction to distributed computing and is suitable for advanced undergraduate students or graduate students in computer science and computer engineering, graduate students in mathematics interested in distributed computing, and practitioners and engineers involved in the design and implementation of distributed applications. The reader should have a basic knowledge of algorithms and operating systems
http://library.link/vocab/creatorName
Raynal, Michel
Dewey number
004.0151
http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsaut
4pbyb364q2A
Image bit depth
0
Language note
English
LC call number
QA75.5-76.95
Literary form
non fiction
http://library.link/vocab/subjectName
  • Information theory
  • Computer Communication Networks
  • Computer science
  • Computer hardware
  • Theory of Computation
  • Computer Communication Networks
  • Programming Techniques
  • Computer Hardware
Label
Distributed Algorithms for Message-Passing Systems, by Michel Raynal, (electronic resource)
Instantiates
Publication
Note
Bibliographic Level Mode of Issuance: Monograph
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Color
not applicable
Content category
text
Content type code
txt
Contents
Part I Distributed Graph Algorithms -- Chap. 1 Base Definitions and Network Traversal Algorithms -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions on a Process Graph -- Chap. 4 Leader Election Algorithms -- Chap. 5 Mobile Objects Navigating a Network -- Part II Logical Time and Global States in Distributed Systems -- Chap. 6 Nature of Distributed Computations and the Concept of a Global State -- Chap. 7 Logical Time in Asynchronous Distributed Systems -- Chap. 8 Asynchronous Distributed Checkpointing -- Chap. 9 Simulating Synchrony on Top of Asynchronous Systems -- Part III Mutual Exclusion and Resource Allocation -- Chap. 10 Permission-Based Mutual Exclusion Algorithms -- Chap. 11 Distributed Resource Allocation -- Part IV High-Level Communication Abstractions -- Chap. 12 Order Constraints on Message Delivery -- Chap. 13 Rendezvous and Synchronous Communication -- Part V Detection of Properties on Distributed Executions -- Chap. 14 Distributed Termination Detection -- Chap. 15 Distributed Deadlock Detection -- Part VI Distributed Shared Memory -- Chap. 16 Atomic Consistency (Linearizability) -- Chap. 17 Sequential Consistency -- Afterword -- Bibliography -- Index
Dimensions
unknown
Edition
1st ed. 2013.
Extent
1 online resource (XXXI, 500 p.)
File format
multiple file formats
Form of item
online
Isbn
9783642381232
Level of compression
uncompressed
Media category
computer
Media type code
c
Other control number
10.1007/978-3-642-38123-2
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (CKB)3710000000002582
  • (SSID)ssj0000960660
  • (PQKBManifestationID)11541873
  • (PQKBTitleCode)TC0000960660
  • (PQKBWorkID)10959315
  • (PQKB)10485691
  • (DE-He213)978-3-642-38123-2
  • (EXLCZ)993710000000002582
Label
Distributed Algorithms for Message-Passing Systems, by Michel Raynal, (electronic resource)
Publication
Note
Bibliographic Level Mode of Issuance: Monograph
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Color
not applicable
Content category
text
Content type code
txt
Contents
Part I Distributed Graph Algorithms -- Chap. 1 Base Definitions and Network Traversal Algorithms -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions on a Process Graph -- Chap. 4 Leader Election Algorithms -- Chap. 5 Mobile Objects Navigating a Network -- Part II Logical Time and Global States in Distributed Systems -- Chap. 6 Nature of Distributed Computations and the Concept of a Global State -- Chap. 7 Logical Time in Asynchronous Distributed Systems -- Chap. 8 Asynchronous Distributed Checkpointing -- Chap. 9 Simulating Synchrony on Top of Asynchronous Systems -- Part III Mutual Exclusion and Resource Allocation -- Chap. 10 Permission-Based Mutual Exclusion Algorithms -- Chap. 11 Distributed Resource Allocation -- Part IV High-Level Communication Abstractions -- Chap. 12 Order Constraints on Message Delivery -- Chap. 13 Rendezvous and Synchronous Communication -- Part V Detection of Properties on Distributed Executions -- Chap. 14 Distributed Termination Detection -- Chap. 15 Distributed Deadlock Detection -- Part VI Distributed Shared Memory -- Chap. 16 Atomic Consistency (Linearizability) -- Chap. 17 Sequential Consistency -- Afterword -- Bibliography -- Index
Dimensions
unknown
Edition
1st ed. 2013.
Extent
1 online resource (XXXI, 500 p.)
File format
multiple file formats
Form of item
online
Isbn
9783642381232
Level of compression
uncompressed
Media category
computer
Media type code
c
Other control number
10.1007/978-3-642-38123-2
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (CKB)3710000000002582
  • (SSID)ssj0000960660
  • (PQKBManifestationID)11541873
  • (PQKBTitleCode)TC0000960660
  • (PQKBWorkID)10959315
  • (PQKB)10485691
  • (DE-He213)978-3-642-38123-2
  • (EXLCZ)993710000000002582

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...