Abstract
Streaming applications are generally modelled by dataflow graphs, among which Synchronous Dataflow Graphs (SDFGs) are one of the most popular models. Self-timed Execution (STE) based methods are proved to be very powerful for analyzing and scheduling SDFGs. In this paper, an extension of STE is presented based on which, an exact algorithm is proposed to find the minimal memory usage for buffering to guarantee execution under maximal throughput (rate-optimal execution) of an SDFG on a multicore system. Experimental results show that the proposed exact algorithm obtains less buffer usage than a widely used state-of-art heuristic in a number of cases and equal buffer usage in the rest. In addition, a heuristic is proposed as an efficient approximate method, which gives equal or less buffer usage than a state-of-art heuristic.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: TIMES: a tool for schedulability analysis and code generation of real-time systems. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol. 2791, pp. 60–72. Springer, Heidelberg (2004). doi:10.1007/978-3-540-40903-8_6
Bhattacharyya, S.S., Murthy, P.K., Lee, E.A.: Software Synthesis from Dataflow Graphs. Springer Science & Business Media, Heidelberg (2012)
Chen, Y., Zhou, H.: Buffer minimization in pipelined SDF scheduling on multi-core platforms. In: ASP-DAC (2012)
Chretienne, P.: The basic cyclic scheduling problem with deadlines. Discret. Appl. Math. 30(2), 109–123 (1991)
Das, A., Kumar, A., Veeravalli, B.: Energy-aware task mapping and scheduling for reliable embedded computing systems. ACM Trans. Embed. Comput. Syst. (TECS) 13(2s), 72 (2014)
Dkhil, A., Do, X.K., Louise, S., Rochange, C.: A hybrid scheduling algorithm based on self-timed and periodic scheduling for embedded streaming applications. In: PDP (2015)
Do, X.K., Dkhil, A., Louise, S.: Self-timed periodic scheduling of data-dependent tasks in embedded streaming applications. In: Wang, G., Zomaya, A., Perez, G.M., Li, K. (eds.) ICA3PP 2015. LNCS, vol. 9529, pp. 458–478. Springer, Heidelberg (2015). doi:10.1007/978-3-319-27122-4_32
Geilen, M., Basten, T., Stuijk, S.: Minimising buffer requirements of synchronous dataflow graphs with model checking. In: DAC (2005)
Ghamarian, A.H., Geilen, M., Stuijk, S., Basten, T., Moonen, A., Bekooij, M.J., Theelen, B.D., Mousavi, M.: Throughput analysis of synchronous data flow graphs. In: ACSD (2006)
Jung, H., Lee, C., Kang, S.-H., Kim, S., Oh, H., Ha, S.: Dynamic behavior specification and dynamic mapping for real-time embedded systems: hopes approach. ACM Trans. Embed. Comput. Syst. (TECS) 13(4s), 135 (2014)
Lee, C., Kim, S., Oh, H., Ha, S.: Failure-aware task scheduling of synchronous data flow graphs under real-time constraints. J. Signal Process. Syst. 73(2), 201–212 (2013)
Lee, E.A., Messerschmitt, D.G.: Static scheduling of synchronous data flow programs for digital signal processing. IEEE Trans. Comput. 100(1), 24–35 (1987)
Liu, W., Gu, Z., Yaoyao, Y.: Efficient SAT-based application mapping and scheduling on multiprocessor systems for throughput maximization. In: CASES (2015)
Moreira, O., Basten, T., Geilen, M., Stuijk, S.: Buffer sizing for rate-optimal single-rate data-flow scheduling revisited. IEEE Trans. Comput. 59(2), 188–201 (2010)
Rosvall, K., Sander, I.: A constraint-based design space exploration framework for real-time applications on MPSoCs. In: DATE (2014)
Shin, T.-H., Oh, H., Ha, S.: Minimizing buffer requirements for throughput constrained parallel execution of synchronous dataflow graph. In: ASP-DAC (2011)
Sriram, S., Bhattacharyya, S.S.: Embedded Multiprocessors: Scheduling and Synchronization. CRC Press, Boca Raton (2009)
Stuijk, S., Basten, T., Geilen, M., Corporaal, H.: Multiprocessor resource allocation for throughput-constrained synchronous dataflow graphs. In: DAC (2007)
Stuijk, S., Geilen, M., Basten, T.: Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs. In: DAC (2006)
Stuijk, S., Geilen, M., Basten, T.: SDF\(^{3}\): SDF for free. In: ACSD (2006)
Wang, G., Allen, R., Andrade, H.A., Sangiovanni-Vincentelli, A.: Communication storage optimization for static dataflow with access patterns under periodic scheduling and throughput constraint. Comput. Electr. Eng. 40(6), 1858–1873 (2014)
Wang, Y., Shao, Z., Chan, H., Liu, D., Guan, Y.: Memory-aware task scheduling with communication overhead minimization for streaming applications on bus-based multiprocessor system-on-chips. IEEE Trans. Parallel Distrib. Syst. 25(7), 1797–1807 (2014)
Zhu, X.-Y., Geilen, M., Basten, T., Stuijk, S.: Static rate-optimal scheduling of multirate DSP algorithms via retiming and unfolding. In: RTAS (2012)
Zhu, X.-Y., Geilen, M., Basten, T., Stuijk, S.: Memory-constrained static rate-optimal scheduling of synchronous dataflow graphs via retiming. In: DATE (2014)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
Ma, M., Sakellariou, R. (2016). Buffer Minimization for Rate-Optimal Scheduling of Synchronous Dataflow Graphs on Multicore Systems. In: Carretero, J., Garcia-Blas, J., Ko, R., Mueller, P., Nakano, K. (eds) Algorithms and Architectures for Parallel Processing. ICA3PP 2016. Lecture Notes in Computer Science(), vol 10048. Springer, Cham. https://doi.org/10.1007/978-3-319-49583-5_25
Download citation
DOI: https://doi.org/10.1007/978-3-319-49583-5_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-49582-8
Online ISBN: 978-3-319-49583-5
eBook Packages: Computer ScienceComputer Science (R0)