merged mucc2 changes: hashed mutexes, stack-based LockingRequests, transactions in OperationContexts