A New Compilation Flow for Software-Defined Radio Applications on Heterogeneous MPSoCs

Mickaël Dardaillon (1) , Kevin Marquet (1) , Tanguy Risset (1) , Jérôme Martin (2) , Henri-Pierre Charles (3, 4)

1 SOCRATE - Software and Cognitive radio for telecommunications
2 CEA-LETI - Commissariat à l'énergie atomique et aux énergies alternatives - Laboratoire d'Electronique et de Technologie de l'Information
3 DACLE-LIST - Département d'Architectures, Conception et Logiciels Embarqués-LIST
4 UGA [2016-2019] - Université Grenoble Alpes [2016-2019]

The advent of portable software-defined radio (SDR) technology is tightly linked to the resolution of a difficult problem: efficient compilation of signal processing applications on embedded computing devices. Modern wireless communication protocols use packet processing rather than infinite stream processing and also introduce dependencies between data value and computation behavior leading to dynamic dataflow behavior. Recently, parametric dataflow has been proposed to support dynamicity while maintaining the high level of analyzability needed for efficient real-life implementations of signal processing computations. This article presents a new compilation flow that is able to compile parametric dataflow graphs. Built on the LLVM compiler infrastructure, the compiler offers an actor-based C++ programming model to describe parametric graphs, a compilation front end for graph analysis, and a back end that currently matches the Magali platform: a prototype heterogeneous MPSoC dedicated to LTE-Advanced. We also introduce an innovative scheduling technique, called microscheduling, allowing one to adapt the mapping of parametric dataflow programs to the specificities of the different possible MPSoCs targeted. A specific focus on FIFO sizing on the target architecture is presented. The experimental results show compilation of 3GPP LTE-Advanced demodulation on Magali with tight memory size constraints. The compiled programs achieve performance similar to handwritten code. This work was sponsored by Région Rhône Alpes ADR 11 01302401. Part of this work was published as M. Dardaillon, K. Marquet, T. Risset, J. Martin, and H.-P. Charles. 2014. A compilation flow for parametric dataflow: Programming model, scheduling, and application to heterogeneous MPSoC. " In Proceedings of the International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES'14). This work extends the previous publication by providing a thorough presentation of a new front end technique, introducing a new Promela model for buffer size verification, and updated results reflecting the subtantial improvements provided by the new Promela model.

Mots clés: Compiler; Programming model; Additional Key Words and Phrases: Dataflow; Retargetable compilers; Heterogeneous MPSoC; CCS Concepts: r Software and its engineering → Data flow languages; Scheduling; Ing

Domaines: Informatique

Mickaël Dardaillon, Kevin Marquet, Tanguy Risset, Jérôme Martin, Henri-Pierre Charles. A New Compilation Flow for Software-Defined Radio Applications on Heterogeneous MPSoCs. ACM Transactions on Architecture and Code Optimization, 2016, 13 (2), ⟨10.1145/2910583⟩. ⟨hal-01396143⟩