OS #3 project: depict happen-before relationship