Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Concurrent Programming: Algorithms, Principles, and Foundations

Buy

The advent of new architectures and computing platforms means that synchronization and concurrent computing are among the most important topics in computing science. Concurrent programs are made up of cooperating entities -- processors, processes, agents, peers, sensors -- and synchronization is the set of concepts, rules and mechanisms that allow them to coordinate their local computations in order to realize a common task. 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.

(HTML tags aren't allowed.)

Blender Foundations: The Essential Guide to Learning Blender 2.6
Blender Foundations: The Essential Guide to Learning Blender 2.6

Howdy folks. This book is your guide to learning Blender 2.6. It assumes no previous knowledge of Blender, although old Blender users will find a lot to learn here too. Some beginner texts are dressed-up reference manuals, while some try to teach everything and end up teaching nothing. This book will teach you how to use Blender 2.6,...

Probability For Dummies (Math & Science)
Probability For Dummies (Math & Science)
Packed with practical tips and techniques for solving probability problems

Increase your chances of acing that probability exam — or winning at the casino!

Whether you're hitting the books for a probability or statistics course or hitting the tables at a casino, working out...

Windows Server 2003 Security Infrastructures : Core Security Features (HP Technologies)
Windows Server 2003 Security Infrastructures : Core Security Features (HP Technologies)

Windows Server 2003 Security Infrastructures is a must for anyone that wants to know the nuts and bolts of Windows Server 2003 security and wants to leverage the operating system’s security infrastructure. The primary goal of this book is to provide insights into the security features and technologies of the Windows Server 2003...


Sun Tzu: Strategies for Marketing - 12 Essential Principles for Winning the War for Customers
Sun Tzu: Strategies for Marketing - 12 Essential Principles for Winning the War for Customers

Battle-tested strategies for marketing your product or service to victory!

Millions of business warriors have been inspired by lessons from one of the world's greatest strategists, Sun Tzu. In Sun Tzu Strategies for Winning the Marketing War, the bestselling author and Sun Tzu expert Gerald Michaelson interprets...

Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout
Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout
"As chip size and complexity continue to grow exponentially, the challenges of functional verification are becoming a critical issue in the electronics industry. It is now commonly heard that logical errors missed during functional verification are the most common cause of chip re-spins, and that the costs associated with functional...
Hands-On GUI Programming with C++ and Qt5: Build stunning cross-platform applications and widgets with the most powerful GUI framework
Hands-On GUI Programming with C++ and Qt5: Build stunning cross-platform applications and widgets with the most powerful GUI framework

Create visually appealing and feature-rich applications by using Qt 5 and the C++ language

Key Features

  • Explore Qt 5's powerful features to easily design your GUI application
  • Leverage Qt 5 to build attractive cross-platform applications
  • Work with Qt...
©2019 LearnIT (support@pdfchm.net) - Privacy Policy