> > What is the way out of this? The reason I need TCG code is because my > > project work is to write a semantics for TCG micro-operations and then > > compare my semantics with a semantics for ARM instructions being written by > > someone else. To test my semantics, I need the corresponding TCG code for > > several different multi-threaded ARM binaries. > > Why does this have to be a multi-threaded binary? In the multithreaded > case, the instructions executed by QEMU won't be deterministic (it will > depend on how the host OS schedules the multiple threads) so it's going > to be hard to compare a long trace output to something else.
I guess Rajat's goal is to compare the "semantics" of TCG ops and ARM binary, therefore the non-deterministic might not be the issue. Or he want to use "semantics" to solve the non-deterministic problem. Regards, chenwj -- Wei-Ren Chen (陳韋任) Computer Systems Lab, Institute of Information Science, Academia Sinica, Taiwan (R.O.C.) Tel:886-2-2788-3799 #1667 Homepage: http://people.cs.nctu.edu.tw/~chenwj
