RCU Semantics: A First AttemptComputer Science Faculty Publications and Presentations
Document TypeWorking Paper
- Functional programming (Computer science),
- Parallel processing (Electronic computers),
- Electronic data processing -- Distributed processing
AbstractThere 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.
Citation InformationPaul E. McKenney and Jonathan Walpole. "RCU Semantics: A First Attempt" (2005)
Available at: http://works.bepress.com/jonathan_walpole/21/