177178179180181182183184185186187
try { pm.currentTransaction().begin(); logger.log(BasicLevel.DEBUG, _i + "," + j + " begin tx"); switch(actions[j]) { case W_ACTION: a.incF2(); break; case R_W_ACTION: a.writeF2(a.readF2() + 1); break; case MIXED_ACTION:
184185186187188189190191192193194
case R_W_ACTION: a.writeF2(a.readF2() + 1); break; case MIXED_ACTION: if (action == W_ACTION) { a.incF2(); action = R_W_ACTION; } else if (action == R_W_ACTION) { a.writeF2(a.readF2() + 1); action = W_ACTION; }