Lec17_WaitFree.pdf