Survey on combinatorial register allocation and instruction scheduling
2019 (English)In: ACM Computing Surveys, ISSN 0360-0300, E-ISSN 1557-7341, Vol. 52, no 3, article id 62Article in journal (Refereed) Published
Abstract [en]
Register allocation (mapping variables to processor registers or memory) and instruction scheduling (reordering instructions to increase instruction-level parallelism) are essential tasks for generating efficient assembly code in a compiler. In the past three decades, combinatorial optimization has emerged as an alternative to traditional, heuristic algorithms for these two tasks. Combinatorial optimization approaches can deliver optimal solutions according to a model, can precisely capture trade-offs between conflicting decisions, and are more flexible at the expense of increased compilation time. This article provides an exhaustive literature review and a classification of combinatorial optimization approaches to register allocation and instruction scheduling, with a focus on the techniques that are most applied in this context: integer programming, constraint programming, partitioned Boolean quadratic programming, and enumeration. Researchers in compilers and combinatorial optimization can benefit from identifying developments, trends, and challenges in the area; compiler practitioners may discern opportunities and grasp the potential benefit of applying combinatorial optimization. .
Place, publisher, year, edition, pages
Association for Computing Machinery , 2019. Vol. 52, no 3, article id 62
Keywords [en]
Combinatorial optimization, Instruction scheduling, Register allocation, Computer programming, Constraint theory, Economic and social effects, Heuristic algorithms, Program compilers, Quadratic programming, Scheduling, Assembly code, Constraint programming, Instruction level parallelism, Literature reviews, Optimal solutions, Potential benefits, Integer programming
National Category
Natural Sciences
Identifiers
URN: urn:nbn:se:ri:diva-39459DOI: 10.1145/3200920Scopus ID: 2-s2.0-85068049964OAI: oai:DiVA.org:ri-39459DiVA, id: diva2:1335986
2019-07-082019-07-082019-07-08Bibliographically approved