Abstract
Lucy-n is a language for programming networks of processes communicating through bounded buffers. A dedicated type system, termed a clock calculus, automatically computes static schedules of the processes and the sizes of the buffers between them.
In this article, we present a new algorithm which solves the subtyping constraints generated by the clock calculus. The advantage of this algorithm is that it finds schedules for tightly coupled systems. Moreover, it does not overestimate the buffer sizes needed and it provides a way to favor either system throughput or buffer size minimization.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bilsen, G., Engels, M., Lauwereins, R., Peperstraete, J.: Cyclo-static dataflow. IEEE Trans. on Signal Processing 44(2), 397–408 (1996)
Boucaron, J., de Simone, R., Millo, J.-V.: Formal methods for scheduling of latency-insensitive designs. EURASIP Journal on Embedded Systems (1) (January 2007)
Carloni, L., McMillan, K., Sangiovanni-Vincentelli, A.: Theory of latency-insensitive design. IEEE Trans. on CAD of Integrated Circuits ans Systems 20(9), 1059–1076 (2001)
Carmona, J., Júlvez, J., Cortadella, J., Kishinevsky, M.: Scheduling synchronous elastic designs. In: Application of Concurrency to System Design (2009)
Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J.A.: Lustre: a declarative language for real-time programming. In: Principles of Programming Languages (1987)
Caspi, P., Pouzet, M.: Synchronous Kahn networks. In: International Conference on Functional Programming (May 1996)
Casu, M., Macchiarulo, L.: A new approach to latency insensitive design. In: Design Automation Conference (2004)
Cohen, A., Duranton, M., Eisenbeis, C., Pagetti, C., Plateau, F., Pouzet, M.: N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems. In: Principles of Programming Languages (2006)
Cohen, A., Mandel, L., Plateau, F., Pouzet, M.: Abstraction of Clocks in Synchronous Data-Flow Systems. In: Ramalingam, G. (ed.) APLAS 2008. LNCS, vol. 5356, pp. 237–254. Springer, Heidelberg (2008)
Colaço, J.-L., Pouzet, M.: Clocks as First Class Abstract Types. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol. 2855, pp. 134–155. Springer, Heidelberg (2003)
Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity - the Ptolemy approach. Proceedings of the IEEE 91(1), 127–144 (2003)
GLPK. GNU linear programming kit, http://www.gnu.org/software/glpk/
Lagrange, X., Godlewski, P., Tabbane, S.: Réseaux GSM: des principes à la norme. Hermès Science, Paris (2000)
Lee, E., Messerschmitt, D.: Synchronous data flow. IEEE Transactions on Computers 75(9) (September 1987)
Mandel, L., Plateau, F.: Typage des horloges périodiques en Lucy-n. In: Journées Francophones des Langages Applicatifs, La Bresse, France (January 2011)
Mandel, L., Plateau, F.: Scheduling and buffer sizing of n-synchronous systems — extended version (2012), http://www.lri.fr/~mandel/mpc12
Mandel, L., Plateau, F., Pouzet, M.: Lucy-n: a n-synchronous extension of Lustre. Mathematics of Program Construction (2010)
Mandel, L., Plateau, F., Pouzet, M.: Static scheduling of latency insensitive designs with Lucy-n. In: Formal Methods in Computer Aided Design (2011)
Wesley Peterson, W.: Error-Correcting Codes. The M.I.T. Press (1961)
Schrijver, A.: Theory of linear and integer programming. John Wiley & Sons (1986)
Schrijvers, T., Peyton Jones, S., Sulzmann, M., Vytiniotis, D.: Complete and decidable type inference for GADTs. In: International Conference on Functional Programming, pp. 341–352 (2009)
Thies, W., Karczmarek, M., Amarasinghe, S.: StreamIt: A Language for Streaming Applications. In: CC 2002. LNCS, vol. 2304, pp. 179–196. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mandel, L., Plateau, F. (2012). Scheduling and Buffer Sizing of n-Synchronous Systems. In: Gibbons, J., Nogueira, P. (eds) Mathematics of Program Construction. MPC 2012. Lecture Notes in Computer Science, vol 7342. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31113-0_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-31113-0_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31112-3
Online ISBN: 978-3-642-31113-0
eBook Packages: Computer ScienceComputer Science (R0)