More Web Proxy on the site http://driver.im/

short-paper

Superoptimization of WebAssembly bytecode

Authors:

Javier Cabrera Arteaga,

Shrinish Donde,

Orestis Floros,

Martin MonperrusAuthors Info & Claims

Programming '20: Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming

Pages 36 - 40

https://doi.org/10.1145/3397537.3397567

Published: 04 August 2020 Publication History

Abstract

Motivated by the fast adoption of WebAssembly, we propose the first functional pipeline to support the superoptimization of WebAssembly bytecode. Our pipeline works over LLVM and Souper. We evaluate our superoptimization pipeline with 12 programs from the Rosetta code project. Our pipeline improves the code section size of 8 out of 12 programs. We discuss the challenges faced in superoptimization of WebAssembly with two case studies.

References

[1]

Sorav Bansal and Alex Aiken. 2006. Automatic Generation of Peephole Superoptimizers. In Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems (San Jose, California, USA) (ASPLOS XII). Association for Computing Machinery, New York, NY, USA, 394–403.

Digital Library

[2]

Rudy Bunel, Alban Desmaison, M. Pawan Kumar, Philip H. S. Torr, and Pushmeet Kohli. 2016. Learning to superoptimize programs. arXiv e-prints 1, 1, Article arXiv:1611.01787 (Nov. 2016), 10 pages. arXiv: cs.LG/1611.01787

[3]

Google Chrome. 2013. Welcome to Native Client - Google Chrome. Retrieved Dec 27, 2019 from https://developer.chrome.com/native-client

[4]

Berkeley Churchill, Rahul Sharma, JF Bastien, and Alex Aiken. 2017. Sound Loop Superoptimization for Google Native Client. SIGPLAN Not. 52, 4 (April 2017), 313–326.

Digital Library

[5]

Emscripten Community. 2015. emscripten-core/emscripten. Retrieved 2019-12- 11 from https://github.com/emscripten-core/emscripten

[6]

LLVM community. 2019. LLVM 10 documentation. Retrieved 2019-12-12 from http://llvm.org/docs/

[7]

World Wide Web Consortium. 2016. WebAssembly becomes a W3C Recommendation. Retrieved Dec 5, 2019 from https://www.w3.org/2019/12/pressreleasewasm-rec.html

[8]

Leonardo de Moura and Nikolaj Bjørner. 2008. Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems, C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 337–340.

Digital Library

[9]

Sumit Gulwani, Susmit Jha, Ashish Tiwari, and Ramarathnam Venkatesan. 2011. Synthesis of Loop-Free Programs. SIGPLAN Not. 46, 6 (June 2011), 62–73.

Digital Library

[10]

Robbert Gurdeep Singh and Christophe Scholliers. 2019. WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers. In Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes (Athens, Greece) (MPLR 2019). ACM, New York, NY, USA, 27–36.

Digital Library

[11]

Andreas Haas, Andreas Rossberg, Derek L. Schuff, Ben L. Titzer, Michael Holman, Dan Gohman, Luke Wagner, Alon Zakai, and JF Bastien. 2017. Bringing the Web up to Speed with WebAssembly. SIGPLAN Not. 52, 6 (June 2017), 185–200.

Digital Library

[12]

Massalin Henry. 1987. Superoptimizer: a look at the smallest program. ACM SIGARCH Computer Architecture News 15, 5 (Nov 1987), 122–126.

[13]

org/10.1145/36177.36194

Digital Library

[14]

LLVM. 2019. WebAssembly lld port — lld 10 documentation. https://lld.llvm. org/WebAssembly.html

[15]

WebAssembly. Development of WebAssembly and associated infrastructure. 2017. emscripten-core/emscripten. Retrieved 2019-12-11 from https://github.com/ WebAssembly/binaryen

[16]

Raimondas Sasnauskas, Yang Chen, Peter Collingbourne, Jeroen Ketema, Gratian Lup, Jubi Taneja, and John Regehr. 2017. Souper: A Synthesizing Superoptimizer. arXiv e-prints 2, 1, Article arXiv:1711.04422 (Nov. 2017), 10 pages. arXiv: cs.PL/1711.04422

Cited By

Waseem MDas TAhmad ALiang PMikkonen T(2024)Issues and Their Causes in WebAssembly Applications: An Empirical StudyProceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering10.1145/3661167.3661227(170-180)Online publication date: 18-Jun-2024
https://dl.acm.org/doi/10.1145/3661167.3661227
Albert EGarcia de la Banda MHernández-Cerezo AIgnatiev ARubio AStuckey P(2024)SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT TechniquesProceedings of the ACM on Programming Languages10.1145/36564358:PLDI(1437-1462)Online publication date: 20-Jun-2024
https://dl.acm.org/doi/10.1145/3656435
Cabrera-Arteaga JFitzgerald NMonperrus MBaudry B(2024) Wasm-MutateComputers and Security10.1016/j.cose.2024.103731139:COnline publication date: 16-May-2024
https://dl.acm.org/doi/10.1016/j.cose.2024.103731
Show More Cited By

