modified version of Pintos OS in order to enhance synchronization and scheduling