From C/C++ Code to High-Performance Dataflow Circuitsстатья из журнала
Аннотация: High-level synthesis (HLS) tools typically generate statically scheduled datapaths. Static scheduling implies that the resulting circuits have a hard time exploiting parallelism in code with potential memory dependences, with control dependences, or where performance is limited by long latency control decisions. In this work, we describe an HLS approach which generates dynamically scheduled, dataflow circuits out of imperative code. We detail a complete set of rules to transform a standard compiler intermediate representation into a high-performance dataflow circuit that is able to dynamically resolve memory dependences and adapt its behavior on the fly to particular control flow decisions and operation latencies. Compared to a traditional HLS tool, the result is a different tradeoff between performance and circuit complexity: statically scheduled circuits display the best performance per cost in regular applications, but general-purpose, irregular, and control-dominated computing tasks require the runtime flexibility of dynamic scheduling. Therefore, enabling dynamic behavior in HLS is key to dealing with the increasing computational demands of new contexts and broader application domains.
Год издания: 2021
Авторы: Lana Josipović, Andrea Guerrieri, Paolo Ienne
Издательство: Institute of Electrical and Electronics Engineers
Источник: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Ключевые слова: Embedded Systems Design Techniques, Parallel Computing and Optimization Techniques, Real-Time Systems Scheduling
Другие ссылки: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (PDF)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (HTML)
Repository for Publications and Research Data (ETH Zurich) (PDF)
Repository for Publications and Research Data (ETH Zurich) (HTML)
Infoscience (Ecole Polytechnique Fédérale de Lausanne) (PDF)
Infoscience (Ecole Polytechnique Fédérale de Lausanne) (HTML)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (HTML)
Repository for Publications and Research Data (ETH Zurich) (PDF)
Repository for Publications and Research Data (ETH Zurich) (HTML)
Infoscience (Ecole Polytechnique Fédérale de Lausanne) (PDF)
Infoscience (Ecole Polytechnique Fédérale de Lausanne) (HTML)
Открытый доступ: hybrid
Том: 41
Выпуск: 7
Страницы: 2142–2155