[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: |
Fri, 20 Jan 2012 14:12:36 +0800 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
> I was not talking about semantics of individual instructions but semantics
> of the whole multi-threaded program. Multi-threaded programs can lead to
> several different (most of which are unintended) states of the CPU. What
> states are possible is described in a mathematically rigorous definition of
> the ARM memory model. My task is to implement this memory model over TCG
> ops and then compare the results on several different (multi-threaded)
> litmus tests with the implementation of the memory model over ARM
> instructions. For the same task, I need QEMU to give me the TCG translation
> for code which it never branches into and hence, never needs to translate
> and execute (because ARM multiprocessors can perform speculative execution).
Out of curiosity. What's ARM memory model? From the Wikipedia [1], it seems
ARMv7 has the same memory model as IA64.
Regards,
chenwj
[1] http://en.wikipedia.org/wiki/Memory_ordering
--
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
- Re: [Qemu-devel] Get only TCG code without execution, (continued)
- 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, 陳韋任, 2012/01/17
- 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,
陳韋任 <=
- 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