JMU
Coordination (a.k.a. Synchronization) Problems and Protocols
An Introduction


Prof. David Bernstein
James Madison University

Computer Science Department
bernstdh@jmu.edu


Review
Motivation for Studying Coordination
Communication
Communications Protocols
Important Properties of Coordination Protocols
Important Properties of Coordination Protocols (cont.)
Demonstrating that Coordination Protocols have Specific Properties
Initiation Problems
Initiation Problems (cont.)
Owner-Borrower Problems
Owner-Borrower Problems (cont.)
Owner-Borrower Problems (cont.)
Owner-Borrower Problems - An Incorrect Solution
Owner-Borrower Problems - Another Incorrect Solution
Owner-Borrower Problems - Still Another Incorrect Solution
Owner-Borrower Problems - A Solution
Owner-Borrower Problems - A Proof of Mutual Exclusion
Owner-Borrower Problems - Other Properties
Producer-Consumer Problems
Producer-Consumer Problems (cont.)
Producer-Consumer Problems (cont.)
Producer-Consumer Problems - A Solution
Producer-Consumer Problems - A Proof of Mutual Exclusion
Producer-Consumer Problems - A Proof of Starvation Freedom
Reader-Writer Problems
Reader-Writer Problems (cont.)
Rendezvous Problems
Rendezvous Problems (cont.)