DOCSLIB.ORG

UNIVERSITY of CALIFORNIA, IRVINE Interactive Worst-Case

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
UNIVERSITY of CALIFORNIA, IRVINE Interactive Worst-Case UNIVERSITY OF CALIFORNIA, IRVINE Interactive Worst-case Execution Time Analysis of Hard Real-time Systems DISSERTATION submitted in partial satisfaction of the requirements for the degree of DOCTOR OF PHILOSOPHY in Electrical and Computer Engineering by Trevor Wade Harmon Dissertation Committee: Professor K.H. (Kane) Kim, Chair Professor Kwei-Jay (K.J.) Lin Professor Jean-Luc Gaudiot 2009 c 2009 Trevor Wade Harmon ! Portions of Chapters 2–7 and Appendices A and B c 2007, 2008 IEEE All other materials c 2009 Trevor Wade Harmon unless! otherwise noted ! DEDICATION To my wife, Florence, for her never-ending love and support iii TABLE OF CONTENTS Page LIST OF FIGURES vii LIST OF TABLES x ACKNOWLEDGMENTS xi CURRICULUM VITAE xii ABSTRACT OF THE DISSERTATION xvi 1 Introduction 1 1.1 What Is a True Real-time System? . 4 1.2 The Rise of Distributed Real-time Systems . 7 2 Interactive Analysis 14 2.1 The Importance of Worst-Case Execution Time . 18 2.2 Current Methods for Obtaining WCET . 23 2.3 What Is Interactive Analysis? . 28 2.4 Research Objectives and Contributions . 35 3 Hardware and Software Requirements for Interactive Analysis 39 3.1 The Trouble with C . 40 3.2 Java as a Catalyst . 44 3.3 Java in Real-Time Systems . 51 3.4 Java Microprocessors . 58 4 Annotating Control Flow for Interactive Analysis 66 4.1 Related Work . 70 4.2 Source-Annotated Control Flow Analysis . 73 4.3 Strengths and Limitations of Decompilation . 80 4.4 Cascade: A Control Flow Analysis Tool . 87 4.4.1 Control Flow Graphs vs. Control Flow Trees . 90 4.4.2 Performance of Cascade . 95 4.4.3 Limitations of Cascade . 98 iv 5 Interactive Worst-Case Execution Time Analysis 102 5.1 The Theory of WCET Analysis . 108 5.1.1 Control Flow Analysis . 110 5.1.2 Low-level Analysis . 112 5.1.3 Longest Path Computation . 117 5.2 The Practice of WCET Analysis . 126 5.2.1 Research Prototypes . 127 5.2.2 Commercial Tools . 129 5.3 Interactive WCET Analysis . 131 5.3.1 Back-annotation . 133 5.3.2 Related Work . 134 5.4 The Road to True Interactive WCET Analysis . 139 6 Clepsydra: An Interactive WCET Analysis Tool 140 6.1 An Overview of Clepsydra . 143 6.2 Assumptions and Limitations . 146 6.3 An Editor Plugin for Back-annotation . 149 6.4 The Modular Components of Clepsydra . 152 6.4.1 Analysis Strategy . 152 6.4.2 Loop Bound Strategy . 154 6.4.3 Timing Strategy . 156 6.4.4 Cache Strategy . 157 6.5 Evaluation . 165 6.5.1 Performance Analysis . 166 6.5.2 Accuracy Analysis . 168 6.5.3 Correctness Analysis . 171 7 Interactive Timing Analysis of Software Libraries 174 7.1 Worst-case Execution Time in Libraries . 179 7.2 Goals for Hard Real-time Libraries . 181 7.3 Libraries for Real-time Java . 181 7.4 Related Work . 183 7.4.1 Trigonometric Library Functions . 184 7.4.2 Javolution . 184 7.5 Libraries for Safety-critical Environments . 187 7.6 Requirements for an Analyzable Real-time Library . 190 7.7 Canteen: A Prototype for an Analyzable Library . 192 7.8 Prototype Design and Implementation . 195 7.8.1 Analyzable Memory Consumption . 195 7.8.2 Analyzable Loops . 200 7.9 Prototype Evaluation . 202 7.9.1 Performance Analysis . 203 7.9.2 Predictability Analysis . 207 7.9.3 Heap Allocation Analysis . 211 7.10 Restrictions of an Analyzable Library . 213 v 7.10.1 Memory Pool Restrictions . 213 7.10.2 Exception Handling Compromises . 216 7.10.3 Unimplemented Methods . 217 8 Examples of Interactive WCET Analysis 219 8.1 Hash Functions . 219 8.2 Sensor Polling . 222 9 Conclusions and Future Work 228 Bibliography 231 Appendices 255 A A Survey of Worst-Case Execution Time Analysis for Java . 255 A.1 Bytecode as an Intermediate Representation . 256 A.2 High-level Analysis for the Java Language . 258 A.3 Low-level WCET Analysis for Java Bytecode . 262 A.4 WCET Analysis for Java-specific Processors . 265 A.5 Other Work in WCET Analysis for Java . 267 A.6 Conclusion . 269 B WCET Annotations in Java . 269 B.1 Prior Work in WCET Annotations for Java . 271 B.2 A Lack of Standards . 273 B.3 A Standard for WCET Annotations in Java . 274 B.4 Applying Java’s Annotation Standard to WCET . 282 B.5 A Java Compiler for WCET Annotations . 287 B.6 Conclusion . 289 vi LIST OF FIGURES Page 1.1 Potato sorting machine . 3 1.2 Potato sorting machine in action . 3 1.3 Utility curves . 5 1.4 Cost growth of centralized vs. distributed architectures . 7 1.5 Virtual Yellow 1st and Ten Line . 10 1.6 Linatronic real-time bottle inspector . 12 2.1 Latency measurements in real-time middleware . 16 2.2 The weakness of measurement . 18 2.3 Hierarchy of real-time scheduling algorithms . 20 2.4 Manual WCET analysis . 25 2.5 Automated WCET analysis . 27 2.6 Traditional WCET analysis vs. interactive WCET analysis . 31 2.7 Existing work in real-time systems . 37 2.8 Chapter overview . 38 3.1 Layers of abstraction in interactive analysis . 41 3.2 Top seven stated reasons for Java . 47 3.3 Bytecode abstractions in WCET analysis . 49 3.4 FlexPicker: a three-armed industrial robot . 53 3.5 JAviator: a custom-built quad-rotor helicopter . 54 3.6 ScanEagle: an unmanned aerial vehicle . 55 3.7 Java-powered autonomous underwater vehicle . 55 3.8 Predictability on a Java processor . 60 3.9 The aJile processor on the JStamp board . 63 4.1 Layers of abstraction in interactive analysis . 69 4.2 Control flow analysis in the Soot framework . 72 4.3 Control flow visualization with aiCall . 74 4.4 Control flow visualization with Avrora . 75 4.5 Control flow visualization with WCA . 76 4.6 Sample source code for demonstrating control flow analysis . 77 4.7 Traditional vs. annotated control flow graphs . 79 4.8 Annotated control flow graph . 81 4.9 Source code before obfuscation . 83 vii 4.10 Source code after obfuscation . 84 4.11 A typical decompilation process in Java . 85 4.12 UML diagram of Cascade’s control flow classes . 88 4.13 Annotated control flow tree . 93 4.14 Speed of control flow construction in Cascade . 96 4.15 Speed of control flow drawing in Cascade . 98 4.16 Integration of Cascade into a development environment . 99 5.1 Layers of abstraction in interactive analysis . 104 5.2 Safety versus tightness in WCET analysis . 106 5.3 An example of analyzing JOP’s method cache . 116 5.4 An example of tree-based WCET analysis . 118 5.5 Pseudocode of a tree-based WCET analysis algorithm . 119 5.6 A simple program demonstrating the false path problem . 121 5.7 A control flow graph representation of Figure 5.4 . 124 5.8 Formulation an ILP problem for the IPET algorithm . 125 5.9 Screenshot of the Cinderella WCET analysis tool . 128 5.10 Screenshot of the Chronos WCET analysis tool . 130 5.11 Back-annotation in Kirner’s WCET analysis tool . 136 5.12 Screenshot of the RapiTime WCET analysis tool . 138 6.1 Layers of abstraction in interactive analysis . 143 6.2 WCET analysis in the Volta tool suite . 146 6.3 Clepsydra plugin for jEdit . 150 6.4 Analysis strategy class diagram . 153 6.5 An excerpt of a timing strategy implementation . 157 6.6 Control flow graph with method cache support . 159 6.7 ILP formulation with method cache support . 161 6.8 Pseudocode of an enhanced tree algorithm for method cache analysis 163 6.9 Performance of tree vs. IPET analysis for a single method . 167 6.10 Performance of tree vs. IPET analysis for method invocations . 168 6.11 Clepsydra’s WCET pessimism ratios for a variety of benchmarks . 169 7.1 Photograph of the Mark I computer . ..
Load more

