https://easyexamnotes.com/what-is-binary-and-counting-semaphores/