H.4 Original Publications

  1. Section [*] (``What Makes Parallel Programming Hard?'') on page [*] originally appeared in a Portland State University Technical Report [MGM+09].
  2. Section [*] (``RCU Fundamentals'') on page [*] originally appeared in Linux Weekly News [MW07].
  3. Section [*] (``RCU Usage'') on page [*] originally appeared in Linux Weekly News [McK08c].
  4. Section [*] (``RCU Linux-Kernel API'') on page [*] originally appeared in Linux Weekly News [McK08b].
  5. Section [*] (``Memory-Barrier Instructions For Specific CPUs'') on page [*] originally appeared in Linux Journal [McK05a,McK05b].
  6. Section [*] (``Sleepable RCU Implementation'') on page [*] originally appeared in Linux Weekly News [McK06].
  7. Section [*] (``Hierarchical RCU Overview'') on page [*] originally appeared in Linux Weekly News [McK08a].
  8. Section [*] (``Preemptible RCU'') on page [*] originally appeared in Linux Weekly News [McK07a].
  9. Appendix [*] (``Formal Verification'') on page [*] originally appeared in Linux Weekly News [McK07f,MR08].



Paul E. McKenney 2011-12-16