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