Caracterização de Desempenho de Programas SPMD Utilizando Modelos Probabilísticos
Resumo
Em processamento de alto desempenho, o uso de instrumentos para a avaliação quantitativa pode afetar a metodologia e as técnicas de programação usadas no desenvolvimento de uma aplicação. Este artigo apresenta um estudo experimental que visa caracterizar probabilisticamente os tempos de computação e sincronização de programas paralelos. Os resultados serão aplicados na construção de instrumentos para avaliação de desempenho de programas paralelos baseados no modelo # de componentes, voltado à programação paralela distribuída, que possui a importante característica de separar os interesses de computação e coordenação, permitindo a modelagem da especificação em nível de coordenação; a ocorrência de eventos de computação e sincronização é capturada estaticamente, usando redes de Petri estocásticas.Referências
A. Bobbio, M. Telek. "Non Exponential Stochastic Petri Nets: an Overview of Methods and Techniques." In: Computer Systems Science and Engineering, Vol. 13, No. 6, pages 339-351. 1998
A. Heindl, R. German. "Performance modeling of IEEE 802.11 wireless LANs with stochastic Petri nets." Performance evaulatioin : an international journal. Elsevier, 2001.
A. Horváth, M. Telek. "Approximating Heavy Tailed Distributions with Phase Type Distributions", Proceedings of International Conference on Matrix-Analytic Methods in Stochastic Models, Leuven, Belgium, 2000.
A. Riska, V. Diev and E. Smimi."Efficient Fitting of Long-Tailed Data Sets into Phase-Type Distributions", ACM Sigmetrics Performance Evaluation Review, vol. 20, n. 3. p. 6-8,2002.
C. A. Petri. "Kommunikation mit Automaten". Technical Repon RADC-TR-65-377, Griffiths Air Force Base, New York, 1(1), 1966.
D.A Grove. and P.D. Coddington 2004 "Communication Benchmarking and Performance Modelling of MPI Programs on Cluster Computers", Proc. Workshop on Performance Modeling, Evaluation, and Optimization of Parallel and Distributed Systems (PMEO-PDS'04), Santa Fe, USA 2004.
D.A. Grove. "Performance Modeling of Messaging Passing Parallel Programs", PhD Thesis, University of Adelaide. 2003
D. H. Bayley, T. Harris, W. Shapir, R. van der Wijngaan, A. Woo, and M. Yarrow, "The NAS Parallel Benchmarks 2.0", Tech. Rep. NAS-95-020, NASA Ames Research Center, Dec. 1995, http://www.nas.nasa.org/NAS/NPB.
E. Best, J.Esparza, B. Grahlmann, S. Melzer, S.Römer, and F. Wallner. "The PEP Verification System."' In Workshop on Formal Design of Safety Critical Embedded Systems (FEmSys'97), 1997.
E. Ishay. "Fitting Phase-Type Distributions to Data from a Telephone Call Center", Disserenação de Mestrado, Israel Institute of Technology, 2002.
F.H Carvalho Junior, R.D.Lins. "Using Aspects for Supporting Procedural Modules in # Programming". In Proceedings of the EURO-PAR 2005. Lisboa, Portugal, 2005.
F.H. Carvalho Junior. "The # Model for Parallel Programming: From Processes to Componentes with Insignificant Performance Overheads." Workshop on Components and Frameworks for High Performance Computing, 2005.
F.H Carvalho Junior, R.D. Lins, N.C Quental. On the Implementation of SPMD Applications using Haskell#. The 15th Symposium on Computer Architecture and High Performance Computing-XV SBAC-PAD, São Paulo, 2003.
F. H. Carvalho Junior, R.D. Lins. "Topological Skeletons in Haskell#", Proceedings of the IEEE Intemational Parallel and Distributed Processing Sympoium, Nice, France, 2003.
F. H. Carvalho Junior, R.D. Lins. "Haskell#: Parallel Progamming Made Simple and Efficient", Journal of Universal Computer Science, vol. 9, n. 8, 2003.
F.H. Carvalho Junior, R.D. Lins, R.M.F. Lima. "Translating Haskell# into Petri Nets", Proceedings of the 5th International Meeting on High Performance Computing for Computational Science (VECPAR'2002), Pono, Portugal Jun. 2002.
G. Bolch, S.Greiner H. de Meer, K.S> Trivedi"Queueing Networks and Markov Chains - Modelling and Performance Evaluation with Computer Science Applications" John Wiley and Sons inc. 1998.
M.A. Marsan, G. Balbo G, G. Conte, S. Donatelli, G. Franceschinis. "Modelling with generalized stochastic Petri Nets."' Università degli studi di Torino - Dipartimento di informática, 1995.
M. Greiner, M. Jobmann and L. Lipsky, "The Importance of Power-Tail Distributions for Modeling Queue Systems", Operations Research, vol. 47, n. 2, pp. 303-326, 1999.
M. Shaw, "Procedure Calls are lhe Assembly Language of Software lnterconnection: Connectors Deserve First-Class Status", LNCS, (Intemational Workshop on Studies of Software Design), Springer-Verlag. 2004.
P.R.M. Maciel, R.D. Lins, P.F. Cunha. "Introdução às Redes de Petri e Aplicações."X Escola de Computação - Campinas - SP. Jul l996.
R. Jain. "The an of computer systems - Performance Analysis: Techniques for experimental design measurement, simulation and modeling." Wiley Computer Publishing. John Wiley & Sons In c, New York, N. Y. 1991
A. Heindl, R. German. "Performance modeling of IEEE 802.11 wireless LANs with stochastic Petri nets." Performance evaulatioin : an international journal. Elsevier, 2001.
A. Horváth, M. Telek. "Approximating Heavy Tailed Distributions with Phase Type Distributions", Proceedings of International Conference on Matrix-Analytic Methods in Stochastic Models, Leuven, Belgium, 2000.
A. Riska, V. Diev and E. Smimi."Efficient Fitting of Long-Tailed Data Sets into Phase-Type Distributions", ACM Sigmetrics Performance Evaluation Review, vol. 20, n. 3. p. 6-8,2002.
C. A. Petri. "Kommunikation mit Automaten". Technical Repon RADC-TR-65-377, Griffiths Air Force Base, New York, 1(1), 1966.
D.A Grove. and P.D. Coddington 2004 "Communication Benchmarking and Performance Modelling of MPI Programs on Cluster Computers", Proc. Workshop on Performance Modeling, Evaluation, and Optimization of Parallel and Distributed Systems (PMEO-PDS'04), Santa Fe, USA 2004.
D.A. Grove. "Performance Modeling of Messaging Passing Parallel Programs", PhD Thesis, University of Adelaide. 2003
D. H. Bayley, T. Harris, W. Shapir, R. van der Wijngaan, A. Woo, and M. Yarrow, "The NAS Parallel Benchmarks 2.0", Tech. Rep. NAS-95-020, NASA Ames Research Center, Dec. 1995, http://www.nas.nasa.org/NAS/NPB.
E. Best, J.Esparza, B. Grahlmann, S. Melzer, S.Römer, and F. Wallner. "The PEP Verification System."' In Workshop on Formal Design of Safety Critical Embedded Systems (FEmSys'97), 1997.
E. Ishay. "Fitting Phase-Type Distributions to Data from a Telephone Call Center", Disserenação de Mestrado, Israel Institute of Technology, 2002.
F.H Carvalho Junior, R.D.Lins. "Using Aspects for Supporting Procedural Modules in # Programming". In Proceedings of the EURO-PAR 2005. Lisboa, Portugal, 2005.
F.H. Carvalho Junior. "The # Model for Parallel Programming: From Processes to Componentes with Insignificant Performance Overheads." Workshop on Components and Frameworks for High Performance Computing, 2005.
F.H Carvalho Junior, R.D. Lins, N.C Quental. On the Implementation of SPMD Applications using Haskell#. The 15th Symposium on Computer Architecture and High Performance Computing-XV SBAC-PAD, São Paulo, 2003.
F. H. Carvalho Junior, R.D. Lins. "Topological Skeletons in Haskell#", Proceedings of the IEEE Intemational Parallel and Distributed Processing Sympoium, Nice, France, 2003.
F. H. Carvalho Junior, R.D. Lins. "Haskell#: Parallel Progamming Made Simple and Efficient", Journal of Universal Computer Science, vol. 9, n. 8, 2003.
F.H. Carvalho Junior, R.D. Lins, R.M.F. Lima. "Translating Haskell# into Petri Nets", Proceedings of the 5th International Meeting on High Performance Computing for Computational Science (VECPAR'2002), Pono, Portugal Jun. 2002.
G. Bolch, S.Greiner H. de Meer, K.S> Trivedi"Queueing Networks and Markov Chains - Modelling and Performance Evaluation with Computer Science Applications" John Wiley and Sons inc. 1998.
M.A. Marsan, G. Balbo G, G. Conte, S. Donatelli, G. Franceschinis. "Modelling with generalized stochastic Petri Nets."' Università degli studi di Torino - Dipartimento di informática, 1995.
M. Greiner, M. Jobmann and L. Lipsky, "The Importance of Power-Tail Distributions for Modeling Queue Systems", Operations Research, vol. 47, n. 2, pp. 303-326, 1999.
M. Shaw, "Procedure Calls are lhe Assembly Language of Software lnterconnection: Connectors Deserve First-Class Status", LNCS, (Intemational Workshop on Studies of Software Design), Springer-Verlag. 2004.
P.R.M. Maciel, R.D. Lins, P.F. Cunha. "Introdução às Redes de Petri e Aplicações."X Escola de Computação - Campinas - SP. Jul l996.
R. Jain. "The an of computer systems - Performance Analysis: Techniques for experimental design measurement, simulation and modeling." Wiley Computer Publishing. John Wiley & Sons In c, New York, N. Y. 1991
Publicado
24/10/2005
Como Citar
QUENTAL, Nivia Cruz; CARVALHO JUNIOR, Francisco Heron de; LIMA, Ricardo Massa Ferreira.
Caracterização de Desempenho de Programas SPMD Utilizando Modelos Probabilísticos. In: SIMPÓSIO EM SISTEMAS COMPUTACIONAIS DE ALTO DESEMPENHO (SSCAD), 6. , 2005, Rio de Janeiro.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2005
.
p. 9-16.
DOI: https://doi.org/10.5753/wscad.2005.18970.
