Abstract
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.
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.
- M. Bamakhrama and T. Stefanov. Hard-real-time scheduling of data-dependent tasks in embedded streaming applications. In Proc. of the ACM Int'l Conf. on Embedded Software (EMSOFT), pages 195--204. IEEE, 2011. Google Scholar
Digital Library
- T. Bijlsma. Automatic parallelization of Nested Loop Programs - For non-manifest real-time stream processing applications. PhD thesis, University of Twente, 2011.Google Scholar
- T. Bijlsma, M. Bekooij, P. Jansen, and G. Smit. Communication between nested loop programs via circular buffers in an embedded multiprocessor system. In Proc. of the Int'l Workshop on Software & Compilers for Embedded Systems (SCOPES), pages 33--42. ACM, 2008. Google Scholar
Cross Ref
- J. Buck and E. Lee. Scheduling dynamic dataflow graphs with bounded memory using the token flow model. In IEEE Int'l Conf. on Acoustics, Speech, and Signal Processing (ICASSP), volume 1, pages 429--432. IEEE, 1993. Google Scholar
Digital Library
- A. Dasdan. Experimental analysis of the fastest optimum cycle ratio and mean algorithms. ACM Transactions on Design Automation of Electronic Systems (TODAES), 9 (4): 385--418, 2004. Google Scholar
Digital Library
- P. Derler, T. Feng, E. Lee, S. Matic, H. Patel, Y. Zhao, and J. Zou. PTIDES: A programming model for distributed real-time embedded systems. University of California, Berkeley, EECS Technical Report. EECS-2008-72, 2008.Google Scholar
- M. Geilen, S. Tripakis, and M. Wiggers. The earlier the better: A theory of timed actor interfaces. In Int'l Conf. on Hybrid Systems: Computation and Control, April 2011. Google Scholar
Digital Library
- S. Geuns, M. Bekooij, T. Bijlsma, and H. Corporaal. Parallelization of while loops in nested loop programs for shared-memory multiprocessor systems. Design, Automation and Test in Europe (DATE), 2011.Google Scholar
- S. Geuns, J. Hausmans, and M. Bekooij. Sequential specification of time-aware stream processing applications. ACM Transactions on Embedded Computing Systems (TECS), 12 (1s): 35, 2013. Google Scholar
Digital Library
- J. Kodosky, J. MacCrisken, and G. Rymar. Visual programming using structured data flow. In Proc' IEEE Workshop on Visual Languages, pages 34--39. IEEE, 1991. ISBN 0818623306.Google Scholar
Cross Ref
- H. Kopetz and G. Bauer. The time-triggered architecture. Proc. of the IEEE, 91 (1): 112--126, 2003.Google Scholar
- E. Lee and D. Messerschmitt. Synchronous data flow. Proc. of the IEEE, 75 (9): 1235--1245, 1987.Google Scholar
Cross Ref
- E. Lee and T. Parks. Dataflow process networks. In Proc. of the IEEE, May 1995.Google Scholar
Cross Ref
- O. Moreira and M. Bekooij. Self-timed scheduling analysis for real-time applications. EURASIP Journal on Advances in Signal Processing, 2007, 2007.Google Scholar
- D. Nadezhkin and T. Stefanov. Automatic derivation of polyhedral process networks from while-loop affine programs. In IEEE Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia), pages 102--111. IEEE, 2011.Google Scholar
Cross Ref
- S. Stuijk, M. Geilen, B. Theelen, and T. Basten. Scenario-aware dataflow: Modeling, analysis and implementation of dynamic applications. Proc. Int'l Conf. on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XI), 2011.Google Scholar
Cross Ref
- M. Wiggers, M. Bekooij, and G. Smit. Buffer capacity computation for throughput constrained streaming applications with data-dependent inter-task communication. In Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 183--194. IEEE, 2008. Google Scholar
Digital Library
- M. Wiggers, M. Bekooij, and G. Smit. Monotonicity and run-time scheduling. In Proc. of the ACM Int'l Conf. on Embedded Software (EMSOFT), pages 177--186. ACM, 2009. Google Scholar
Digital Library
- M. Wiggers, M. Bekooij, and G. Smit. Buffer capacity computation for throughput-constrained modal task graphs. ACM Transactions on Embedded Computing Systems (TECS), 10 (2): 17, 2010. ISSN 1539--9087. Google Scholar
Digital Library
- J. Zou, J. Auerbach, D. Bacon, and E. Lee. PTIDES on flexible task graph: real-time embedded system building from theory to practice. In ACM SIGPLAN Notices, volume 44, pages 31--40. ACM, 2009. Google Scholar
Digital Library
Index Terms
Automatic dataflow model extraction from modal real-time stream processing applications
Recommendations
Automatic dataflow model extraction from modal real-time stream processing applications
LCTES '13: Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systemsMany 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 ...
Automatic dataflow model extraction from modal real-time stream processing applications
LCTES '13: Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systemsMany 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 ...
A practical automatic polyhedral parallelizer and locality optimizer
PLDI '08We present the design and implementation of an automatic polyhedral source-to-source transformation framework that can optimize regular programs (sequences of possibly imperfectly nested loops) for parallelism and locality simultaneously. Through this ...







Comments