Add some comments to clarify some important subtleties for the synchronization of TxManager.