Automatic Dataflow Model Extraction from Modal Real-Time Stream Processing Applications

作者：Geuns Stefan J^*; Hausmans Joost P H M; Bekooij Marco J G

来源：ACM Sigplan Notices, 2013, 48(5): 143-152.

DOI：10.1145/2499369.2465561

• Design
• Theory
• Real-time
• Dataflow
• MPSoC
• Automatic Parallelization

Many real-time stream processing applications are initially described as a sequential application containing while-loops, which execute for an unknown number of iterations. These modal applications have to be executed in parallel on an MPSoC system in order to meet their real-time throughput constraints. However, no suitable approach exists that can automatically derive a temporal analysis model from a sequential specification containing while-loops with an unknown number of iterations. %26lt;br%26gt;This paper introduces an approach to the automatic generation of a Structured Variable-rate Phased Dataflow (SVPDF) model from a sequential specification of a modal application. The real-time requirements of an application can be analyzed despite the presence of while-loops with an unknown number of iterations. It is shown that an algorithm that has a polynomial time computational complexity can be applied on the generated SVPDF model to determine whether a throughput constraint can be met. The enabler for the automatic generation of an SVPDF model is the decoupling of synchronization between tasks that contain different while-loops. A DVB-T radio transceiver illustrates the derivation of the SVPDF model.

• 出版日期2013-5