AOS group project on implementing Suzuki-Kasami mutual exclusion protocol