Debugging SLE

I am currently tested the SLE protocol in GEMS 1.2 with tester for 20k operations, 40 k operations, 80 operations, 100k operations and 500k operations. The tester is for normal transitions only, no transactional transition is tested yet.

I tried to specify XACT_MEMORY in GEMGS 1.2/ ruby/config/rubyconfig.default file but it doesn't work as it would complain that it couldn't find module.

I am still not have the shared-counter benchmark to produce correct result under GEMS 1.2 either could LogTM though.

Problem with transient state.
IS,Inv_X, I? and trigger abort?

transition(MI, Fwd_GETS_X) {
l_popForwardQueue;
}
transition(MI, Fwd_GETX_X) {
l_popForwardQueue;
}

transition(OI, Fwd_GETS_X) {
q_sendDataFromTBEToCache;
l_popForwardQueue;
}
transition(OI, Fwd_GETX_X) {
l_popForwardQueue;
}

transition(II, Inv_X) {
f_sendAck;
l_popForwardQueue;
}
Are these right?