O perating s ystems t hree e asy p ieces

31 Semaphores

341

31.1 Semaphores: A Definition

. . . . . . . . . . . . . . . . . . . 341

31.2 Binary Semaphores (Locks)

. . . . . . . . . . . . . . . . . . . 343

31.3 Semaphores As Condition Variables

. . . . . . . . . . . . . . 344

31.4 The Producer/Consumer (Bounded-Buffer) Problem

. . . . 346

31.5 Reader-Writer Locks

. . . . . . . . . . . . . . . . . . . . . . 350

31.6 The Dining Philosophers

. . . . . . . . . . . . . . . . . . . . 352

31.7 How To Implement Semaphores

. . . . . . . . . . . . . . . . 355

31.8 Summary

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 356

References

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 357