Concurrent Programming: Algorithms, Principles, and Foundations - Image 1

Price loading...

Springer Concurrent Programming: Algorithms, Principles, and Foundations

Name: Concurrent Programming: Algorithms, Principles, and Foundations
Brand: Springer

Networking & Security

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

This book is devoted to the most difficult part of concurrent programming, namely synchronization concepts, techniques and principles when the cooperating entities are asynchronous, communicate through a shared memory, and may experience failures. Synchronization is no longer a set of tricks but, due to research results in recent decades, it relies today on sane scientific foundations as explained in this book. In this book the author explains synchronization and the implementation of concurrent objects, presenting in a uniform and comprehensive way the major theoretical and practical results of the past 30 years. Among the key features of the book are a new look at lock-based synchronization (mutual exclusion, semaphores, monitors, path expressions); an introduction to the atomicity consistency criterion and its properties and a specific chapter on transactional memory; an introduction to mutex-freedom and associated progress conditions such as obstruction-freedom and wait-freedom; a presentation of Lamport's hierarchy of safe, regular and atomic registers and associated wait-free constructions; a description of numerous wait-free constructions of concurrent objects (queues, stacks, weak counters, snapshot objects, renaming objects, etc.); a presentation of the computability power of concurrent objects including the notions of universal construction, consensus number and the associated Herlihy's hierarchy; and a survey of failure detector-based constructions of consensus objects. The book is suitable for advanced undergraduate students and graduate students in computer science or computer engineering, graduate students in mathematics interested in the foundations of process synchronization, and practitioners and engineers who need to produce correct concurrent software. The reader should have a basic knowledge of algorithms and operating systems.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642446159
Category: Books > Subjects > Computing & Internet > Networking & Security
Domain: Amazon UK
Release Date: 29 January 2015
Listed Since: 30 January 2015

Barcode

No barcode data available

Springer Concurrent Programming: Algorithms, Principles, and Foundations

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

Modern Multithreading: Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 Programs

Understanding Control Flow: Concurrent Programming Using μC++

Nonsequential and Distributed Programming with Go: Synchronization of Concurrent Processes

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Springer - Concurrency in Dependable Computing Book

Understanding Concurrent Systems (Texts in Computer Science)

A Process Algebraic Approach to Software Architecture Design

Open Multithreaded Transactions: A Transaction Model for Concurrent Object-Oriented Programming

Wiley Concurrent and Distributed Computing in Java (IEEE Press)

A Practical Approach to High-Performance Computing

Transaction Processing: Management of the Logical Database and its Underlying Physical Structure (Data-Centric Systems and Applications)

Springer Database Concurrency Control - Advances in Database Systems

Springer Database Concurrency Control - Methods and Analysis

Concurrent Programming in Java: Design Principles and Pattern (Java Series)

Concurrency: The Works of Leslie Lamport (ACM Collection II)

The Art of Java Concurrency: A Deep Dive into the Executor Framework

Fault-Tolerant Message-Passing Distributed Systems: An Algorithmic Approach

Guide to Scientific Computing in C++ (Undergraduate Topics in Computer Science)

Programming Models for Parallel Computing (Scientific and Engineering Computation)

Systems Benchmarking: For Scientists and Engineers

Synchronous Programming of Reactive Systems: 215 (The Springer International Series in Engineering and Computer Science, 215)

Mastering Concurrency Programming with Java 8

Transaction Processing: Management of the Logical Database and its Underlying Physical Structure (Data-Centric Systems and Applications)

Parallel Programming: for Multicore and Cluster Systems