Virtual machines : versatile platforms for systems and processes = 虚拟机 : 系统与进程的通用平台 /

chapter one introduction to virtual machines 1

1.1 computer architecture . 6

1.2 virtual machine basics 9

1.3 process virtual machines 13

1.4 system virtual machines 17

1.5 ataxonomy 22

1.6 summary: the versatility of virtual machines 23

1.7 the rest of the book 24

chapter two emulation: interpretation and binary translation 27

2.1 basic interpretation 29

2.2 threaded interpretation 32

2.3 predecodingand direct threaded interpretation 34

2.4 interpreting a complex instruction set 38

2.5 binary translation 49

2.6 code discovery and dynamic translation 52

2.7 controltransfer optimizations 64

2.8 instruction set issues 68

2.9 case study: shade and the role of emulation during simulation 77

2.10 summary: performance tradeoffs 80

chapter three process virtual machines 83

.3.1 virtual machine implementation 85

3.2 compatibility 87

3.3 state mapping 95

3.4 memory architecture emulation 102

3.5 instruction emulation 114

3.6 exception emulation 119

3.7 operating system emulation 128

3.8 code cache management 133

3.9 system environment 140

3.10 case study: fx!32 142

3.11 summary 145

chapter four dynamic binary optimization 147

4.1 dynamic program behavior 153

4.2 profiling 156

4.3 optimizing translation blocks 167

4.4 optimization framework 180

4.5 code reordering 186

4.6 code optimizations 201

4.7 same-isa optimization systems: special-case process virtual machines 208

4.8 summary 218

chapter five high-level language virtual machine architecture 221

5.1 the pascal p-code virtual machine .. 225

5.2 object-oriented high-level language virtual machines 228

5.3 the java virtual machine architecture 241

5.4 completing the platform: apis 261

5.5 the microsoft common language infrastructure: a flexible high-level language virtual machine 267

5.6 summary: virtual isa features 275

chapter six high-level language virtual machine implementation 281

6.1 dynamic class loading 284

6.2 implementing security 286

6.3 garbage collection 294

6.4 java native interface 304

6.5 basic emulation 305

6.6 high-performance emulation 306

6.7 case study: the jikes research virtual machine 320

6.8 summary 327

chapter seven codesigned virtual machines 329

7.1 memory and register state mapping 333

7.2 self-modifying and self-referencing code 337

7.3 support for code caching 339

7.4 implementing precise traps 344

7.5 input/output 351

7.6 applying codesigned virtual machines 352

7.7 case study: transmeta crusoe 354

7.8 case study: ibm as/400 357

7.9 summary 367

chapter eight system virtual machines 369

8.1 key concepts 373

8.2 resource virtualization-- processors 382

8.3 resource virtualization -- memory 396

8.4 resource virtualization-- input/output 404

8.5 performance enhancement of system virtual machines 415

8.6 case study: vmware virtual platform 426

8.7 case study: the intel vt-x (vanderpool) technology 436

8.8 summary 442

chapter nine multiprocessor virtualizauon 445

9.1 partitioning of multiprocessor systems 445

9.2 physical partitioning 455

9.3 logical partitioning 458

9.4 case study: cellular disco system virtual machine-based partitioning 475

9.5 virtualization with different host and guest isas 485

9.6 summary 496

chapter ten emerging applications 499

10.1 security 501

10.2 migration of computing environments 520

10.3 grids: virtual organizations 535

10.4 summary 552

appendix a real machines 553

a.1 computer system hardware 554

a.2 the user isa: computation 561

a.3 the system isa: resource management 566

a.4 operating system organization 580

a.5 the operating system interface 583

a.6 system initialization 586

a.7 multiprocessor architecture 588

a.8 example instruction set architectures 600

references 613

index ... 629