Abstract
Data intensive applications are present in a wide range of domains such as computational science, multimedia signal processing and defense systems. Their particular characteristics in terms of high number of communication operations and data manipulations lead to the need of well-adapted design formalisms. This chapter advocates the combination of a repetitive structure modeling formalism and abstract clocks to specify data intensive applications. The resulting specifications consist of an expression of the potential parallelism inherent to described data-intensive algorithms, refined with environment constraints in the form of application component’s activation rates. The modeling concepts used here are already integrated to the UML Marte standard profile, which allows for a graphical modeling and analysis of real-time and embedded systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
For the sake of simplicity, the shape information is not always shown in all figures.
References
Adolf Abdallah, Abdoulaye Gamatié and, and Jean-Luc Dekeyser. Correct and energy-efficient design of socs: The h.264 encoder case study. In System on Chip (SoC), 2010 International Symposium on, pages 115–120, Sept. 2010.
Charles André and Frédéric Mallet. Clock Constraints in UML/MARTE CCSL. Research Report RR-6540, INRIA, 2008.
Albert Benveniste, Paul Caspi, Steven Edwards, Nicolas Halbwachs, Paul Le Guernic, and Robert de Simone. The synchronous languages twelve years later. Proceedings of the IEEE, 91(1):64–83, January 2003.
Loïc. Besnard, Thierry Gautier, and Paul Le Guernic. Signal reference manual., 2007. www.irisa.fr/espresso/Polychrony.
Pierre Boulet. Formal Semantics of Array-OL, a Domain Specific Language for Intensive Multidimensional Signal Processing. Research report, INRIA, France, March 2008. available online at http://hal.inria.fr/inria-00261178/fr.
Surendra Byna and Xian-He Sun. Special issue on data intensive computing. Journal of Parallel and Distributed Computing, 71(2):143–144, 2011. Data Intensive Computing.
Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, and John Plaice. Lustre: a declarative language for real-time programming. In Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (POPL’87), pages 178–188. ACM Press, 1987.
Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, and Marc Pouzet. N-sychronous Kahn networks. In ACM Symp. on Principles of Programming Languages (PoPL’06), Charleston, South Carolina, USA, January 2006.
Alain Demeure and Yannick Del Gallo. An array approach for signal processing design. In Sophia-Antipolis conference on Micro-Electronics (SAME’98), System-on-Chip Session, France, October 1998.
Marc Duranton, Sami Yehia, Bjorn De Sutter, Koen De Bosschere, Albert Cohen, Babak Falsafi, Georgi Gaydadjiev, Manolis Katevenis, Jonas Maebe, Harm Munk, Nacho Navarro, Alex Ramirez, Olivier Temam, and Mateo Valero. The hipeac vision. Report, European Network of Excellence on High Performance and Embedded Architecture and Compilation, 2010.
Abdoulaye Gamatié, Sébastien Le Beux, Éric Piel, Anne Etien, Rabie Ben-Atitallah, Philippe Marquet, and Jean-Luc Dekeyser. A model driven design framework for high performance embedded systems. Research Report 6614, INRIA, 2008. http://hal.inria.fr/inria-00311115/en.
Abdoulaye Gamatié, Sébastien Le Beux, Éric Piel, Rabie Ben Atitallah, Anne Etien, Philippe Marquet, and Jean-Luc Dekeyser. A model driven design framework for massively parallel embedded systems. ACM Transactions on Embedded Computing Systems (TECS), 2011. To appear.
Abdoulaye Gamatié. Designing Embedded Systems with the Signal Programming Language - Synchronous, Reactive Specification. Springer, 2010.
Abdoulaye Gamatié, Vlad Rusu, and Éric Rutten. Operational semantics of the marte repetitive structure modeling concepts for data-parallel applications design. In ISPDC, pages 25–32. IEEE Computer Society, 2010.
Abdoulaye Gamatié, Éric Rutten, Huafeng Yu, Pierre Boulet, and Jean-Luc Dekeyser. Synchronous modeling and analysis of data intensive applications. EURASIP J. Emb. Sys., 2008, 2008.
Jean-Luc Gaudiot, Thomas DeBoni, John Feo, A. P. Wim Böhm, Walid A. Najjar, and Patrick Miller. The sisal project: Real world functional programming. In Santosh Pande and Dharma P. Agrawal, editors, Compiler Optimizations for Scalable Parallel Systems Languages, volume 1808 of Lecture Notes in Computer Science, pages 45–72. Springer, 2001.
Calin Glitia, Pierre Boulet, Éric Lenormand, and Michel Barreteau. Repetitive model refactoring strategy for the design space exploration of intensive signal processing applications. Journal of Systems Architecture, In Press, Corrected Proof:–, 2011.
Calin Glitia, Julien DeAntoni, and Frédéric Mallet. Logical time at work: Capturing data dependencies and platform constraints. In Adam Morawiec and Jinnie Hinderscheit, editors, FDL, pages 241–. ECSI, Electronic Chips & Systems design Initiative, 2010.
Calin Glitia, Philippe Dumont, and Pierre Boulet. Array-ol with delays, a domain specific specification language for multidimensional intensive signal processing. Multidimensional Systems and Signal Processing, 21:105–131, 2010. 10.1007/s11045-009-0085-4.
Paul Le Guernic, Jean-Pierre Talpin, and Jean-Christophe Le Lann, and Projet Espresso. Polychrony for system design. Journal for Circuits, Systems and Computers, 12:261–304, 2002.
Jing Guo, Antonio Wendell De Oliveira Rodrigues, Jerarajan Thiyagalingam, Frédéric Guyomarch, Pierre Boulet, and Sven-Bodo Scholz. Harnessing the Power of GPUs without Losing Abstractions in SaC and ArrayOL: A Comparative Study. In HIPS 2011, 16th International Workshop on High-Level Parallel Programming Models and Supportive Environments, Anchorage (Alaska) United States, 05 2011.
Gilles Kahn. The semantics of simple language for parallel programming. In IFIP Congress, pages 471–475, 1974.
Joachim Keinert, Christian Haubelt, and Jürgen Teich. Simulative buffer analysis of local image processing algorithms described by windowed synchronous data flow. In Holger Blume, Georgi Gaydadjiev, C. John Glossner, and Peter M. W. Knijnenburg, editors, ICSAMOS, pages 161–168. IEEE, 2007.
Edward A. Lee. Mulitdimensional streams rooted in dataflow. In Michel Cosnard, Kemal Ebcioglu, and Jean-Luc Gaudiot, editors, Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, volume A-23 of IFIP Transactions, pages 295–306. North-Holland, 1993.
Edward A. Lee and David G. Messerschmitt. Synchronous data flow: Describing signal processing algorithm for parallel computation. In COMPCON, pages 310–315, 1987.
Edward A. Lee and Alberto Sangiovanni-vincentelli. A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 17(12):1217–1229, 1998.
Frédéric Mallet. Clock constraint specification language: specifying clock constraints with uml/marte. Innovations in Systems and Software Engineering, 4:309–314, 2008. 10.1007/s11334-008-0055-2.
Frédéric Mallet, Julien DeAntoni, Charles André, and Robert de Simone. The clock constraint specification language for building timed causality models. Innovations in Systems and Software Engineering, 6:99–106, 2010. 10.1007/s11334-009-0109-0.
Christophe Mauras. Alpha : un langage équationnel pour la conception et la programmation d’architectures parallèles synchrones. PhD thesis, Université de Rennes I, France, December 1989.
Message Passing Interface Forum. MPI Documents. http://www.mpi-forum.org/docs/docs.html, 2009.
Lionel Morel. Array iterators in lustre: From a language extension to its exploitation in validation. EURASIP Journal on Embedded Systems, 2007:Article ID 59130, 16 pages, 2007.
Praveen K. Murthy and Edward A. Lee. Multidimensional synchronous dataflow. IEEE Transactions on Signal Processing, 50:3306–3309, 2002.
OMG. The uml profile for marte: Modeling and analysis of real-time and embedded systems. http://www.omgmarte.org, 2011.
Laurent Rioux, Thierry Saunier, Sébastien Gérard, Ansgar Radermacher, Robert de Simone, Thierry Gautier, Yves Sorel, Julien Forget, Jean-Luc Dekeyser, Arnaud Cuccuru, Cédric Dumoulin, and Charles André. Marte: A new omg profile rfp for the modeling and analysis of real-time embedded systems. In DAC Workshop UML for SoC Design, UML-SoC’05, Anaheim CA, USA, June 2005.
Sven-Bodo Scholz. Single assignment c: efficient support for high-level array operations in a functional setting. J. Funct. Program., 13(6):1005–1059, 2003.
Irina Smarandache, Thierry Gautier, and Paul Le Guernic. Validation of mixed Signal-Alpha real-time systems through affine calculus on clock synchronisation constraints. In World Congress on Formal Methods (2), pages 1364–1383, 1999.
The Aoste Team. Timesquare. http://www-sop.inria.fr/aoste, 2011.
The DaRT Team. Gaspard2 design environment. http://www.gaspard2.org, 2011.
William Thies, Michal Karczmarek, Michael Gordon, David Maze, Jeremy Wong, Henry Hoffmann, Matthew Brown, and Saman Amarasinghe StreamIt: A compiler for streaming applications. MIT/LCS Technical Memo MIT/LCS Technical Memo LCS-TM-622, Massachusetts Institute of Technology, Cambridge, MA, December 2001.
Doran Wilde. The Alpha language. Technical Report 827, IRISA - INRIA, Rennes, 1994. available at www.irisa.fr/bibli/publi/pi/1994/827/827.html.
Acknowledgements
The author would like to thank his colleagues from the DaRT group of LIFL/CNRS and Inria, who also contributed to the ideas presented in this Chapter.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
Gamatié, A. (2011). Specification of Data Intensive Applications with Data Dependency and Abstract Clocks. In: Furht, B., Escalante, A. (eds) Handbook of Data Intensive Computing. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-1415-5_12
Download citation
DOI: https://doi.org/10.1007/978-1-4614-1415-5_12
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-1414-8
Online ISBN: 978-1-4614-1415-5
eBook Packages: Computer ScienceComputer Science (R0)