On Wed, Sep 23, 2015 at 11:06:09PM -0400, Tejun Heo wrote:
I think this is where we're not agreeing. My point is that better
understanding and lower likelihood of bug doesn't equate specializing
each usage site. That's a lot more likely to lead to unnecessary
cognition overhead and naturally errors. There's no reason to require
such error-prone and specific understanding of each usage site when we
can have agreed-upon abstractions which yield invariants which are a
lot easier for people to wrap their heads around.
Well we'll have to agree to disagree on that one. I have seen too
many instances over the years where people post patches that use
primitives such as RCU and think that they must be safe because
it compiles with no warnings (and probably even runs).
Cheers,
--
Email: Herbert Xu [off-list ref]
Home Page: http://gondor.apana.org.au/~herbert/
PGP Key: http://gondor.apana.org.au/~herbert/pubkey.txt