Index Terms

Superoptimization of WebAssembly bytecode
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
  2. Software notations and tools
    1. Compilers
      1. Retargetable compilers
      2. Source code generation

Recommendations

Accelerate JavaScript applications by cross-compiling to WebAssembly
VMIL 2017: Proceedings of the 9th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages

Although the performance of today's JavaScript engines is sufficient for most web applications, faster and more predictable runtimes could be desired for performance-critical web code. Therefore, we present Speedy.js, a cross-compiler that translates ...
Insights into WebAssembly: compilation performance and shared code caching in Node.js
CASCON '20: Proceedings of the 30th Annual International Conference on Computer Science and Software Engineering

Alongside JavaScript, V8 and Node.js have become essential components of contemporary web and cloud applications. With the addition of WebAssembly to the web, developers finally have a fast platform for performance-critical code. However, this addition ...
Peephole superoptimization

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

Programming '20: Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming

March 2020

228 pages

ISBN:9781450375078

DOI:10.1145/3397537

General Chair:
Ademar Aguiar
Universidade do Porto, Portugal
,
Program Chairs:
Shigeru Chiba
University of Tokyo, Japan
,
Elisa Gonzalez Boix
Vrije Universiteit Brussel, Belgium

Copyright © 2020 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 04 August 2020

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Short-paper

Funding Sources

Stiftelsen för Strategisk Forskning

Conference

<Programming> '20

<Programming> '20: 4th International Conference on the Art, Science, and Engineering of Programming

March 23 - 26, 2020

Porto, Portugal

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
263
Total Downloads

Downloads (Last 12 months)45
Downloads (Last 6 weeks)4

Reflects downloads up to 26 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Waseem MDas TAhmad ALiang PMikkonen T(2024)Issues and Their Causes in WebAssembly Applications: An Empirical StudyProceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering10.1145/3661167.3661227(170-180)Online publication date: 18-Jun-2024
https://dl.acm.org/doi/10.1145/3661167.3661227
Albert EGarcia de la Banda MHernández-Cerezo AIgnatiev ARubio AStuckey P(2024)SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT TechniquesProceedings of the ACM on Programming Languages10.1145/36564358:PLDI(1437-1462)Online publication date: 20-Jun-2024
https://dl.acm.org/doi/10.1145/3656435
Cabrera-Arteaga JFitzgerald NMonperrus MBaudry B(2024) Wasm-MutateComputers and Security10.1016/j.cose.2024.103731139:COnline publication date: 16-May-2024
https://dl.acm.org/doi/10.1016/j.cose.2024.103731
Toufie ZKabaso B(2024)Os noise mitigations for benchmarking web browser execution environment performanceDiscover Computing10.1007/s10791-024-09471-427:1Online publication date: 29-Oct-2024
https://doi.org/10.1007/s10791-024-09471-4
Stiévenart QBinkley DDe Roover C(2023)Dynamic Slicing of WebAssembly Binaries2023 IEEE International Conference on Software Maintenance and Evolution (ICSME)10.1109/ICSME58846.2023.00020(84-96)Online publication date: 1-Oct-2023
https://doi.org/10.1109/ICSME58846.2023.00020
Song SPark SKwon D(2023)metaSafer: A Technique to Detect Heap Metadata Corruption in WebAssemblyIEEE Access10.1109/ACCESS.2023.332781711(124887-124898)Online publication date: 2023
https://doi.org/10.1109/ACCESS.2023.3327817
Cao SHe NGuo YWang H(2023)BREWasm: A General Static Binary Rewriting Framework for WebAssemblyStatic Analysis10.1007/978-3-031-44245-2_8(139-163)Online publication date: 24-Oct-2023
https://doi.org/10.1007/978-3-031-44245-2_8
Stiévenart QBinkley DDe Roover CDwyer MDamian DZeller A(2022)Static stack-preserving intra-procedural slicing of webassembly binariesProceedings of the 44th International Conference on Software Engineering10.1145/3510003.3510070(2031-2042)Online publication date: 21-May-2022
https://dl.acm.org/doi/10.1145/3510003.3510070
Hilbig ALehmann DPradel M(2021)An Empirical Study of Real-World WebAssembly BinariesProceedings of the Web Conference 202110.1145/3442381.3450138(2696-2708)Online publication date: 19-Apr-2021
https://dl.acm.org/doi/10.1145/3442381.3450138

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents