changes to locks in txbuffermanager