Ravi Rajwar, James R. Goodman: Speculative lock elision: enabling highly concurrent multithreaded execution. MICRO 2001: 294-305. ACM DL link |
Speculative Lock Elision
Try to eliminate locks because they cause delays and serialize parallel codes. Instead detect and recover from critical section share violations.
Claims
+ enables highly concurrent multithreaded execution
+ simplifies coding (conservatively/randomly put locks, dude method will remove them anyway)
+ Can be implemented easily (store squashing with hardware, Coherence protocol : detection)
Attacks :
Conservative locking
locking granularity
Old thread unsafe libraries.