NDLI: Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator

Please wait, while we are loading the content...

Commutative set: a language extension for implicit parallel programming

Data representation synthesis

Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator

Caisson: a hardware description language for secure information flow

Automatic CPU-GPU communication management and optimization

Understanding POWER multiprocessors

Probabilistic, modular and scalable inference of typestate specifications

Toward generating reducible replay logs

Finding and understanding bugs in C compilers

Spreadsheet table transformations from examples

A security policy oracle: detecting security holes using multiple API implementations

Isolating and understanding concurrency errors using reconstructed execution fragments

Garbage collection for monitoring parametric properties

Cause clue clauses: error localization using maximum satisfiability

Kremlin: rethinking and rebooting gprof for the multicore age

Path-based inductive synthesis for program inversion

Verification of semantic commutativity conditions and inverse operations on linked data structures

Precise and compact modular procedure summaries for heap manipulating programs

Taming the wildcards: combining definition- and use-site variance

Composable asynchronous events

The tao of parallelism in algorithms

Synthesizing geometry constructions

Brainy: effective selection of data structures

Steno: automatic optimization of declarative queries

Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors

Partial-coherence abstractions for relaxed memory models

Predicate abstraction and CEGAR for higher-order model checking

Higher-order test generation

Evaluating value-graph translation validation for LLVM

Systematic editing: generating program transformations from an example

Language-independent sandboxing of just-in-time compilation and self-modifying code

Automated atomicity-violation fixing

LL(*): the foundation of the ANTLR parser generator

kb-anonymity: a model for anonymized behaviour-preserving test and debugging data

Automatic parallelization via matrix multiplication

Directed incremental symbolic execution

Exploiting the commutativity lattice

On inter-procedural analysis of programs with lists and data

Taming wildcards in Java's type system

Synchronization via scheduling: techniques for efficiently managing shared state

Parallelism orchestration using DoPE: the degree of parallelism executive

Synthesis of loop-free programs

An SSA-based algorithm for optimal speculative code motion under an execution profile

Languages as libraries

EnerJ: approximate data types for safe and general low-power computation

A case for an SC-preserving compiler

Mostly-automated verification of low-level programs in computational separation logic

LeakChaser: helping programmers narrow down causes of memory leaks

Safe optimisations for shared-memory concurrent programs

Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures

NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness

ALTER: exploiting breakable dependences for parallelization

Mining hot calling contexts in small space

Separation logic + superposition calculus = heap theorem prover

Scaling abstraction refinement via pruning

Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator

Content Provider	ACM Digital Library
Author	Böhm, Igor Kyle, Stephen C. Topham, Nigel Franke, Björn Edler von Koch, Tobias J.K.
Abstract	Dynamic Binary Translation (DBT) is the key technology behind cross-platform virtualization and allows software compiled for one Instruction Set Architecture (ISA) to be executed on a processor supporting a different ISA. Under the hood, DBT is typically implemented using Just-In-Time (JIT) compilation of frequently executed program regions, also called traces. The main challenge is translating frequently executed program regions as fast as possible into highly efficient native code. As time for JIT compilation adds to the overall execution time, the JIT compiler is often decoupled and operates in a separate thread independent from the main simulation loop to reduce the overhead of JIT compilation. In this paper we present two innovative contributions. The first contribution is a generalized trace compilation approach that considers all frequently executed paths in a program for JIT compilation, as opposed to previous approaches where trace compilation is restricted to paths through loops. The second contribution reduces JIT compilation cost by compiling several hot traces in a concurrent task farm. Altogether we combine generalized light-weight tracing, large translation units, parallel JIT compilation and dynamic work scheduling to ensure timely and efficient processing of hot traces. We have evaluated our industry-strength, LLVM-based parallel DBT implementing the ARCompact ISA against three benchmark suites (EEMBC, BioPerf and SPEC CPU2006) and demonstrate speedups of up to 2.08 on a standard quad-core Intel Xeon machine. Across short- and long-running benchmarks our scheme is robust and never results in a slowdown. In fact, using four processors total execution time can be reduced by on average 11.5% over state-of-the-art decoupled, parallel (or asynchronous) JIT compilation.
Starting Page	74
Ending Page	85
Page Count	12
File Format	PDF
ISBN	9781450306638
DOI	10.1145/1993498.1993508
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2011-06-04
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Dynamic work scheduling Just-in-time compilation Dynamic binary translation Task farm Parallelization
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator

Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator (2011)

Efficient code generation in a region-based dynamic binary translator

Efficiently parallelizing instruction set simulation of embedded multi-core processors using region-based just-in-time dynamic binary translation

Sambamba: runtime adaptive parallel execution

Walkabout A Framework for Experimental Dynamic Binary Translation Investigators (2001)

Efficient code generation in a region-based dynamic binary translator

Optimising hot paths in a dynamic binary translator

A Parallel Dynamic Binary Translator for Efficient Multi-Core Simulation

Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator

Similar Documents

Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator

Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator (2011)

Efficient code generation in a region-based dynamic binary translator

Efficiently parallelizing instruction set simulation of embedded multi-core processors using region-based just-in-time dynamic binary translation

Sambamba: runtime adaptive parallel execution

Walkabout A Framework for Experimental Dynamic Binary Translation Investigators (2001)

Efficient code generation in a region-based dynamic binary translator

Optimising hot paths in a dynamic binary translator

A Parallel Dynamic Binary Translator for Efficient Multi-Core Simulation

Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator