[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Qemu-devel] Get only TCG code without execution
From: |
陳韋任 |
Subject: |
Re: [Qemu-devel] Get only TCG code without execution |
Date: |
Tue, 17 Jan 2012 09:04:34 +0800 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
> > 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
- [Qemu-devel] Get only TCG code without execution, Rajat Goyal, 2012/01/15
- Re: [Qemu-devel] Get only TCG code without execution, Mulyadi Santosa, 2012/01/16
- Re: [Qemu-devel] Get only TCG code without execution, Stefan Hajnoczi, 2012/01/16
- Re: [Qemu-devel] Get only TCG code without execution, Rajat Goyal, 2012/01/16
- Re: [Qemu-devel] Get only TCG code without execution, Peter Maydell, 2012/01/16
- Re: [Qemu-devel] Get only TCG code without execution,
陳韋任 <=
- Re: [Qemu-devel] Get only TCG code without execution, Peter Maydell, 2012/01/17
- Re: [Qemu-devel] Get only TCG code without execution, Rajat Goyal, 2012/01/19
- Re: [Qemu-devel] Get only TCG code without execution, Peter Maydell, 2012/01/19
- Re: [Qemu-devel] Get only TCG code without execution, 陳韋任, 2012/01/20
- Re: [Qemu-devel] Get only TCG code without execution, Jamie Lokier, 2012/01/20
- Re: [Qemu-devel] Get only TCG code without execution, 陳韋任, 2012/01/20
- Re: [Qemu-devel] Get only TCG code without execution, Peter Maydell, 2012/01/20
- Re: [Qemu-devel] Get only TCG code without execution, 陳韋任, 2012/01/20
- Re: [Qemu-devel] Get only TCG code without execution, Peter Maydell, 2012/01/20
- Re: [Qemu-devel] Get only TCG code without execution, Jamie Lokier, 2012/01/20