5

McKenney: What Does It Mean To Be An RCU Implementation?

 1 year ago
source link: https://lwn.net/Articles/921351/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.

What Does It Mean To Be An RCU Implementation? [LWN.net]

User: Password: | |

McKenney: What Does It Mean To Be An RCU Implementation?

[Posted January 26, 2023 by corbet]
Paul McKenney looks at a couple of Rust crates in an attempt to determine whether they actually implement the read-copy-update algorithm; in the process, he gives an overview of the numerous RCU variants in the kernel.

Except that the first RCU crate, rcu_clean, throws a monkey wrench into the works. It does not have any grace-period primitives, but instead a clean() function that takes a reference to a RCU-protected data item. The user invokes this at some point in the code where it is known that there are no readers, either within this thread or anywhere else. In true Rust fashion, in some cases, the compiler is able to prove the presence or absence of readers and issue a diagnostic when needed.


(Log in to post comments)

Copyright © 2023, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds


About Joyk


Aggregate valuable and interesting links.
Joyk means Joy of geeK