We will also discuss how to debug and check concurrent programs, which may give your different behaviors at different executions. REQUIRED TEXT: Herlihy and Shavit, The Art of Multiprocessor ...