A Block-Based Bytecode Format to Simplify and Improve Just-in-Time - PowerPoint PPT Presentation

Aug 14, 2022 •303 likes •384 views

A Block-Based Bytecode Format to Simplify and Improve Just-in-Time Compilation Christian Wimmer cwimmer@uci.edu www.christianwimmer.at June 2009 Department of Computer Science University of California, Irvine Method Granularity Software

A Block-Based Bytecode Format to Simplify and Improve Just-in-Time Compilation Christian Wimmer cwimmer@uci.edu www.christianwimmer.at June 2009 Department of Computer Science University of California, Irvine
Method Granularity Software Engineering Compiler Optimization Unstructured Bytecodes Method Granularity JIT Compiler Design derived from Static Compilers Method Structure used in Compiler because “it’s there” 2
Block Granularity Software Engineering Compiler Optimization Block-Based Bytecodes with Structure Information Novel JIT Compilation Strategies using Profiling Data Compilation Units based on Execution Frequency 3
Compiler Research Profiling-Based Method Inlining Partial Method Inlining Region-Based Compilation On-Stack Replacement Deoptimization Trace Compilation 4
Main Idea and Challenges Definition of a Block-Based Bytecode Format Execution in Virtual Machine Source Languages Efficient Interpretation For Static and Dynamic Languages Simple Compilation Functional Languages Profile Information Dynamic Method Calls Trace Compilation Closures, Tail Calls, … Design Decisions Safety and Security High-Level Structure, e.g., Loops Easy Verification “Calling Convention” of Blocks Inherently Safe Code Formats Stack Based vs. Register Based Static Single Assignment Form? 5
SPECjvm2008 – mpegaudio Method Execution Frequency 100 Methods 150 200 Block Execution Frequency 100 Methods 150 200 50 Blocks Execution Frequency Relative to Most Executed 100% 0.1% 100 5% 0% 1 Iteration / 1 Operation of mpegaudio benchmark from SPECjvm2008 Single-block methods omitted Most executed method: javazoom.jl.decoder.huffcodetab.huffman_decoder 20,406,507 loop iterations / 5,078,337 calls 6 150
Summary Software Engineering Compiler Optimization Method Structuring Block Structuring Readability Execution Frequency Extendibility Feedback-Directed Optimization Reusability Profiling … … Methods hide the real focus where compiler optimizations should be applied 7

Recommend

