Project 1 for CS439 for Pintos threads