Abstract
A performance evaluation methodology, which integrates performance modeling techniques into the Synchronous Reactive Modeling method supported by Esterel, is presented. It is based on timing and probabilistic quantitative constructs which complete the functional models. A monitoring mechanism provides performance results during the simulation. This methodology is applied to study a multithreaded run-time system for a distributed functional programming language. Performance metrics are computed and validated with experimental results.
Work partially funded by XUGA10504B96 and XUGA10505B96, Xunta de Galicia.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
G. Berry. The semantics of pure esterel. In M. Broy, editor, Program Design Calculi, Computer and System Sciences 118, Nato Asi Series, pages 361–409. 1993.
G. Berry. The Esterel v5 Language Primer. Version 5.10, release 1.0., 1997.
G. Berry and G. Gonthier. The Esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19(2):87–152, November 1992.
R.D. Blumofe, C.F. Joerg, B.C. Kuszmaul, C.E. Leiserson, K.H. Randall, and Y. Zhou. Cilk: An efficient multithreaded runtime system. Journal of Parallel and Distributed Computing, 37(1):55–69, August 1996.
E. Conquet, A. Valderruten, R. Trémoulet, Y. Raynaud, and S. Ayache. Un modèle du processus de l’activité d’évaluation des performances. Génie Logiciel et Systèmes Experts, (27):27–31, 1992.
V. Gulias. DFL: Distributed Functional Computing. PhD thesis, University of La Coruña, SPAIN, 1998 (to appear).
R.H. Halstead. Multilisp: A language for concurrent symbolic computation. ACM Transactions on Programming Languages and Systems, 7(4):501–538, Oct. 1985.
P. Hudak. Conception, evolution, and application of functional programming languages. ACM Computing Surveys, 21(3):359–411, September 1989.
X. Leroy. The Objective Caml System, release 1.05. INRIA, 1997.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes. Information and Computation, 100(1):1–77, September 1992.
K. Schauser and S. Goldstein. How much non-strictness do lenient programs Require? In ACM FPCA’95, San Diego, June 1995.
A. Valderruten. Modélisation des Performances et Développement de Systèmes Informatiques: une étude d’intégration. PhD thesis, Université Paul Sabatier, 1993.
A. Valderruten and V. Gulias. An information model for performance engineering. In Proceedings of the International Conference on Information Systems Analysis, ISAS’96, Orlando, 1996.
A. Valderruten, V. Gulias, and J.L. Freire. Instrumentation strategies in distributed functional computing. In Proceedings of the International Conference on Information Systems Analysis, ISAS’97, Caracas, 1997.
A. Valderruten, M. Vilares, and J. Graña. Instrumentation of synchronous reactive models for performance engineering. LNCS, 989:76–89, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Valderruten, A., Mosquera, J., Gulías, V.M. (1998). Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study. In: Puigjaner, R., Savino, N.N., Serra, B. (eds) Computer Performance Evaluation. TOOLS 1998. Lecture Notes in Computer Science, vol 1469. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-68061-6_11
Download citation
DOI: https://doi.org/10.1007/3-540-68061-6_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64949-6
Online ISBN: 978-3-540-68061-1
eBook Packages: Springer Book Archive