Models and Cost Analysis for Parallel Programs with Multiple Threads

  • Airam Jônatas Preto INPE
  • John Richard Gurd Manchester University

Resumo


As especificações de programas paralelos tratam particularmente de padrões de interação entre objetos no programa. Conforme a computação em paralelo é executada, os vários objetos evoluem, bem como o sistema como um todo. É muito provável que esta evolução dos objetos individualmente se dê em taxas diferentes, o que pode exigir a sincronização de certos eventos para que a consistência da computação como um todo seja mantida. Portanto, é interessante o emprego de meios de modelagem da evolução de objetos que possam abstrair seus padrões de interação, inclusive a maneira com que se sincronizam. Estes meios de modelagem também devem permitir a construção de sistemas mais complexos a partir de componentes mais simples. Finalmente, a metodologia deve incluir expressões de custo que permitam a análise de desempenho em termos de tempo de execução. Estes objetivos podem ser atingidos através do emprego de uma técnica de modelagem de programas que represente a especificação de interações entre objetos num programa paralelo como uma coleção de expressões de processos.

Palavras-chave: Parallelism modelling, cost analysis, pi-calculus, formal specifications, data encapsulation, programming skeletons

Referências

M. Cole. Algorithmic Skeletons. Pitman, 1989.

M. Danelutto, R. di Meglio, S. Orlando, S. Pelagatti, and M. Vaneschi. "A Methodology for the Development and the Support of Massively Parallel Programs". Future Generation Computer Systems, 8:205-220, August 1992.

J. Darlington, Y. Guo, H. W. To, and J. Yang. "Parallel Programming Using Skeleton Functions". In Parallel Languages and Architectures, Europe: Parle '93, June 1993.

A. J. Preto. "Composing Systems with Multiple Threads". PhD thesis, Department of Computer Science, University of Manchester, 1997.

D. Skillicorn. Foundations of Parallel Programming. Cambridge University Press, 1994.

L. G. Valiant, T. Cheatham, A. Fahmy, and D. C. Stefanescu. "Bulk Synchronous Parallel Computing: A Paradigm for Transportable Software". Technical Report TR-36-94, Center for Research in Computing Technology, Harvard University, December 1994.
Publicado
28/09/1998
PRETO, Airam Jônatas; GURD, John Richard. Models and Cost Analysis for Parallel Programs with Multiple Threads. In: INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD), 10. , 1998, Búzios/RJ. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1998 . p. 161-163. DOI: https://doi.org/10.5753/sbac-pad.1998.22687.