| |||||||||||||
RCU mistakesRCU mistakesPosted 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)
|
|||||||||||||