1 Java compilation model Java bytecode format void spin () { int i; for (i = 0; i < 100;

The Java programming environment Introduction to JVM Based on material produced by Bill Venners 1 2 The Java platform The role of the virtual machime byte code generated by the Java front-end is an intermediate representation (IR)

835 views • 3 slides

Compiling Techniques Lecture 10: Introduction to Java ByteCode Christophe Dubach 10 November

Introduction Java ByteCode Details Compiling Techniques Lecture 10: Introduction to Java ByteCode Christophe Dubach 10 November 2015 Christophe Dubach Compiling Techniques Introduction Java ByteCode Details Coursework: Block and

570 views • 23 slides

More Block Device Configuration Max Reitz <mreitz@redhat.com> Kevin Wolf

More Block Device Configuration Max Reitz <mreitz@redhat.com> Kevin Wolf <kwolf@redhat.com> KVM Forum 2014 Part I What we have BlockDriverState BDS BDS types Protocol Format Simple BDS tree Guest device IDE qcow2 Format BDS

797 views • 32 slides

Swift: A Register-based JIT Compiler for Embedded JVMs Yuan Zhang, Min Yang, Bo Zhou, Zhemin

Swift: A Register-based JIT Compiler for Embedded JVMs Yuan Zhang, Min Yang, Bo Zhou, Zhemin Yang, Weihua Zhang, Binyu Zang Fudan University Eighth Conference on Virtual Execution Environment (VEE 2012) DEX: a new Java bytecode format Android

573 views • 39 slides

Breaking The FF3 Format- Preserving Encryption Standard Over Small Domains F. Betl Durak

Breaking The FF3 Format- Preserving Encryption Standard Over Small Domains F. Betl Durak Serge Vaudenay 1 Block Ciphers {0,1} 128 0x149E00A50F0F00D6 K AES {0,1} 128 0xA4F22C1B78HE90A9 2 Block Ciphers {0,1} 128

1.32k views • 91 slides

Specification language and WP calculus for Java Bytecode. joint work in progress Mariela

Specification language and WP calculus for Java Bytecode. joint work in progress Mariela Pavlova, Lilian Burdy INRIA Sophia-Antipolis spopS p. 1 Motivation Proof Carrying ByteCode Proof obligations. What is the language in which

443 views • 31 slides

Decompiling Boolean Expressions from Java TM Bytecode Mangala Gowri Nanda (IBM-IRL) and S.

Decompiling Boolean Expressions from JavaTM Bytecode Decompiling Boolean Expressions from Java TM Bytecode Mangala Gowri Nanda (IBM-IRL) and S. Arun-Kumar (IIT Delhi) Decompiling Boolean Expressions from JavaTM Bytecode Introduction The

570 views • 37 slides

Link-Time Enforcement of Confined Types for JVM Bytecode Philip W. L. Fong pwlfong@cs.uregina.ca

Link-Time Enforcement of Confined Types for JVM Bytecode Philip W. L. Fong pwlfong@cs.uregina.ca Department of Computer Science University of Regina Regina, Saskatchewan, Canada Overview Motivation Confined Types A Bytecode-level

348 views • 34 slides

Block-Based Adaptive Mesh Refinement scheme based on numerical density of entropy production for

Block-Based Adaptive Mesh Refinement scheme based on numerical density of entropy production for conservation laws and applications. Mehmet Ersoy 1 , Fr ed eric Golay, Lyudmyla Yushchenko, Universit e de Toulon, IMATH, and Damien Sous,

1.55k views • 102 slides

Introducing EF Block TM Introduction to EF Block Building Materials Overview of EF

Introducing EF Block TM Introduction to EF Block Building Materials Overview of EF Block and the competition The EF Block System Proprietary (Patent Pending) Plant, Product and Processes of the EF Block system Homes

792 views • 34 slides

SVG SVG Scalable Vector Graphics (SVG) is an XML-based vector image format for two-

SVG SVG Scalable Vector Graphics (SVG) is an XML-based vector image format for two- dimensional graphics with support for interactivity and animation. The SVG specification is an open standard developed by the World Wide Web Consortium (W3C)

633 views • 13 slides

How to find, filter, and format Evidence-based Information on the Benefits and on the Risks of

How to find, filter, and format Evidence-based Information on the Benefits and on the Risks of Medicines Prof. Dr. R. Vander Stichele Heymans Institute of Pharmacology University of Ghent, Belgium Brussels, UCL , December 16, 2013 Disclosure

436 views • 22 slides

Block Ciphers Eli Biham - May 3, 2005 c 83 Block Ciphers (4) Block Ciphers and Stream

Block Ciphers Eli Biham - May 3, 2005 c 83 Block Ciphers (4) Block Ciphers and Stream Ciphers In practical ciphers the plaintext M is divided into fixed-length blocks M = M 1 M 2 . . . M N . Then, each block M i is encrypted to the

1.11k views • 63 slides

Deck-Based Wide Block Cipher Modes and an Exposition of the Blinded Keyed Hashing Model Aldo

Deck-Based Wide Block Cipher Modes and an Exposition of the Blinded Keyed Hashing Model Aldo Gunsing, Joan Daemen and Bart Mennink FSE 2020 1 / 15 Block cipher K n n P B C Plaintext P encrypted to ciphertext C with secret key K

632 views • 41 slides

Cryptanalysis of Modern Symmetric-Key Block Ciphers [Based on A Tutorial on Linear and

Cryptanalysis of Modern Symmetric-Key Block Ciphers [Based on A Tutorial on Linear and Differential Cryptanalysis by Howard Heys.] Modern block ciphers (like DES and AES): - proceed in rounds - each round has its own round key or subkey

644 views • 21 slides

A/B BLOCK SCHEDULING 2015-2016 BLOCK DISCUSSION Weve been discussing researching the

A/B BLOCK SCHEDULING 2015-2016 BLOCK DISCUSSION Weve been discussing researching the block schedule since 2011-2012. A/B - Four-period day. 84 minute block All students must take 8 courses Special circumstances (IEP

141 views • 13 slides

Combining Compression Functions and Block Cipher-Based Hash Functions Asiacrypt 2006 Thomas

Introduction The Framework Known Generic Attacks Against Multiple Block Length Hashing How to Avoid Known Generic Attacks ? Conclusions Combining Compression Functions and Block Cipher-Based Hash Functions Asiacrypt 2006 Thomas Peyrin 1 ,

655 views • 44 slides

B.b) Block Ciphers 2 B.24 Definition An encryption algorithm Enc: {0,1} n K {0,1} n

1 B.b) Block Ciphers 2 B.24 Definition An encryption algorithm Enc: {0,1} n K {0,1} n is called a block cipher . The positive integer n denotes the block size ( block length ). 3 B.25 Remark and Convention The encryption

709 views • 67 slides

De DeCO: : A DS DSP Block Based FPGA Accelerator Overlay Wi With Low Overhead Interconnect Ab

De DeCO: : A DS DSP Block Based FPGA Accelerator Overlay Wi With Low Overhead Interconnect Ab Abhishek Kumar Ja Jain, Xiangwei Li, Pranjul Singhai, Douglas L. Maskell School of Computer Science and Engineering Nanyang Technological

564 views • 39 slides

A photolabile amino acid building block based on a new fluorescent functionalised

[a001] A photolabile amino acid building block based on a new fluorescent functionalised coumarin-6-yl-alanine Andrea S. C. Fonseca, M. Sameiro T. Gonalves and Susana P. G. Costa* Centro de Qumica, Universidade do Minho, Campus de Gualtar,

89 views • 7 slides

Strategic Issues for Binary/File Format ILDG4 May 21 2004, T.Yoshie CCS,Tsukuna Definition

Strategic Issues for Binary/File Format ILDG4 May 21 2004, T.Yoshie CCS,Tsukuna Definition binary format: array format of config. U(3,3,X,,,) numerical format (precision,IEEE,byte-order) file format: format of a file

88 views • 8 slides

Chapter 16 Chapter 16 The Elements: The he Elements: The d -Block -Block The d -Block

Chapter 16 Chapter 16 The Elements: The he Elements: The d -Block -Block The d -Block Elements and Their Compounds Select Elements: A Survey Coordination Compounds The Electronic Structure of Complexes 1 The d-Block

516 views • 15 slides

Block ciphers What is a block cipher? Dan Boneh Block

Online Cryptography Course

1.24k views • 65 slides

On the Challenges in Extracting Metrics from Java Bytecode A/Prof. Jean-Guy Schneider

On the Challenges in Extracting Metrics from Java Bytecode A/Prof. Jean-Guy Schneider jschneider@swin.edu.au Where it all began 12.7: 0.6973 .7 12.6: 0.6443 Gini Coefficient of Synthetic Fields .6 12.5: 0.5820 .5 4.7:

385 views • 25 slides