Advanced Operating Systems October 2, 2020 Deadlocking in centralized counting barrier implementation