Garrett's just this guy...
My friend Louis wrote a paper on advanced kernel synchronization for SMP and Real-Time.
He's pretty smart, so you should go read what he has to say.
I mean you've gotta like a guy who once told me: "It's not brain surgery, it's just kernel code."