Problem czytelników i pisarzy
Dane są dwa rodzaje procesów: czytelnicy i pisarze, które mogą korzystać ze wspólnej czytelni.
• W czytelni jednocześnie mogą znajdować się jedynie procesy tego samego typu.
• Procesy czytelników mogą współdzielić czytelnię, ale wykluczają pisarzy.
• Procesy pisarzy żądają wyłącznego dostępu do czytelni, a więc wykluczają zarówno pozostałych pisarzy, jak i czytelników.