Implement: TransactionManager + Locks