Paul E. McKenney's Technical Reports

1. paulmck.1990.03.25a: “Stochastic Fairness Queueing” Paul E. McKenney.
2. TR-SQNT-97-PEM-2.1: “Using Thread History to Implement Low-Overhead Solutions to Concurrency Problems” Paul E. McKenney (March 21, 1998). (Note: Graphs have been lost. Let this be a lesson to you; never wait 15 years before converting formats!)
3. paulmck.1998.06.20a.doc: “Implementation and Performance of Read-Copy Update” Paul E. McKenney (March 28, 1998). (Many thanks to Elwyn Davies for reconstructing a PDF from the ancient .doc file!!!)
4. paulmck.1998.07.27a: “Performance of Locking Primitives at Low Levels of Contention” Paul E. McKenney (June 20, 1998). (And, again, many thanks to Elwyn Davies for reconstructing a PDF from the .doc file!!!)
5. paulmck.1999.08.04a: “NUMA-Q: A New Commercial Parallel-Processing Architecture” Russell M. Clapp, Ken F. Dove, Wayne Downer, Thomas D. Lovett, Paul E. McKenney, and Robert J. Safranek (August 4, 1999).
6. paulmck.2005.01.30a: “RCU Semantics: A First Attempt” Paul E. McKenney and Jonathan Walpole.
7. paulmck.2005.09.19a: “Practical Concerns for Scalable Synchronization” Paul E. McKenney, Thomas E. Hart, and Jonathan Walpole.
8. paulmck.2009.02.04b: “Comments on “The Transactional Memory / Garbage Collection Analogy” Paul E. McKenney and Jonathan Walpole.
9. paulmck.2012.09.17a: “RCU Usage In the Linux Kernel: One Decade Later” Paul E. McKenney, Silas Boyd-Wickizer, and Jonathan Walpole.
10. paulmck.2013.02.24a: “RCU Usage In the Linux Kernel: One Decade Later” (revised) Paul E. McKenney, Silas Boyd-Wickizer, and Jonathan Walpole.
11. paulmck.2015.06.17a: “Some Examples of Kernel-Hacker Informal Correctness Reasoning;” (minor update replacing paulmck.2015.05.08a, followed by expanded split-counter use-case explanation replacing paulmck.2015.06.03a) Paul E. McKenney.
12. paulmck.2015.12.20a: “Models of RCU Read-Side Critical Sections and Grace Periods”. Documents attempts to implement RCU directly in herd litmus-test language, which as a side-effect identified the “counting rule” used to model RCU in the Linux-kernel memory model.