Algorithm devised by Boleslaw Szymanski. This MutEx has linear wait and only 5 communication variables
>= 0
Emmanuel Byrd