Abstract
We describe the software architecture of EPOCA (Environment for analysis and Performance evaluation Of Concurrent Applications), a tool for the analysis of concurrent programs. The analysis is based on a formal model of the application. The class of models chosen is that of stochastic Petri nets (in particular we adopt Generalized Stochastic Petri Nets — GSPN [1]): starting from a concurrent program written in DISC (DIStributed C), an extension of C to include concurrent constructs of the CSP type [12], a GSPN model is automatically generated, and GSPN analysis tools can then be applied. EPOCA is built as an integration of the DISC environment (a graphical interface based environment that provides compiling, monitoring and profiling facilities for DISC programs) and GreatSPN [6] (a graphical interface based environment for the definition and the analysis of GSPN).
This work has been supported in part by the CNR project “Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo, Sottoprogetto 3: Architetture Parallele” and by the Italian Ministry of University and Scientific and Technological Research within the “40%” Project.
Preview
Unable to display preview. Download preview PDF.
References
M. Ajmone Marsan, G. Balbo, and G. Conte. A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems. ACM Transactions on Computer Systems, 2(1), May 1984.
M. Ajmone Marsan, G. Balbo, and G. Conte. Performance Models of Multiprocessor Systems. MIT Press, Cambridge, USA, 1986.
G. Balbo, G. Chiola, S.C. Bruell, and P. Chen. An example of modelling and evaluation of a concurrent program using coloured stochastic Petri nets: Lamport's fast mutual exclusion algorithm. IEEE Transactions on Parallel and Distributed Systems, 3(1), January 1992.
G. Balbo, S. Donatelli, and G. Franceschinis. Understanding parallel programs behaviour through Petri net models. Journal of Parallel and Distributed Computing, 15(3), july 1992. Special Issue on Petri Net Modelling of Parallel Computers.
G. Balbo, S. Donatelli, G. Franceschinis, A. Mazzeo, N. Mazzocca, and M. Ribaudo. On the Computation of Performance Characteristics of Concurrent Programs using GSPNs. Accepted for publication on Performance Evaluation, 1993.
Giovanni Chiola. GreatSPN 1.5 software architecture. In Proc. 5th Int. Conf. Modeling Techniques and Tools for Computer Performance Evaluation, Torino, Italy, February 1991.
F. De Cindio, G. De Michelis, L. Pomello, and C. Simone. Superposed automata nets. In C. Girault and W. Reisig, editors, Application and Theory of Petri Nets. IFB 52, New York and London, 1982.
F. DeCindio and O. Botti. Comparing Occam2 program placements by a GSPN model. In Proc. 4th Intern. Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991.
A. Ferscha. Modelling mappings of parallel computations onto parallel architectures with PRM-net model. In Proc. IFIP-WG 10.3 Working Conference on Decentralized Systems, Lyon, December 1989.
U. Goltz and W. Reisig. CSP programs as nets with individual tokens. In Proc. 5th International Conference on Application and Theory of Petri Nets, Aarhus, Denmark, June 1984.
G. Iannello, A. Mazzeo, C. Savy, and G. Ventre. Parallel software development in the DISC programming environment. Future Generation Computer Systems, 5(4), 1990.
G. Iannello, A. Mazzeo, and G. Ventre. Definition of the DISC Concurrent Language. SIGPLAN Notices, 24(6), June 1989.
S.M. Shatz and W.K. Cheng. A Petri net framework for automated static analysis of Ada tasking. The Journal of Systems and Software, 8:343–359, October 1987.
R. Taylor. A general purpose algorithm for analyzing concurrent programs. Communications of ACM, 26, May 1983.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Donatelli, S., Franceschinis, G., Mazzocca, N., Russo, S. (1994). Software architecture of the EPOCA integrated environment. In: Haring, G., Kotsis, G. (eds) Computer Performance Evaluation Modelling Techniques and Tools. TOOLS 1994. Lecture Notes in Computer Science, vol 794. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58021-2_19
Download citation
DOI: https://doi.org/10.1007/3-540-58021-2_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58021-8
Online ISBN: 978-3-540-48416-5
eBook Packages: Springer Book Archive