Near Matches
Ignore Exact
Everything
2
Lock-freedom and Obstruction-freedom in Software Transactional Memory