CS 4953 Concurrency and Communication Notes: Producer Consumer Synchronization
USP Chapter 16: Producer Consumer Synchronization
See the
USP book
for this material.