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)