Making lock-elision bug search more general (the transaction need not see the initial value of lock -- it may now see any value of the lock variable except one set by a lock() method).
Making lock-elision bug search more general (the transaction need
not see the initial value of lock -- it may now see any value of
the lock variable except one set by a lock() method).

johnwickerson/memalloy,johnwickerson/memalloy,johnwickerson/memalloy