simulation in an attempt to better understand futexes