On (25/02/13 01:31), Yosry Ahmed wrote: > > > Hmm I know I may have been the one suggesting this, but do we actually > > > > > > need it? We disable preemption explicitly anyway before holding the > > > > > > lock. > > > > > > > This is just to make sure that the precondition for > > > > "writer is always atomic" is satisfied. But I can drop it. > > Right, but why do we care? Oh, not that we care, just wanted extra smoke-detectors. It's gone now.
