NeillC

5 ms·

1. 1.▲
   by NeillC 3y ago

   Critical sections are unfair also. Could be differences in spin count you are seeing.
2. 2.▲
   by NeillC 3y ago

   It's typical not to allow a second share acquire to proceed if we have an exclusive waiter: t1: share t2: exclusive so waits t3: share also waits Thats how we arrive at the rule that shared acquires in anything, but a trivial system (n
3. 3.▲
   by NeillC 3y ago

   The lock in unfair. We are unfair because you get better performance by not allowing the lock hold time to be extended by context swap. As a result, we always unconditionally release a lock when an exclusive acquire is release or the last s
4. 4.▲
   by NeillC 3y ago

   Maybe my memory is faulty but I believe it was analyzed by Leslie Lamports stuff. Ofcourse your building a model of how it should work and you might have faults in that.
5. 5.▲
   by NeillC 3y ago

   We use bit test and set as it causes us to get the cache line exclusive. This avoids using the prefetch write before fetching if we were to use CompareExchange. somebody was trying to talk to me about this stuff this morning but I didn&#x2