A starve-free solution to the readers-writers problem, a classical one in the domain of Operating Systems.