Just so we're clear, I'm pretty sure that Rick's tool is a Coherence checker. That said, my understanding of the tool is that it should be the perfect framework to check memory consistency as well because it tracks all memory operations from the perspective of the CPU cores (and devices via the I/O cache too?)
Nate > 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. _______________________________________________ m5-dev mailing list [email protected] http://m5sim.org/mailman/listinfo/m5-dev
