Erzeuger-Verbraucher-Problem
Das Erzeuger-Verbraucher-Problem ist ein klassisches Synchronisationsproblem, bei dem zwei Prozesse über einen gemeinsamen Puffer mit beschränkter Aufnahmekapazität kommunizieren.
- Der Erzeuger füllt den Puffer und darf nichts hinzufügen, wenn der Puffer voll ist.
- Der Verbraucher konsumiert den Pufferinhalt und darf nicht darauf zugreifen, wenn der Puffer leer ist.
Lösung: Die abwechselnde Nutzung wird durch die Anordnung zweier Semaphore (voll und leer) "über Kreuz" realisiert, um Puffer-Unterläufe und -Überläufe zu verhindern.