Skip to main content
Article
RCU Semantics: A First Attempt
Computer Science Faculty Publications and Presentations
  • Paul E. McKenney
  • Jonathan Walpole, Portland State University
Document Type
Working Paper
Publication Date
1-1-2005
Subjects
  • Functional programming (Computer science),
  • Parallel processing (Electronic computers),
  • Electronic data processing -- Distributed processing
Abstract

There is not yet a formal statement of RCU (read-copy update) semantics. While this lack has thus far not been an impediment to adoption and use of RCU, it is quite possible that formal semantics would point the way towards tools that automatically validate uses of RCU or that permit RCU algorithms to be automatically generated by a parallel compiler. This paper is a first attempt to supply a formal definition of RCU. Or at least a semi-formal definition: although RCU does not yet wear a tux (though it does run in Linux), at least it might yet wear some clothes.

Persistent Identifier
http://archives.pdx.edu/ds/psu/10626
Citation Information
Paul E. McKenney and Jonathan Walpole. "RCU Semantics: A First Attempt" (2005)
Available at: http://works.bepress.com/jonathan_walpole/21/