TxMaker: implement Optimistic Concurrency Control