Concurrent Programming in Harmony by Cornell

Overview & Synopsis

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.