Abstract:This paper describes a new approach to register-pressure-aware instruction scheduling, using Ant Colony Optimization (ACO) . ACO is a nature-inspired optimization technique that researchers have successfully applied to NP-hard sequencing problems like the Traveling Salesman Problem (TSP) and its derivatives. In this work, we describe an ACO algorithm for solving the long-standing compiler optimization problem of balancing Instruction-Level Parallelism (ILP) and Register Pressure (RP) in pre-allocation instruction scheduling. Three different cost functions are studied for estimating RP during instruction scheduling. The proposed ACO algorithm is implemented in the LLVM open-source compiler, and its performance is evaluated experimentally on three different machines with three different instruction-set architectures: Intel x86, ARM, and AMD GPU. The proposed ACO algorithm is compared to an exact Branch-and-Bound (B&B) algorithm proposed in previous work. On x86 and ARM, both algorithms are evaluated relative to LLVM's generic scheduler, while on the AMD GPU, the algorithms are evaluated relative to AMD's production scheduler. The experimental results show that using SPECrate 2017 Floating Point, the proposed algorithm gives geometric-mean improvements of 1.13% and 1.25% in execution speed on x86 and ARM, respectively, relative to the LLVM scheduler. Using PlaidML on an AMD GPU, it gives a geometric-mean improvement of 7.14% in execution speed relative to the AMD scheduler. The proposed ACO algorithm gives approximately the same execution-time results as the B&B algorithm, with each algorithm outperforming the other on a substantial number of hard scheduling regions. ACO gives better results than B&B on many large instances that B&B times out on. Both ACO and B&B outperform the LLVM algorithm on the CPU and the AMD algorithm on the GPU.

Hybrid Optimization/heuristic Instruction Scheduling for Programmable Accelerator Codesign

Efficient Tasks Scheduling in Multicore Systems Integrated with Hardware Accelerators

Compiler Discovered Dynamic Scheduling of Irregular Code in High-Level Synthesis

Optimizing VLIW Instruction Scheduling via a Two-Dimensional Constrained Dynamic Programming

Scheduling to timing optimization for a novel high-level synthesis approach

Priority-Aware Near-Optimal Scheduling for Heterogeneous Multi-Core Systems with Specialized Accelerators

Register-Pressure-Aware Instruction Scheduling Using Ant Colony Optimization

Optimized co-scheduling of mixed-precision neural network accelerator for real-time multitasking applications

AHA: An Agile Approach to the Design of Coarse-Grained Reconfigurable Accelerators and Compilers

Task Scheduling Algorithm Of Fpga For On-Board Reconfigurable Coprocessor

Memory Partitioning and Scheduling Co-Optimization in Behavioral Synthesis

A Hybrid Prefetch Scheduling Heuristic to Minimize at Run-Time the Reconfiguration Overhead of Dynamically Reconfigurable Hardware

Bayesian Optimization for Efficient Accelerator Synthesis

Hybrid Static/Dynamic Schedules for Tiled Polyhedral Programs

A hybrid genetic algorithm for tasks scheduling in heterogeneous computing systems

Real-Time Scheduling Upon a Host-Centric Acceleration Architecture with Data Offloading

Automatic multi-dimensional pipelining for high-level synthesis of dataflow accelerators

Latency Minimal Scheduling with Maximum Instruction Parallelism

Modelling and Developing Co-scheduling Strategies on Multicore Processors

Lattice-based Scheduling for Multi-FPGA Systems

Hardware Assistant Scheduling for Synergistic Core Tasks on Embedded Heterogeneous Multi-core System?