TxEngine: improve concurrency