Cigarette smokers problem
The cigarette smokers problem is a classic concurrency problem in computer science, introduced by Suhas Patil in 1971. It illustrates synchronization challenges in multi-process systems, where multiple processes (smokers) compete for limited resources (ingredients) provided by a single agent.
Source: Wikipedia — Cigarette smokers problem (CC BY-SA 4.0)