LWN.net Logo

RCU mistakes

RCU mistakes

Posted Dec 17, 2009 7:05 UTC (Thu) by alonz (subscriber, #815)
Parent article: RCU mistakes

I wonder—would it be a good idea to annotate RCU-protected data structures, so that (e.g.) sparse would be able to verify their correct usage?

Alternatively, are frameworks like Coccinelle powerful enough to detect such mismatches?


(Log in to post comments)

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