fd429f2f6c
git-svn-id: svn://svn.savannah.nongnu.org/qemu/trunk@66 c046a42c-6fe2-441c-8c8c-71466251a162
383 lines
13 KiB
Plaintext
383 lines
13 KiB
Plaintext
\input texinfo @c -*- texinfo -*-
|
|
|
|
@settitle QEMU x86 Emulator Reference Documentation
|
|
@titlepage
|
|
@sp 7
|
|
@center @titlefont{QEMU x86 Emulator Reference Documentation}
|
|
@sp 3
|
|
@end titlepage
|
|
|
|
@chapter Introduction
|
|
|
|
QEMU is an x86 processor emulator. Its purpose is to run x86 Linux
|
|
processes on non-x86 Linux architectures such as PowerPC or ARM. By
|
|
using dynamic translation it achieves a reasonnable speed while being
|
|
easy to port on new host CPUs. Its main goal is to be able to launch the
|
|
@code{Wine} Windows API emulator (@url{http://www.winehq.org}) on
|
|
non-x86 CPUs.
|
|
|
|
QEMU features:
|
|
|
|
@itemize
|
|
|
|
@item User space only x86 emulator.
|
|
|
|
@item Currently ported on i386, PowerPC and S390.
|
|
|
|
@item Using dynamic translation to native code for reasonnable speed.
|
|
|
|
@item The virtual x86 CPU supports 16 bit and 32 bit addressing with segmentation.
|
|
User space LDT and GDT are emulated. VM86 mode is also supported
|
|
(experimental).
|
|
|
|
@item Generic Linux system call converter, including most ioctls.
|
|
|
|
@item clone() emulation using native CPU clone() to use Linux scheduler for threads.
|
|
|
|
@item Accurate signal handling by remapping host signals to virtual x86 signals.
|
|
|
|
@item The virtual x86 CPU is a library (@code{libqemu}) which can be used
|
|
in other projects.
|
|
|
|
@item An extensive Linux x86 CPU test program is included @file{tests/test-i386}.
|
|
It can be used to test other x86 virtual CPUs.
|
|
|
|
@end itemize
|
|
|
|
Current QEMU Limitations:
|
|
|
|
@itemize
|
|
|
|
@item Not all x86 exceptions are precise (yet). [Very few programs need that].
|
|
|
|
@item Not self virtualizable (yet). [You cannot launch qemu with qemu on the same CPU].
|
|
|
|
@item No support for self modifying code (yet). [Very few programs need that, a notable exception is QEMU itself !].
|
|
|
|
@item No SSE/MMX support (yet).
|
|
|
|
@item No x86-64 support.
|
|
|
|
@item Some Linux syscalls are missing.
|
|
|
|
@item The x86 segment limits and access rights are not tested at every
|
|
memory access (and will never be to have good performances).
|
|
|
|
@item On non x86 host CPUs, @code{double}s are used instead of the non standard
|
|
10 byte @code{long double}s of x86 for floating point emulation to get
|
|
maximum performances.
|
|
|
|
@end itemize
|
|
|
|
@chapter Invocation
|
|
|
|
@section Quick Start
|
|
|
|
In order to launch a Linux process, QEMU needs the process executable
|
|
itself and all the target (x86) dynamic libraries used by it.
|
|
|
|
@itemize
|
|
|
|
@item On x86, you can just try to launch any process by using the native
|
|
libraries:
|
|
|
|
@example
|
|
qemu -L / /bin/ls
|
|
@end example
|
|
|
|
@code{-L /} tells that the x86 dynamic linker must be searched with a
|
|
@file{/} prefix.
|
|
|
|
|
|
@item On non x86 CPUs, you need first to download at least an x86 glibc
|
|
(@file{qemu-i386-glibc21.tar.gz} on the QEMU web page). Ensure that
|
|
@code{LD_LIBRARY_PATH} is not set:
|
|
|
|
@example
|
|
unset LD_LIBRARY_PATH
|
|
@end example
|
|
|
|
Then you can launch the precompiled @file{ls} x86 executable:
|
|
|
|
@example
|
|
qemu /usr/local/qemu-i386/bin/ls-i386
|
|
@end example
|
|
You can look at @file{/usr/local/qemu-i386/bin/qemu-conf.sh} so that
|
|
QEMU is automatically launched by the Linux kernel when you try to
|
|
launch x86 executables. It requires the @code{binfmt_misc} module in the
|
|
Linux kernel.
|
|
|
|
@end itemize
|
|
|
|
@section Wine launch (Currently only tested when emulating x86 on x86)
|
|
|
|
@itemize
|
|
|
|
@item Ensure that you have a working QEMU with the x86 glibc
|
|
distribution (see previous section). In order to verify it, you must be
|
|
able to do:
|
|
|
|
@example
|
|
qemu /usr/local/qemu-i386/bin/ls-i386
|
|
@end example
|
|
|
|
@item Download the binary x86 Wine install
|
|
(@file{qemu-i386-wine.tar.gz} on the QEMU web page).
|
|
|
|
@item Configure Wine on your account. Look at the provided script
|
|
@file{/usr/local/qemu-i386/bin/wine-conf.sh}. Your previous
|
|
@code{$@{HOME@}/.wine} directory is saved to @code{$@{HOME@}/.wine.org}.
|
|
|
|
@item Then you can try the example @file{putty.exe}:
|
|
|
|
@example
|
|
qemu /usr/local/qemu-i386/wine/bin/wine /usr/local/qemu-i386/wine/c/Program\ Files/putty.exe
|
|
@end example
|
|
|
|
@end itemize
|
|
|
|
@section Command line options
|
|
|
|
@example
|
|
usage: qemu [-h] [-d] [-L path] [-s size] program [arguments...]
|
|
@end example
|
|
|
|
@table @samp
|
|
@item -h
|
|
Print the help
|
|
@item -d
|
|
Activate log (logfile=/tmp/qemu.log)
|
|
@item -L path
|
|
Set the x86 elf interpreter prefix (default=/usr/local/qemu-i386)
|
|
@item -s size
|
|
Set the x86 stack size in bytes (default=524288)
|
|
@end table
|
|
|
|
@chapter QEMU Internals
|
|
|
|
@section QEMU compared to other emulators
|
|
|
|
Unlike bochs [3], QEMU emulates only a user space x86 CPU. It means that
|
|
you cannot launch an operating system with it. The benefit is that it is
|
|
simpler and faster due to the fact that some of the low level CPU state
|
|
can be ignored (in particular, no virtual memory needs to be emulated).
|
|
|
|
Like Valgrind [2], QEMU does user space emulation and dynamic
|
|
translation. Valgrind is mainly a memory debugger while QEMU has no
|
|
support for it (QEMU could be used to detect out of bound memory accesses
|
|
as Valgrind, but it has no support to track uninitialised data as
|
|
Valgrind does). Valgrind dynamic translator generates better code than
|
|
QEMU (in particular it does register allocation) but it is closely tied
|
|
to an x86 host.
|
|
|
|
EM86 [4] is the closest project to QEMU (and QEMU still uses some of its
|
|
code, in particular the ELF file loader). EM86 was limited to an alpha
|
|
host and used a proprietary and slow interpreter (the interpreter part
|
|
of the FX!32 Digital Win32 code translator [5]).
|
|
|
|
TWIN [6] is a Windows API emulator like Wine. It is less accurate than
|
|
Wine but includes a protected mode x86 interpreter to launch x86 Windows
|
|
executables. Such an approach as greater potential because most of the
|
|
Windows API is executed natively but it is far more difficult to develop
|
|
because all the data structures and function parameters exchanged
|
|
between the API and the x86 code must be converted.
|
|
|
|
@section Portable dynamic translation
|
|
|
|
QEMU is a dynamic translator. When it first encounters a piece of code,
|
|
it converts it to the host instruction set. Usually dynamic translators
|
|
are very complicated and highly CPU dependant. QEMU uses some tricks
|
|
which make it relatively easily portable and simple while achieving good
|
|
performances.
|
|
|
|
The basic idea is to split every x86 instruction into fewer simpler
|
|
instructions. Each simple instruction is implemented by a piece of C
|
|
code (see @file{op-i386.c}). Then a compile time tool (@file{dyngen})
|
|
takes the corresponding object file (@file{op-i386.o}) to generate a
|
|
dynamic code generator which concatenates the simple instructions to
|
|
build a function (see @file{op-i386.h:dyngen_code()}).
|
|
|
|
In essence, the process is similar to [1], but more work is done at
|
|
compile time.
|
|
|
|
A key idea to get optimal performances is that constant parameters can
|
|
be passed to the simple operations. For that purpose, dummy ELF
|
|
relocations are generated with gcc for each constant parameter. Then,
|
|
the tool (@file{dyngen}) can locate the relocations and generate the
|
|
appriopriate C code to resolve them when building the dynamic code.
|
|
|
|
That way, QEMU is no more difficult to port than a dynamic linker.
|
|
|
|
To go even faster, GCC static register variables are used to keep the
|
|
state of the virtual CPU.
|
|
|
|
@section Register allocation
|
|
|
|
Since QEMU uses fixed simple instructions, no efficient register
|
|
allocation can be done. However, because RISC CPUs have a lot of
|
|
register, most of the virtual CPU state can be put in registers without
|
|
doing complicated register allocation.
|
|
|
|
@section Condition code optimisations
|
|
|
|
Good CPU condition codes emulation (@code{EFLAGS} register on x86) is a
|
|
critical point to get good performances. QEMU uses lazy condition code
|
|
evaluation: instead of computing the condition codes after each x86
|
|
instruction, it just stores one operand (called @code{CC_SRC}), the
|
|
result (called @code{CC_DST}) and the type of operation (called
|
|
@code{CC_OP}).
|
|
|
|
@code{CC_OP} is almost never explicitely set in the generated code
|
|
because it is known at translation time.
|
|
|
|
In order to increase performances, a backward pass is performed on the
|
|
generated simple instructions (see
|
|
@code{translate-i386.c:optimize_flags()}). When it can be proved that
|
|
the condition codes are not needed by the next instructions, no
|
|
condition codes are computed at all.
|
|
|
|
@section CPU state optimisations
|
|
|
|
The x86 CPU has many internal states which change the way it evaluates
|
|
instructions. In order to achieve a good speed, the translation phase
|
|
considers that some state information of the virtual x86 CPU cannot
|
|
change in it. For example, if the SS, DS and ES segments have a zero
|
|
base, then the translator does not even generate an addition for the
|
|
segment base.
|
|
|
|
[The FPU stack pointer register is not handled that way yet].
|
|
|
|
@section Translation cache
|
|
|
|
A 2MByte cache holds the most recently used translations. For
|
|
simplicity, it is completely flushed when it is full. A translation unit
|
|
contains just a single basic block (a block of x86 instructions
|
|
terminated by a jump or by a virtual CPU state change which the
|
|
translator cannot deduce statically).
|
|
|
|
[Currently, the translated code is not patched if it jumps to another
|
|
translated code].
|
|
|
|
@section Exception support
|
|
|
|
longjmp() is used when an exception such as division by zero is
|
|
encountered. The host SIGSEGV and SIGBUS signal handlers are used to get
|
|
invalid memory accesses.
|
|
|
|
[Currently, the virtual CPU cannot retrieve the exact CPU state in some
|
|
exceptions, although it could except for the @code{EFLAGS} register].
|
|
|
|
@section Linux system call translation
|
|
|
|
QEMU includes a generic system call translator for Linux. It means that
|
|
the parameters of the system calls can be converted to fix the
|
|
endianness and 32/64 bit issues. The IOCTLs are converted with a generic
|
|
type description system (see @file{ioctls.h} and @file{thunk.c}).
|
|
|
|
@section Linux signals
|
|
|
|
Normal and real-time signals are queued along with their information
|
|
(@code{siginfo_t}) as it is done in the Linux kernel. Then an interrupt
|
|
request is done to the virtual CPU. When it is interrupted, one queued
|
|
signal is handled by generating a stack frame in the virtual CPU as the
|
|
Linux kernel does. The @code{sigreturn()} system call is emulated to return
|
|
from the virtual signal handler.
|
|
|
|
Some signals (such as SIGALRM) directly come from the host. Other
|
|
signals are synthetized from the virtual CPU exceptions such as SIGFPE
|
|
when a division by zero is done (see @code{main.c:cpu_loop()}).
|
|
|
|
The blocked signal mask is still handled by the host Linux kernel so
|
|
that most signal system calls can be redirected directly to the host
|
|
Linux kernel. Only the @code{sigaction()} and @code{sigreturn()} system
|
|
calls need to be fully emulated (see @file{signal.c}).
|
|
|
|
@section clone() system call and threads
|
|
|
|
The Linux clone() system call is usually used to create a thread. QEMU
|
|
uses the host clone() system call so that real host threads are created
|
|
for each emulated thread. One virtual CPU instance is created for each
|
|
thread.
|
|
|
|
The virtual x86 CPU atomic operations are emulated with a global lock so
|
|
that their semantic is preserved.
|
|
|
|
@section Bibliography
|
|
|
|
@table @asis
|
|
|
|
@item [1]
|
|
@url{http://citeseer.nj.nec.com/piumarta98optimizing.html}, Optimizing
|
|
direct threaded code by selective inlining (1998) by Ian Piumarta, Fabio
|
|
Riccardi.
|
|
|
|
@item [2]
|
|
@url{http://developer.kde.org/~sewardj/}, Valgrind, an open-source
|
|
memory debugger for x86-GNU/Linux, by Julian Seward.
|
|
|
|
@item [3]
|
|
@url{http://bochs.sourceforge.net/}, the Bochs IA-32 Emulator Project,
|
|
by Kevin Lawton et al.
|
|
|
|
@item [4]
|
|
@url{http://www.cs.rose-hulman.edu/~donaldlf/em86/index.html}, the EM86
|
|
x86 emulator on Alpha-Linux.
|
|
|
|
@item [5]
|
|
@url{http://www.usenix.org/publications/library/proceedings/usenix-nt97/full_papers/chernoff/chernoff.pdf},
|
|
DIGITAL FX!32: Running 32-Bit x86 Applications on Alpha NT, by Anton
|
|
Chernoff and Ray Hookway.
|
|
|
|
@item [6]
|
|
@url{http://www.willows.com/}, Windows API library emulation from
|
|
Willows Software.
|
|
|
|
@end table
|
|
|
|
@chapter Regression Tests
|
|
|
|
In the directory @file{tests/}, various interesting x86 testing programs
|
|
are available. There are used for regression testing.
|
|
|
|
@section @file{hello}
|
|
|
|
Very simple statically linked x86 program, just to test QEMU during a
|
|
port to a new host CPU.
|
|
|
|
@section @file{test-i386}
|
|
|
|
This program executes most of the 16 bit and 32 bit x86 instructions and
|
|
generates a text output. It can be compared with the output obtained with
|
|
a real CPU or another emulator. The target @code{make test} runs this
|
|
program and a @code{diff} on the generated output.
|
|
|
|
The Linux system call @code{modify_ldt()} is used to create x86 selectors
|
|
to test some 16 bit addressing and 32 bit with segmentation cases.
|
|
|
|
@section @file{testsig}
|
|
|
|
This program tests various signal cases, including SIGFPE, SIGSEGV and
|
|
SIGILL.
|
|
|
|
@section @file{testclone}
|
|
|
|
Tests the @code{clone()} system call (basic test).
|
|
|
|
@section @file{testthread}
|
|
|
|
Tests the glibc threads (more complicated than @code{clone()} because signals
|
|
are also used).
|
|
|
|
@section @file{sha1}
|
|
|
|
It is a simple benchmark. Care must be taken to interpret the results
|
|
because it mostly tests the ability of the virtual CPU to optimize the
|
|
@code{rol} x86 instruction and the condition code computations.
|
|
|
|
@section @file{runcom}
|
|
|
|
A very simple MSDOS emulator to test the Linux vm86() system call
|
|
emulation. The excellent 54 byte @file{pi_10.com} PI number calculator
|
|
can be launched with it. @file{pi_10.com} was written by Bertram
|
|
Felgenhauer (more information at @url{http://www.boo.net/~jasonp/pipage.html}).
|