Verifying Data Flow Optimizations forJust-in-Time Compilation
نویسنده
چکیده
Annotations are often added to mobile code to reduce the optimization burden of just-intime compilers. However, these annotations are not checked for correctness and must be trusted—incorrect or malicious annotations could lead to the generation of incorrect or insecure code. We present a timeand space efficient method for verifying the results of the large class of data flow optimizations. This allows the safe movement of computationintensive optimizations away from the code consumer towards the code producer. email address: [email protected] © 2002 Sun Microsystems, Inc. All rights reserved. The SML Technical Report Series is published by Sun Microsystems Laboratories, of Sun Microsystems, Inc. Printed in U.S.A. Unlimited copying without fee is permitted provided that the copies are not made nor distributed for direct commercial advantage, and credit to the source is given. Otherwise, no part of this work covered by copyright hereon may be reproduced in any form or by any means graphic, electronic, or mechanical, including photocopying, recording, taping, or storage in an information retrieval system, without the prior written permission of the copyright owner. TRADEMARKS Sun, Sun Microsystems, the Sun logo, the Solaris Operating Environment, J2ME, and Java are trademarks or registered trademarks 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. UNIX is a registered trademark in the United States and other countries, exclusively licensed through X/Open Company, Ltd. For information regarding the SML Technical Report Series, contact Jeanie Treichel, Editor-in-Chief . All technical reports are available online on our Website, http://research.sun.com/techrep/. Verifying Data Flow Optimizations for Just-in-Time Compilation
منابع مشابه
A Verifiable SSA Program Representation for Aggressive Compiler Optimization Extended
We present a verifiable low-level program representation to embed, propagate, and preserve safety information in high performance compilers for safe languages such as Java and C#. Our representation precisely encodes safety information via static single-assignment (SSA) [11, 3] proof variables that are first-class constructs in the program. We argue that our representation allows a compiler to ...
متن کاملOptimizing the Use of High Performance Software Libraries
This paper describes how the use of software libraries, which is prevalent in high performance computing, can benefit from compiler optimizations in much the same way that conventional computer languages do. We explain how the compilation of these informal languages differs from the compilation of more conventional computer languages. In particular, such compilation requires precise pointer ana...
متن کاملVerifying Information Confidentiality under Query Optimization in HotCRP
HotCRP is a conference submission and review system with complex information flow policies and an expressive search capability. As a result, optimizing the search process is technically difficult and can result in information leaks if the optimization process returns either more or fewer papers than the unoptimized process. In particular, optimizations that transfer query burden across a saniti...
متن کاملProducer-Side Platform-Independent Optimizations and Their Effects on Mobile-Code Performance
Portable mobile code is often executed by a host virtual machine using just-in-time compilation. In this context, the compilation time in the host virtual machine is critical. This compilation time would be reduced if optimizations can be performed ahead-of-time before distribution of the mobile code. Unfortunately, the portable nature of mobile code limits aheadof-time optimizations to those t...
متن کاملPre- and Post Selection of Compiler Optimizations by Program Execution
In this paper, we investigate the combined use of static techniques and dynamic feedback information to achieve a high level of optimization of both compiler eeciency and code performance. In previous work, we have introduced a new compiler approach, iterative compilation, to select the best tile sizes and unrolling factors. In this approach, many versions of programs are generated and their wo...
متن کامل