Implementing and exploiting inevitability in software transactional memoryMichael F. SpearMichael Silvermanet al.2008ICPP 2008