public override void Run()
 {
     for (int i = 0; i < txs.Count; ++i)
     {
         this.txs[i].ExecuteIn(this.txExec);
         if (txExec.IsAborted())
         {
             ++this.abortCount;
         }
         else
         {
             Debug.Assert(txExec.TxStatus == TxStatus.Committed);
             ++this.commitCount;
         }
     }
     this.isFinished = true;
     this.output     = new Output
     {
         NCommit = this.commitCount, NAbort = this.abortCount
     };
 }