Posted Dec 17, 2009 7:05 UTC (Thu) by alonz
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?
to post comments)