Virtual machines: versatile platforms for systems and processes
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam [u.a.]
Elsevier [u.a.]
[20]10
|
| Edition: | [Nachdr.] |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XXII, 638 S. graph. Darst. |
| ISBN: | 9781558609105 1558609105 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV037425717 | ||
| 003 | DE-604 | ||
| 005 | 20110531 | ||
| 007 | t | ||
| 008 | 110527s2010 d||| |||| 00||| eng d | ||
| 020 | |a 9781558609105 |9 978-1-55860-910-5 | ||
| 020 | |a 1558609105 |9 1-55860-910-5 | ||
| 035 | |a (OCoLC)698586002 | ||
| 035 | |a (DE-599)BVBBV037425717 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 | ||
| 050 | 0 | |a QA76.9.V5 | |
| 082 | 0 | |a 005.43 | |
| 084 | |a ST 257 |0 (DE-625)143630: |2 rvk | ||
| 084 | |a DAT 200f |2 stub | ||
| 100 | 1 | |a Smith, James E. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Virtual machines |b versatile platforms for systems and processes |c James E. Smith ; Ravi Nair |
| 250 | |a [Nachdr.] | ||
| 264 | 1 | |a Amsterdam [u.a.] |b Elsevier [u.a.] |c [20]10 | |
| 300 | |a XXII, 638 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Virtuelle Maschine - VM | |
| 650 | 0 | 7 | |a Virtuelle Maschine |0 (DE-588)4188396-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Virtuelle Maschine |0 (DE-588)4188396-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Nair, Ravindra Kumar |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m Digitalisierung UB Passau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022577907&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-022577907 | ||
Record in the Search Index
| _version_ | 1804145730113241089 |
|---|---|
| adam_text | Contents
Foreword
ix
Preface
xi
Introduction to Virtual Machines
ι
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
A Taxonomy
22
1.6
Summary: The Versatility of Virtual Machines
23
1.7
The Rest of the Book
24
Emulation: Interpretation and Binary Translation
27
2.1
Basic Interpretation
29
2.2
Threaded Interpretation
32
2.3
Predecoding and 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
Control Transfer 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
8з
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
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
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
High-Level Language Virtual Machine Implementation
28
1
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
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
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
Multiprocessor Virtualization
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 4c
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
Real Machines
553
A.I 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
|
| any_adam_object | 1 |
| author | Smith, James E. Nair, Ravindra Kumar |
| author_facet | Smith, James E. Nair, Ravindra Kumar |
| author_role | aut aut |
| author_sort | Smith, James E. |
| author_variant | j e s je jes r k n rk rkn |
| building | Verbundindex |
| bvnumber | BV037425717 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.V5 |
| callnumber-search | QA76.9.V5 |
| callnumber-sort | QA 276.9 V5 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 257 |
| classification_tum | DAT 200f |
| ctrlnum | (OCoLC)698586002 (DE-599)BVBBV037425717 |
| dewey-full | 005.43 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.43 |
| dewey-search | 005.43 |
| dewey-sort | 15.43 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | [Nachdr.] |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01453nam a2200397 c 4500</leader><controlfield tag="001">BV037425717</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110531 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110527s2010 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781558609105</subfield><subfield code="9">978-1-55860-910-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1558609105</subfield><subfield code="9">1-55860-910-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)698586002</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV037425717</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.V5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.43</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 257</subfield><subfield code="0">(DE-625)143630:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 200f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Smith, James E.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Virtual machines</subfield><subfield code="b">versatile platforms for systems and processes</subfield><subfield code="c">James E. Smith ; Ravi Nair</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">[Nachdr.]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">Elsevier [u.a.]</subfield><subfield code="c">[20]10</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXII, 638 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Virtuelle Maschine - VM</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Virtuelle Maschine</subfield><subfield code="0">(DE-588)4188396-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Virtuelle Maschine</subfield><subfield code="0">(DE-588)4188396-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nair, Ravindra Kumar</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022577907&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-022577907</subfield></datafield></record></collection> |
| id | DE-604.BV037425717 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T23:24:05Z |
| institution | BVB |
| isbn | 9781558609105 1558609105 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-022577907 |
| oclc_num | 698586002 |
| open_access_boolean | |
| owner | DE-739 |
| owner_facet | DE-739 |
| physical | XXII, 638 S. graph. Darst. |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Elsevier [u.a.] |
| record_format | marc |
| spelling | Smith, James E. Verfasser aut Virtual machines versatile platforms for systems and processes James E. Smith ; Ravi Nair [Nachdr.] Amsterdam [u.a.] Elsevier [u.a.] [20]10 XXII, 638 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Virtuelle Maschine - VM Virtuelle Maschine (DE-588)4188396-2 gnd rswk-swf Virtuelle Maschine (DE-588)4188396-2 s DE-604 Nair, Ravindra Kumar Verfasser aut Digitalisierung UB Passau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022577907&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Smith, James E. Nair, Ravindra Kumar Virtual machines versatile platforms for systems and processes Virtuelle Maschine - VM Virtuelle Maschine (DE-588)4188396-2 gnd |
| subject_GND | (DE-588)4188396-2 |
| title | Virtual machines versatile platforms for systems and processes |
| title_auth | Virtual machines versatile platforms for systems and processes |
| title_exact_search | Virtual machines versatile platforms for systems and processes |
| title_full | Virtual machines versatile platforms for systems and processes James E. Smith ; Ravi Nair |
| title_fullStr | Virtual machines versatile platforms for systems and processes James E. Smith ; Ravi Nair |
| title_full_unstemmed | Virtual machines versatile platforms for systems and processes James E. Smith ; Ravi Nair |
| title_short | Virtual machines |
| title_sort | virtual machines versatile platforms for systems and processes |
| title_sub | versatile platforms for systems and processes |
| topic | Virtuelle Maschine - VM Virtuelle Maschine (DE-588)4188396-2 gnd |
| topic_facet | Virtuelle Maschine - VM Virtuelle Maschine |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022577907&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT smithjamese virtualmachinesversatileplatformsforsystemsandprocesses AT nairravindrakumar virtualmachinesversatileplatformsforsystemsandprocesses |