The Resource Distributed programming : theory and practice, A. Udaya Shankar, (electronic resource)

Distributed programming : theory and practice, A. Udaya Shankar, (electronic resource)

Label
Distributed programming : theory and practice
Title
Distributed programming
Title remainder
theory and practice
Statement of responsibility
A. Udaya Shankar
Creator
Contributor
Provider
Subject
Genre
Language
eng
Summary
Distributed Programming: Theory and Practice presents a practical and rigorous method to develop distributed programs that correctly implement their specifications. The method also covers how to write specifications and how to use them. Numerous examples such as bounded buffers, distributed locks, message-passing services, and distributed termination detection illustrate the method. Larger examples include data transfer protocols, distributed shared memory, and TCP network sockets. Distributed Programming: Theory and Practice bridges the gap between books that focus on specific concurrent programming languages and books that focus on distributed algorithms. Programs are written in a "real-life" programming notation, along the lines of Java and Python with explicit instantiation of threads and programs. Students and programmers will see these as programs and not "merely" algorithms in pseudo-code. The programs implement interesting algorithms and solve problems that are large enough to serve as projects in programming classes and software engineering classes. Exercises and examples are included at the end of each chapter with on-line access to the solutions. Distributed Programming: Theory and Practice is designed as an advanced-level text book for students in computer science and electrical engineering. Programmers, software engineers and researchers working in this field will also find this book useful
Cataloging source
GW5XE
http://library.link/vocab/creatorName
Shankar, A. Udaya
Image bit depth
0
LC call number
QA76.6
LC item number
.S53 2013
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
SpringerLink
http://library.link/vocab/subjectName
  • Software
  • Electronic Data Processing
  • Computer programming
  • Electronic data processing
  • Computer programming
  • Electronic data processing
Label
Distributed programming : theory and practice, A. Udaya Shankar, (electronic resource)
Instantiates
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Introduction -- Simple Lock -- Bounded Buffer -- Message-Passing Services -- Fifo Channels from Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF for Time-Constrained Programs -- Lock using Peterson's Algorithm -- Lock using the Bakery Algorithm -- Distributed Lock Service -- Distributed Lock using Timestamps -- Channel with Termination Detection Service -- Termination Detection for Diffusing Computations -- Object-Transfer Service -- Object Transfer using Path Reversal -- Distributed Shared Memory Service -- A Single-Copy Distributed Shared Memory -- A Multi-Copy Distributed Shared Memory -- Reliable Transport Service -- Reliable Transport Protocol
Dimensions
unknown
Extent
1 online resource.
File format
multiple file formats
Form of item
  • online
  • electronic
Isbn
9781461448815
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (OCoLC)810330065
  • (OCoLC)ocn810330065
Label
Distributed programming : theory and practice, A. Udaya Shankar, (electronic resource)
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Introduction -- Simple Lock -- Bounded Buffer -- Message-Passing Services -- Fifo Channels from Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF for Time-Constrained Programs -- Lock using Peterson's Algorithm -- Lock using the Bakery Algorithm -- Distributed Lock Service -- Distributed Lock using Timestamps -- Channel with Termination Detection Service -- Termination Detection for Diffusing Computations -- Object-Transfer Service -- Object Transfer using Path Reversal -- Distributed Shared Memory Service -- A Single-Copy Distributed Shared Memory -- A Multi-Copy Distributed Shared Memory -- Reliable Transport Service -- Reliable Transport Protocol
Dimensions
unknown
Extent
1 online resource.
File format
multiple file formats
Form of item
  • online
  • electronic
Isbn
9781461448815
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (OCoLC)810330065
  • (OCoLC)ocn810330065

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...