Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study

Authors:
Alberto Valderruten;Javier Mosquera;Víctor M. Gulías
Affiliations:
-;-;-
Venue:
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Year:
1998

Citing 7
Cited 0

MULTILISP: a language for concurrent symbolic computation

ACM Transactions on Programming Languages and Systems (TOPLAS)
Conception, evolution, and application of functional programming languages

ACM Computing Surveys (CSUR)
The ESTEREL synchronous programming language: design, semantics, implementation

Science of Computer Programming
A calculus of mobile processes, I

Information and Computation
How much non-strictness do lenient programs require?

FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Cilk: an efficient multithreaded runtime system

Journal of Parallel and Distributed Computing - Special issue on multithreading for multiprocessors
Instrumentation of Synchronous Reactive Models for Performance Engineering

Proceedings of the 5th European Software Engineering Conference

Quantified Score

Hi-index	0.00

Visualization

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.