skip to main content
research-article

Automatic dataflow model extraction from modal real-time stream processing applications

Published:20 June 2013Publication History
Skip Abstract Section

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.

References

  1. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  2. T. Bijlsma. Automatic parallelization of Nested Loop Programs - For non-manifest real-time stream processing applications. PhD thesis, University of Twente, 2011.Google ScholarGoogle Scholar
  3. 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 ScholarGoogle ScholarCross RefCross Ref
  4. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  5. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  6. 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 ScholarGoogle Scholar
  7. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  8. 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 ScholarGoogle Scholar
  9. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  10. 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 ScholarGoogle ScholarCross RefCross Ref
  11. H. Kopetz and G. Bauer. The time-triggered architecture. Proc. of the IEEE, 91 (1): 112--126, 2003.Google ScholarGoogle Scholar
  12. E. Lee and D. Messerschmitt. Synchronous data flow. Proc. of the IEEE, 75 (9): 1235--1245, 1987.Google ScholarGoogle ScholarCross RefCross Ref
  13. E. Lee and T. Parks. Dataflow process networks. In Proc. of the IEEE, May 1995.Google ScholarGoogle ScholarCross RefCross Ref
  14. O. Moreira and M. Bekooij. Self-timed scheduling analysis for real-time applications. EURASIP Journal on Advances in Signal Processing, 2007, 2007.Google ScholarGoogle Scholar
  15. 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 ScholarGoogle ScholarCross RefCross Ref
  16. 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 ScholarGoogle ScholarCross RefCross Ref
  17. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  18. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  19. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  20. 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 ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Automatic dataflow model extraction from modal real-time stream processing applications

            Recommendations

            Comments

            Login options

            Check if you have access through your login credentials or your institution to get full access on this article.

            Sign in

            Full Access

            • Published in

              cover image ACM SIGPLAN Notices
              ACM SIGPLAN Notices  Volume 48, Issue 5
              LCTES '13
              May 2013
              165 pages
              ISSN:0362-1340
              EISSN:1558-1160
              DOI:10.1145/2499369
              Issue’s Table of Contents
              • cover image ACM Conferences
                LCTES '13: Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems
                June 2013
                184 pages
                ISBN:9781450320856
                DOI:10.1145/2491899

              Copyright © 2013 ACM

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 20 June 2013

              Check for updates

              Qualifiers

              • research-article

            PDF Format

            View or Download as a PDF file.

            PDF

            eReader

            View online with eReader.

            eReader
            About Cookies On This Site

            We use cookies to ensure that we give you the best experience on our website.

            Learn more

            Got it!