Applications running in modern multithreaded environments are sometimes overthreaded. The excess threads do not improve performance, and in fact may act to degrade performance via scalability collapse 1 , which can manifest even when there are fewer ready threads than available cores. Often, such software also has highly contended locks. We leveropportunistically Possible counter-argument or counter-example -example of applications that might suffer from unfair CR admission. Imagine a "ragged barrier" which does not satisfy rendezvous conditions until all participating threads have completed 10 loop steps. Each step acquires and releases a contended CR-based lock within the loop. The time to reach rendezvous may be longer with a CR-based locks than with strict FIFO locks.
Drafty DraftWe draw an analogy-metaphor between threads and members of the populace. We anthropomorphize threads.arrived thread * Require saturation and contention and waiting threads for a lock to be able to decide which threads will be admitted. Require surplus. * sideline; passivate; arrest; detain; sequester; deactivate; suspend; capture; * Lock lore; folk myth; received wisdom; practicum; praxis; * CR = MCSCRA8U; LIFOE3; FOXD family; FIFO = TKT; CLH; MCS; * LOITER = FOXD family MCSCR = MCSCRA8U LIFOCR = LIFOE3 * CR : mostly-LIFO admission order * STP = Spin-then-park waiting policy Candidates for the name of lock algorithm and the paper title. * Venturi Effect : restrict flow implies reduce pressure and faster flow velocity; * Performance diode -only improves; never degrades; * http://www.newyorker.com/magazine/2011/02/07/crush-point * MPL = Multiprogramming level; * Tragedy of the commons = rational maximizing behaviors by individuals results in unsustainable overexploitation of a resource. * Performance is subadditive * Slower-is-Faster phenomenon * Concurrency control overheads are ultimately proportional to contention instead of actual throughput. * MTTR = Median-time-to-reacquire * TTR is always >= waiting time, measured in acquisitions. * Myriad ways exist to measure short-and long-term fairness. * Under an ideally fair FIFO lock, admission order corresponds perfectly with arrival order. * Define unfairness as : how admission order deviates from FIFO or how admission order deviates from arrival order. * LWSS Window size W should be larger than maximum number of concurrent participating threads.CR acts to reduce the number of distinct threads circulating through the lock over short intervals and thus tends to reduce the LWSS, while still providing long-term fairness. The CR admission policy must also be work conserving and never under-provision the lock. It should never be the case that the critical section remains intentionally unoccupied if there are waiting or arriving threads that might enter -if such threads exist, then one will promptly be enabled to do so.If arriving or waiting threads might enter the critical section, then one will be promptly enabled to do so. * The admission policy for an optimal CR implementation attempts to...