Recommended publications
  • Cost-Effective Compilation Techniques for Java Just-In-Time Compilers 3
    IEICE TRANS. ??, VOL.Exx–??, NO.xx XXXX 200x 1 PAPER Cost-Effective Compilation Techniques for Java Just-in-Time Compilers Kazuyuki SHUDO†, Satoshi SEKIGUCHI†, Nonmembers, and Yoichi MURAOKA ††, Fel low SUMMARY Java Just-in-Time compilers have to satisfy a policies. number of requirements in conflict with each other. Effective execution of a generated code is not the only requirement, but 1. Ease of use as a base of researches. compilation time, memory consumption and compliance with the 2. Cost-effective development. Less labor and rela- Java Virtual Machine specification are also important. We have tively much effect. developed a Java Just-in-Time compiler keeping implementation 3. Adequate quality and performance for practical labor little. Another important objective is developing an ad- equate base of following researches which utilize this compiler. use. The proposed compilation techniques take low compilation cost and low development cost. This paper also describes optimization Compiler development involves much work on a methods implemented in the compiler, for instance, instruction parser, intermediate representations and a number of folding, exception handling with signals and code patching. optimizations. Because of it, we have to consider those key words: Runtime compilation, Java Virtual Machine, Stack human and engineering factor seriously in addition to caching, Instruction folding, Code patching technical requirements like performance. Our plan on the development of the JIT compiler was to have a prac- 1. Introduction tical compiler with work several man-month. Our an- other goal was specifically having a research base on Just-in-Time (JIT) compilers for Java bytecode have which we do following researches with less labor while to satisfy a number of requirements, which are differ- developing it with less work.
    [Show full text]
  • Picojava-II™ Programmer's Reference Manual
    picoJava-II™ Programmer’s Reference Manual Sun Microsystems, Inc. 901 San Antonio Road Palo Alto, CA 94303 USA 650 960-1300 Part No.: 805-2800-06 March 1999 Copyright 1999 Sun Microsystems, Inc. 901 San Antonio Road, Palo Alto, California 94303 U.S.A. All rights reserved. The contents of this document are subject to the current version of the Sun Community Source License, picoJava Core (“the License”). You may not use this document except in compliance with the License. You may obtain a copy of the License by searching for “Sun Community Source License” on the World Wide Web at http://www.sun.com. See the License for the rights, obligations, and limitations governing use of the contents of this document. Sun, Sun Microsystems, the Sun logo and all Sun-based trademarks and logos, Java, picoJava, and all Java-based trademarks and logos are trademarks, registered trademarks, or service marks of Sun Microsystems, Inc. in the U.S. and other countries. All SPARC trademarks are used under license and are trademarks or registered trademarks of SPARC International, Inc. in the U.S. and other countries. Products bearing SPARC trademarks are based upon an architecture developed by Sun Microsystems, Inc. DOCUMENTATION IS PROVIDED “AS IS” AND ALL EXPRESS OR IMPLIED CONDITIONS, REPRESENTATIONS AND WARRANTIES, INCLUDING ANY IMPLIED WARRANTY OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE OR NON- INFRINGEMENT, ARE DISCLAIMED, EXCEPT TO THE EXTENT THAT SUCH DISCLAIMERS ARE HELD TO BE LEGALLY INVALID. THIS PUBLICATION COULD INCLUDE TECHNICAL INACCURACIES OR TYPOGRAPHICAL ERRORS. CHANGES ARE PERIODICALLY ADDED TO THE INFORMATION HEREIN; THESE CHANGES WILL BE INCORPORATED IN NEW EDITIONS OF THE PUBLICATION.
    [Show full text]
  • Picojava-II™ Microarchitecture Guide
    picoJava-II™ Microarchitecture Guide Sun Microsystems, Inc. 901 San Antonio Road Palo Alto, CA 94303 USA 650 960-1300 Part No.: 960-1160-11 March 1999 Copyright 1999 Sun Microsystems, Inc. 901 San Antonio Road, Palo Alto, California 94303 U.S.A. All rights reserved. The contents of this document are subject to the current version of the Sun Community Source License, picoJava Core (“the License”). You may not use this document except in compliance with the License. You may obtain a copy of the License by searching for “Sun Community Source License” on the World Wide Web at http://www.sun.com. See the License for the rights, obligations, and limitations governing use of the contents of this document. Sun, Sun Microsystems, the Sun logo and all Sun-based trademarks and logos, Java, picoJava, and all Java-based trademarks and logos are trademarks, registered trademarks, or service marks of Sun Microsystems, Inc. in the U.S. and other countries. All SPARC trademarks are used under license and are trademarks or registered trademarks of SPARC International, Inc. in the U.S. and other countries. Products bearing SPARC trademarks are based upon an architecture developed by Sun Microsystems, Inc. DOCUMENTATION IS PROVIDED “AS IS” AND ALL EXPRESS OR IMPLIED CONDITIONS, REPRESENTATIONS AND WARRANTIES, INCLUDING ANY IMPLIED WARRANTY OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE OR NON-INFRINGEMENT, ARE DISCLAIMED, EXCEPT TO THE EXTENT THAT SUCH DISCLAIMERS ARE HELD TO BE LEGALLY INVALID. THIS PUBLICATION COULD INCLUDE TECHNICAL INACCURACIES OR TYPOGRAPHICAL ERRORS. CHANGES ARE PERIODICALLY ADDED TO THE INFORMATION HEREIN; THESE CHANGES WILL BE INCORPORATED IN NEW EDITIONS OF THE PUBLICATION.
    [Show full text]
  • C:\Andrzej\PDF\ABC Nagrywania P³yt CD\1 Strona.Cdr
    IDZ DO PRZYK£ADOWY ROZDZIA£ SPIS TREFCI Wielka encyklopedia komputerów KATALOG KSI¥¯EK Autor: Alan Freedman KATALOG ONLINE T³umaczenie: Micha³ Dadan, Pawe³ Gonera, Pawe³ Koronkiewicz, Rados³aw Meryk, Piotr Pilch ZAMÓW DRUKOWANY KATALOG ISBN: 83-7361-136-3 Tytu³ orygina³u: ComputerDesktop Encyclopedia Format: B5, stron: 1118 TWÓJ KOSZYK DODAJ DO KOSZYKA Wspó³czesna informatyka to nie tylko komputery i oprogramowanie. To setki technologii, narzêdzi i urz¹dzeñ umo¿liwiaj¹cych wykorzystywanie komputerów CENNIK I INFORMACJE w ró¿nych dziedzinach ¿ycia, jak: poligrafia, projektowanie, tworzenie aplikacji, sieci komputerowe, gry, kinowe efekty specjalne i wiele innych. Rozwój technologii ZAMÓW INFORMACJE komputerowych, trwaj¹cy stosunkowo krótko, wniós³ do naszego ¿ycia wiele nowych O NOWOFCIACH mo¿liwoYci. „Wielka encyklopedia komputerów” to kompletne kompendium wiedzy na temat ZAMÓW CENNIK wspó³czesnej informatyki. Jest lektur¹ obowi¹zkow¹ dla ka¿dego, kto chce rozumieæ dynamiczny rozwój elektroniki i technologii informatycznych. Opisuje wszystkie zagadnienia zwi¹zane ze wspó³czesn¹ informatyk¹; przedstawia zarówno jej historiê, CZYTELNIA jak i trendy rozwoju. Zawiera informacje o firmach, których produkty zrewolucjonizowa³y FRAGMENTY KSI¥¯EK ONLINE wspó³czesny Ywiat, oraz opisy technologii, sprzêtu i oprogramowania. Ka¿dy, niezale¿nie od stopnia zaawansowania swojej wiedzy, znajdzie w niej wyczerpuj¹ce wyjaYnienia interesuj¹cych go terminów z ró¿nych bran¿ dzisiejszej informatyki. • Komunikacja pomiêdzy systemami informatycznymi i sieci komputerowe • Grafika komputerowa i technologie multimedialne • Internet, WWW, poczta elektroniczna, grupy dyskusyjne • Komputery osobiste — PC i Macintosh • Komputery typu mainframe i stacje robocze • Tworzenie oprogramowania i systemów komputerowych • Poligrafia i reklama • Komputerowe wspomaganie projektowania • Wirusy komputerowe Wydawnictwo Helion JeYli szukasz ]ród³a informacji o technologiach informatycznych, chcesz poznaæ ul.
    [Show full text]
  • (19) United States (12) Patent Application Publication (10) Pub
    US 20060190934A1 (19) United States (12) Patent Application Publication (10) Pub. No.: US 2006/0190934 A1 Kielstra et al. (43) Pub. Date: Aug. 24, 2006 (54) METHOD AND APPARATUS FOR INLINING Publication Classi?cation NATIVE FUNCTIONS INTO COMPILED JAVA CODE (51) Int. Cl. G06F 9/45 (2006.01) (52) US. Cl. ............................................................ ..717/148 (75) Inventors: Allan Henry Kielstra, Ajax (CA); Levon Sassoon Stepanian, Toronto (CA); Kevin Alexander Stoodley, (57) ABSTRACT Richmond Hill (CA) A method, apparatus, and computer instructions are pro vided for inlining native functions into compiled Java code. Correspondence Address: A conversion engine is provided by the present invention for IBM CORP (YA) converting the intermediate representation of native func C/O YEE & ASSOCIATES PC tions to the just-in-time (JIT) compiler’s intermediate rep PO. BOX 802333 resentation. With the converted intermediate representation, DALLAS, TX 75380 (US) an inliner recursively inlines the converted JIT compiler’s intermediate representation into the native callsite to remove the need of invoking the native function and subsequent (73) Assignee: International Business Machines Cor native calls made by the function. The inlining process poration, Armonk, NY continues until either a call to an opaque function is encoun tered or until a JIT compiler intermediate representation groWth limits are reached. The inliner also replaces calls to (21) Appl. No.: 11/062,293 most native functions that are non-inlineable or opaque With calls
    [Show full text]
  • Java and the JVM
    Java and the JVM Martin Schöberl Overview History and Java features Java technology The Java language A first look into the JVM Disassembling of .class files Java and the JVM 2 History of a Young Java 1992 Oak for a PDA on a SPARC (*7) 1995 Official release as Java – Internet 1997 picoJava – Sun’s Java processor 1998 RTSJ specification start as JSR-01 1999 split into J2SE and J2EE 2000 J2ME 2002 RTSJ final release 2002 first version of JOP ;-) Java and the JVM 3 Java features Simple and object oriented Look and feel of C Simplified object model with single inheritance Portability Java compiler generates bytecodes Runtime systems for various platforms Size and behavior of basic data types defined Write once, run/debug anywhere Java and the JVM 4 Java features cont. Availability Windows, Linux, Solaris,… Embedded systems Compiler and runtime are free Free IDEs: Eclipse, Netbeans Library Rich class library Part of the definition Standard GUI toolkit Java and the JVM 5 Java features cont. Built-in model for concurrency Threads at the language level Synchronization Libraries are thread-safe Safety No Pointer! Extensive compile-time checking Runtime checking Automatic memory management – GC Java and the JVM 6 Java system overview Java and the JVM 7 Java Technology The Java programming language The library (JDK) The Java virtual machine (JVM) Instruction set Binary format Verification Java and the JVM 8 Java Primitive Data Types boolean either true or false char 16-bit Unicode character (unsigned)
    [Show full text]
  • 20 Years of Java
    20 years of Java Vladimir Ivanov HotSpot JVM Compile r Twitter: @iwan0www Oracle Corp. OpenJDK: vlivanov 1 28.11.2015 Copyright © 2015, Oracle and/or its affiliates. All rights reserved 20 years of Java (The Platform) Vladimir Ivanov HotSpot JVM Compile r Twitter: @iwan0www Oracle Corp. OpenJDK: vlivanov 2 Copyright © 2015, Oracle and/or its affiliates. All rights reserved Safe Harbor Statement The preceding is intended to outline our general product direction. It is intended for information purposes only, and may not be incorporated into any contract. It is not a commitment to deliver any material, code, or functionality, and should not be relied upon in making purchasing decisions. The development, release, and timing of any features or functionality described for Oracle’s products remains at the sole discretion of Oracle. 3 Copyright © 2015, Oracle and/or its affiliates. All rights reserved About me Joined Sun Microsystems (SPBDC) to work JDK 1.0 on HotSpot JVM Now 1996 2002 2005 2010 2015 Wrote my first Became part of program in Java. Oracle Corp. after acquisition 4 Copyright © 2015, Oracle and/or its affiliates. All rights reserved 1991: Project Green 5 Copyright © 2015, Oracle and/or its affiliates. All rights reserved 1991: *7 (StarSeven) Oak programming language 6 Copyright © 2015, Oracle and/or its affiliates. All rights reserved 1991: *7 (StarSeven) Duke 7 Copyright © 2015, Oracle and/or its affiliates. All rights reserved 1994: WebRunner/HotJava browser 8 Copyright © 2015, Oracle and/or its affiliates. All rights reserved 1995: First release: 1.0a2 9 Copyright © 2015, Oracle and/or its affiliates.
    [Show full text]
  • Contributions to the Construction of Extensible Semantic Editors
    Public Defence, January 18, 2013 Contributions to the Construction of Extensible Semantic Editors Emma Söderberg Doctoral Dissertation, 2012 Department of Computer Science Lund University 2/20 Orientation Today’s programming editors Text editor Semantic editor gedit, Notepad, .. Eclipse, NetBeans, ... Error feedback Background: Code browsing Refactoring - Programming: From text to semantic editor Name completion - Not all languages have semantic editors ... Problems: - Construction is time-consuming and complex - Maintenance may be difficult (extensions) Challenge: How can we make it easier to construct and maintain semantic editors? 3/20 Approach Generate services from specification Specification: RAGs - Formalism, specify semantics Services - Declarative, easily modularized - JastAddJ, JModelica, JastAdd RAGs – Reference Attribute Grammars - Grammar – defines program model, Program abstract syntax tree (AST) Model Programmer - Attributes – computed properties of AST nodes (types, scopes, ..) - References: Attribute values This dissertation: Extend compiler with editor module 4/20 Contributions Paper I Paper II Specification Paper III Paper IV Robustness Paper V Performance Paper VI Paper VII 5/20 Contributions Paper I Paper II Specification Paper III Paper IV Robustness Paper V Performance Paper VI Paper VII 6/20 Specification The JastAdd Editor Framework Framework Problem: Browsing Completion How to add an editor to an existing compiler? Errors Views Approach: - Editor Framework - JastAdd: semantics - Eclipse: graphical components - Predefined
    [Show full text]
  • JOP Reference Handbook: Building Embedded Systems with a Java Processor
    Downloaded from orbit.dtu.dk on: Sep 30, 2021 JOP Reference Handbook: Building Embedded Systems with a Java Processor Schoeberl, Martin Publication date: 2009 Document Version Publisher's PDF, also known as Version of record Link back to DTU Orbit Citation (APA): Schoeberl, M. (2009). JOP Reference Handbook: Building Embedded Systems with a Java Processor. http://www.jopdesign.com/ General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. Users may download and print one copy of any publication from the public portal for the purpose of private study or research. You may not further distribute the material or use it for any profit-making activity or commercial gain You may freely distribute the URL identifying the publication in the public portal If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim. JOP Reference Handbook JOP Reference Handbook Building Embedded Systems with a Java Processor Martin Schoeberl Copyright c 2009 Martin Schoeberl Martin Schoeberl Strausseng. 2-10/2/55 A-1050 Vienna, Austria Email: [email protected] Visit the accompanying web site on http://www.jopdesign.com/ and the JOP Wiki at http://www.jopwiki.com/ Published 2009 by CreateSpace, http://www.createspace.com/ All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, recording or otherwise, without the prior written permission of Martin Schoeberl.
    [Show full text]
  • A Bibliography of Publications About Virtual Machines
    A Bibliography of Publications about Virtual Machines Nelson H. F. Beebe University of Utah Department of Mathematics, 110 LCB 155 S 1400 E RM 233 Salt Lake City, UT 84112-0090 USA Tel: +1 801 581 5254 FAX: +1 801 581 4148 E-mail: [email protected], [email protected], [email protected] (Internet) WWW URL: http://www.math.utah.edu/~beebe/ 21 July 2021 Version 1.379 Abstract This bibliography records books and other publications about virtual machines. Title word cross-reference TM $32.95 [Ano97a]. 5 [ALW15, HH18]. [Cza00]. TP [LTK17]. d [XDLS15]. HV 2M [CBZ+16]. n [WZKP19]. ! [Arv02]. Π [Syr07]. V 2 [DG05]. -dienste [WF03]. -Enabled [SB18]. -Tier [WZKP19]. .NET [Fra06, Fra09, Hee07, Hog06, Hog08, Men03]. /CLI [Fra06, Fra09, Hee07, Hog06, Hog08, Siv07, Wil06]. /dev/random [Fer11]. 1 2 0 [Sim92, SCP93]. 0.9.0 [WR07]. 0.9.1 [WR08]. '01 [Ano00, Ano01a, Ano01b, USE01c, USE01d]. '02 [USE02]. '03 [ACM03b, Ert03]. '04 [Ano04a, Ano04b]. '05 [ACM05d, Vra05]. 1 [Fli77, Pul91, Sch94a, WDSW01]. 1-4 [Ano06a]. 1.x [KGG00]. '10 [Ano10, See10, VSC+10, YCL+18]. 10.0 [Bau06b]. 10GE [HB12]. 11 [Ham76, PK75a]. 11/40 [GBO87]. 11/60 [SP83]. 1100 [Kam75]. 11th [ACM04a]. 12th [IEE85]. 14-16 [ACM06f]. 148 [Ano15]. 15th [ACM06b]. 165 [IBM76]. 168 [IBM76]. 16th [BW03, Ano93]. 17th [Ano10]. 180x86 [Law00]. 19 [Cap21]. 1981 [Mar81]. 1985 [Jou85]. 1989 [Boa90, Shr89]. 1990 [ACM90]. 1991 [MR91]. 1992 [IEE92]. 1993 [IEE93a, IEE93b, JPTE94]. 19th [ACM03b, SS05]. 1st [ACM06c, Ano01a]. 2 [Bri98, Com00, Com03, Kis08]. 2-Level [ZSR+05]. 2.0 [Fra06, Ng01a, SUN97]. 2000 [ACM00]. 2001 [ACM01b].
    [Show full text]
  • Attachments: # 1 Appendix a (Joint
    Oracle America, Inc. v. Google Inc. Doc. 525 Att. 1 Appendix A Dockets.Justia.com 1 MORRISON & FOERSTER LLP MICHAEL A. JACOBS (Bar No. 111664) 2 [email protected] MARC DAVID PETERS (Bar No. 211725) 3 [email protected] DANIEL P. MUINO (Bar No. 209624) 4 [email protected] 755 Page Mill Road 5 Palo Alto, CA 94304-1018 Telephone: (650) 813-5600 / Facsimile: (650) 494-0792 6 BOIES, SCHILLER & FLEXNER LLP 7 DAVID BOIES (Admitted Pro Hac Vice) [email protected] 8 333 Main Street Armonk, NY 10504 9 Telephone: (914) 749-8200 / Facsimile: (914) 749-8300 STEVEN C. HOLTZMAN (Bar No. 144177) 10 [email protected] 1999 Harrison St., Suite 900 11 Oakland, CA 94612 Telephone: (510) 874-1000 / Facsimile: (510) 874-1460 12 ORACLE CORPORATION 13 DORIAN DALEY (Bar No. 129049) [email protected] 14 DEBORAH K. MILLER (Bar No. 95527) [email protected] 15 MATTHEW M. SARBORARIA (Bar No. 211600) [email protected] 16 500 Oracle Parkway Redwood City, CA 94065 17 Telephone: (650) 506-5200 / Facsimile: (650) 506-7114 18 Attorneys for Plaintiff ORACLE AMERICA, INC. 19 20 UNITED STATES DISTRICT COURT 21 NORTHERN DISTRICT OF CALIFORNIA 22 SAN FRANCISCO DIVISION 23 ORACLE AMERICA, INC. Case No. CV 10-03561 WHA 24 Plaintiff, JOINT TRIAL EXHIBIT LIST 25 v. 26 GOOGLE INC. 27 Defendant. 28 JOINT TRIAL EXHIBIT LIST CASE NO. CV 10-03561 WHA pa-1490805 Case No. CV 10‐03561 WHA Oracle America, Inc. v. Google Inc. JOINT EXHIBIT LIST TRIAL EXHIBIT DATE DESCRIPTION BEGPRODBATE ENDPRODBATE GOOGLE'S ORACLE'S LIMITATIONS DATE DATE NO.
    [Show full text]
  • The Java™ Platform a White Paper
    The Java™ Platform A White Paper Douglas Kramer With contributions by Bill Joy and David Spenhoff 2550 Garcia Avenue Mountain View, CA 94043 U.S.A. 408-343-1400 May 1996 Copyright Information 1995, 1996, Sun Microsystems, Inc. All rights reserved. 2550 Garcia Avenue, Mountain View, California 94043-1100 U.S.A. This document is protected by copyright. No part of this document may be reproduced in any form by any means without prior written authorization of Sun and its licensors, if any. The information described in this document may be protected by one or more U.S. patents, foreign patents, or pending applications. TRADEMARKS Sun, Sun Microsystems, Sun Microelectronics, the Sun Logo, SunXTL, JavaSoft, JavaOS, the JavaSoft Logo, Java, HotJava, JavaChips, picoJava, microJava, UltraJava, JDBC, the Java Cup and Steam Logo, “Write Once, Run Anywhere” and Solaris are trademarks or registered trademarks of Sun Microsystems, Inc. in the United States and other countries. UNIX ® is a registered trademark in the United States and other countries, exclusively licensed through X/Open Company, Ltd. Adobe ® is a registered trademark of Adobe Systems, Inc. Netscape Navigator™ is a trademark of Netscape Communications Corporation. All other product names mentioned herein are the trademarks of their respective owners. THIS DOCUMENT IS PROVIDED “AS IS” WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESS OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, OR NON-INFRINGEMENT. THIS DOCUMENT COULD INCLUDE TECHNICAL INACCURACIES OR TYPOGRAPHICAL ERRORS. CHANGES ARE PERIODICALLY ADDED TO THE INFORMATION HEREIN; THESE CHANGES WILL BE INCORPORATED IN NEW EDITIONS OF THE DOCUMENT.
    [Show full text]