Thread Synchronization with NachOS in C++ By Michael Glushchenko for UCSB CS170 Spring 2023 (Project 1b)