https://findtheansweres.blogspot.com/2020/10/binary-semaphore-vs-mutex.html