Hi, I am working on a store buffer to couple with Ruby in order to simulate TSO. As far as I know, the TSOTool described in "*TSOtool**: A Program for Verifying Memory Systems Using the Memory Consistency Model" *has not been open sourced. There is a different tso checker which comes as part of OpenSparc architecture kit, but from looking at it, it is very tightly integrated into their memory model. However, I was told by Nathan Binkert that Rick Strong has been working on a consistency checker. I am very interested in that as I think it would be very important to actually verify TSO consistency. In fact, I think the tso checker is the bigger chunk of work involved in integrating a store buffer into the simulator.
I have a couple of questions to Rick and anyone else who might be working on this consistency checker. Does it actually handle TSO checking and when it would be available. I ask because I want to gauge the need to port OpenSparc TsoChecker. Thank you. Polina
_______________________________________________ m5-dev mailing list [email protected] http://m5sim.org/mailman/listinfo/m5-dev
