| Most classical books on operating systems discuss some variation of the producer-consumer problem. See, for example, [107, 122]. Unfortunately, in most classic treatments , producers and consumers loop forever, uninterrupted by signals or other complications that arise from a finite universe. "Experimentation with bounded buffer synchronization," by S. Robbins [96] introduces some simple models for estimating how long it takes for an error to show in an incorrectly synchronized bounded buffer program. An online simulator is available for experimentation. |