| |
| @article{Weizenbaum:1963:SLP:367593.367617, |
| author = {Weizenbaum, J.}, |
| title = {Symmetric List Processor}, |
| journal = {Commun. ACM}, |
| issue_date = {Sept. 1963}, |
| volume = {6}, |
| number = {9}, |
| month = sep, |
| year = {1963}, |
| issn = {0001-0782}, |
| pages = {524--536}, |
| numpages = {13}, |
| url = {http://doi.acm.org/10.1145/367593.367617}, |
| doi = {10.1145/367593.367617}, |
| acmid = {367617}, |
| publisher = {ACM}, |
| address = {New York, NY, USA}, |
| } |
| |
| @article{Kung80, |
| author="H. T. Kung and P. Lehman", |
| title="Concurrent Manipulation of Binary Search Trees", |
| Year="1980", |
| Month="September", |
| journal="ACM Transactions on Database Systems", |
| volume="5", |
| number="3", |
| pages="354-382", |
| doi="10.1145/320613.320619", |
| } |
| |
| @techreport{Manber82, |
| author="Udi Manber and Richard E. Ladner", |
| title="Concurrency Control in a Dynamic Search Structure", |
| institution="Department of Computer Science, University of Washington", |
| address="Seattle, Washington", |
| year="1982", |
| number="82-01-01", |
| month="January", |
| pages="28", |
| } |
| |
| @article{Manber84, |
| author="Udi Manber and Richard E. Ladner", |
| title="Concurrency Control in a Dynamic Search Structure", |
| Year="1984", |
| Month="September", |
| journal="ACM Transactions on Database Systems", |
| volume="9", |
| number="3", |
| pages="439-455", |
| } |
| |
| @Conference{RichardRashid87a, |
| Author="Richard Rashid and Avadis Tevanian and Michael Young and |
| David Golub and Robert Baron and David Black and William Bolosky and |
| Jonathan Chew", |
| Title="Machine-Independent Virtual Memory Management for Paged |
| Uniprocessor and Multiprocessor Architectures", |
| Booktitle="{2\textsuperscript{nd} Symposium on Architectural Support |
| for Programming Languages and Operating Systems}", |
| Publisher="Association for Computing Machinery", |
| Month="October", |
| Year="1987", |
| pages="31-39", |
| Address="Palo Alto, CA", |
| note="Available: |
| \url{http://www.cse.ucsc.edu/~randal/221/rashid-machvm.pdf} |
| [Viewed February 17, 2005]", |
| } |
| |
| @article{BarbaraLiskov1988ArgusCACM, |
| author = {Barbara Liskov}, |
| title = {Distributed programming in {Argus}}, |
| journal = {Commun. ACM}, |
| volume = {31}, |
| number = {3}, |
| year = {1988}, |
| issn = {0001-0782}, |
| pages = {300--312}, |
| doi = {10.1145/42392.42399}, |
| publisher = {ACM}, |
| address = {New York, NY, USA}, |
| } |
| |
| @techreport{Hennessy89, |
| author="James P. Hennessy and Damian L. Osisek and Joseph W. {Seigh II}", |
| title="Passive Serialization in a Multitasking Environment", |
| institution="Assigned to International Business Machines Corp", |
| address="Washington, DC", |
| year="1989", |
| number="US Patent 4,809,168", |
| month="February", |
| pages="11", |
| } |
| |
| @techreport{Pugh90, |
| author="William Pugh", |
| title="Concurrent Maintenance of Skip Lists", |
| institution="Institute of Advanced Computer Science Studies, Department of Computer Science, University of Maryland", |
| address="College Park, Maryland", |
| year="1990", |
| number="CS-TR-2222.1", |
| month="June", |
| } |
| |
| @Book{Andrews91textbook, |
| Author="Gregory R. Andrews", |
| title="Concurrent Programming, Principles, and Practices", |
| Publisher="Benjamin Cummins", |
| Year="1991", |
| } |
| |
| @unpublished{Jacobson93, |
| author="Van Jacobson", |
| title="Avoid Read-Side Locking Via Delayed Free", |
| year="1993", |
| month="September", |
| note="private communication", |
| } |
| |
| @Conference{AjuJohn95, |
| Author="Aju John", |
| Title="Dynamic vnodes -- Design and Implementation", |
| Booktitle="{USENIX Winter 1995}", |
| Publisher="USENIX Association", |
| Month="January", |
| Year="1995", |
| pages="11-23", |
| Address="New Orleans, LA", |
| note="Available: |
| \url{https://www.usenix.org/publications/library/proceedings/neworl/full_papers/john.a} |
| [Viewed October 1, 2010]", |
| } |
| |
| @conference{Cowan96a, |
| Author = "Crispin Cowan and Tito Autrey and Charles Krasic and |
| Calton Pu and Jonathan Walpole", |
| Title = "Fast Concurrent Dynamic Linking for an Adaptive Operating System", |
| Booktitle = "International Conference on Configurable Distributed Systems |
| (ICCDS'96)", |
| address = "Annapolis, MD", |
| month="May", |
| year="1996", |
| pages="108", |
| isbn="0-8186-7395-8", |
| } |
| |
| @techreport{Slingwine95, |
| author="John D. Slingwine and Paul E. McKenney", |
| title="Apparatus and Method for Achieving Reduced Overhead Mutual |
| Exclusion and Maintaining Coherency in a Multiprocessor System |
| Utilizing Execution History and Thread Monitoring", |
| institution="Assigned to International Business Machines Corp", |
| address="Washington, DC", |
| year="1995", |
| number="US Patent 5,442,758", |
| month="August", |
| } |
| |
| @techreport{Slingwine97, |
| author="John D. Slingwine and Paul E. McKenney", |
| title="Method for Maintaining Data Coherency Using Thread Activity |
| Summaries in a Multicomputer System", |
| institution="Assigned to International Business Machines Corp", |
| address="Washington, DC", |
| year="1997", |
| number="US Patent 5,608,893", |
| month="March", |
| pages="19", |
| } |
| |
| @inproceedings{Rastogi:1997:LPV:645923.671017, |
| author = {Rastogi, Rajeev and Seshadri, S. and Bohannon, Philip and Leinbaugh, Dennis W. and Silberschatz, Abraham and Sudarshan, S.}, |
| title = {Logical and Physical Versioning in Main Memory Databases}, |
| booktitle = {Proceedings of the 23rd International Conference on Very Large Data Bases}, |
| series = {VLDB '97}, |
| year = {1997}, |
| month = {August}, |
| isbn = {1-55860-470-7}, |
| pages = {86--95}, |
| numpages = {10}, |
| url = {http://dl.acm.org/citation.cfm?id=645923.671017}, |
| acmid = {671017}, |
| publisher = {Morgan Kaufmann Publishers Inc.}, |
| address = {San Francisco, CA, USA}, |
| } |
| |
| @techreport{Slingwine98, |
| author="John D. Slingwine and Paul E. McKenney", |
| title="Apparatus and Method for Achieving Reduced Overhead Mutual |
| Exclusion and Maintaining Coherency in a Multiprocessor System |
| Utilizing Execution History and Thread Monitoring", |
| institution="Assigned to International Business Machines Corp", |
| address="Washington, DC", |
| year="1998", |
| number="US Patent 5,727,209", |
| month="March", |
| } |
| |
| @Conference{McKenney98, |
| Author="Paul E. McKenney and John D. Slingwine", |
| Title="Read-Copy Update: Using Execution History to Solve Concurrency |
| Problems", |
| Booktitle="{Parallel and Distributed Computing and Systems}", |
| Month="October", |
| Year="1998", |
| pages="509-518", |
| Address="Las Vegas, NV", |
| url="http://www.rdrop.com/users/paulmck/RCU/rclockpdcsproof.pdf", |
| lastchecked="November 14, 2016", |
| } |
| |
| @Conference{Gamsa99, |
| Author="Ben Gamsa and Orran Krieger and Jonathan Appavoo and Michael Stumm", |
| Title="Tornado: Maximizing Locality and Concurrency in a Shared Memory |
| Multiprocessor Operating System", |
| Booktitle="{Proceedings of the 3\textsuperscript{rd} Symposium on |
| Operating System Design and Implementation}", |
| Month="February", |
| Year="1999", |
| pages="87-100", |
| Address="New Orleans, LA", |
| url="https://www.usenix.org/legacy/events/osdi99/full_papers/gamsa/gamsa.pdf", |
| lastchecked="November 12, 2016", |
| } |
| |
| @unpublished{RustyRussell2000a, |
| Author="Rusty Russell", |
| Title="Re: modular net drivers", |
| month="June", |
| year="2000", |
| day="23", |
| note="Available: |
| \url{http://oss.sgi.com/projects/netdev/archive/2000-06/msg00250.html} |
| [Viewed April 10, 2006]", |
| } |
| |
| @unpublished{RustyRussell2000b, |
| Author="Rusty Russell", |
| Title="Re: modular net drivers", |
| month="June", |
| year="2000", |
| day="24", |
| note="Available: |
| \url{http://oss.sgi.com/projects/netdev/archive/2000-06/msg00254.html} |
| [Viewed April 10, 2006]", |
| } |
| |
| @unpublished{McKenney01b, |
| Author="Paul E. McKenney and Dipankar Sarma", |
| Title="Read-Copy Update Mutual Exclusion in {Linux}", |
| month="February", |
| year="2001", |
| note="Available: |
| \url{http://lse.sourceforge.net/locking/rcu/rcupdate_doc.html} |
| [Viewed October 18, 2004]", |
| } |
| |
| @techreport{Slingwine01, |
| author="John D. Slingwine and Paul E. McKenney", |
| title="Apparatus and Method for Achieving Reduced Overhead Mutual |
| Exclusion and Maintaining Coherency in a Multiprocessor System |
| Utilizing Execution History and Thread Monitoring", |
| institution="Assigned to International Business Machines Corp", |
| address="Washington, DC", |
| year="2001", |
| number="US Patent 6,219,690", |
| month="April", |
| } |
| |
| @Conference{McKenney01a, |
| Author="Paul E. McKenney and Jonathan Appavoo and Andi Kleen and |
| Orran Krieger and Rusty Russell and Dipankar Sarma and Maneesh Soni", |
| Title="Read-Copy Update", |
| Booktitle="{Ottawa Linux Symposium}", |
| Month="July", |
| Year="2001", |
| note="URL: |
| \url{https://www.kernel.org/doc/ols/2001/read-copy.pdf}, |
| \url{http://www.rdrop.com/users/paulmck/RCU/rclock_OLS.2001.05.01c.pdf} |
| ", |
| lastchecked="November 13, 2016", |
| } |
| |
| @inproceedings{Cha:2001:CCC:645927.672375, |
| author = {Cha, Sang K. and Hwang, Sangyong and Kim, Kihong and Kwon, Keunjoo}, |
| title = {Cache-Conscious Concurrency Control of Main-Memory Indexes on Shared-Memory Multiprocessor Systems}, |
| booktitle = {Proceedings of the 27th International Conference on Very Large Data Bases}, |
| series = {VLDB '01}, |
| year = {2001}, |
| isbn = {1-55860-804-4}, |
| pages = {181--190}, |
| numpages = {10}, |
| url = {http://dl.acm.org/citation.cfm?id=645927.672375}, |
| acmid = {672375}, |
| publisher = {Morgan Kaufmann Publishers Inc.}, |
| address = {San Francisco, CA, USA}, |
| } |
| |
| @inproceedings{TimHarris2001LinkedLists, |
| author = {Tim Harris}, |
| title = {A Pragmatic Implementation of Non-Blocking Linked Lists}, |
| booktitle = {Proceedings of the 15th International Symposium on Distributed Computing}, |
| year = {2001}, |
| month = {October}, |
| abstract = {We present a new non-blocking implementation of concurrent linked-lists supporting linearizable insertion and deletion operations. The new algorithm provides substantial benefits over previous schemes: it is conceptually simpler and our prototype operates substantially faster.}, |
| publisher = {Springer-Verlag}, |
| url = {https://www.microsoft.com/en-us/research/publication/a-pragmatic-implementation-of-non-blocking-linked-lists/}, |
| address = {}, |
| pages = {300-314}, |
| journal = {}, |
| volume = {2180}, |
| chapter = {}, |
| isbn = {}, |
| } |
| |
| @unpublished{McKenney01f, |
| Author="Paul E. McKenney", |
| Title="{RFC:} patch to allow lock-free traversal of lists with insertion", |
| month="October", |
| year="2001", |
| note="Available: |
| \url{http://marc.theaimsgroup.com/?l=linux-kernel&m=100259266316456&w=2} |
| [Viewed June 23, 2004]", |
| } |
| |
| @unpublished{Spraul01, |
| Author="Manfred Spraul", |
| Title="Re: {RFC:} patch to allow lock-free traversal of lists with insertion", |
| month="October", |
| year="2001", |
| note="URL: |
| \url{http://lkml.iu.edu/hypermail/linux/kernel/0110.1/0410.html}", |
| lastchecked="November 15, 2016", |
| } |
| |
| @unpublished{LinusTorvalds2001a, |
| Author="Linus Torvalds", |
| Title="{Re:} {[Lse-tech]} {Re:} {RFC:} patch to allow lock-free traversal of lists with insertion", |
| month="October", |
| year="2001", |
| note="URL: |
| \url{http://lkml.org/lkml/2001/10/13/105}, |
| \url{http://lkml.org/lkml/2001/10/13/82}", |
| lastchecked="November 19, 2016", |
| } |
| |
| @unpublished{Blanchard02a, |
| Author="Anton Blanchard", |
| Title="some {RCU} dcache and ratcache results", |
| month="March", |
| year="2002", |
| note="Available: |
| \url{http://marc.theaimsgroup.com/?l=linux-kernel&m=101637107412972&w=2} |
| [Viewed October 18, 2004]", |
| } |
| |
| @Conference{Linder02a, |
| Author="Hanna Linder and Dipankar Sarma and Maneesh Soni", |
| Title="Scalability of the Directory Entry Cache", |
| Booktitle="{Ottawa Linux Symposium}", |
| Month="June", |
| Year="2002", |
| pages="289-300", |
| } |
| |
| @Conference{McKenney02a, |
| Author="Paul E. McKenney and Dipankar Sarma and |
| Andrea Arcangeli and Andi Kleen and Orran Krieger and Rusty Russell", |
| Title="Read-Copy Update", |
| Booktitle="{Ottawa Linux Symposium}", |
| Month="June", |
| Year="2002", |
| pages="338-367", |
| note="Available: |
| \url{http://www.linux.org.uk/~ajh/ols2002_proceedings.pdf.gz} |
| [Viewed June 23, 2004]", |
| } |
| |
| @unpublished{Sarma02a, |
| Author="Dipankar Sarma", |
| Title="specweb99: dcache scalability results", |
| month="July", |
| year="2002", |
| note="Available: |
| \url{http://marc.theaimsgroup.com/?l=linux-kernel&m=102645767914212&w=2} |
| [Viewed June 23, 2004]", |
| } |
| |
| @unpublished{Barbieri02, |
| Author="Luca Barbieri", |
| Title="Re: {[PATCH]} Initial support for struct {vfs\_cred}", |
| month="August", |
| year="2002", |
| note="Available: |
| \url{http://marc.theaimsgroup.com/?l=linux-kernel&m=103082050621241&w=2} |
| [Viewed: June 23, 2004]", |
| } |
| |
| @unpublished{Dickins02a, |
| author="Hugh Dickins", |
| title="Use {RCU} for {System-V} {IPC}", |
| year="2002", |
| month="October", |
| note="private communication", |
| } |
| |
| @unpublished{Sarma02b, |
| Author="Dipankar Sarma", |
| Title="Some dcache\_rcu benchmark numbers", |
| month="October", |
| year="2002", |
| note="Available: |
| \url{http://marc.theaimsgroup.com/?l=linux-kernel&m=103462075416638&w=2} |
| [Viewed June 23, 2004]", |
| } |
| |
| @unpublished{MingmingCao2002IPCRCU, |
| Author="Mingming Cao", |
| Title="[PATCH]updated ipc lock patch", |
| month="October", |
| year="2002", |
| note="Available: |
| \url{https://lkml.org/lkml/2002/10/24/262} |
| [Viewed February 15, 2014]", |
| } |
| |
| @unpublished{LinusTorvalds2003a, |
| Author="Linus Torvalds", |
| Title="Re: {[PATCH]} small fixes in brlock.h", |
| month="March", |
| year="2003", |
| note="Available: |
| \url{http://lkml.org/lkml/2003/3/9/205} |
| [Viewed March 13, 2006]", |
| } |
| |
| @article{Appavoo03a, |
| author="J. Appavoo and K. Hui and C. A. N. Soules and R. W. Wisniewski and |
| D. M. {Da Silva} and O. Krieger and M. A. Auslander and D. J. Edelsohn and |
| B. Gamsa and G. R. Ganger and P. McKenney and M. Ostrowski and |
| B. Rosenburg and M. Stumm and J. Xenidis", |
| title="Enabling Autonomic Behavior in Systems Software With Hot Swapping", |
| Year="2003", |
| Month="January", |
| journal="IBM Systems Journal", |
| doi="10.1147/sj.421.0060", |
| volume="42", |
| number="1", |
| pages="60-76", |
| } |
| |
| @unpublished{Seigh03, |
| author="Joseph W. {Seigh II}", |
| title="Read Copy Update", |
| Year="2003", |
| Month="March", |
| note="email correspondence", |
| } |
| |
| @Conference{Arcangeli03, |
| Author="Andrea Arcangeli and Mingming Cao and Paul E. McKenney and |
| Dipankar Sarma", |
| Title="Using Read-Copy Update Techniques for {System V IPC} in the |
| {Linux} 2.5 Kernel", |
| Booktitle="Proceedings of the 2003 USENIX Annual Technical Conference |
| (FREENIX Track)", |
| Publisher="USENIX Association", |
| location="San Antonio, Texas, USA", |
| year="2003", |
| month="June", |
| pages="297-310", |
| url="https://www.usenix.org/legacy/publications/library/proceedings/usenix03/tech/freenix03/full_papers/arcangeli/arcangeli.pdf", |
| lastchecked="February 27, 2017", |
| } |
| |
| @Conference{Soules03a, |
| Author="Craig A. N. Soules and Jonathan Appavoo and Kevin Hui and |
| Dilma {Da Silva} and Gregory R. Ganger and Orran Krieger and |
| Michael Stumm and Robert W. Wisniewski and Marc Auslander and |
| Michal Ostrowski and Bryan Rosenburg and Jimi Xenidis", |
| Title="System Support for Online Reconfiguration", |
| Booktitle="Proceedings of the 2003 USENIX Annual Technical Conference", |
| Publisher="USENIX Association", |
| location="San Antonio, Texas, USA", |
| year="2003", |
| month="June", |
| pages="141-154", |
| url="https://www.usenix.org/legacy/events/usenix03/tech/full_papers/soules/soules.pdf", |
| lastchecked="February 27, 2017", |
| } |
| |
| @article{McKenney03a, |
| author="Paul E. McKenney", |
| title="Using {RCU} in the {Linux} 2.5 Kernel", |
| Year="2003", |
| Month="October", |
| journal="Linux Journal", |
| volume="1", |
| number="114", |
| pages="18-26", |
| note="Available: |
| \url{http://www.linuxjournal.com/article/6993} |
| [Viewed November 14, 2007]", |
| } |
| |
| @unpublished{Sarma03a, |
| Author="Dipankar Sarma", |
| Title="{RCU} low latency patches", |
| month="December", |
| year="2003", |
| note="Message ID: 20031222180114.GA2248@in.ibm.com", |
| } |
| |
| @techreport{Friedberg03a, |
| author="Stuart A. Friedberg", |
| title="Lock-Free Wild Card Search Data Structure and Method", |
| institution="Assigned to International Business Machines Corp", |
| address="Washington, DC", |
| year="2003", |
| number="US Patent 6,662,184", |
| month="December", |
| pages="112", |
| } |
| |
| @article{McKenney04a, |
| author="Paul E. McKenney and Dipankar Sarma and Maneesh Soni", |
| title="Scaling dcache with {RCU}", |
| Year="2004", |
| Month="January", |
| journal="Linux Journal", |
| volume="1", |
| number="118", |
| pages="38-46", |
| url="http://www.linuxjournal.com/article/7124", |
| lastchecked="November 14, 2016", |
| } |
| |
| @Conference{McKenney04b, |
| Author="Paul E. McKenney", |
| Title="{RCU} vs. Locking Performance on Different {CPUs}", |
| Booktitle="{linux.conf.au}", |
| Month="January", |
| Year="2004", |
| Address="Adelaide, Australia", |
| note="Available: |
| \url{http://www.linux.org.au/conf/2004/abstracts.html#90} |
| \url{http://www.rdrop.com/users/paulmck/RCU/lockperf.2004.01.17a.pdf} |
| [Viewed June 23, 2004]", |
| } |
| |
| @unpublished{Sarma04a, |
| Author="Dipankar Sarma", |
| Title="{[PATCH]} {RCU} for low latency (experimental)", |
| month="March", |
| year="2004", |
| note="\url{http://marc.theaimsgroup.com/?l=linux-kernel&m=108003746402892&w=2}", |
| } |
| |
| @unpublished{Sarma04b, |
| Author="Dipankar Sarma", |
| Title="Re: {[PATCH]} {RCU} for low latency (experimental)", |
| month="March", |
| year="2004", |
| note="\url{http://marc.theaimsgroup.com/?l=linux-kernel&m=108016474829546&w=2}", |
| } |
| |
| @unpublished{Spraul04a, |
| Author="Manfred Spraul", |
| Title="[RFC] 0/5 rcu lock update", |
| month="May", |
| year="2004", |
| note="Available: |
| \url{http://marc.theaimsgroup.com/?l=linux-kernel&m=108546407726602&w=2} |
| [Viewed June 23, 2004]", |
| } |
| |
| @unpublished{Steiner04a, |
| Author="Jack Steiner", |
| Title="Re: [Lse-tech] [RFC, PATCH] 1/5 rcu lock update: |
| Add per-cpu batch counter", |
| month="May", |
| year="2004", |
| note="Available: |
| \url{http://marc.theaimsgroup.com/?l=linux-kernel&m=108551764515332&w=2} |
| [Viewed June 23, 2004]", |
| } |
| |
| @Conference{Sarma04c, |
| Author="Dipankar Sarma and Paul E. McKenney", |
| Title="Making {RCU} Safe for Deep Sub-Millisecond Response |
| Realtime Applications", |
| Booktitle="Proceedings of the 2004 USENIX Annual Technical Conference |
| (FREENIX Track)", |
| Publisher="USENIX Association", |
| location="Boston, MA, USA", |
| year="2004", |
| month="June", |
| pages="182-191", |
| url="http://www.rdrop.com/~paulmck/RCU/realtimeRCU.2004.06.12a.pdf", |
| lastchecked="November 14, 2016", |
| } |
| |
| @phdthesis{PaulEdwardMcKenneyPhD, |
| author="Paul E. McKenney", |
| title="Exploiting Deferred Destruction: |
| An Analysis of Read-Copy-Update Techniques |
| in Operating System Kernels", |
| school="OGI School of Science and Engineering at |
| Oregon Health and Sciences University", |
| year="2004", |
| url="http://www.rdrop.com/~paulmck/RCU/RCUdissertation.2004.07.14e1.pdf", |
| lastchecked="November 13, 2016", |
| } |
| |
| @Conference{DipankarSarma2004OLSscalability, |
| Author="Dipankar Sarma and Paul E. McKenney", |
| Title="Issues with Selected Scalability Features of the 2.6 Kernel", |
| Booktitle="{Ottawa Linux Symposium}", |
| Month="July", |
| Year="2004", |
| pages="16", |
| note="\url{https://www.kernel.org/doc/ols/2004/ols2004v2-pages-195-208.pdf}", |
| } |
| |
| @unpublished{DipankarSarma2004RCU-bh, |
| Author="Dipankar Sarma", |
| Title="{RCU: Introduce call\_rcu\_bh() [2/5]}", |
| day="8", |
| month="August", |
| year="2004", |
| note="\url{https://lkml.org/lkml/2004/8/6/228}", |
| } |
| |
| @unpublished{DipankarSarma2004RCU-bh-route-cache, |
| Author="Dipankar Sarma", |
| Title="{RCU: Use call\_rcu\_bh() in route cache [3/5]}", |
| day="8", |
| month="August", |
| year="2004", |
| note="\url{https://lkml.org/lkml/2004/8/6/231}", |
| } |
| |
| @unpublished{PaulEMcKenney2004rcu:dereference, |
| Author="Dipankar Sarma", |
| Title="{Re: {RCU} : {Abstracted} {RCU} dereferencing [5/5]}", |
| month="August", |
| year="2004", |
| note="Available: |
| \url{http://lkml.org/lkml/2004/8/6/237} |
| [Viewed June 8, 2010]", |
| } |
| |
| @unpublished{JimHouston04a, |
| Author="Jim Houston", |
| Title="{[RFC\&PATCH] Alternative {RCU} implementation}", |
| month="August", |
| year="2004", |
| note="Available: |
| \url{http://lkml.org/lkml/2004/8/30/87} |
| [Viewed February 17, 2005]", |
| } |
| |
| @unpublished{TomHart04a, |
| Author="Thomas E. Hart", |
| Title="Master's Thesis: Applying Lock-free Techniques to the {Linux} Kernel", |
| month="October", |
| year="2004", |
| note="Available: |
| \url{http://www.cs.toronto.edu/~tomhart/masters_thesis.html} |
| [Viewed October 15, 2004]", |
| } |
| |
| @unpublished{Vaddagiri04a, |
| Author="Srivatsa Vaddagiri", |
| Title="Subject: {[RFC]} Use {RCU} for tcp\_ehash lookup", |
| month="October", |
| year="2004", |
| note="Available: |
| \url{http://marc.theaimsgroup.com/?t=109395731700004&r=1&w=2} |
| [Viewed October 18, 2004]", |
| } |
| |
| @unpublished{Thirumalai04a, |
| Author="Ravikiran Thirumalai", |
| Title="Subject: [patchset] Lockfree fd lookup 0 of 5", |
| month="October", |
| year="2004", |
| note="Available: |
| \url{http://marc.theaimsgroup.com/?t=109144217400003&r=1&w=2} |
| [Viewed October 18, 2004]", |
| } |
| |
| @unpublished{Thirumalai04b, |
| Author="Ravikiran Thirumalai", |
| Title="Subject: Re: [patchset] Lockfree fd lookup 0 of 5", |
| month="October", |
| year="2004", |
| note="Available: |
| \url{http://marc.theaimsgroup.com/?l=linux-kernel&m=109152521410459&w=2} |
| [Viewed October 18, 2004]", |
| } |
| |
| @unpublished{PaulEMcKenney2004rcu:assign:pointer, |
| Author="Paul E. McKenney", |
| Title="{[PATCH 1/3] RCU: \url{rcu_assign_pointer()} removal of memory barriers}", |
| month="October", |
| year="2004", |
| note="Available: |
| \url{http://lkml.org/lkml/2004/10/23/241} |
| [Viewed June 8, 2010]", |
| } |
| |
| @unpublished{JamesMorris04a, |
| Author="James Morris", |
| Title="{[PATCH 2/3] SELinux} scalability - convert {AVC} to {RCU}", |
| day="15", |
| month="November", |
| year="2004", |
| note="\url{http://marc.theaimsgroup.com/?l=linux-kernel&m=110054979416004&w=2}", |
| } |
| |
| @unpublished{JamesMorris2004SELinuxRCU, |
| Author="James Morris", |
| Title="{SELinux} scalability and analysis patches", |
| month="November", |
| year="2004", |
| day="15", |
| note="\url{https://lwn.net/Articles/111109/}", |
| lastchecked="August 3, 2018", |
| } |
| |
| @unpublished{JamesMorris04b, |
| Author="James Morris", |
| Title="Recent Developments in {SELinux} Kernel Performance", |
| month="December", |
| year="2004", |
| note="Available: |
| \url{http://www.livejournal.com/users/james_morris/2153.html} |
| [Viewed December 10, 2004]", |
| } |
| |
| @unpublished{PaulMcKenney2005RCUSemantics, |
| Author="Paul E. McKenney and Jonathan Walpole", |
| Title="{RCU} Semantics: A First Attempt", |
| month="January", |
| year="2005", |
| day="30", |
| note="Available: |
| \url{http://www.rdrop.com/users/paulmck/RCU/rcu-semantics.2005.01.30a.pdf} |
| [Viewed December 6, 2009]", |
| } |
| |
| @unpublished{PaulMcKenney2005e, |
| Author="Paul E. McKenney", |
| Title="Real-Time Preemption and {RCU}", |
| month="March", |
| year="2005", |
| day="17", |
| note="Available: |
| \url{http://lkml.org/lkml/2005/3/17/199} |
| [Viewed September 5, 2005]", |
| } |
| |
| @unpublished{EsbenNeilsen2005a, |
| Author="Esben Neilsen", |
| Title="Re: Real-Time Preemption and {RCU}", |
| month="March", |
| year="2005", |
| day="18", |
| note="Available: |
| \url{http://lkml.org/lkml/2005/3/18/122} |
| [Viewed March 30, 2006]", |
| } |
| |
| @unpublished{TomHart05a, |
| Author="Thomas E. Hart and Paul E. McKenney and Angela Demke Brown", |
| Title="Efficient Memory Reclamation is Necessary for Fast Lock-Free |
| Data Structures", |
| month="March", |
| year="2005", |
| note="Available: |
| \url{ftp://ftp.cs.toronto.edu/csrg-technical-reports/515/} |
| [Viewed March 4, 2005]", |
| } |
| |
| @unpublished{JonCorbet2005DeprecateSyncKernel, |
| Author="Jonathan Corbet", |
| Title="{API} change: synchronize_kernel() deprecated", |
| month="May", |
| day="3", |
| year="2005", |
| note="Available: |
| \url{http://lwn.net/Articles/134484/} |
| [Viewed May 3, 2005]", |
| } |
| |
| @unpublished{PaulMcKenney05a, |
| Author="Paul E. McKenney", |
| Title="{[RFC]} {RCU} and {CONFIG\_PREEMPT\_RT} progress", |
| month="May", |
| year="2005", |
| note="Available: |
| \url{http://lkml.org/lkml/2005/5/9/185} |
| [Viewed May 13, 2005]", |
| } |
| |
| @conference{PaulMcKenney05b, |
| Author="Paul E. McKenney and Dipankar Sarma", |
| Title="Towards Hard Realtime Response from the {Linux} Kernel on {SMP} Hardware", |
| Booktitle="linux.conf.au 2005", |
| month="April", |
| year="2005", |
| address="Canberra, Australia", |
| note="Available: |
| \url{http://www.rdrop.com/users/paulmck/RCU/realtimeRCU.2005.04.23a.pdf} |
| [Viewed May 13, 2005]", |
| } |
| |
| @unpublished{PaulEMcKenneyHomePage, |
| Author="Paul E. McKenney", |
| Title="{Paul} {E.} {McKenney}", |
| month="May", |
| year="2005", |
| note="Available: |
| \url{http://www.rdrop.com/users/paulmck/} |
| [Viewed May 25, 2005]", |
| } |
| |
| @unpublished{PaulEMcKenneyRCUPage, |
| Author="Paul E. McKenney", |
| Title="Read-Copy Update {(RCU)}", |
| month="May", |
| year="2005", |
| note="Available: |
| \url{http://www.rdrop.com/users/paulmck/RCU} |
| [Viewed May 25, 2005]", |
| } |
| |
| |
| @unpublished{JosephSeigh2005a, |
| Author="Joseph Seigh", |
| Title="{RCU}+{SMR} (hazard pointers)", |
| month="July", |
| year="2005", |
| note="Personal communication", |
| } |
| |
| @unpublished{JosephSeigh2005b, |
| Author="Joseph Seigh", |
| Title="Lock-free synchronization primitives", |
| month="July", |
| day="6", |
| year="2005", |
| note="Available: |
| \url{http://sourceforge.net/projects/atomic-ptr-plus/} |
| [Viewed August 8, 2005]", |
| } |
| |
| @unpublished{PaulMcKenney2005c, |
| Author="Paul E.McKenney", |
| Title="{[RFC,PATCH] RCU} and {CONFIG\_PREEMPT\_RT} sane patch", |
| month="August", |
| day="1", |
| year="2005", |
| note="Available: |
| \url{http://lkml.org/lkml/2005/8/1/155} |
| [Viewed March 14, 2006]", |
| } |
| |
| @unpublished{PaulMcKenney2005d, |
| Author="Paul E. McKenney", |
| Title="Re: [Fwd: Re: [patch] Real-Time Preemption, -RT-2.6.13-rc4-V0.7.52-01]", |
| month="August", |
| day="8", |
| year="2005", |
| note="Available: |
| \url{http://lkml.org/lkml/2005/8/8/108} |
| [Viewed March 14, 2006]", |
| } |
| |
| @unpublished{PaulMcKenney2005rcutorture, |
| Author="Paul E. McKenney", |
| Title="{[PATCH]} {RCU} torture testing", |
| month="October", |
| day="1", |
| year="2005", |
| note="Available: |
| \url{http://lkml.kernel.org/g/20051001182056.GA1613@us.ibm.com} |
| [Viewed July 9, 2016]", |
| } |
| |
| @unpublished{DavidSMiller2006HashedLocking, |
| Author="David S. Miller", |
| Title="Re: [{PATCH}, {RFC}] {RCU} : {OOM} avoidance and lower latency", |
| month="January", |
| day="6", |
| year="2006", |
| note="Available: |
| \url{https://lkml.org/lkml/2006/1/7/22} |
| [Viewed February 29, 2012]", |
| } |
| |
| @conference{ThomasEHart2006a, |
| Author="Thomas E. Hart and Paul E. McKenney and Angela Demke Brown", |
| Title="Making Lockless Synchronization Fast: Performance Implications |
| of Memory Reclamation", |
| Booktitle="20\textsuperscript{th} {IEEE} International Parallel and |
| Distributed Processing Symposium", |
| month="April", |
| year="2006", |
| day="25-29", |
| address="Rhodes, Greece", |
| doi="10.1109/IPDPS.2006.1639261", |
| note="Available: |
| \url{http://www.rdrop.com/users/paulmck/RCU/hart_ipdps06.pdf} |
| [Viewed April 28, 2008]", |
| } |
| |
| @unpublished{NickPiggin2006radixtree, |
| Author="Nick Piggin", |
| Title="[patch 3/3] radix-tree: {RCU} lockless readside", |
| month="June", |
| day="20", |
| year="2006", |
| note="Available: |
| \url{http://lkml.org/lkml/2006/6/20/238} |
| [Viewed March 25, 2008]", |
| } |
| |
| @Conference{PaulEMcKenney2006b, |
| Author="Paul E. McKenney and Dipankar Sarma and Ingo Molnar and |
| Suparna Bhattacharya", |
| Title="Extending {RCU} for Realtime and Embedded Workloads", |
| Booktitle="{Ottawa Linux Symposium}", |
| Month="July", |
| Year="2006", |
| pages="v2 123-138", |
| note="Available: |
| \url{http://www.linuxsymposium.org/2006/view_abstract.php?content_key=184} |
| \url{http://www.rdrop.com/users/paulmck/RCU/OLSrtRCU.2006.08.11a.pdf} |
| [Viewed January 1, 2007]", |
| } |
| |
| @unpublished{WikipediaRCU, |
| Author="Paul E. McKenney and Chris Purcell and Algae and Ben Schumin and |
| Gaius Cornelius and Qwertyus and Neil Conway and Sbw and Blainster and |
| Canis Rufus and Zoicon5 and Anome and Hal Eisen", |
| Title="Read-Copy Update", |
| month="July", |
| day="8", |
| year="2006", |
| note="\url{http://en.wikipedia.org/wiki/Read-copy-update}", |
| } |
| |
| @Conference{NickPiggin2006LocklessPageCache, |
| Author="Nick Piggin", |
| Title="A Lockless Pagecache in Linux---Introduction, Progress, Performance", |
| Booktitle="{Ottawa Linux Symposium}", |
| Month="July", |
| Year="2006", |
| pages="v2 249-254", |
| note="Available: |
| \url{http://www.linuxsymposium.org/2006/view_abstract.php?content_key=184} |
| [Viewed January 11, 2009]", |
| } |
| |
| @unpublished{PaulEMcKenney2006c, |
| Author="Paul E. McKenney", |
| Title="Sleepable {RCU}", |
| month="October", |
| day="9", |
| year="2006", |
| note="Available: |
| \url{http://lwn.net/Articles/202847/} |
| Revised: |
| \url{http://www.rdrop.com/users/paulmck/RCU/srcu.2007.01.14a.pdf} |
| [Viewed August 21, 2006]", |
| } |
| |
| @unpublished{RobertOlsson2006a, |
| Author="Robert Olsson and Stefan Nilsson", |
| Title="{TRASH}: A dynamic {LC}-trie and hash data structure", |
| month="August", |
| day="18", |
| year="2006", |
| note="\url{http://www.nada.kth.se/~snilsson/publications/TRASH/trash.pdf}", |
| } |
| |
| @unpublished{ChristophHellwig2006RCU2SRCU, |
| Author="Christoph Hellwig", |
| Title="Re: {[-mm PATCH 1/4]} {RCU}: split classic rcu", |
| month="September", |
| day="28", |
| year="2006", |
| note="Available: |
| \url{http://lkml.org/lkml/2006/9/28/160} |
| [Viewed March 27, 2008]", |
| } |
| |
| @unpublished{PaulEMcKenneyRCUusagePage, |
| Author="Paul E. McKenney", |
| Title="{RCU} {Linux} Usage", |
| month="October", |
| year="2006", |
| note="Available: |
| \url{http://www.rdrop.com/users/paulmck/RCU/linuxusage.html} |
| [Viewed January 14, 2007]", |
| } |
| |
| @unpublished{PaulEMcKenneyRCUusageRawDataPage, |
| Author="Paul E. McKenney", |
| Title="Read-Copy Update {(RCU)} Usage in {Linux} Kernel", |
| month="October", |
| year="2006", |
| note="Available: |
| \url{http://www.rdrop.com/users/paulmck/RCU/linuxusage/rculocktab.html} |
| [Viewed January 14, 2007]", |
| } |
| |
| @unpublished{GauthamShenoy2006RCUrwlock, |
| Author="Gautham R. Shenoy", |
| Title="[PATCH 4/5] lock\_cpu\_hotplug: Redesign - Lightweight implementation of lock\_cpu\_hotplug", |
| month="October", |
| year="2006", |
| day=26, |
| note="Available: |
| \url{http://lkml.org/lkml/2006/10/26/73} |
| [Viewed January 26, 2009]", |
| } |
| |
| @unpublished{JensAxboe2006SlowSRCU, |
| Author="Jens Axboe", |
| Title="Re: [patch] cpufreq: mark \url{cpufreq_tsc()} as |
| \url{core_initcall_sync}", |
| month="November", |
| year="2006", |
| day=17, |
| note="Available: |
| \url{http://lkml.org/lkml/2006/11/17/56} |
| [Viewed May 28, 2007]", |
| } |
| |
| @unpublished{OlegNesterov2006QRCU, |
| Author="Oleg Nesterov", |
| Title="Re: [patch] cpufreq: mark {\tt cpufreq\_tsc()} as |
| {\tt core\_initcall\_sync}", |
| month="November", |
| year="2006", |
| day=19, |
| note="Available: |
| \url{http://lkml.org/lkml/2006/11/19/69} |
| [Viewed May 28, 2007]", |
| } |
| |
| @unpublished{OlegNesterov2006aQRCU, |
| Author="Oleg Nesterov", |
| Title="Re: [RFC, PATCH 1/2] qrcu: {"quick"} srcu implementation", |
| month="November", |
| year="2006", |
| day=30, |
| note="Available: |
| \url{http://lkml.org/lkml/2006/11/29/330} |
| [Viewed November 26, 2008]", |
| } |
| |
| @unpublished{EvgeniyPolyakov2006RCUslowdown, |
| Author="Evgeniy Polyakov", |
| Title="Badness in postponing work", |
| month="December", |
| year="2006", |
| day=05, |
| note="Available: |
| \url{http://www.ioremap.net/node/41} |
| [Viewed October 28, 2008]", |
| } |
| |
| @inproceedings{ChrisMatthews2006ClusteredObjectsRCU, |
| author = {Matthews, Chris and Coady, Yvonne and Appavoo, Jonathan}, |
| title = {Portability events: a programming model for scalable system infrastructures}, |
| booktitle = {PLOS '06: Proceedings of the 3rd workshop on Programming languages and operating systems}, |
| year = {2006}, |
| isbn = {1-59593-577-0}, |
| pages = {11}, |
| location = {San Jose, California}, |
| doi = {10.1145/1215995.1216006}, |
| publisher = {ACM}, |
| address = {New York, NY, USA}, |
| } |
| |
| @article{DilmaDaSilva2006K42, |
| author = {Silva, Dilma Da and Krieger, Orran and Wisniewski, Robert W. and Waterland, Amos and Tam, David and Baumann, Andrew}, |
| title = {K42: an infrastructure for operating system research}, |
| journal = {SIGOPS Oper. Syst. Rev.}, |
| volume = {40}, |
| number = {2}, |
| year = {2006}, |
| issn = {0163-5980}, |
| pages = {34--42}, |
| doi = {10.1145/1131322.1131333}, |
| publisher = {ACM}, |
| address = {New York, NY, USA}, |
| } |
| |
| @unpublished{CoreyMinyard2007list:splice:rcu, |
| Author="Corey Minyard and Paul E. McKenney", |
| Title="{[PATCH]} add an {RCU} version of list splicing", |
| month="January", |
| year="2007", |
| day=3, |
| note="Available: |
| \url{http://lkml.org/lkml/2007/1/3/112} |
| [Viewed May 28, 2007]", |
| } |
| |
| @unpublished{PaulEMcKenney2007rcubarrier, |
| Author="Paul E. McKenney", |
| Title="{RCU} and Unloadable Modules", |
| month="January", |
| day="14", |
| year="2007", |
| note="Available: |
| \url{http://lwn.net/Articles/217484/} |
| [Viewed November 22, 2007]", |
| } |
| |
| @unpublished{PeterZijlstra2007SyncBarrier, |
| Author="Peter Zijlstra and Ingo Molnar", |
| Title="{[PATCH 3/7]} barrier: a scalable synchonisation barrier", |
| month="January", |
| year="2007", |
| day=28, |
| note="Available: |
| \url{http://lkml.org/lkml/2007/1/28/34} |
| [Viewed March 27, 2008]", |
| } |
| |
| @unpublished{PaulEMcKenney2007BoostRCU, |
| Author="Paul E. McKenney", |
| Title="Priority-Boosting {RCU} Read-Side Critical Sections", |
| month="February", |
| day="5", |
| year="2007", |
| note="\url{http://lwn.net/Articles/220677/}", |
| } |
| |
| @unpublished{PaulMcKenney2007QRCUpatch, |
| Author="Paul E. McKenney", |
| Title="{[PATCH]} {QRCU} with lockless fastpath", |
| month="February", |
| year="2007", |
| day=24, |
| note="Available: |
| \url{http://lkml.org/lkml/2007/2/25/18} |
| [Viewed March 27, 2008]", |
| } |
| |
| @article{JonathanAppavoo2007K42RCU, |
| author = {Appavoo, Jonathan and Silva, Dilma Da and Krieger, Orran and Auslander, Marc and Ostrowski, Michal and Rosenburg, Bryan and Waterland, Amos and Wisniewski, Robert W. and Xenidis, Jimi and Stumm, Michael and Soares, Livio}, |
| title = {Experience distributing objects in an SMMP OS}, |
| journal = {ACM Trans. Comput. Syst.}, |
| volume = {25}, |
| number = {3}, |
| year = {2007}, |
| issn = {0734-2071}, |
| pages = {6/1--6/52}, |
| doi = {10.1145/1275517.1275518}, |
| publisher = {ACM}, |
| address = {New York, NY, USA}, |
| } |
| |
| @conference{RobertOlsson2007Trash, |
| Author="Robert Olsson and Stefan Nilsson", |
| Title="{TRASH}: A dynamic {LC}-trie and hash data structure", |
| booktitle="Workshop on High Performance Switching and Routing (HPSR'07)", |
| month="May", |
| year="2007", |
| note="Available: |
| \url{http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=4281239} |
| [Viewed October 1, 2010]", |
| } |
| |
| @conference{PeterZijlstra2007ConcurrentPagecacheRCU, |
| Author="Peter Zijlstra", |
| Title="Concurrent Pagecache", |
| Booktitle="Linux Symposium", |
| month="June", |
| year="2007", |
| address="Ottawa, Canada", |
| note="Available: |
| \url{http://ols.108.redhat.com/2007/Reprints/zijlstra-Reprint.pdf} |
| [Viewed April 14, 2008]", |
| } |
| |
| @unpublished{PaulEMcKenney2007whatisRCU, |
| Author="Paul E. McKenney", |
| Title="What is {RCU}?", |
| year="2007", |
| month="07", |
| note="Available: |
| \url{http://www.rdrop.com/users/paulmck/RCU/whatisRCU.html} |
| [Viewed July 6, 2007]", |
| } |
| |
| @unpublished{PaulEMcKenney2007QRCUspin, |
| Author="Paul E. McKenney", |
| Title="Using {Promela} and {Spin} to verify parallel algorithms", |
| month="August", |
| day="1", |
| year="2007", |
| note="Available: |
| \url{http://lwn.net/Articles/243851/} |
| [Viewed September 8, 2007]", |
| } |
| |
| @unpublished{PaulEMcKenney2007WG21DDOatomics, |
| Author="Paul E. McKenney and Hans-J. Boehm and Lawrence Crowl", |
| Title="C++ Data-Dependency Ordering: Atomics and Memory Model", |
| month="August", |
| day="3", |
| year="2007", |
| note="Available: |
| \url{http://open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2664.htm} |
| [Viewed December 7, 2009]", |
| } |
| |
| @unpublished{PaulEMcKenney2007PreemptibleRCUPatch, |
| Author="Paul E. McKenney", |
| Title="[PATCH RFC 0/9] {RCU}: Preemptible {RCU}", |
| month="September", |
| day="10", |
| year="2007", |
| note="Available: |
| \url{http://lkml.org/lkml/2007/9/10/213} |
| [Viewed October 25, 2007]", |
| } |
| |
| @unpublished{PaulEMcKenney2007PreemptibleRCU, |
| Author="Paul E. McKenney", |
| Title="The design of preemptible read-copy-update", |
| month="October", |
| day="8", |
| year="2007", |
| note="Available: |
| \url{http://lwn.net/Articles/253651/} |
| [Viewed October 25, 2007]", |
| } |
| |
| @article{ThomasEHart2007a, |
| Author="Thomas E. Hart and Paul E. McKenney and Angela Demke Brown and Jonathan Walpole", |
| Title="Performance of memory reclamation for lockless synchronization", |
| journal="J. Parallel Distrib. Comput.", |
| volume={67}, |
| number="12", |
| year="2007", |
| issn="0743-7315", |
| pages="1270--1285", |
| doi="10.1016/j.jpdc.2007.04.010", |
| publisher="Academic Press, Inc.", |
| address="Orlando, FL, USA", |
| } |
| |
| @unpublished{MathieuDesnoyers2007call:rcu:schedNeeded, |
| Author="Mathieu Desnoyers", |
| Title="Re: [patch 1/2] {Linux} Kernel Markers - Support Multiple Probes", |
| month="December", |
| day="20", |
| year="2007", |
| note="Available: |
| \url{http://lkml.org/lkml/2007/12/20/244} |
| [Viewed March 27, 2008]", |
| } |
| |
| @unpublished{PaulEMcKenney2007ACCESS:ONCE:rcu, |
| Author="Paul E. McKenney", |
| Title="Immunize rcu\_dereference() against crazy compiler writers", |
| month="October", |
| day="17", |
| year="2007", |
| note="Git commit: |
| \url{https://git.kernel.org/linus/97b430320ce7}", |
| lastchecked="December 17, 2017", |
| } |
| |
| |
| @unpublished{PaulEMcKenney2007WhatIsRCUFundamentally, |
| Author="Paul E. McKenney and Jonathan Walpole", |
| Title="What is {RCU}, Fundamentally?", |
| month="December", |
| day="17", |
| year="2007", |
| note="Available: |
| \url{http://lwn.net/Articles/262464/} |
| [Viewed December 27, 2007]", |
| } |
| |
| @unpublished{PaulEMcKenney2008WhatIsRCUUsage, |
| Author="Paul E. McKenney", |
| Title="What is {RCU}? Part 2: Usage", |
| month="January", |
| day="4", |
| year="2008", |
| note="Available: |
| \url{http://lwn.net/Articles/263130/} |
| [Viewed January 4, 2008]", |
| } |
| |
| @unpublished{PaulEMcKenney2008WhatIsRCUAPI, |
| Author="Paul E. McKenney", |
| Title="{RCU} part 3: the {RCU} {API}", |
| month="January", |
| day="17", |
| year="2008", |
| note="Available: |
| \url{http://lwn.net/Articles/264090/} |
| [Viewed January 10, 2008]", |
| } |
| |
| |
| |
| @unpublished{SteveRostedt2008dyntickRCUpatch, |
| Author="Steven Rostedt and Paul E. McKenney", |
| Title="{[PATCH]} add support for dynamic ticks and preempt rcu", |
| month="January", |
| day="29", |
| year="2008", |
| note="Available: |
| \url{http://lkml.org/lkml/2008/1/29/208} |
| [Viewed March 27, 2008]", |
| } |
| |
| @unpublished{PaulEMcKenney2008LKMLDependencyOrdering, |
| Author="Paul E. McKenney", |
| Title="Re: [PATCH 02/22 -v7] Add basic support for gcc profiler instrumentation", |
| month="February", |
| day="1", |
| year="2008", |
| note="Available: |
| \url{http://lkml.org/lkml/2008/2/2/255} |
| [Viewed October 18, 2008]", |
| } |
| |
| @Conference{PaulEMcKenney2008Beijing, |
| Author="Paul E. McKenney", |
| Title="Introducing Technology Into {Linux} Or: |
| Introducing your technology Into {Linux} will require introducing a |
| lot of {Linux} into your technology!!!", |
| Booktitle="2008 Linux Developer Symposium - China", |
| Publisher="OSS China", |
| Month="February", |
| Year="2008", |
| Address="Beijing, China", |
| note="Available: |
| \url{http://www.rdrop.com/users/paulmck/RCU/TechIntroLinux.2008.02.19a.pdf} |
| [Viewed August 12, 2008]", |
| } |
| |
| @unpublished{PaulEMcKenney2008commit:ae66be9b71b1, |
| Author="Paul E. McKenney", |
| Title="rcu: fix misplaced \co{mb()} in \co{rcu_enter/exit_nohz()}", |
| month="March", |
| day="19", |
| year="2008", |
| note="Git commit: |
| \url{https://git.kernel.org/linus/ae66be9b71b1}", |
| lastchecked="April 6, 2019", |
| } |
| |
| @unpublished{PaulEMcKenney2008dynticksRCU, |
| Author="Paul E. McKenney and Steven Rostedt", |
| Title="Integrating and Validating dynticks and Preemptable {RCU}", |
| month="April", |
| day="24", |
| year="2008", |
| note="Available: |
| \url{http://lwn.net/Articles/279077/} |
| [Viewed April 24, 2008]", |
| } |
| |
| @unpublished{PaulEMcKenney2008commit:d7c0651390b6, |
| Author="Paul E. McKenney", |
| Title="rcu: fix \co{rcu_try_flip_waitack_needed()} to prevent grace-period stall", |
| month="May", |
| day="12", |
| year="2008", |
| note="Git commit: |
| \url{https://git.kernel.org/linus/d7c0651390b6}", |
| lastchecked="April 6, 2019", |
| } |
| |
| @article{DinakarGuniguntala2008IBMSysJ, |
| author="D. Guniguntala and P. E. McKenney and J. Triplett and J. Walpole", |
| title="The read-copy-update mechanism for supporting real-time applications on shared-memory multiprocessor systems with {Linux}", |
| Year="2008", |
| Month="May", |
| journal="IBM Systems Journal", |
| volume="47", |
| number="2", |
| pages="221-236", |
| doi="10.1147/sj.472.0221", |
| } |
| |
| @unpublished{LinusTorvalds2008ACCESS:ONCE:move, |
| Author="Linus Torvalds", |
| Title="{Move ACCESS\_ONCE() to <linux/compiler.h>}", |
| month="May", |
| day="11", |
| year="2008", |
| note="Git commit: |
| \url{https://git.kernel.org/linus/9c3cdc1f83a6}", |
| lastchecked="December 17, 2017", |
| } |
| |
| @unpublished{LaiJiangshan2008NewClassicAlgorithm, |
| Author="Lai Jiangshan", |
| Title="[{RFC}][{PATCH}] rcu classic: new algorithm for callbacks-processing", |
| month="June", |
| day="3", |
| year="2008", |
| note="Available: Linux-kernel git SHA-1 5127bed588a2 [Viewed July 9, 2016]", |
| } |
| |
| @article{PaulEMcKenney2008RCUOSR, |
| author="Paul E. McKenney and Jonathan Walpole", |
| title="Introducing technology into the {Linux} kernel: a case study", |
| Year="2008", |
| journal="SIGOPS Oper. Syst. Rev.", |
| volume="42", |
| number="5", |
| pages="4--17", |
| issn="0163-5980", |
| doi={10.1145/1400097.1400099}, |
| publisher="ACM", |
| address="New York, NY, USA", |
| } |
| |
| @unpublished{ManfredSpraul2008StateMachineRCU, |
| Author="Manfred Spraul", |
| Title="[{RFC}, {PATCH}] state machine based rcu", |
| month="August", |
| day="21", |
| year="2008", |
| note="Available: |
| \url{http://lkml.org/lkml/2008/8/21/336} |
| [Viewed December 8, 2008]", |
| } |
| |
| @unpublished{ManfredSpraul2008dyntickIRQNMI, |
| Author="Manfred Spraul", |
| Title="Re: [{RFC}, {PATCH}] v4 scalable classic {RCU} implementation", |
| month="September", |
| day="6", |
| year="2008", |
| note="Available: |
| \url{http://lkml.org/lkml/2008/9/6/86} |
| [Viewed December 8, 2008]", |
| } |
| |
| @unpublished{PaulEMcKenney2007WG21DDOannotation, |
| Author="Paul E. McKenney and Lawrence Crowl", |
| Title="C++ Data-Dependency Ordering: Function Annotation", |
| month="September", |
| day="18", |
| year="2008", |
| note="Available: |
| \url{http://open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2782.htm} |
| [Viewed December 7, 2009]", |
| } |
| |
| @techreport{PaulEMcKenney2008cyclicRCU, |
| author="Paul E. McKenney", |
| title="Efficient Support of Consistent Cyclic Search With Read-Copy Update", |
| institution="Assigned to International Business Machines Corp", |
| address="Washington, DC", |
| year="2008", |
| number="US Patent 7,426,511", |
| month="September", |
| pages="23", |
| } |
| |
| @unpublished{PaulEMcKenney2008HierarchicalRCU, |
| Author="Paul E. McKenney", |
| Title="Hierarchical {RCU}", |
| month="November", |
| day="3", |
| year="2008", |
| note="\url{http://lwn.net/Articles/305782/}", |
| } |
| |
| @unpublished{PaulEMcKenney2008commit:64db4cfff99c, |
| Author="Paul E. McKenney", |
| Title={{"Tree RCU"}: scalable classic {RCU} implementation}, |
| month="December", |
| day="18", |
| year="2008", |
| note="Git commit: |
| \url{https://git.kernel.org/linus/64db4cfff99c}", |
| lastchecked="April 15, 2019", |
| } |
| |
| @unpublished{PaulEMcKenney2009BloatwatchRCU, |
| Author="Paul E. McKenney", |
| Title="Re: [{PATCH} fyi] {RCU}: the bloatwatch edition", |
| month="January", |
| day="14", |
| year="2009", |
| note="Available: |
| \url{http://lkml.org/lkml/2009/1/14/449} |
| [Viewed January 15, 2009]", |
| } |
| |
| @conference{PaulEMcKenney2009MaliciousURCU, |
| Author="Paul E. McKenney", |
| Title="Using a Malicious User-Level {RCU} to Torture {RCU}-Based Algorithms", |
| Booktitle="linux.conf.au 2009", |
| month="January", |
| year="2009", |
| address="Hobart, Australia", |
| note="Available: |
| \url{http://www.rdrop.com/users/paulmck/RCU/urcutorture.2009.01.22a.pdf} |
| [Viewed February 2, 2009]", |
| } |
| |
| @unpublished{MathieuDesnoyers2009URCU, |
| Author="Mathieu Desnoyers", |
| Title="[{RFC} git tree] Userspace {RCU} (urcu) for {Linux}", |
| month="February", |
| day="5", |
| year="2009", |
| note="\url{http://liburcu.org}", |
| } |
| |
| @unpublished{PaulEMcKenney2009LWNBloatWatchRCU, |
| Author="Paul E. McKenney", |
| Title="{RCU}: The {Bloatwatch} Edition", |
| month="March", |
| day="17", |
| year="2009", |
| note="Available: |
| \url{http://lwn.net/Articles/323929/} |
| [Viewed March 20, 2009]", |
| } |
| |
| @unpublished{EvgeniyPolyakov2009EllipticsNetwork, |
| Author="Evgeniy Polyakov", |
| Title="The Elliptics Network", |
| month="April", |
| day="17", |
| year="2009", |
| note="Available: |
| \url{http://www.ioremap.net/projects/elliptics} |
| [Viewed April 30, 2009]", |
| } |
| |
| @unpublished{PaulEMcKenney2009expeditedRCU, |
| Author="Paul E. McKenney", |
| Title="[{PATCH} -tip 0/3] expedited 'big hammer' {RCU} grace periods", |
| month="June", |
| day="25", |
| year="2009", |
| note="Available: |
| \url{http://lkml.org/lkml/2009/6/25/306} |
| [Viewed August 16, 2009]", |
| } |
| |
| @unpublished{PaulEMcKenney2009fastRTRCU, |
| Author="Paul E. McKenney", |
| Title="[{PATCH} {RFC} -tip 0/4] {RCU} cleanups and simplified preemptable {RCU}", |
| month="July", |
| day="23", |
| year="2009", |
| note="Available: |
| \url{http://lkml.org/lkml/2009/7/23/294} |
| [Viewed August 15, 2009]", |
| } |
| |
| @unpublished{JoshTriplett2009RPHash, |
| Author="Josh Triplett", |
| Title="Scalable concurrent hash tables via relativistic programming", |
| month="September", |
| year="2009", |
| note="Linux Plumbers Conference presentation", |
| } |
| |
| @phdthesis{MathieuDesnoyersPhD, |
| title = "Low-Impact Operating System Tracing", |
| author = "Mathieu Desnoyers", |
| school = "Ecole Polytechnique de Montr\'{e}al", |
| month = "December", |
| year = 2009, |
| note="Available: |
| \url{http://www.lttng.org/pub/thesis/desnoyers-dissertation-2009-12.pdf} |
| [Viewed December 9, 2009]", |
| } |
| |
| @unpublished{RelativisticProgrammingWiki, |
| Author="Josh Triplett and Paul E. McKenney and Jonathan Walpole", |
| Title="Relativistic Programming", |
| month="September", |
| year="2009", |
| note="Available: |
| \url{http://wiki.cs.pdx.edu/rp/} |
| [Viewed December 9, 2009]", |
| } |
| |
| @conference{PaulEMcKenney2009DeterministicRCU, |
| Author="Paul E. McKenney", |
| Title="Deterministic Synchronization in Multicore Systems: the Role of {RCU}", |
| Booktitle="Eleventh Real Time Linux Workshop", |
| month="September", |
| year="2009", |
| address="Dresden, Germany", |
| note="Available: |
| \url{http://www.rdrop.com/users/paulmck/realtime/paper/DetSyncRCU.2009.08.18a.pdf} |
| [Viewed January 14, 2009]", |
| } |
| |
| @unpublished{PaulEMcKenney2009HuntingHeisenbugs, |
| Author="Paul E. McKenney", |
| Title="Hunting Heisenbugs", |
| month="November", |
| year="2009", |
| day="1", |
| note="Available: |
| \url{http://paulmck.livejournal.com/14639.html} |
| [Viewed June 4, 2010]", |
| } |
| |
| @unpublished{MathieuDesnoyers2009defer:rcu, |
| Author="Mathieu Desnoyers", |
| Title="Kernel {RCU}: shrink the size of the struct rcu\_head", |
| month="December", |
| year="2009", |
| note="Available: |
| \url{http://lkml.org/lkml/2009/10/18/129} |
| [Viewed December 29, 2009]", |
| } |
| |
| @unpublished{MathieuDesnoyers2009VerifPrePub, |
| Author="Mathieu Desnoyers and Paul E. McKenney and Michel R. Dagenais", |
| Title="Multi-Core Systems Modeling for Formal Verification of Parallel Algorithms", |
| month="December", |
| year="2009", |
| note="Submitted to IEEE TPDS", |
| } |
| |
| @unpublished{MathieuDesnoyers2009URCUPrePub, |
| Author="Mathieu Desnoyers and Paul E. McKenney and Alan Stern and Michel R. Dagenais and Jonathan Walpole", |
| Title="User-Level Implementations of Read-Copy Update", |
| month="December", |
| year="2010", |
| note={\url{http://www.computer.org/csdl/trans/td/2012/02/ttd2012020375-abs.html}}, |
| } |
| |
| @inproceedings{HariKannan2009DynamicAnalysisRCU, |
| author = {Kannan, Hari}, |
| title = {Ordering decoupled metadata accesses in multiprocessors}, |
| booktitle = {MICRO 42: Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture}, |
| year = {2009}, |
| isbn = {978-1-60558-798-1}, |
| pages = {381--390}, |
| location = {New York, New York}, |
| doi = {10.1145/1669112.1669161}, |
| publisher = {ACM}, |
| address = {New York, NY, USA}, |
| } |
| |
| @phdthesis{MichaelDaltonPhD2009, |
| author="Michael Dalton", |
| title="THE DESIGN AND IMPLEMENTATION OF DYNAMIC INFORMATION FLOW TRACKING SYSTEMS FOR SOFTWARE SECURITY", |
| school="Stanford University", |
| year="2009", |
| note="Available: |
| \url{http://csl.stanford.edu/~christos/publications/2009.michael_dalton.phd_thesis.pdf} |
| [Viewed March 9, 2010]", |
| } |
| |
| @conference{PaulEMcKenney2010SimpleOptRCU, |
| Author="Paul E. McKenney", |
| Title="Simplicity Through Optimization", |
| Booktitle="linux.conf.au 2010", |
| month="January", |
| year="2010", |
| address="Wellington, New Zealand", |
| note="Available: |
| \url{http://www.rdrop.com/users/paulmck/RCU/SimplicityThruOptimization.2010.01.21f.pdf} |
| [Viewed October 10, 2010]", |
| } |
| |
| @unpublished{PaulEMcKenney2010LockdepRCU, |
| Author="Paul E. McKenney", |
| Title="Lockdep-{RCU}", |
| month="February", |
| year="2010", |
| day="1", |
| note="\url{https://lwn.net/Articles/371986/}", |
| } |
| |
| @unpublished{AviKivity2010KVM2RCU, |
| Author="Avi Kivity", |
| Title="[{PATCH} 37/40] {KVM}: Bump maximum vcpu count to 64", |
| month="February", |
| year="2010", |
| note="Available: |
| \url{http://www.mail-archive.com/kvm@vger.kernel.org/msg28640.html} |
| [Viewed March 20, 2010]", |
| } |
| |
| @unpublished{HerbertXu2010RCUResizeHash, |
| Author="Herbert Xu", |
| Title="bridge: Add core {IGMP} snooping support", |
| month="February", |
| year="2010", |
| note="Available: |
| \url{http://marc.info/?t=126719855400006&r=1&w=2} |
| [Viewed March 20, 2011]", |
| } |
| |
| @mastersthesis{AbhinavDuggal2010Masters, |
| author="Abhinav Duggal", |
| title="Stopping Data Races Using Redflag", |
| school="Stony Brook University", |
| year="2010", |
| } |
| |
| @article{JoshTriplett2010RPHash, |
| author="Josh Triplett and Paul E. McKenney and Jonathan Walpole", |
| title="Scalable Concurrent Hash Tables via Relativistic Programming", |
| journal="ACM Operating Systems Review", |
| year=2010, |
| volume=44, |
| number=3, |
| month="July", |
| } |
| |
| @unpublished{LubosSlovak2010KnotDNSRCU, |
| Author="Lubos Slovak", |
| Title="First steps for utilizing userspace {RCU} library", |
| month="July", |
| day="8", |
| year="2010", |
| note="\url{https://gitlab.labs.nic.cz/knot/knot-dns/commit/f67acc0178ee9a781d7a63fb041b5d09eb5fb4a2}", |
| } |
| |
| @unpublished{PaulEMcKenney2010RCUAPI, |
| Author="Paul E. McKenney", |
| Title="The {RCU} {API}, 2010 Edition", |
| month="December", |
| day="8", |
| year="2010", |
| note="\url{http://lwn.net/Articles/418853/}", |
| } |
| |
| @mastersthesis{AndrejPodzimek2010masters, |
| author="Andrej Podzimek", |
| title="Read-Copy-Update for OpenSolaris", |
| school="Charles University in Prague", |
| year="2010", |
| note="Available: |
| \url{https://andrej.podzimek.org/thesis.pdf} |
| [Viewed January 31, 2011]", |
| } |
| |
| @unpublished{LinusTorvalds2011Linux2:6:38:rc1:NPigginVFS, |
| Author="Linus Torvalds", |
| Title="Linux 2.6.38-rc1", |
| month="January", |
| year="2011", |
| note="Available: |
| \url{https://lkml.org/lkml/2011/1/18/322} |
| [Viewed March 4, 2011]", |
| } |
| |
| @techreport{JoshTriplett2011RPScalableCorrectOrdering, |
| author = {Josh Triplett and Philip W. Howard and Paul E. McKenney and Jonathan Walpole}, |
| title = {Scalable Correct Memory Ordering via Relativistic Programming}, |
| year = {2011}, |
| number = {11-03}, |
| institution = {Portland State University}, |
| note = {\url{http://www.cs.pdx.edu/pdfs/tr1103.pdf}}, |
| } |
| |
| @inproceedings{PhilHoward2011RCUTMRBTree, |
| author = {Philip W. Howard and Jonathan Walpole}, |
| title = {A Relativistic Enhancement to Software Transactional Memory}, |
| booktitle = {Proceedings of the 3rd USENIX conference on Hot topics in parallelism}, |
| series = {HotPar'11}, |
| year = {2011}, |
| location = {Berkeley, CA}, |
| pages = {1--6}, |
| numpages = {6}, |
| url = {http://www.usenix.org/event/hotpar11/tech/final_files/Howard.pdf}, |
| publisher = {USENIX Association}, |
| address = {Berkeley, CA, USA}, |
| } |
| |
| @techreport{PaulEMcKenney2011cyclicparallelRCU, |
| author="Paul E. McKenney and Jonathan Walpole", |
| title="Efficient Support of Consistent Cyclic Search With Read-Copy Update and Parallel Updates", |
| institution="Assigned to International Business Machines Corp", |
| address="Washington, DC", |
| year="2011", |
| number="US Patent 7,953,778", |
| month="May", |
| pages="34", |
| } |
| |
| @inproceedings{Triplett:2011:RPHash, |
| author = {Triplett, Josh and McKenney, Paul E. and Walpole, Jonathan}, |
| title = {Resizable, Scalable, Concurrent Hash Tables via Relativistic Programming}, |
| booktitle = {Proceedings of the 2011 USENIX Annual Technical Conference}, |
| month = {June}, |
| year = {2011}, |
| pages = {145--158}, |
| numpages = {14}, |
| url={http://www.usenix.org/event/atc11/tech/final_files/Triplett.pdf}, |
| publisher = {The USENIX Association}, |
| address = {Portland, OR USA}, |
| } |
| |
| @unpublished{PaulEMcKenney2011RCU3.0trainwreck, |
| Author="Paul E. McKenney", |
| Title="3.0 and {RCU:} what went wrong", |
| month="July", |
| day="27", |
| year="2011", |
| note="\url{http://lwn.net/Articles/453002/}", |
| } |
| |
| @unpublished{NeilBrown2011MeetTheLockers, |
| Author="Neil Brown", |
| Title="Meet the {Lockers}", |
| month="August", |
| day="3", |
| year="2011", |
| note="Available: |
| \url{http://lwn.net/Articles/453685/} |
| [Viewed September 2, 2011]", |
| } |
| |
| @unpublished{SamyAlBahra2011ckEpoch, |
| author="Samy Al Bahra", |
| title="{ck\_epoch}: Support per-object destructors", |
| Year="2011", |
| Month="October", |
| Day="26", |
| Note="\url{https://github.com/concurrencykit/ck/commit/10ffb2e6f1737a30e2dcf3862d105ad45fcd60a4}", |
| } |
| |
| @inproceedings{Seyster:2011:RFA:2075416.2075425, |
| author = {Seyster, Justin and Radhakrishnan, Prabakar and Katoch, Samriti and Duggal, Abhinav and Stoller, Scott D. and Zadok, Erez}, |
| title = {Redflag: a framework for analysis of Kernel-level concurrency}, |
| booktitle = {Proceedings of the 11th international conference on Algorithms and architectures for parallel processing - Volume Part I}, |
| series = {ICA3PP'11}, |
| year = {2011}, |
| isbn = {978-3-642-24649-4}, |
| location = {Melbourne, Australia}, |
| pages = {66--79}, |
| numpages = {14}, |
| url = {http://dl.acm.org/citation.cfm?id=2075416.2075425}, |
| acmid = {2075425}, |
| publisher = {Springer-Verlag}, |
| address = {Berlin, Heidelberg}, |
| } |
| |
| @phdthesis{JoshTriplettPhD, |
| author="Josh Triplett", |
| title="Relativistic Causal Ordering: A Memory Model for Scalable Concurrent Data Structures", |
| school="Portland State University", |
| year="2012", |
| url="http://www.pdx.edu/computer-science/sites/www.pdx.edu.computer-science/files/Triplett.pdf", |
| } |
| |
| @phdthesis{PhilHowardPhD, |
| author="Phil Howard", |
| title="Extending Relativistic Programming to Multiple Writers", |
| school="Portland State University", |
| year="2012", |
| } |
| |
| @article{MathieuDesnoyers2012URCU, |
| Author="Mathieu Desnoyers and Paul E. McKenney and Alan Stern and Michel R. Dagenais and Jonathan Walpole", |
| Title="User-Level Implementations of Read-Copy Update", |
| journal="IEEE Transactions on Parallel and Distributed Systems", |
| volume={23}, |
| year="2012", |
| issn="1045-9219", |
| pages="375-382", |
| doi="10.1109/TPDS.2011.159", |
| publisher="IEEE Computer Society", |
| address="Los Alamitos, CA, USA", |
| } |
| |
| @inproceedings{AustinClements2012RCULinux:mmapsem, |
| author = {Austin Clements and Frans Kaashoek and Nickolai Zeldovich}, |
| title = {Scalable Address Spaces Using {RCU} Balanced Trees}, |
| booktitle = {Architectural Support for Programming Languages and Operating Systems (ASPLOS 2012)}, |
| month = {March}, |
| year = {2012}, |
| pages = {199--210}, |
| numpages = {12}, |
| publisher = {ACM}, |
| address = {London, UK}, |
| url="http://people.csail.mit.edu/nickolai/papers/clements-bonsai.pdf", |
| doi="10.1145/2150976.2150998", |
| } |
| |
| @unpublished{PaulEMcKenney2012ELCbattery, |
| Author="Paul E. McKenney", |
| Title="Making {RCU} Safe For Battery-Powered Devices", |
| month="February", |
| day="15", |
| year="2012", |
| note="Available: |
| \url{http://www.rdrop.com/users/paulmck/RCU/RCUdynticks.2012.02.15b.pdf} |
| [Viewed March 1, 2012]", |
| } |
| |
| @article{GuillermoVigueras2012RCUCrowd, |
| author = {Vigueras, Guillermo and Ordu\~{n}a, Juan M. and Lozano, Miguel}, |
| day = {25}, |
| doi = {10.1007/s11227-012-0766-x}, |
| issn = {0920-8542}, |
| journal = {The Journal of Supercomputing}, |
| keywords = {linux, simulation}, |
| month = apr, |
| posted-at = {2012-05-03 09:12:04}, |
| priority = {2}, |
| title = {{A Read-Copy Update based parallel server for distributed crowd simulations}}, |
| url = {http://dx.doi.org/10.1007/s11227-012-0766-x}, |
| year = {2012}, |
| } |
| |
| |
| @unpublished{JonCorbet2012ACCESS:ONCE, |
| Author="Jonathan Corbet", |
| Title="{ACCESS\_ONCE()}", |
| month="August", |
| day="1", |
| year="2012", |
| note="\url{http://lwn.net/Articles/508991/}", |
| } |
| |
| @unpublished{AlexeyGotsman2012VerifyGraceExtended, |
| Author="Alexey Gotsman and Noam Rinetzky and Hongseok Yang", |
| Title="Verifying Highly Concurrent Algorithms with Grace (extended version)", |
| month="July", |
| day="10", |
| year="2012", |
| note="\url{http://software.imdea.org/~gotsman/papers/recycling-esop13-ext.pdf}", |
| } |
| |
| @unpublished{PaulMcKenney2012RCUUsage, |
| Author="Paul E. McKenney and Silas Boyd-Wickizer and Jonathan Walpole", |
| Title="{RCU} Usage In the Linux Kernel: One Decade Later", |
| month="September", |
| day="17", |
| year="2012", |
| note="Technical report paulmck.2012.09.17, |
| \url{http://rdrop.com/users/paulmck/techreports/survey.2012.09.17a.pdf} |
| ", |
| } |
| |
| @unpublished{AviKivity2013OSvRCU, |
| Author="Avi Kivity", |
| Title="rcu: add basic read-copy-update implementation", |
| month="August", |
| day="7", |
| year="2013", |
| note="\url{https://github.com/cloudius-systems/osv/commit/94b69794fb9e6c99d78ca9a58ddaee1c31256b43}", |
| } |
| |
| @unpublished{PaulEMcKenney2012RCUGPkthreads, |
| Author="Paul E. McKenney", |
| Title="The new visibility of {RCU} processing", |
| month="October", |
| day="10", |
| year="2013", |
| note="\url{http://lwn.net/Articles/518953/}", |
| } |
| |
| @unpublished{NetBSD2012pserialize, |
| Author="{The NetBSD Foundation}", |
| Title="pserialize(9)", |
| month="October", |
| day="17", |
| year="2012", |
| note="\url{http://netbsd.gw.com/cgi-bin/man-cgi?pserialize+9+NetBSD-current}", |
| } |
| |
| @inproceedings{Howard:2012:CRP:2414729.2414735, |
| author = {Howard, Philip W. and Walpole, Jonathan}, |
| title = {A case for relativistic programming}, |
| booktitle = {Proceedings of the 2012 ACM workshop on Relaxing synchronization for multicore and manycore scalability}, |
| series = {RACES '12}, |
| year = {2012}, |
| isbn = {978-1-4503-1632-3}, |
| location = {Tucson, Arizona, USA}, |
| pages = {33--38}, |
| numpages = {6}, |
| url = {http://doi.acm.org/10.1145/2414729.2414735}, |
| publisher = {ACM}, |
| address = {New York, NY, USA}, |
| keywords = {relativistic programming}, |
| } |
| |
| @unpublished{JonCorbet2012NOCB, |
| Author="Jonathan Corbet", |
| Title="Relocating {RCU} callbacks", |
| month="October", |
| day="31", |
| year="2012", |
| note="\url{http://lwn.net/Articles/522262/}", |
| } |
| |
| @phdthesis{JustinSeyster2012PhD, |
| author="Justin Seyster", |
| title="Runtime Verification of Kernel-Level Concurrency Using Compiler-Based Instrumentation", |
| school="Stony Brook University", |
| year="2012", |
| } |
| |
| @inproceedings{AndrejPodzimek2012RCU-UTS, |
| author = {Andrej Podzimek and Martin D\u{e}ck\'{y} and Lubomir Bulej and |
| Petr T\r{u}ma}, |
| title = {A Non-Intrusive Read-Copy-Update for UTS}, |
| booktitle = {2012 IEEE 18\textsuperscript{th} International Conference on Parallel and Distributed Systems (ICPADS)}, |
| month = {December}, |
| year = {2012}, |
| pages = {482-489}, |
| numpages = {8}, |
| publisher = {IEEE}, |
| address = {Singapore}, |
| url="http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6413660", |
| } |
| |
| @inproceedings{Mao:2012:CCF:2168836.2168855, |
| author = {Mao, Yandong and Kohler, Eddie and Morris, Robert Tappan}, |
| title = {Cache Craftiness for Fast Multicore Key-value Storage}, |
| booktitle = {Proceedings of the 7th ACM European Conference on Computer Systems}, |
| series = {EuroSys '12}, |
| year = {2012}, |
| isbn = {978-1-4503-1223-3}, |
| location = {Bern, Switzerland}, |
| pages = {183--196}, |
| numpages = {14}, |
| url = {http://doi.acm.org/10.1145/2168836.2168855}, |
| doi = {10.1145/2168836.2168855}, |
| acmid = {2168855}, |
| publisher = {ACM}, |
| address = {New York, NY, USA}, |
| keywords = {in-memory, key-value, multicore, persistent}, |
| } |
| |
| @inproceedings{Sivaramakrishnan:2012:ERB:2258996.2259005, |
| author = {Sivaramakrishnan, KC and Ziarek, Lukasz and Jagannathan, Suresh}, |
| title = {Eliminating Read Barriers Through Procrastination and Cleanliness}, |
| booktitle = {Proceedings of the 2012 International Symposium on Memory Management}, |
| series = {ISMM '12}, |
| year = {2012}, |
| isbn = {978-1-4503-1350-6}, |
| location = {Beijing, China}, |
| pages = {49--60}, |
| numpages = {12}, |
| url = {http://doi.acm.org/10.1145/2258996.2259005}, |
| doi = {10.1145/2258996.2259005}, |
| acmid = {2259005}, |
| publisher = {ACM}, |
| address = {New York, NY, USA}, |
| keywords = {barrier elimination, cleanliness, concurrent programming, functional languages, parallel and concurrent collection, private heaps}, |
| } |
| |
| @unpublished{PaulEMcKenney2013RCUUsage, |
| Author="Paul E. McKenney and Silas Boyd-Wickizer and Jonathan Walpole", |
| Title="{RCU} Usage in the {Linux} Kernel: One Decade Later", |
| month="February", |
| day="24", |
| year="2013", |
| note="\url{http://rdrop.com/users/paulmck/techreports/RCUUsage.2013.02.24a.pdf}", |
| } |
| |
| @inproceedings{AlexeyGotsman2013ESOPRCU, |
| author = {Alexey Gotsman and Noam Rinetzky and Hongseok Yang}, |
| title = {Verifying concurrent memory reclamation algorithms with grace}, |
| booktitle = {ESOP'13: European Symposium on Programming}, |
| year = {2013}, |
| pages = {249--269}, |
| publisher = {Springer}, |
| address = {Rome, Italy}, |
| } |
| |
| @unpublished{PaulEMcKenney2013NoTinyPreempt, |
| Author="Paul E. McKenney", |
| Title="Simplifying {RCU}", |
| month="March", |
| day="6", |
| year="2013", |
| note="\url{http://lwn.net/Articles/541037/}", |
| } |
| |
| @article{PaulEMcKenney:2013:ACMQueueSchroedingersZoo, |
| author = {McKenney, Paul E.}, |
| title = {Structured Deferral: Synchronization via Procrastination}, |
| journal = {Queue}, |
| issue_date = {May 2013}, |
| volume = {11}, |
| number = {5}, |
| month = may, |
| year = {2013}, |
| issn = {1542-7730}, |
| pages = {20:20--20:39}, |
| articleno = {20}, |
| numpages = {20}, |
| url = {http://doi.acm.org/10.1145/2488364.2488549}, |
| doi = {10.1145/2488364.2488549}, |
| acmid = {2488549}, |
| publisher = {ACM}, |
| address = {New York, NY, USA}, |
| } |
| |
| @article{McKenney:2013:SDS:2483852.2483867, |
| author = {McKenney, Paul E.}, |
| title = {Structured deferral: synchronization via procrastination}, |
| journal = {Commun. ACM}, |
| issue_date = {July 2013}, |
| volume = {56}, |
| number = {7}, |
| month = jul, |
| year = {2013}, |
| issn = {0001-0782}, |
| pages = {40--49}, |
| numpages = {10}, |
| url = {http://doi.acm.org/10.1145/2483852.2483867}, |
| doi = {10.1145/2483852.2483867}, |
| acmid = {2483867}, |
| publisher = {ACM}, |
| address = {New York, NY, USA}, |
| } |
| |
| @unpublished{JonathanCorbet2013SYSIDLE, |
| Author="Jonathan Corbet", |
| Title="Is the whole system idle?", |
| month="July", |
| day="10", |
| year="2013", |
| note="\url{http://lwn.net/Articles/558284/}", |
| } |
| |
| @mastersthesis{AdamHraska2013RCUHelenOS, |
| author="Adam Hra\v{s}ka", |
| title="Read-Copy-Update for HelenOS", |
| school="Charles University in Prague, Faculty of Mathematics and Physics, Department of Distributed and Dependable Systems", |
| year=2013, |
| } |
| |
| @unpublished{MikeDay2013RCUqemu, |
| Author="Paolo Bonzini and Mike Day", |
| Title="{RCU} Implementation for {Qemu}", |
| month="August", |
| day="14", |
| year="2013", |
| note="\url{http://lists.gnu.org/archive/html/qemu-devel/2013-08/msg02055.html}", |
| } |
| |
| @article{PhilipWHoward2013RCUrbtree, |
| author = {Philip W. Howard and Jonathan Walpole}, |
| title = {Relativistic Red-Black Trees}, |
| journal = {Concurrency and Computation: Practice and Experience}, |
| year = {2013}, |
| issn = {1532-0634}, |
| pages = {n/a--n/a}, |
| numpages = {29}, |
| url = {http://dx.doi.org/10.1002/cpe.3157}, |
| doi = {10.1002/cpe.3157}, |
| } |
| |
| @unpublished{OlegNesterov2013rcusync, |
| Author="Oleg Nesterov and Peter Zijlstra", |
| Title="rcu: Create rcu\_sync infrastructure", |
| month="October", |
| day="2", |
| year="2013", |
| note="\url{https://lore.kernel.org/lkml/20131002150518.675931976@infradead.org/}", |
| } |
| |
| @unpublished{PaulMcKenney2013LWNURCU, |
| Author="Paul E. McKenney and Mathieu Desnoyers and Lai Jiangshan", |
| Title="User-space {RCU}", |
| month="November", |
| day="13", |
| year="2013", |
| note="\url{https://lwn.net/Articles/573424/}", |
| } |
| |
| @unpublished{PaulMcKenney2013LWNURCUhash, |
| Author="Paul E. McKenney and Mathieu Desnoyers and Lai Jiangshan", |
| Title="{URCU}-protected hash tables", |
| month="November", |
| day="12", |
| year="2013", |
| note="\url{http://lwn.net/Articles/573431/}", |
| } |
| |
| @unpublished{PaulMcKenney2013LWNURCUhashAPI, |
| Author="Paul E. McKenney and Mathieu Desnoyers and Lai Jiangshan", |
| Title="The {URCU} hash table {API}", |
| month="November", |
| day="12", |
| year="2013", |
| note="\url{https://lwn.net/Articles/573432/}", |
| } |
| |
| @unpublished{PaulMcKenney2013LWNURCUqueuestack, |
| Author="Paul E. McKenney and Mathieu Desnoyers and Lai Jiangshan", |
| Title="{URCU}-protected queues and stacks", |
| month="November", |
| day="12", |
| year="2013", |
| note="\url{https://lwn.net/Articles/573433/}", |
| } |
| |
| @unpublished{PaulMcKenney2013LWNURCUqueuestackAPI, |
| Author="Paul E. McKenney and Mathieu Desnoyers and Lai Jiangshan", |
| Title="The {URCU} stack/queue {API}", |
| month="November", |
| day="12", |
| year="2013", |
| note="\url{https://lwn.net/Articles/573434/}", |
| } |
| |
| @unpublished{PaulMcKenney2013LWNURCUatomicop, |
| Author="Paul E. McKenney and Mathieu Desnoyers and Lai Jiangshan", |
| Title="User-space {RCU}: Atomic-operation and utility {API}", |
| month="November", |
| day="12", |
| year="2013", |
| note="\url{https://lwn.net/Articles/573435/}", |
| } |
| |
| @unpublished{PaulMcKenney2013LWNURCUmenagerie, |
| Author="Paul E. McKenney and Mathieu Desnoyers and Lai Jiangshan and Josh Triplett", |
| Title="User-space {RCU}: Memory-barrier menagerie", |
| month="November", |
| day="12", |
| year="2013", |
| note="\url{https://lwn.net/Articles/573436/}", |
| } |
| |
| @unpublished{PaulMcKenney2013LWNURCUAPI, |
| Author="Paul E. McKenney and Mathieu Desnoyers and Lai Jiangshan", |
| Title="The user-space {RCU} {API}", |
| month="November", |
| day="12", |
| year="2013", |
| note="\url{http://lwn.net/Articles/573439/}", |
| } |
| |
| @unpublished{PaulMcKenney2013LWNURCUlist, |
| Author="Paul E. McKenney and Mathieu Desnoyers and Lai Jiangshan", |
| Title="The {RCU}-protected list {API}", |
| month="November", |
| day="12", |
| year="2013", |
| note="\url{https://lwn.net/Articles/573441/}", |
| } |
| |
| @unpublished{PaulMcKenney2013LWNURCUmenagerieRCU, |
| Author="Paul E. McKenney and Mathieu Desnoyers and Lai Jiangshan and Josh Triplett", |
| Title="The {RCU}-barrier menagerie", |
| month="November", |
| day="12", |
| year="2013", |
| note="\url{https://lwn.net/Articles/573497/}", |
| } |
| |
| @inproceedings{Liu:2013:MSA:2549695.2549732, |
| author = {Liu, Yujie and Luchangco, Victor and Spear, Michael}, |
| title = {Mindicators: A Scalable Approach to Quiescence}, |
| booktitle = {Proceedings of the 2013 IEEE 33rd International Conference on Distributed Computing Systems}, |
| series = {ICDCS '13}, |
| year = {2013}, |
| isbn = {978-0-7695-5000-8}, |
| pages = {206--215}, |
| numpages = {10}, |
| url = {http://dx.doi.org/10.1109/ICDCS.2013.39}, |
| doi = {10.1109/ICDCS.2013.39}, |
| acmid = {2549732}, |
| publisher = {IEEE Computer Society}, |
| address = {Washington, DC, USA}, |
| keywords = {concurrent data structures, synchronization, lock-freedom, linearizability}, |
| } |
| |
| @inproceedings{Tu:2013:STM:2517349.2522713, |
| author = {Tu, Stephen and Zheng, Wenting and Kohler, Eddie and Liskov, Barbara and Madden, Samuel}, |
| title = {Speedy Transactions in Multicore In-memory Databases}, |
| booktitle = {Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles}, |
| series = {SOSP '13}, |
| year = {2013}, |
| isbn = {978-1-4503-2388-8}, |
| location = {Farminton, Pennsylvania}, |
| pages = {18--32}, |
| numpages = {15}, |
| url = {http://doi.acm.org/10.1145/2517349.2522713}, |
| doi = {10.1145/2517349.2522713}, |
| acmid = {2522713}, |
| publisher = {ACM}, |
| address = {New York, NY, USA}, |
| } |
| |
| @unpublished{JonathanCorbet2014C11-1, |
| Author="Jonathan Corbet", |
| Title="C11 atomic variables and the kernel", |
| month="February", |
| day="18", |
| year="2014", |
| note="\url{http://lwn.net/Articles/586838/}", |
| } |
| |
| @unpublished{JonathanCorbet2014C11-2, |
| Author="Jonathan Corbet", |
| Title="C11 atomics part 2: ``consume'' semantics", |
| month="February", |
| day="26", |
| year="2014", |
| note="\url{https://lwn.net/Articles/588300/}", |
| } |
| |
| @unpublished{SrivatsaSBhat2014RCUrwlock, |
| Author="Srivatsa S. Bhat", |
| Title="percpu\_rwlock: Implement the core design of Per-{CPU} Reader-Writer Locks", |
| month="February", |
| year="2014", |
| day=18, |
| note="\url{https://patchwork.kernel.org/patch/2157401/}", |
| } |
| |
| @unpublished{PaulEMcKenney2014rcu-dereference, |
| Author="Paul E. McKenney", |
| Title="Proper Care and Feeding of Return Values From {\tt rcu\_dereference()}", |
| month="February", |
| day="28", |
| year="2014", |
| note="\url{https://www.kernel.org/doc/Documentation/RCU/rcu_dereference.txt}", |
| } |
| |
| @inproceedings{MayaArbel2014RCUtree, |
| author = {Maya Arbel and Hagit Attiya}, |
| title = "Concurrent Updates with {RCU}: Search Tree as an Example", |
| booktitle = {Proceedings of the 2014 ACM Symposium on Principles of Distributed Computing}, |
| series = {PODC '14}, |
| year = {2014}, |
| location = {Paris, France}, |
| pages = {???--???}, |
| publisher = {ACM}, |
| address = {New York, NY, USA}, |
| } |
| |
| @conference{MindaugasRasiukevicius2014NPFRCU, |
| Author = "Mindaugas Rasiukevicius", |
| Title = "{NPF}---progress and perspective", |
| Booktitle = "AsiaBSDCon", |
| address = "Tokyo, Japan", |
| month="March", |
| day="15", |
| year="2014", |
| url="{http://www.netbsd.org/~rmind/pub/npf_asiabsdcon_2014.pdf}", |
| } |
| |
| @unpublished{AviKivity2013OSvRCUlist, |
| Author="Avi Kivity", |
| Title="rcu: introduce an rcu list type", |
| month="April", |
| day="7", |
| year="2014", |
| note="\url{https://github.com/cloudius-systems/osv/commit/4e46586093aeaf339fef8e08d123a6f6b0abde5b}", |
| } |
| |
| @unpublished{PaulEMcKennneyAtomicTreeN4037, |
| Author="Paul E. McKenney", |
| Title="N4037: Non-Transactional Implementation of Atomic Tree Move", |
| month="May", |
| day="26", |
| year="2014", |
| note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4037.pdf}", |
| } |
| |
| @inproceedings{RanLiu2014PassiveRWLock, |
| author = {Ran Liu and Heng Zhang and Haibo Chen}, |
| title = {Scalable Read-mostly Synchronization Using Passive Reader-Writer Locks}, |
| booktitle = {2014 USENIX Annual Technical Conference (USENIX ATC 14)}, |
| year = {2014}, |
| month = Jun, |
| isbn = {978-1-931971-10-2}, |
| address = {Philadelphia, PA}, |
| pages = {219--230}, |
| url = {http://blogs.usenix.org/conference/atc14/technical-sessions/presentation/liu}, |
| publisher = {USENIX Association}, |
| } |
| |
| @unpublished{JonathanCorbet2014cond:reschedRCU, |
| Author="Jonathan Corbet", |
| Title="{RCU}, cond\_resched(), and performance regressions", |
| month="June", |
| day="24", |
| year="2014", |
| note="\url{http://lwn.net/Articles/603252/}", |
| } |
| |
| @unpublished{AviKivity2013OSvRCUhash, |
| Author="Avi Kivity", |
| Title="rcu hashtable", |
| month="July", |
| day="10", |
| year="2014", |
| note="\url{https://github.com/cloudius-systems/osv/commit/7fa2728e5d03b2174b4a39d94b21940d11926e90}", |
| } |
| |
| @unpublished{JonathanCorbet2014RCU-tasks, |
| Author="Jonathan Corbet", |
| Title="The {RCU}-tasks subsystem", |
| month="July", |
| day="30", |
| year="2014", |
| note="\url{http://lwn.net/Articles/607117/}", |
| } |
| |
| @unpublished{PaulEMcKenney2014RCUAPI, |
| Author="Paul E. McKenney", |
| Title="The {RCU} {API}, 2014 Edition", |
| month="September", |
| day="4", |
| year="2014", |
| note="\url{http://lwn.net/Articles/609904/}", |
| } |
| |
| @unpublished{NeilBrown2014tasklistRCU, |
| Author="Neil Brown", |
| Title="Using {RCU} for linked lists---a case study", |
| month="September", |
| day="10", |
| year="2014", |
| note="\url{http://lwn.net/Articles/610972/}", |
| } |
| |
| @unpublished{PaulEMcKennneyAtomicTreeCPPCON2014, |
| Author="Paul E. McKenney", |
| Title="C++ Memory Model Meets High-Update-Rate Data Structures", |
| month="September", |
| day="10", |
| year="2014", |
| note="\url{http://www2.rdrop.com/users/paulmck/RCU/C++Updates.2014.09.11a.pdf}", |
| } |
| |
| @unpublished{DmitryVyukov2014IssaquahPointerBits, |
| Author="Dmitry Vyukov", |
| Title="Progress on meeting the {Issaquah} Challenge", |
| month="September", |
| day="10", |
| year="2014", |
| note="\url{https://plus.google.com/113202287320302059445/posts/TDdmnQuGhiH} Comment 5", |
| } |
| |
| @unpublished{JonCorbet2014RCUhash1, |
| Author="Jonathan Corbet", |
| Title="Relativistic hash tables, part 1: Algorithms", |
| month="September", |
| day="17", |
| year="2014", |
| note="\url{http://lwn.net/Articles/612021/}", |
| } |
| |
| @unpublished{JonCorbet2014RCUhash2, |
| Author="Jonathan Corbet", |
| Title="Relativistic hash tables, part 2: Implementation", |
| month="September", |
| day="17", |
| year="2014", |
| note="\url{http://lwn.net/Articles/612100/}", |
| } |
| |
| @unpublished{PaulEMcKennneyConsumeN4321, |
| Author="Paul E. McKenney and Torvald Riegel and Jeff Preshin and |
| Hans Boehm and Clark Nelson and Olivier Giroux", |
| Title="Towards Implementation and Use of {\tt memory\_order\_consume}", |
| month="October", |
| day="5", |
| year="2014", |
| note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4321.pdf}", |
| } |
| |
| @unpublished{PeterZijlstra2014SpeculativePageFault, |
| Author="Peter Zijlstra", |
| Title="Another go at speculative page faults", |
| month="October", |
| day="20", |
| year="2014", |
| note="\url{https://lkml.org/lkml/2014/10/20/620}", |
| } |
| |
| @unpublished{PaulEMcKenney2014ReadMostly, |
| Author="Paul E. McKenney", |
| Title="Recent read-mostly research", |
| month="November", |
| day="11", |
| year="2014", |
| note="\url{http://lwn.net/Articles/619355/}", |
| } |
| |
| @unpublished{JonathanCorbet2014ACCESS:ONCEcompilerBugs, |
| Author="Jonathan Corbet", |
| Title="{ACCESS\_ONCE()} and compiler bugs", |
| month="December", |
| day="3", |
| year="2014", |
| note="\url{https://lwn.net/Articles/624126/}", |
| } |
| |
| @unpublished{PaulEMcKenney2015AdventuresInUbiquity, |
| Author="Paul E. McKenney", |
| Title="Bare-Metal Multicore Performance in a General-Purpose Operating System (Adventures in Ubiquity)", |
| month="January", |
| day="15", |
| year="2015", |
| note="\url{http://www2.rdrop.com/~paulmck/scalability/paper/BareMetal.2015.01.15b.pdf}", |
| } |
| |
| @unpublished{PaulEMcKenneyIssaquahUpdate2015, |
| Author="Paul E. McKenney", |
| Title="High-Performance and Scalable Updates: The {Issaquah} Challenge", |
| month="January", |
| day="16", |
| year="2015", |
| note="\url{http://www2.rdrop.com/users/paulmck/scalability/paper/Updates.2015.01.16b.LCA.pdf}", |
| } |
| |
| @unpublished{JonathanCorbet2015ValidationLCA, |
| Author="Jonathan Corbet", |
| Title="When real validation begins", |
| month="January", |
| day="21", |
| year="2015", |
| note="\url{http://lwn.net/Articles/629742/}", |
| } |
| |
| @unpublished{MaxKhiszinsky2015C++RCU, |
| Author="Max Khiszinsky", |
| Title="Lock-free Data Structures. The Inside. {RCU}", |
| month="February", |
| day="3", |
| year="2015", |
| note="\url{https://kukuruku.co/post/lock-free-data-structures-the-inside-rcu/}", |
| } |
| |
| @unpublished{PaulEMcKenney2015DagstuhlFormalVerifRCU, |
| Author="Paul E. McKenney", |
| Title="Formal Verification and Linux-Kernel Concurrency", |
| month="May", |
| day="3", |
| year="2015", |
| note="\url{http://materials.dagstuhl.de/files/15/15191/15191.PaulMcKenney.Slides.pdf}", |
| } |
| |
| @Conference{JosephTassarotti2015RCUproof, |
| Author="Joseph Tassarotti and Derek Dreyer and Victor Vafeiadis", |
| Title="Verifying Read-Copy-Update in a Logic for Weak Memory", |
| Booktitle="Proceedings of the 2015 Proceedings of the 36\textsuperscript{th} |
| annual ACM SIGPLAN conference on Programming Language Design and Implementation", |
| series = {PLDI '15}, |
| year="2015", |
| month="June", |
| pages="110--120", |
| url = {http://doi.acm.org/10.1145/2737924.2737992}, |
| doi = {10.1145/2737924.2737992}, |
| acmid = {2737992}, |
| Publisher="ACM", |
| address = {New York, NY, USA}, |
| isbn = {978-1-4503-3468-6}, |
| } |
| |
| @unpublished{PaulEMcKenney2015NoRCUArrayIndex, |
| Author="Paul E. McKenney", |
| Title="[{PATCH} tip/core/rcu 1/4] mce: Stop using array-index-based {RCU} primitives", |
| month="May", |
| day="12", |
| year="2015", |
| note="\url{[PATCH tip/core/rcu 1/4] mce: Stop using array-index-based RCU primitives}", |
| } |
| |
| @unpublished{MikeAsh2015Apple, |
| Author="Mike Ash", |
| Title="Concurrent Memory Deallocation in the Objective-C Runtime", |
| month="May", |
| day="29", |
| year="2015", |
| url={https://www.mikeash.com/pyblog/friday-qa-2015-05-29-concurrent-memory-deallocation-in-the-objective-c-runtime.html}, |
| note="mikeash.com: just this guy, you know?", |
| } |
| |
| @unpublished{DharmeshPatel2015Apple, |
| Author="Dharmesh Patel", |
| Title="Concurrent Memory Deallocation in the Objective-C Runtime", |
| month="May", |
| day="29", |
| year="2015", |
| url={http://hn.premii.com/#/article/9670666}, |
| } |
| |
| @unpublished{PaulEMcKenney2015RCUreqts1, |
| Author="Paul E. McKenney", |
| Title="Requirements for {RCU} part 1: the fundamentals", |
| month="July", |
| day="29", |
| year="2015", |
| note="\url{http://lwn.net/Articles/652156/}", |
| } |
| |
| @unpublished{PaulEMcKenney2015RCUreqts2, |
| Author="Paul E. McKenney", |
| Title="{RCU} requirements part 2 --- parallelism and software engineering", |
| month="August", |
| day="5", |
| year="2015", |
| note="\url{http://lwn.net/Articles/652677/}", |
| } |
| |
| @unpublished{PaulEMcKenney2015RCUreqts3, |
| Author="Paul E. McKenney", |
| Title="{RCU} requirements part 3", |
| month="August", |
| day="12", |
| year="2015", |
| note="\url{http://lwn.net/Articles/653326/}", |
| } |
| |
| @article{Arbel:2015:PRR:2858788.2688518, |
| author = {Arbel, Maya and Morrison, Adam}, |
| title = {Predicate {RCU}: An {RCU} for Scalable Concurrent Updates}, |
| journal = {SIGPLAN Not.}, |
| issue_date = {August 2015}, |
| volume = {50}, |
| number = {8}, |
| month = jan, |
| year = {2015}, |
| issn = {0362-1340}, |
| pages = {21--30}, |
| numpages = {10}, |
| url = {http://doi.acm.org/10.1145/2858788.2688518}, |
| doi = {10.1145/2858788.2688518}, |
| acmid = {2688518}, |
| publisher = {ACM}, |
| address = {New York, NY, USA}, |
| keywords = {Concurrent data structures, RCU, Synchronization}, |
| } |
| |
| @article{David:2015:ACS:2775054.2694359, |
| author = {David, Tudor and Guerraoui, Rachid and Trigonakis, Vasileios}, |
| title = {Asynchronized Concurrency: The Secret to Scaling Concurrent Search Data Structures}, |
| journal = {SIGPLAN Not.}, |
| issue_date = {April 2015}, |
| volume = {50}, |
| number = {4}, |
| month = mar, |
| year = {2015}, |
| issn = {0362-1340}, |
| pages = {631--644}, |
| numpages = {14}, |
| url = {http://doi.acm.org/10.1145/2775054.2694359}, |
| doi = {10.1145/2775054.2694359}, |
| acmid = {2694359}, |
| publisher = {ACM}, |
| address = {New York, NY, USA}, |
| keywords = {concurrent data structures, multi-cores, portability, scalability}, |
| } |
| |
| @unpublished{PedroRmalhete2015PoorMansRCU, |
| Author="Pedro Ramalhete and Andreia Correia", |
| Title="Poor Man's RCU", |
| month="August", |
| day="25", |
| year="2015", |
| note="\url{https://github.com/pramalhe/ConcurrencyFreaks/blob/master/papers/poormanurcu-2015.pdf}", |
| } |
| |
| @unpublished{PaulEMcKennneyConsumeP0098R0, |
| Author="Paul E. McKenney and Torvald Riegel and Jeff Preshin and |
| Hans Boehm and Clark Nelson and Olivier Giroux and Lawrence Crowl", |
| Title="Towards Implementation and Use of {\tt memory\_order\_consume}", |
| month="September", |
| day="29", |
| year="2015", |
| note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/p0098r0.pdf}", |
| } |
| |
| @unpublished{PedroRmalhete2015rwlockRCU, |
| Author="Pedro Ramalhete", |
| Title="Implementing a Reader-Writer Lock using {RCU}", |
| month="October", |
| day="25", |
| year="2015", |
| note="\url{http://concurrencyfreaks.blogspot.com/2015/10/implementing-reader-writer-lock-using.html}", |
| } |
| |
| @unpublished{PaulEMcKenney2015ReadMostly, |
| Author="Paul E. McKenney and Aravinda Prasad", |
| Title="Recent read-mostly research in 2015", |
| month="December", |
| day="16", |
| year="2015", |
| note="\url{http://lwn.net/Articles/667593/}", |
| } |
| |
| @unpublished{PaulEMcKenney2015ReadMostlySidebar, |
| Author="Paul E. McKenney and Aravinda Prasad", |
| Title="Some more details on Read-Log-Update", |
| month="December", |
| day="16", |
| year="2015", |
| note="\url{https://lwn.net/Articles/667720/}", |
| } |
| |
| @unpublished{HarshalSheth2016goRCU, |
| Author="Harshal Sheth and Aashish Welling and Nihar Sheth", |
| Title="Read-Copy Update in a Garbage Collected Environment", |
| year="2016", |
| note="MIT PRIMES program: \url{https://math.mit.edu/research/highschool/primes/materials/2016/conf/10-1%20Sheth-Welling-Sheth.pdf}", |
| } |
| |
| @unpublished{PaulEMcKennneyRCUexp4096LCA, |
| Author="Paul E. McKenney", |
| Title="What Happens When 4096 Cores All Do {\tt synchronize\_rcu\_expedited()}?", |
| month="February", |
| day="3", |
| year="2016", |
| note="linux.conf.au \url{http://www2.rdrop.com/users/paulmck/RCU/4096CPU.2016.02.03i.pdf}", |
| } |
| |
| @unpublished{PaulEMcKennneyToolKitP0232R0, |
| Author="Paul E. McKenney and Michael Wong and Maged Michael", |
| Title="P0232R0: A Concurrency ToolKit for Structured Deferral or Optimistic |
| Speculation", |
| month="February", |
| day="12", |
| year="2016", |
| note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0232r0.pdf}", |
| } |
| |
| @unpublished{PaulEMcKennneyConsumeP0190R0, |
| Author="Paul E. McKenney and Michael Wong and Hans Boehm and Jens Maurer", |
| Title="{P0190R0}: Proposal for New {\tt memory\_order\_consume} Definition", |
| month="February", |
| day="13", |
| year="2016", |
| note="\url{http://open-std.org/JTC1/SC22/WG21/docs/papers/2016/p0190r0.pdf}", |
| } |
| |
| @unpublished{PaulEMcKennneyRCUP0297R0, |
| Author="Paul E. McKenney", |
| Title="Read-Copy Update ({RCU}) for {C++}", |
| month="February", |
| day="14", |
| year="2016", |
| note="\url{http://open-std.org/JTC1/SC22/WG21/docs/papers/2016/p0279r0.html}", |
| } |
| |
| @unpublished{JonCorbet2016LWNRCU, |
| Author="Paul E. McKenney", |
| Title="Read-Copy Update", |
| month="April", |
| day="3", |
| year="2016", |
| note="\url{https://lwn.net/Kernel/Index/#Read-copy-update}", |
| } |
| |
| @unpublished{PaulEMcKenney2016IssaquahACMApp, |
| Author="Paul E. McKenney", |
| Title="High-Performance and Scalable Updates: The {Issaquah} Challenge", |
| month="June", |
| day="1", |
| year="2016", |
| note="\url{http://www2.rdrop.com/users/paulmck/RCU/Updates.2016.06.01e.ACM.pdf}", |
| } |
| |
| @unpublished{MindaugasRasiukevicius2016libqsbr, |
| Author="Mindaugas Rasiukevicius", |
| Title="Quiescent-State and Epoch based reclamation", |
| month="July", |
| day="11", |
| year="2016", |
| note="\url{https://github.com/rmind/libqsbr}", |
| } |
| |
| @unpublished{PercpuRwSemaphoreCgroup, |
| Author="Peter Zijlstra", |
| Title="[{PATCH}] cgroup: avoid synchronize\_sched in \_\_cgroup\_procswrite", |
| month="August", |
| year="2016", |
| day=11, |
| note="\url{https://lore.kernel.org/lkml/20160811165413.GA22807@redhat.com/}", |
| } |
| |
| @unpublished{PaulEMcKennneyRCUP0297R1, |
| Author="Paul E. McKenney", |
| Title="Read-Copy Update ({RCU}) for {C++}", |
| month="August", |
| day="25", |
| year="2016", |
| note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0279r1.pdf}", |
| } |
| |
| @unpublished{PaulEMcKenney2016IssaquahCPPCON, |
| Author="Paul E. McKenney", |
| Title="Beyond the {Issaquah} Challenge: |
| High-Performance Scalable Complex Updates", |
| month="September", |
| day="19", |
| year="2016", |
| note="\url{http://www2.rdrop.com/users/paulmck/RCU/Updates.2016.09.19i.CPPCON.pdf}", |
| } |
| |
| @unpublished{MichaelWong2016CPPCONConcurrencyToolkit, |
| Author="Michael Wong and Maged Michael and Paul E. McKenney", |
| Title="A lock-free concurrency toolkit for deferred reclamation and |
| optimistic speculation", |
| month="September", |
| day="23", |
| year="2016", |
| note="\url{https://www.youtube.com/watch?v=uhgrD_B1RhQ}", |
| } |
| |
| @article{Mandrykin:2016:TDV:3001219.3001297, |
| author = {Mandrykin, M. U. and Khoroshilov, A. V.}, |
| title = {Towards Deductive Verification of C Programs with Shared Data}, |
| journal = {Program. Comput. Softw.}, |
| issue_date = {September 2016}, |
| volume = {42}, |
| number = {5}, |
| month = sep, |
| year = {2016}, |
| issn = {0361-7688}, |
| pages = {324--332}, |
| numpages = {9}, |
| url = {http://dx.doi.org/10.1134/S0361768816050054}, |
| doi = {10.1134/S0361768816050054}, |
| acmid = {3001297}, |
| publisher = {Plenum Press}, |
| address = {New York, NY, USA}, |
| } |
| |
| @techreport{LihaoLiang2016VerifyTreeRCU, |
| Author="Lihao Liang and Paul E. McKenney and Daniel Kroening and Tom Melham", |
| Title="Verification of the Tree-Based Hierarchical Read-Copy Update in the {Linux} Kernel", |
| month="October", |
| day="10", |
| year="2016", |
| institution="Cornell University Library", |
| note="\url{https://arxiv.org/abs/1610.03052}", |
| } |
| |
| @article{Chen:2016:FCU:3024114.3024143, |
| author = {Chen, Haibo and Zhang, Heng and Liu, Ran and Zang, Binyu and Guan, Haibing}, |
| title = {Fast Consensus Using Bounded Staleness for Scalable Read-Mostly Synchronization}, |
| journal = {IEEE Trans. Parallel Distrib. Syst.}, |
| issue_date = {December 2016}, |
| volume = {27}, |
| number = {12}, |
| month = dec, |
| year = {2016}, |
| issn = {1045-9219}, |
| pages = {3485--3500}, |
| numpages = {16}, |
| url = {https://doi.org/10.1109/TPDS.2016.2539953}, |
| doi = {10.1109/TPDS.2016.2539953}, |
| acmid = {3024143}, |
| publisher = {IEEE Press}, |
| address = {Piscataway, NJ, USA}, |
| } |
| |
| @inproceedings{Balmau:2016:FRM:2935764.2935790, |
| author = {Balmau, Oana and Guerraoui, Rachid and Herlihy, Maurice and Zablotchi, Igor}, |
| title = {Fast and Robust Memory Reclamation for Concurrent Data Structures}, |
| booktitle = {Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures}, |
| series = {SPAA '16}, |
| year = {2016}, |
| isbn = {978-1-4503-4210-0}, |
| location = {Pacific Grove, California, USA}, |
| pages = {349--359}, |
| numpages = {11}, |
| url = {http://doi.acm.org/10.1145/2935764.2935790}, |
| doi = {10.1145/2935764.2935790}, |
| acmid = {2935790}, |
| publisher = {ACM}, |
| address = {New York, NY, USA}, |
| keywords = {concurrent algorithms, memory reclamation, performance, robustness}, |
| } |
| |
| @article{Belay:2016:IOS:3014162.2997641, |
| author = {Belay, Adam and Prekas, George and Primorac, Mia and Klimovic, Ana and Grossman, Samuel and Kozyrakis, Christos and Bugnion, Edouard}, |
| title = {The {IX} Operating System: Combining Low Latency, High Throughput, and Efficiency in a Protected Dataplane}, |
| journal = {ACM Trans. Comput. Syst.}, |
| issue_date = {January 2017}, |
| volume = {34}, |
| number = {4}, |
| month = dec, |
| year = {2016}, |
| issn = {0734-2071}, |
| pages = {11:1--11:39}, |
| articleno = {11}, |
| numpages = {39}, |
| url = {http://doi.acm.org/10.1145/2997641}, |
| doi = {10.1145/2997641}, |
| acmid = {2997641}, |
| publisher = {ACM}, |
| address = {New York, NY, USA}, |
| keywords = {Virtualization, dataplane operating systems, energy-proportionality, latency-critical applications, microsecond-scale computing, workload consolidation}, |
| } |
| |
| @inproceedings{10.1145/2872362.2872405, |
| author = {Prasad, Aravinda and Gopinath, K.}, |
| title = {Prudent Memory Reclamation in Procrastination-Based Synchronization}, |
| year = {2016}, |
| isbn = {9781450340915}, |
| publisher = {Association for Computing Machinery}, |
| address = {New York, NY, USA}, |
| url = {https://doi.org/10.1145/2872362.2872405}, |
| doi = {10.1145/2872362.2872405}, |
| booktitle = {Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems}, |
| pages = {99–112}, |
| numpages = {14}, |
| keywords = {memory reclamation, read-copy-update (RCU), dynamic memory allocator}, |
| location = {Atlanta, Georgia, USA}, |
| series = {ASPLOS '16} |
| } |
| |
| |
| @article{10.1145/2954679.2872405, |
| author = {Prasad, Aravinda and Gopinath, K.}, |
| title = {Prudent Memory Reclamation in Procrastination-Based Synchronization}, |
| year = {2016}, |
| issue_date = {June 2016}, |
| publisher = {Association for Computing Machinery}, |
| address = {New York, NY, USA}, |
| volume = {51}, |
| number = {4}, |
| issn = {0362-1340}, |
| url = {https://doi.org/10.1145/2954679.2872405}, |
| doi = {10.1145/2954679.2872405}, |
| journal = {SIGPLAN Not.}, |
| month = mar, |
| pages = {99–112}, |
| numpages = {14}, |
| keywords = {dynamic memory allocator, read-copy-update (RCU), memory reclamation} |
| } |
| |
| |
| @article{10.1145/2980024.2872405, |
| author = {Prasad, Aravinda and Gopinath, K.}, |
| title = {Prudent Memory Reclamation in Procrastination-Based Synchronization}, |
| year = {2016}, |
| issue_date = {July 2016}, |
| publisher = {Association for Computing Machinery}, |
| address = {New York, NY, USA}, |
| volume = {44}, |
| number = {2}, |
| issn = {0163-5964}, |
| url = {https://doi.org/10.1145/2980024.2872405}, |
| doi = {10.1145/2980024.2872405}, |
| journal = {SIGARCH Comput. Archit. News}, |
| month = mar, |
| pages = {99–112}, |
| numpages = {14}, |
| keywords = {dynamic memory allocator, memory reclamation, read-copy-update (RCU)}, |
| } |
| |
| @unpublished{LanceRoy2017CBMC-SRCU, |
| Author="Lance Roy", |
| Title="rcutorture: Add {CBMC}-based formal verification for {SRCU}", |
| year="2017", |
| month="January", |
| day="14", |
| note="URL: |
| \url{https://www.spinics.net/lists/kernel/msg2421833.html}", |
| lastchecked="June 3, 2017", |
| } |
| |
| @techreport{MichalisKokologiannakis2017NidhuggRCU, |
| Author="Michalis Kokologiannakis and Konstantinos Sagonas", |
| Title="Stateless Model Checking of the Linux Kernel's Hierarchical Read-Copy Update ({Tree RCU})", |
| month="January", |
| day="31", |
| year="2017", |
| institution="National Technical University of Athens", |
| note="\url{https://github.com/michalis-/rcu/blob/master/rcupaper.pdf}", |
| } |
| |
| @unpublished{GeoffRomer2017C++DeferredReclamation, |
| Author="Geoff Romer and Andrew Hunter", |
| Title="An {RAII} Interface for Deferred Reclamation", |
| month="February", |
| day="3", |
| year="2017", |
| note="Available: |
| \url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0561r0.html} |
| [Viewed May 29, 2017]", |
| } |
| |
| @unpublished{PaulEMcKenney2017markconsumeP0461R1, |
| Author="Paul E. McKenney and Maged Michael and Michale Wong and |
| Isabella Muerte and Arthur O'Dwyer and David Hollman", |
| Title="Proposed {RCU} {C++} {API}", |
| month="February", |
| day="7", |
| year="2017", |
| note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0461r1.pdf}", |
| lastchecked="July 11, 2017", |
| } |
| |
| @unpublished{PaulEMcKenney2017markconsumeP0462R1, |
| Author="Paul E. McKenney and Torvald Riegel and Jeff Preshing and Hans Boehm |
| and Clark Nelson and Olivier Giroux and Lawrence Crowl and JF Bastian and |
| Michael Wong", |
| Title="Marking memory order consume Dependency Chains", |
| month="February", |
| day="7", |
| year="2017", |
| note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0462r1.pdf}", |
| lastchecked="July 11, 2017", |
| } |
| |
| @unpublished{PaoloBonzini2017SRCUirq, |
| Author="Paolo Bonzini", |
| Title="{[PATCH 0/2]} srcu: allow using same {SRCU} in process and interrupt context", |
| month="May", |
| day="31", |
| year="2017", |
| note="\url{http://lkml.kernel.org/r/1496232191-13439-1-git-send-email-pbonzini@redhat.com}", |
| lastchecked="April 25, 2018", |
| } |
| |
| @unpublished{PaulEMcKenney2017VerificationChallenge6, |
| Author="Paul E. McKenney", |
| Title="Verification Challenge 6: {Linux}-Kernel {Tree} {RCU}", |
| month="June", |
| day="7", |
| year="2017", |
| note="\url{https://paulmck.livejournal.com/46993.html}", |
| lastchecked="October 17, 2017", |
| } |
| |
| @inproceedings{AravindaPrasad2017RCUvCPU, |
| author = {Aravinda Prasad and K Gopinath and Paul E. McKenney}, |
| title = {The {RCU}-Reader Preemption Problem in {VMs}}, |
| booktitle = {2017 {USENIX} Annual Technical Conference ({USENIX} {ATC} 17)}, |
| year = {2017}, |
| isbn = {978-1-931971-38-6}, |
| address = {Santa Clara, CA}, |
| pages = {265--270}, |
| url = {https://www.usenix.org/conference/atc17/technical-sessions/presentation/prasad}, |
| publisher = {{USENIX} Association}, |
| } |
| |
| @InProceedings{SMC-TreeRCU, |
| Author = "Michalis Kokologiannakis and Konstantinos Sagonas", |
| Title = "Stateless Model Checking of the {Linux} Kernel's Hierarchical Read-Copy-Update ({Tree RCU})", |
| Booktitle = {Proceedings of International SPIN Symposium on Model Checking of Software}, |
| Series = {SPIN 2017}, |
| Month = jul, |
| Year = 2017, |
| Publisher = {ACM}, |
| Address = {New York, NY, USA}, |
| url = {https://doi.org/10.1145/3092282.3092287}, |
| doi = {doi.org/10.1145/3092282.3092287}, |
| } |
| |
| @unpublished{PaulEMcKennneyConsumeP0190R4, |
| Author="Paul E. McKenney and Michael Wong and Hans Boehm and Jens Maurer and Jeffrey Yasskin and JF Bastien", |
| Title="{P0190R4}: Proposal for New {\tt memory\_order\_consume} Definition", |
| month="July", |
| day="28", |
| year="2017", |
| note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0190r4.pdf}", |
| } |
| |
| @unpublished{MattKlein2017EnvoyRCU, |
| Author="Matt Klein", |
| Title="Envoy threading model", |
| month="July", |
| day="29", |
| year="2017", |
| note="\url{https://blog.envoyproxy.io/envoy-threading-model-a8d44b922310}", |
| } |
| |
| @unpublished{FedorPikus2017RCUthenWhat, |
| Author="Fedor G. Pikus", |
| Title="Read, Copy, Update... {Then} what?", |
| month="September", |
| day="27", |
| year="2017", |
| note="\url{https://www.youtube.com/watch?v=rxQ5K9lo034}", |
| } |
| |
| @unpublished{GeoffRomer2017C++DeferredReclamationP0561R1, |
| Author="Geoff Romer and Andrew Hunter", |
| Title="An {RAII} Interface for Deferred Reclamation", |
| month="October", |
| day="10", |
| year="2017", |
| note="Available: |
| \url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0561r2.html} |
| [Viewed November 13, 2017]", |
| } |
| |
| @unpublished{PaulEMcKenney2017markconsumeP0461R2, |
| Author="Paul E. McKenney and Maged Michael and Michale Wong and |
| Isabella Muerte and Arthur O'Dwyer and David Hollman and |
| Andrew Hunter and Geoffrey Romer and Lance Roy", |
| Title="Proposed {RCU} {C++} {API}", |
| month="October", |
| day="15", |
| year="2017", |
| note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0461r2.pdf}", |
| lastchecked="November 13, 2017", |
| } |
| |
| @unpublished{MarkRutland2017ACCESS:ONCE:remove, |
| Author="Mark Rutland", |
| Title="{compiler.h: Remove ACCESS\_ONCE()}", |
| month="November", |
| day="27", |
| year="2017", |
| note="Git commit: |
| \url{https://git.kernel.org/linus/b899a850431e}", |
| lastchecked="December 17, 2017", |
| } |
| |
| @unpublished{PaulEMcKenney2018RCUstallwarning, |
| Author="Paul E. McKenney", |
| Title="Decoding Those Inscrutible {RCU} {CPU} Stall Warnings", |
| month="January", |
| day="22", |
| year="2018", |
| note="linux.conf.au Kernel Miniconf. Slides: \url{http://www.rdrop.com/~paulmck/RCU/stallwarning.2018.01.22a.pdf} Video: \url{https://www.youtube.com/watch?v=23_GOr8Sz-E}", |
| } |
| |
| @unpublished{MichaelWong2018HazptrRCUwording, |
| Author="Michael Wong and Maged M. Michael and Paul McKenney and Geoffrey Romer and Andrew Hunter and Arthur O'Dwyer and David S. Hollman and JF Bastien and Hans Boehm and David Goldblatt", |
| Title="P0566R4: Proposed Wording for Concurrent Data Structures: Hazard Pointer and Read-Copy-Update ({RCU})", |
| month="February", |
| day="11", |
| year="2018", |
| note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0566r4.pdf}", |
| lastchecked="February 27, 2018", |
| } |
| |
| @unpublished{JFBastien2018P0750R1consume, |
| Author="JF Bastien and Paul E. McKenney", |
| Title="P0750R1: Consume", |
| month="February", |
| day="11", |
| year="2018", |
| note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0750r1.html}", |
| lastchecked="March 14, 2019", |
| } |
| |
| @unpublished{PaulEMcKenney2018cppRCUlitmus, |
| Author="Paul E. McKenney and Alan Stern and Andrew Hunter and Jade Alglave and Luc Maranget", |
| Title="P0868R1: Selected {RCU} Litmus Tests", |
| month="February", |
| day="12", |
| year="2018", |
| note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0868r1.pdf}", |
| lastchecked="February 27, 2018", |
| } |
| |
| @unpublished{GeoffRomer2018C++DeferredReclamationP0561R4, |
| Author="Geoff Romer and Andrew Hunter", |
| Title="An {RAII} Interface for Deferred Reclamation", |
| month="March", |
| day="3", |
| year="2018", |
| note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0561r4.html}", |
| } |
| |
| @Conference{YuxinRen2018RTRCU, |
| author={Yuxin Ren and Guyue Liu and Gabriel Parmer and Bj\"orn Brandenburg}, |
| title="Scalable Memory Reclamation for Multi-Core, Real-Time Systems", |
| booktitle="Proceedings of the 2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)", |
| year="2018", |
| month="April", |
| pages="12", |
| url = {https://www2.seas.gwu.edu/~gparmer/publications/rtas18smr.pdf}, |
| doi = {10.1109/RTAS.2018.00025}, |
| Publisher="IEEE", |
| location="Porto, Portugal", |
| address = {Los Alamitos, CA, USA}, |
| isbn = {978-1-5386-5295-4}, |
| } |
| |
| @inproceedings{10.1145/3190508.3190522, |
| author = {Prasad, Aravinda and Gopinath, K}, |
| title = {A Frugal Approach to Reduce RCU Grace Period Overhead}, |
| year = {2018}, |
| isbn = {9781450355841}, |
| publisher = {Association for Computing Machinery}, |
| address = {New York, NY, USA}, |
| url = {https://doi.org/10.1145/3190508.3190522}, |
| doi = {10.1145/3190508.3190522}, |
| booktitle = {Proceedings of the Thirteenth EuroSys Conference}, |
| articleno = {Article 41}, |
| numpages = {15}, |
| keywords = {grace periods, jitter, power management, read-copy-update (RCU), dynamic memory allocator}, |
| location = {Porto, Portugal}, |
| series = {EuroSys '18}, |
| } |
| |
| @unpublished{RomanPenyaev2018rrRCU, |
| Author="Roman Penyaev", |
| Title="{[PATCH v2 01/26]} introduce list\_next\_or\_null\_rr\_rcu()", |
| month="May", |
| day="18", |
| year="2018", |
| note="\url{http://lkml.kernel.org/r/20180518130413.16997-2-roman.penyaev@profitbricks.com}", |
| lastchecked="April 25, 2018", |
| } |
| |
| @unpublished{PaulEMcKennney2018C++RCU, |
| Author="Paul E. McKenney", |
| Title="{P1122R1}: Proposed Wording for Concurrent Data Structures: |
| Read-Copy-Update {(RCU)}", |
| month="October", |
| day="6", |
| year="2018", |
| note="\url{http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p1122r1.pdf}", |
| } |
| |
| @unpublished{PaulEMcKenney2019RCUAPI, |
| Author="Paul E. McKenney", |
| Title="The {RCU} {API}, 2019 Edition", |
| month="January", |
| day="23", |
| year="2019", |
| note="\url{https://lwn.net/Articles/777036/}", |
| } |
| |
| @unpublished{PaulEMcKenney2019RCUCVE, |
| Author="Paul E. McKenney", |
| Title="{RCU's} First-Ever {CVE}, and How I Lived to Tell the Tale", |
| month="January", |
| day="23", |
| year="2019", |
| note="linux.conf.au Slides: \url{http://www.rdrop.com/users/paulmck/RCU/cve.2019.01.23e.pdf} Video: \url{https://www.youtube.com/watch?v=hZX1aokdNiY}", |
| } |
| |
| @unpublished{kerneltestrobot2019RCUCVE7e28c5af4e, |
| Author="kernel test robot", |
| Title="{[LKP]} [rcu] 7e28c5af4e: will-it-scale.per\_process\_ops 84.7\% improvement", |
| month="February", |
| day="28", |
| year="2019", |
| note="\url{https://lkml.org/lkml/2019/2/27/829}", |
| } |
| |
| @inproceedings{Jung:2019:PMT:3323298.3323306, |
| author = {Jung, Seokyong and Kim, Jongbin and Ryu, Minsoo and Kang, Sooyong and Jung, Hyungsoo}, |
| title = {Pay Migration Tax to Homeland: Anchor-based Scalable Reference Counting for Multicores}, |
| booktitle = {Proceedings of the 17th USENIX Conference on File and Storage Technologies}, |
| series = {FAST'19}, |
| year = {2019}, |
| isbn = {978-1-931971-48-5}, |
| location = {Boston, MA, USA}, |
| pages = {79--91}, |
| numpages = {13}, |
| url = {http://dl.acm.org/citation.cfm?id=3323298.3323306}, |
| acmid = {3323306}, |
| publisher = {USENIX Association}, |
| address = {Berkeley, CA, USA}, |
| } |
| |
| @unpublished{LinusTorvalds2019:RCUreader.barrier, |
| Author="Linus Torvalds", |
| Title="rcu: locking and unlocking need to always be at least barriers", |
| month="June", |
| day="3", |
| year="2019", |
| note="Git commit: |
| \url{https://git.kernel.org/linus/66be4e66a7f4}", |
| lastchecked="August 7, 2019", |
| } |
| |
| @inproceedings{McKenney:2019:CRS:3319647.3325836, |
| author = {McKenney, Paul E.}, |
| title = "A Critical {RCU} Safety Property is... {Ease} of Use!", |
| booktitle = {Proceedings of the 12th ACM International Conference on Systems and Storage}, |
| series = {SYSTOR '19}, |
| year = {2019}, |
| isbn = {978-1-4503-6749-3}, |
| location = {Haifa, Israel}, |
| pages = {132--143}, |
| numpages = {12}, |
| url = {http://doi.acm.org/10.1145/3319647.3325836}, |
| doi = {10.1145/3319647.3325836}, |
| acmid = {3325836}, |
| publisher = {ACM}, |
| address = {New York, NY, USA}, |
| keywords = {concurrency control, exploitable bugs, operating systems, read-copy update, security}, |
| } |
| |
| @article{10.1145/3421473.3421481, |
| author = {McKenney, Paul E. and Fernandes, Joel and Boyd-Wickizer, Silas and Walpole, Jonathan}, |
| title = {RCU Usage In the Linux Kernel: Eighteen Years Later}, |
| year = {2020}, |
| issue_date = {July 2020}, |
| publisher = {Association for Computing Machinery}, |
| address = {New York, NY, USA}, |
| volume = {54}, |
| number = {1}, |
| issn = {0163-5980}, |
| url = {https://doi.org/10.1145/3421473.3421481}, |
| doi = {10.1145/3421473.3421481}, |
| abstract = {Read-copy update (RCU) is a scalable high-performance synchronization mechanism implemented in the Linux kernel. RCU's novel properties include support for concurrent forward progress for readers and writers as well as highly optimized inter-CPU synchronization. RCU was introduced into the Linux kernel eighteen years ago and most subsystems now use RCU. This paper discusses the requirements that drove the development of RCU, the design and API of the Linux RCU implementation, and how kernel developers apply RCU.}, |
| journal = {SIGOPS Oper. Syst. Rev.}, |
| month = aug, |
| pages = {47–63}, |
| numpages = {17}, |
| } |