misprint

Sentence "Together, the wait conditions, the mutex, and the numUsedBytes counter ensure that the producer is never more than BufferSize bytes ahead of the consumer, and that the consumer never reads data that the consumer hasn't generated yet." looks uncorrect.

Correct variant is "...and that the consumer never reads data that the (!)producer hasn't generated..."