Lease/release: architectural support for scaling contended data structures