Quoting Richard Braun (2015-07-17 10:59:22) > On Wed, Jul 15, 2015 at 03:24:30PM +0200, Justus Winter wrote: > > This fixes a corruption in the radix trees representing the IPC spaces > > when memory was tight. > > Would it be possible to use static analysis tools like coccinnelle to > make sure general locks are never acquired from simple lock based > critical sections ?
Yes, and I'd love to see that. It is possible with coccinelle, but only with manual intervention. Coccinelle allows one to match on the syntax tree with a query language that is essentially (aiui) CTL. But the matching stops at function boundaries, so in order to use coccinelle for the problem at hand, one needs to build the set of all functions that do aquire a general lock (and/or allocate memory). Justus
