Return to File:McKenney, Slingwine - Read-Copy Update; Using Execution History to Solve Concurrency Problems.pdf.