Chapter 6. Synchronisation

Hub: engineering

Part of the series

The critical section problem

Peterson’s solution

synchronisation hardware

semaphores

1. usage
2. implementation
3. deadlocks and starvation

classic problems of synchronisation

1. bounded-buffer problem
2. readers-writers problem
3. dining philosophers problem

monitors

1. usage
2. dining philosophers solution using monitors
3. implementing a monitor using semaphores
4. resuming processes within a monitor

synchronisation examples

1. solaris
2. windows xp
3. linux
4. pthreads

atomic transactions

1. system model
2. log based recovery
3. checkpoints
4. concurrent atomic transactions
   1. serialisability
   2. locking problem
   3. timestamp based protocols