Advanced Concurrent Programming Notes
These notes provide a detailed expositions on advanced topics in concurrent programming; these are focused both on theoretical foundations as well as on practical applications of shared-variable programming. Among the various aspects treated are mutual exclusion techniques (such as Petersen's algorithm) and, of course, synchronization methods such as semaphores and monitors. The introduction of paradigms in distributed programming is also covered by means of remote procedure calls (RPC), as well as transactional memory, among other things. The module covers the proof outline logic of concurrent programs that allow for a rigorous approach toward understanding the correctness of concurrent systems. As graduate-level study notes perfect for anyone interested in comprehending concurrency in software development at a deeper level than usual, they provide an excellent approach toward understanding the reasoning of designs and also toward verifying critical properties in concurrent systems.
Author(s): Memorial University of Newfoundland
NA Pages 
Concurrent Programming in Harmony by Cornell
This PDF covers the following topics related to Concurrent Programming, On Concurrent Programming, Hello World, The Problem of Concurrent Programming, The Harmony Virtual Machine, Critical Sections, Petersons Algorithm, Harmony Methods and Pointers, Specification, Spinlock, Lock Implementations, Concurrent Data Structures, FineGrained Locking, Testing, Checking Behaviors, Debugging, Conditional Waiting, Reader Writer Locks, Bounded Buffer, Split Binary Semaphores, Starvation, Monitors, Deadlock, Actors and Message Passing, Barrier Synchronization, Interrupts, NonBlocking Synchronization, Alternating Bit Protocol, Leader Election, Transactions and Two Phase Commit, Chain Replication, Working with Actions, Replicated Atomic Read Write Register, Distributed Consensus, Paxos, NeedhamSchroeder Authentication Protocol.
Author(s): Robbert van Renesse
225 Pages
Concurrent Programming Class Notes
These class notes give a course outline that is conducted indepth on concurrent programming. They include the basic concepts of parallel programming, multiprocessing, and multithreading. Threads definitions and properties are presented, such as lifecycle processes and the structure of concurrent hardware architecture. The basic algorithms form the foundation, including Kessels and ticket algorithms, with semantic and the bakery algorithm as the key synchronization tools. Another topic that the material will be discussing about concurrency issues is deadlock and speculative multithreading. This book is a resource on getting an easytoaccess introduction to concurrent programming principles, it is excellent for student and professional readers who want to learn about how to effectively manage concurrent processes in software applications.
Author(s): Gabriel Lemonde
110 Pages
Concepts of Concurrent Programming
This resource is aimed primarily at explicit concurrency, where a programmer explicitly declares the concurrent behavior within the code. It explains the nature and properties of concurrent programs as well as the issues that arise during execution and how to build such programs efficiently. The text also considers performanceoriented concurrencythat is, the way to exploit a certain capability of hardware in order to realize an increase of efficiency of a program. This material, by taking common applications as a look and common problems present in concurrent programming, acts as a basic guide for anyone interested in knowing the design and implementation of robust concurrent systems.
Author(s): David W. Bustard
51 Pages
Concurrent and Distributed Programming
This web resource is a comprehensive tutorial on concurrent and distributed programming with all basics illustrated with practical examples. It starts with an overview of concurrency, illustrating critical principles with simple programming examples. Notes provide overviews of several programming languagesincluding C, C, Java, Ada, and Perlshowing how each approaches concurrency. It encompasses mutual exclusion, message passing, and both the standard and an enhanced version of the classic Dining Philosophers problem. It also touches on threading in Java and Ada as well as introduces the POSIX threads library pthreads for C programs. This book is perfect for students and practitioners who need to know the underpinning of concurrent programming in different environments.
Author(s): Ray Toal
NA Pages
