Concurrent Programming in Harmony by Cornell
The Harmony Virtual Machine: Principles and Practice of Concurrent Programming This comprehensive guide develops the principles and practice of concurrent programming with the Harmony Virtual Machine. This comprehensive reference guide discusses key ideas such as critical sections and problems in concurrent programming. It helps readers learn about Peterson's algorithm for mutual exclusion, various locking mechanisms, and concurrent data structures. The text also explains advanced synchronization techniques, such as conditional waiting, reader/writer locks, and monitors. In addition, this book includes deadlock and starvation concepts. It talks about distributed systems with consensus algorithms such as Paxos and the protocols used for authentication, such as Needham-Schroeder. Material is structured to support theoretical understanding and practical application, making this text useful for both students and practitioners in concurrent programming.
Author(s): Robbert van Renesse
225 Pages 
Concurrent Programming in Harmony by Cornell
The Harmony Virtual Machine: Principles and Practice of Concurrent Programming This comprehensive guide develops the principles and practice of concurrent programming with the Harmony Virtual Machine. This comprehensive reference guide discusses key ideas such as critical sections and problems in concurrent programming. It helps readers learn about Peterson's algorithm for mutual exclusion, various locking mechanisms, and concurrent data structures. The text also explains advanced synchronization techniques, such as conditional waiting, reader/writer locks, and monitors. In addition, this book includes deadlock and starvation concepts. It talks about distributed systems with consensus algorithms such as Paxos and the protocols used for authentication, such as Needham-Schroeder. Material is structured to support theoretical understanding and practical application, making this text useful for both students and practitioners in concurrent programming.
Author(s): Robbert van Renesse
225 Pages
Concurrent Programming Class Notes (PDF 110P)
These class notes give a course outline that is conducted in-depth on concurrent programming. They include the basic concepts of parallel programming, multi-processing, and multi-threading. Threads' definitions and properties are presented, such as lifecycle processes and the structure of concurrent hardware architecture. The basic algorithms form the foundation, including Kessel's 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 easy-to-access 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
