NDLI: Polyhedral parallelization of binary code

Content Provider	ACM Digital Library
Author	Pradelle, Benoit Ketterlin, Alain Clauss, Philippe
Copyright Year	2012
Abstract	Many automatic software parallelization systems have been proposed in the past decades, but most of them are dedicated to source-to-source transformations. This paper shows that parallelizing executable programs is feasible, even if they require complex transformations, and in effect decouples parallelization from compilation, for example, for closed-source or legacy software, where binary code is the only available representation. We propose an automatic parallelizer, which is able to perform advanced parallelization on binary code. It first parses the binary code and extracts high-level information. From this information, a C program is generated. This program captures only a subset of the program semantics, namely, loops and memory accesses. This C program is then parallelized using existing, state-of-the-art parallelizers, including advanced polyhedral parallelizers. The original program semantics is then re-injected, and the transformed parallel loop nests are recompiled by a standard C compiler. We show on the PolyBench benchmark suite that our system successfully detects and parallelizes almost all the loop nests from the binary code, using a recent polyhedral loop parallelizer as a backend. The paper ends by elaborating a strategy to parallelize more complex programs, such as those containing non-linear accesses to memory, and provides a few example case-studies.
Starting Page	1
Ending Page	21
Page Count	21
File Format	PDF
ISSN	15443566
e-ISSN	15443973
DOI	10.1145/2086696.2086718
Volume Number	8
Issue Number	4
Journal	ACM Transactions on Architecture and Code Optimization (TACO)
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2012-01-26
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Content Type	Text
Resource Type	Article
Subject	Hardware and Architecture Information Systems Software

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

The Polyhedral Model of Nonlinear Loops

Variable Liberalization

Compiler/Runtime Framework for Dynamic Dataflow Parallelization of Tiled Programs

Polyhedral parallel code generation for CUDA

Feedback-driven binary code diversification

Impact of high-level transformations within the ROCCC framework

Optimizing Indirect Branches in Dynamic Binary Translators

MAMBO: A Low-Overhead Dynamic Binary Modification Tool for ARM

Parallelizing Sequential Code

Polyhedral parallelization of binary code

Similar Documents

The Polyhedral Model of Nonlinear Loops

Variable Liberalization

Compiler/Runtime Framework for Dynamic Dataflow Parallelization of Tiled Programs

Polyhedral parallel code generation for CUDA

Feedback-driven binary code diversification

Impact of high-level transformations within the ROCCC framework

Optimizing Indirect Branches in Dynamic Binary Translators

MAMBO: A Low-Overhead Dynamic Binary Modification Tool for ARM

Parallelizing Sequential Code

Polyhedral parallelization of binary code