bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 1 | \input texinfo @c -*- texinfo -*- |
bellard | debc706 | 2006-04-30 21:58:41 +0000 | [diff] [blame] | 2 | @c %**start of header |
| 3 | @setfilename qemu-tech.info |
Stefan Weil | e080e78 | 2010-02-05 23:52:00 +0100 | [diff] [blame] | 4 | |
| 5 | @documentlanguage en |
| 6 | @documentencoding UTF-8 |
| 7 | |
bellard | debc706 | 2006-04-30 21:58:41 +0000 | [diff] [blame] | 8 | @settitle QEMU Internals |
| 9 | @exampleindent 0 |
| 10 | @paragraphindent 0 |
| 11 | @c %**end of header |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 12 | |
Stefan Weil | a1a32b0 | 2010-02-05 23:51:59 +0100 | [diff] [blame] | 13 | @ifinfo |
| 14 | @direntry |
| 15 | * QEMU Internals: (qemu-tech). The QEMU Emulator Internals. |
| 16 | @end direntry |
| 17 | @end ifinfo |
| 18 | |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 19 | @iftex |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 20 | @titlepage |
| 21 | @sp 7 |
| 22 | @center @titlefont{QEMU Internals} |
| 23 | @sp 3 |
| 24 | @end titlepage |
| 25 | @end iftex |
| 26 | |
bellard | debc706 | 2006-04-30 21:58:41 +0000 | [diff] [blame] | 27 | @ifnottex |
| 28 | @node Top |
| 29 | @top |
| 30 | |
| 31 | @menu |
Paolo Bonzini | 77d47e1 | 2016-10-06 16:49:03 +0200 | [diff] [blame^] | 32 | * CPU emulation:: |
| 33 | * Translator Internals:: |
| 34 | * Device emulation:: |
| 35 | * QEMU compared to other emulators:: |
| 36 | * Bibliography:: |
bellard | debc706 | 2006-04-30 21:58:41 +0000 | [diff] [blame] | 37 | @end menu |
| 38 | @end ifnottex |
| 39 | |
| 40 | @contents |
| 41 | |
Paolo Bonzini | 77d47e1 | 2016-10-06 16:49:03 +0200 | [diff] [blame^] | 42 | @node CPU emulation |
| 43 | @chapter CPU emulation |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 44 | |
bellard | debc706 | 2006-04-30 21:58:41 +0000 | [diff] [blame] | 45 | @menu |
Paolo Bonzini | 77d47e1 | 2016-10-06 16:49:03 +0200 | [diff] [blame^] | 46 | * x86:: x86 and x86-64 emulation |
| 47 | * ARM:: ARM emulation |
| 48 | * MIPS:: MIPS emulation |
| 49 | * PPC:: PowerPC emulation |
| 50 | * SPARC:: Sparc32 and Sparc64 emulation |
| 51 | * Xtensa:: Xtensa emulation |
bellard | debc706 | 2006-04-30 21:58:41 +0000 | [diff] [blame] | 52 | @end menu |
| 53 | |
Paolo Bonzini | 77d47e1 | 2016-10-06 16:49:03 +0200 | [diff] [blame^] | 54 | @node x86 |
blueswir1 | 998a050 | 2008-10-09 18:52:04 +0000 | [diff] [blame] | 55 | @section x86 and x86-64 emulation |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 56 | |
| 57 | QEMU x86 target features: |
| 58 | |
ths | 5fafdf2 | 2007-09-16 21:08:06 +0000 | [diff] [blame] | 59 | @itemize |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 60 | |
ths | 5fafdf2 | 2007-09-16 21:08:06 +0000 | [diff] [blame] | 61 | @item The virtual x86 CPU supports 16 bit and 32 bit addressing with segmentation. |
blueswir1 | 998a050 | 2008-10-09 18:52:04 +0000 | [diff] [blame] | 62 | LDT/GDT and IDT are emulated. VM86 mode is also supported to run |
| 63 | DOSEMU. There is some support for MMX/3DNow!, SSE, SSE2, SSE3, SSSE3, |
| 64 | and SSE4 as well as x86-64 SVM. |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 65 | |
| 66 | @item Support of host page sizes bigger than 4KB in user mode emulation. |
| 67 | |
| 68 | @item QEMU can emulate itself on x86. |
| 69 | |
ths | 5fafdf2 | 2007-09-16 21:08:06 +0000 | [diff] [blame] | 70 | @item An extensive Linux x86 CPU test program is included @file{tests/test-i386}. |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 71 | It can be used to test other x86 virtual CPUs. |
| 72 | |
| 73 | @end itemize |
| 74 | |
| 75 | Current QEMU limitations: |
| 76 | |
ths | 5fafdf2 | 2007-09-16 21:08:06 +0000 | [diff] [blame] | 77 | @itemize |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 78 | |
blueswir1 | 998a050 | 2008-10-09 18:52:04 +0000 | [diff] [blame] | 79 | @item Limited x86-64 support. |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 80 | |
| 81 | @item IPC syscalls are missing. |
| 82 | |
ths | 5fafdf2 | 2007-09-16 21:08:06 +0000 | [diff] [blame] | 83 | @item The x86 segment limits and access rights are not tested at every |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 84 | memory access (yet). Hopefully, very few OSes seem to rely on that for |
| 85 | normal use. |
| 86 | |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 87 | @end itemize |
| 88 | |
Paolo Bonzini | 77d47e1 | 2016-10-06 16:49:03 +0200 | [diff] [blame^] | 89 | @node ARM |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 90 | @section ARM emulation |
| 91 | |
| 92 | @itemize |
| 93 | |
| 94 | @item Full ARM 7 user emulation. |
| 95 | |
| 96 | @item NWFPE FPU support included in user Linux emulation. |
| 97 | |
| 98 | @item Can run most ARM Linux binaries. |
| 99 | |
| 100 | @end itemize |
| 101 | |
Paolo Bonzini | 77d47e1 | 2016-10-06 16:49:03 +0200 | [diff] [blame^] | 102 | @node MIPS |
ths | 24d4de4 | 2007-07-11 10:24:28 +0000 | [diff] [blame] | 103 | @section MIPS emulation |
| 104 | |
| 105 | @itemize |
| 106 | |
| 107 | @item The system emulation allows full MIPS32/MIPS64 Release 2 emulation, |
| 108 | including privileged instructions, FPU and MMU, in both little and big |
| 109 | endian modes. |
| 110 | |
| 111 | @item The Linux userland emulation can run many 32 bit MIPS Linux binaries. |
| 112 | |
| 113 | @end itemize |
| 114 | |
| 115 | Current QEMU limitations: |
| 116 | |
| 117 | @itemize |
| 118 | |
| 119 | @item Self-modifying code is not always handled correctly. |
| 120 | |
| 121 | @item 64 bit userland emulation is not implemented. |
| 122 | |
| 123 | @item The system emulation is not complete enough to run real firmware. |
| 124 | |
ths | b1f4523 | 2007-07-12 09:03:30 +0000 | [diff] [blame] | 125 | @item The watchpoint debug facility is not implemented. |
| 126 | |
ths | 24d4de4 | 2007-07-11 10:24:28 +0000 | [diff] [blame] | 127 | @end itemize |
| 128 | |
Paolo Bonzini | 77d47e1 | 2016-10-06 16:49:03 +0200 | [diff] [blame^] | 129 | @node PPC |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 130 | @section PowerPC emulation |
| 131 | |
| 132 | @itemize |
| 133 | |
ths | 5fafdf2 | 2007-09-16 21:08:06 +0000 | [diff] [blame] | 134 | @item Full PowerPC 32 bit emulation, including privileged instructions, |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 135 | FPU and MMU. |
| 136 | |
| 137 | @item Can run most PowerPC Linux binaries. |
| 138 | |
| 139 | @end itemize |
| 140 | |
Paolo Bonzini | 77d47e1 | 2016-10-06 16:49:03 +0200 | [diff] [blame^] | 141 | @node SPARC |
blueswir1 | 998a050 | 2008-10-09 18:52:04 +0000 | [diff] [blame] | 142 | @section Sparc32 and Sparc64 emulation |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 143 | |
| 144 | @itemize |
| 145 | |
blueswir1 | f6b647c | 2007-04-05 18:40:23 +0000 | [diff] [blame] | 146 | @item Full SPARC V8 emulation, including privileged |
bellard | 3475187 | 2005-07-02 14:31:34 +0000 | [diff] [blame] | 147 | instructions, FPU and MMU. SPARC V9 emulation includes most privileged |
blueswir1 | a785e42 | 2007-10-20 08:09:05 +0000 | [diff] [blame] | 148 | and VIS instructions, FPU and I/D MMU. Alignment is fully enforced. |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 149 | |
blueswir1 | a785e42 | 2007-10-20 08:09:05 +0000 | [diff] [blame] | 150 | @item Can run most 32-bit SPARC Linux binaries, SPARC32PLUS Linux binaries and |
| 151 | some 64-bit SPARC Linux binaries. |
bellard | 3475187 | 2005-07-02 14:31:34 +0000 | [diff] [blame] | 152 | |
| 153 | @end itemize |
| 154 | |
| 155 | Current QEMU limitations: |
| 156 | |
ths | 5fafdf2 | 2007-09-16 21:08:06 +0000 | [diff] [blame] | 157 | @itemize |
bellard | 3475187 | 2005-07-02 14:31:34 +0000 | [diff] [blame] | 158 | |
bellard | 3475187 | 2005-07-02 14:31:34 +0000 | [diff] [blame] | 159 | @item IPC syscalls are missing. |
| 160 | |
blueswir1 | 1f58732 | 2007-11-25 18:40:20 +0000 | [diff] [blame] | 161 | @item Floating point exception support is buggy. |
bellard | 3475187 | 2005-07-02 14:31:34 +0000 | [diff] [blame] | 162 | |
| 163 | @item Atomic instructions are not correctly implemented. |
| 164 | |
blueswir1 | 998a050 | 2008-10-09 18:52:04 +0000 | [diff] [blame] | 165 | @item There are still some problems with Sparc64 emulators. |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 166 | |
| 167 | @end itemize |
| 168 | |
Paolo Bonzini | 77d47e1 | 2016-10-06 16:49:03 +0200 | [diff] [blame^] | 169 | @node Xtensa |
Max Filippov | 3aeaea6 | 2011-10-10 14:48:23 +0400 | [diff] [blame] | 170 | @section Xtensa emulation |
| 171 | |
| 172 | @itemize |
| 173 | |
| 174 | @item Core Xtensa ISA emulation, including most options: code density, |
| 175 | loop, extended L32R, 16- and 32-bit multiplication, 32-bit division, |
Max Filippov | 044d003 | 2012-11-29 19:53:20 +0400 | [diff] [blame] | 176 | MAC16, miscellaneous operations, boolean, FP coprocessor, coprocessor |
| 177 | context, debug, multiprocessor synchronization, |
Max Filippov | 3aeaea6 | 2011-10-10 14:48:23 +0400 | [diff] [blame] | 178 | conditional store, exceptions, relocatable vectors, unaligned exception, |
| 179 | interrupts (including high priority and timer), hardware alignment, |
| 180 | region protection, region translation, MMU, windowed registers, thread |
| 181 | pointer, processor ID. |
| 182 | |
Max Filippov | 044d003 | 2012-11-29 19:53:20 +0400 | [diff] [blame] | 183 | @item Not implemented options: data/instruction cache (including cache |
| 184 | prefetch and locking), XLMI, processor interface. Also options not |
| 185 | covered by the core ISA (e.g. FLIX, wide branches) are not implemented. |
Max Filippov | 3aeaea6 | 2011-10-10 14:48:23 +0400 | [diff] [blame] | 186 | |
| 187 | @item Can run most Xtensa Linux binaries. |
| 188 | |
| 189 | @item New core configuration that requires no additional instructions |
| 190 | may be created from overlay with minimal amount of hand-written code. |
| 191 | |
| 192 | @end itemize |
| 193 | |
Paolo Bonzini | 77d47e1 | 2016-10-06 16:49:03 +0200 | [diff] [blame^] | 194 | @node Translator Internals |
| 195 | @chapter Translator Internals |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 196 | |
bellard | debc706 | 2006-04-30 21:58:41 +0000 | [diff] [blame] | 197 | @menu |
bellard | debc706 | 2006-04-30 21:58:41 +0000 | [diff] [blame] | 198 | * CPU state optimisations:: |
| 199 | * Translation cache:: |
| 200 | * Direct block chaining:: |
| 201 | * Self-modifying code and translated code invalidation:: |
| 202 | * Exception support:: |
| 203 | * MMU emulation:: |
bellard | debc706 | 2006-04-30 21:58:41 +0000 | [diff] [blame] | 204 | @end menu |
| 205 | |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 206 | QEMU is a dynamic translator. When it first encounters a piece of code, |
| 207 | it converts it to the host instruction set. Usually dynamic translators |
| 208 | are very complicated and highly CPU dependent. QEMU uses some tricks |
| 209 | which make it relatively easily portable and simple while achieving good |
| 210 | performances. |
| 211 | |
Paolo Bonzini | bf28a69 | 2016-10-06 15:10:10 +0200 | [diff] [blame] | 212 | QEMU's dynamic translation backend is called TCG, for "Tiny Code |
| 213 | Generator". For more information, please take a look at @code{tcg/README}. |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 214 | |
bellard | debc706 | 2006-04-30 21:58:41 +0000 | [diff] [blame] | 215 | @node CPU state optimisations |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 216 | @section CPU state optimisations |
| 217 | |
blueswir1 | 998a050 | 2008-10-09 18:52:04 +0000 | [diff] [blame] | 218 | The target CPUs have many internal states which change the way it |
| 219 | evaluates instructions. In order to achieve a good speed, the |
| 220 | translation phase considers that some state information of the virtual |
| 221 | CPU cannot change in it. The state is recorded in the Translation |
| 222 | Block (TB). If the state changes (e.g. privilege level), a new TB will |
| 223 | be generated and the previous TB won't be used anymore until the state |
| 224 | matches the state recorded in the previous TB. For example, if the SS, |
| 225 | DS and ES segments have a zero base, then the translator does not even |
| 226 | generate an addition for the segment base. |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 227 | |
| 228 | [The FPU stack pointer register is not handled that way yet]. |
| 229 | |
bellard | debc706 | 2006-04-30 21:58:41 +0000 | [diff] [blame] | 230 | @node Translation cache |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 231 | @section Translation cache |
| 232 | |
陳韋任 | 27c8efc | 2011-11-05 01:14:44 +0800 | [diff] [blame] | 233 | A 32 MByte cache holds the most recently used translations. For |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 234 | simplicity, it is completely flushed when it is full. A translation unit |
| 235 | contains just a single basic block (a block of x86 instructions |
| 236 | terminated by a jump or by a virtual CPU state change which the |
| 237 | translator cannot deduce statically). |
| 238 | |
bellard | debc706 | 2006-04-30 21:58:41 +0000 | [diff] [blame] | 239 | @node Direct block chaining |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 240 | @section Direct block chaining |
| 241 | |
| 242 | After each translated basic block is executed, QEMU uses the simulated |
Gonglei | d274e07 | 2015-07-03 17:50:57 +0800 | [diff] [blame] | 243 | Program Counter (PC) and other cpu state information (such as the CS |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 244 | segment base value) to find the next basic block. |
| 245 | |
| 246 | In order to accelerate the most common cases where the new simulated PC |
| 247 | is known, QEMU can patch a basic block so that it jumps directly to the |
| 248 | next one. |
| 249 | |
| 250 | The most portable code uses an indirect jump. An indirect jump makes |
| 251 | it easier to make the jump target modification atomic. On some host |
| 252 | architectures (such as x86 or PowerPC), the @code{JUMP} opcode is |
| 253 | directly patched so that the block chaining has no overhead. |
| 254 | |
bellard | debc706 | 2006-04-30 21:58:41 +0000 | [diff] [blame] | 255 | @node Self-modifying code and translated code invalidation |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 256 | @section Self-modifying code and translated code invalidation |
| 257 | |
| 258 | Self-modifying code is a special challenge in x86 emulation because no |
| 259 | instruction cache invalidation is signaled by the application when code |
| 260 | is modified. |
| 261 | |
| 262 | When translated code is generated for a basic block, the corresponding |
blueswir1 | 998a050 | 2008-10-09 18:52:04 +0000 | [diff] [blame] | 263 | host page is write protected if it is not already read-only. Then, if |
| 264 | a write access is done to the page, Linux raises a SEGV signal. QEMU |
| 265 | then invalidates all the translated code in the page and enables write |
| 266 | accesses to the page. |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 267 | |
| 268 | Correct translated code invalidation is done efficiently by maintaining |
| 269 | a linked list of every translated block contained in a given page. Other |
ths | 5fafdf2 | 2007-09-16 21:08:06 +0000 | [diff] [blame] | 270 | linked lists are also maintained to undo direct block chaining. |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 271 | |
blueswir1 | 998a050 | 2008-10-09 18:52:04 +0000 | [diff] [blame] | 272 | On RISC targets, correctly written software uses memory barriers and |
| 273 | cache flushes, so some of the protection above would not be |
| 274 | necessary. However, QEMU still requires that the generated code always |
| 275 | matches the target instructions in memory in order to handle |
| 276 | exceptions correctly. |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 277 | |
bellard | debc706 | 2006-04-30 21:58:41 +0000 | [diff] [blame] | 278 | @node Exception support |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 279 | @section Exception support |
| 280 | |
| 281 | longjmp() is used when an exception such as division by zero is |
ths | 5fafdf2 | 2007-09-16 21:08:06 +0000 | [diff] [blame] | 282 | encountered. |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 283 | |
| 284 | The host SIGSEGV and SIGBUS signal handlers are used to get invalid |
blueswir1 | 998a050 | 2008-10-09 18:52:04 +0000 | [diff] [blame] | 285 | memory accesses. The simulated program counter is found by |
| 286 | retranslating the corresponding basic block and by looking where the |
| 287 | host program counter was at the exception point. |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 288 | |
| 289 | The virtual CPU cannot retrieve the exact @code{EFLAGS} register because |
| 290 | in some cases it is not computed because of condition code |
| 291 | optimisations. It is not a big concern because the emulated code can |
| 292 | still be restarted in any cases. |
| 293 | |
bellard | debc706 | 2006-04-30 21:58:41 +0000 | [diff] [blame] | 294 | @node MMU emulation |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 295 | @section MMU emulation |
| 296 | |
blueswir1 | 998a050 | 2008-10-09 18:52:04 +0000 | [diff] [blame] | 297 | For system emulation QEMU supports a soft MMU. In that mode, the MMU |
| 298 | virtual to physical address translation is done at every memory |
| 299 | access. QEMU uses an address translation cache to speed up the |
| 300 | translation. |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 301 | |
| 302 | In order to avoid flushing the translated code each time the MMU |
| 303 | mappings change, QEMU uses a physically indexed translation cache. It |
ths | 5fafdf2 | 2007-09-16 21:08:06 +0000 | [diff] [blame] | 304 | means that each basic block is indexed with its physical address. |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 305 | |
| 306 | When MMU mappings change, only the chaining of the basic blocks is |
| 307 | reset (i.e. a basic block can no longer jump directly to another one). |
| 308 | |
blueswir1 | 998a050 | 2008-10-09 18:52:04 +0000 | [diff] [blame] | 309 | @node Device emulation |
Paolo Bonzini | 77d47e1 | 2016-10-06 16:49:03 +0200 | [diff] [blame^] | 310 | @chapter Device emulation |
blueswir1 | 998a050 | 2008-10-09 18:52:04 +0000 | [diff] [blame] | 311 | |
| 312 | Systems emulated by QEMU are organized by boards. At initialization |
| 313 | phase, each board instantiates a number of CPUs, devices, RAM and |
| 314 | ROM. Each device in turn can assign I/O ports or memory areas (for |
| 315 | MMIO) to its handlers. When the emulation starts, an access to the |
| 316 | ports or MMIO memory areas assigned to the device causes the |
| 317 | corresponding handler to be called. |
| 318 | |
| 319 | RAM and ROM are handled more optimally, only the offset to the host |
| 320 | memory needs to be added to the guest address. |
| 321 | |
| 322 | The video RAM of VGA and other display cards is special: it can be |
| 323 | read or written directly like RAM, but write accesses cause the memory |
| 324 | to be marked with VGA_DIRTY flag as well. |
| 325 | |
| 326 | QEMU supports some device classes like serial and parallel ports, USB, |
| 327 | drives and network devices, by providing APIs for easier connection to |
| 328 | the generic, higher level implementations. The API hides the |
| 329 | implementation details from the devices, like native device use or |
| 330 | advanced block device formats like QCOW. |
| 331 | |
| 332 | Usually the devices implement a reset method and register support for |
| 333 | saving and loading of the device state. The devices can also use |
| 334 | timers, especially together with the use of bottom halves (BHs). |
| 335 | |
Paolo Bonzini | 77d47e1 | 2016-10-06 16:49:03 +0200 | [diff] [blame^] | 336 | @node QEMU compared to other emulators |
| 337 | @chapter QEMU compared to other emulators |
| 338 | |
| 339 | Like bochs [1], QEMU emulates an x86 CPU. But QEMU is much faster than |
| 340 | bochs as it uses dynamic compilation. Bochs is closely tied to x86 PC |
| 341 | emulation while QEMU can emulate several processors. |
| 342 | |
| 343 | Like Valgrind [2], QEMU does user space emulation and dynamic |
| 344 | translation. Valgrind is mainly a memory debugger while QEMU has no |
| 345 | support for it (QEMU could be used to detect out of bound memory |
| 346 | accesses as Valgrind, but it has no support to track uninitialised data |
| 347 | as Valgrind does). The Valgrind dynamic translator generates better code |
| 348 | than QEMU (in particular it does register allocation) but it is closely |
| 349 | tied to an x86 host and target and has no support for precise exceptions |
| 350 | and system emulation. |
| 351 | |
| 352 | EM86 [3] is the closest project to user space QEMU (and QEMU still uses |
| 353 | some of its code, in particular the ELF file loader). EM86 was limited |
| 354 | to an alpha host and used a proprietary and slow interpreter (the |
| 355 | interpreter part of the FX!32 Digital Win32 code translator [4]). |
| 356 | |
| 357 | TWIN from Willows Software was a Windows API emulator like Wine. It is less |
| 358 | accurate than Wine but includes a protected mode x86 interpreter to launch |
| 359 | x86 Windows executables. Such an approach has greater potential because most |
| 360 | of the Windows API is executed natively but it is far more difficult to |
| 361 | develop because all the data structures and function parameters exchanged |
| 362 | between the API and the x86 code must be converted. |
| 363 | |
| 364 | User mode Linux [5] was the only solution before QEMU to launch a |
| 365 | Linux kernel as a process while not needing any host kernel |
| 366 | patches. However, user mode Linux requires heavy kernel patches while |
| 367 | QEMU accepts unpatched Linux kernels. The price to pay is that QEMU is |
| 368 | slower. |
| 369 | |
| 370 | The Plex86 [6] PC virtualizer is done in the same spirit as the now |
| 371 | obsolete qemu-fast system emulator. It requires a patched Linux kernel |
| 372 | to work (you cannot launch the same kernel on your PC), but the |
| 373 | patches are really small. As it is a PC virtualizer (no emulation is |
| 374 | done except for some privileged instructions), it has the potential of |
| 375 | being faster than QEMU. The downside is that a complicated (and |
| 376 | potentially unsafe) host kernel patch is needed. |
| 377 | |
| 378 | The commercial PC Virtualizers (VMWare [7], VirtualPC [8]) are faster |
| 379 | than QEMU (without virtualization), but they all need specific, proprietary |
| 380 | and potentially unsafe host drivers. Moreover, they are unable to |
| 381 | provide cycle exact simulation as an emulator can. |
| 382 | |
| 383 | VirtualBox [9], Xen [10] and KVM [11] are based on QEMU. QEMU-SystemC |
| 384 | [12] uses QEMU to simulate a system where some hardware devices are |
| 385 | developed in SystemC. |
| 386 | |
bellard | debc706 | 2006-04-30 21:58:41 +0000 | [diff] [blame] | 387 | @node Bibliography |
Paolo Bonzini | 77d47e1 | 2016-10-06 16:49:03 +0200 | [diff] [blame^] | 388 | @chapter Bibliography |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 389 | |
| 390 | @table @asis |
| 391 | |
ths | 5fafdf2 | 2007-09-16 21:08:06 +0000 | [diff] [blame] | 392 | @item [1] |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 393 | @url{http://bochs.sourceforge.net/}, the Bochs IA-32 Emulator Project, |
| 394 | by Kevin Lawton et al. |
| 395 | |
Thomas Huth | 8e9620a | 2015-09-25 11:38:36 +0200 | [diff] [blame] | 396 | @item [2] |
| 397 | @url{http://www.valgrind.org/}, Valgrind, an open-source memory debugger |
| 398 | for GNU/Linux. |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 399 | |
Thomas Huth | 8e9620a | 2015-09-25 11:38:36 +0200 | [diff] [blame] | 400 | @item [3] |
| 401 | @url{http://ftp.dreamtime.org/pub/linux/Linux-Alpha/em86/v0.2/docs/em86.html}, |
| 402 | the EM86 x86 emulator on Alpha-Linux. |
| 403 | |
| 404 | @item [4] |
bellard | debc706 | 2006-04-30 21:58:41 +0000 | [diff] [blame] | 405 | @url{http://www.usenix.org/publications/library/proceedings/usenix-nt97/@/full_papers/chernoff/chernoff.pdf}, |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 406 | DIGITAL FX!32: Running 32-Bit x86 Applications on Alpha NT, by Anton |
| 407 | Chernoff and Ray Hookway. |
| 408 | |
Thomas Huth | 8e9620a | 2015-09-25 11:38:36 +0200 | [diff] [blame] | 409 | @item [5] |
ths | 5fafdf2 | 2007-09-16 21:08:06 +0000 | [diff] [blame] | 410 | @url{http://user-mode-linux.sourceforge.net/}, |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 411 | The User-mode Linux Kernel. |
| 412 | |
Thomas Huth | 8e9620a | 2015-09-25 11:38:36 +0200 | [diff] [blame] | 413 | @item [6] |
ths | 5fafdf2 | 2007-09-16 21:08:06 +0000 | [diff] [blame] | 414 | @url{http://www.plex86.org/}, |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 415 | The new Plex86 project. |
| 416 | |
Thomas Huth | 8e9620a | 2015-09-25 11:38:36 +0200 | [diff] [blame] | 417 | @item [7] |
ths | 5fafdf2 | 2007-09-16 21:08:06 +0000 | [diff] [blame] | 418 | @url{http://www.vmware.com/}, |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 419 | The VMWare PC virtualizer. |
| 420 | |
Thomas Huth | 8e9620a | 2015-09-25 11:38:36 +0200 | [diff] [blame] | 421 | @item [8] |
| 422 | @url{https://www.microsoft.com/download/details.aspx?id=3702}, |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 423 | The VirtualPC PC virtualizer. |
| 424 | |
Thomas Huth | 8e9620a | 2015-09-25 11:38:36 +0200 | [diff] [blame] | 425 | @item [9] |
blueswir1 | 998a050 | 2008-10-09 18:52:04 +0000 | [diff] [blame] | 426 | @url{http://virtualbox.org/}, |
| 427 | The VirtualBox PC virtualizer. |
| 428 | |
Thomas Huth | 8e9620a | 2015-09-25 11:38:36 +0200 | [diff] [blame] | 429 | @item [10] |
blueswir1 | 998a050 | 2008-10-09 18:52:04 +0000 | [diff] [blame] | 430 | @url{http://www.xen.org/}, |
| 431 | The Xen hypervisor. |
| 432 | |
Thomas Huth | 8e9620a | 2015-09-25 11:38:36 +0200 | [diff] [blame] | 433 | @item [11] |
| 434 | @url{http://www.linux-kvm.org/}, |
blueswir1 | 998a050 | 2008-10-09 18:52:04 +0000 | [diff] [blame] | 435 | Kernel Based Virtual Machine (KVM). |
| 436 | |
Thomas Huth | 8e9620a | 2015-09-25 11:38:36 +0200 | [diff] [blame] | 437 | @item [12] |
blueswir1 | 998a050 | 2008-10-09 18:52:04 +0000 | [diff] [blame] | 438 | @url{http://www.greensocs.com/projects/QEMUSystemC}, |
| 439 | QEMU-SystemC, a hardware co-simulator. |
| 440 | |
bellard | 1f67313 | 2004-04-04 15:21:17 +0000 | [diff] [blame] | 441 | @end table |
| 442 | |
bellard | debc706 | 2006-04-30 21:58:41 +0000 | [diff] [blame] | 443 | @bye |