http://www.nxcoding.com/archives/mit6824-week2-linearizability-lab2-analysis