Validação Funcional de um Esquema para Tratamento de Operações Recursivas num Grafo de Fluxo de Dados
Resumo
Este artigo apresenta um programa concebido e implementado com a finalidade de realizar a simulação funcional de grafos de fluxo de dados. Estes grafos permitem descrever programas computacionais explicitando e explorando o paralelismo contido em seus algoritmos e tambêm incorporar os conceitos de "controle por fluxo de dados". A primeira parte do artigo introduz os conceitos básicos relacionados com o controle por fluxo de dados, e grafos de fluxo de dados. A seguir, é apresentada a estrutura interna do programa simulador destes grafos, e suas formas de utilização.
Referências
ARVIND, GOSTELOW, K. P., PLOUFFE, W. - "An Assynchronous Programming Language and Computing Machine" - Department of Information and Computer Science - University of California - Irvine - December, 1978.
ARVIND, GOSTELOW, K. P. - "The U - Interpreter" - Computer - Vol. 15 - Number 2 - Pág. 42-50 - February, 1982.
CATTO, A. J. - "Nondeterministic Programming in a Data Flow Environment", Ph. D. Thesis, Department of Computer Science, University of Manchester, June, 1981.
DENNIS, J. B. - "First Version of a Data Flow Procedure Language" - Computation Structure - Group Memo # 93, November, 1973.
KAMRAN, M. - "Contribution a La Compilation du Langage de Programmation d'une Machine Multiprocesseur á Controle dirige par les donnes" - These de Doctorat de 3eme. Cycle - Universite Pierre et Marie Curie (Paris VI) - Mars, 1984.
LEMOS, F. E. - "Arquitetura de Computadores Dirigidos pelo Fluxo de Dados" - Tese de Doutorado apresentada à Escola Politécnica da USP - Janeiro, 1986.
MIRANKER, G. S. - "Implementation of Procedures on a Class of Data Flow Processors" - Proceedings of International Conference on Parallel Processing - 1977.
PLAS, A., COMPTE, D., GELLY, O., SYRE, J. C. - "LAU System Architecture: A Parallel Data Driven Processor Based on Single Assignment" - Proceedings of the International Conference on Parallel Processing - 1976.
ARVIND, GOSTELOW, K. P. - "The U - Interpreter" - Computer - Vol. 15 - Number 2 - Pág. 42-50 - February, 1982.
CATTO, A. J. - "Nondeterministic Programming in a Data Flow Environment", Ph. D. Thesis, Department of Computer Science, University of Manchester, June, 1981.
DENNIS, J. B. - "First Version of a Data Flow Procedure Language" - Computation Structure - Group Memo # 93, November, 1973.
KAMRAN, M. - "Contribution a La Compilation du Langage de Programmation d'une Machine Multiprocesseur á Controle dirige par les donnes" - These de Doctorat de 3eme. Cycle - Universite Pierre et Marie Curie (Paris VI) - Mars, 1984.
LEMOS, F. E. - "Arquitetura de Computadores Dirigidos pelo Fluxo de Dados" - Tese de Doutorado apresentada à Escola Politécnica da USP - Janeiro, 1986.
MIRANKER, G. S. - "Implementation of Procedures on a Class of Data Flow Processors" - Proceedings of International Conference on Parallel Processing - 1977.
PLAS, A., COMPTE, D., GELLY, O., SYRE, J. C. - "LAU System Architecture: A Parallel Data Driven Processor Based on Single Assignment" - Proceedings of the International Conference on Parallel Processing - 1976.
Publicado
13/05/1987
Como Citar
LEMOS, Francisco Enêas; RUGGIERO, Wilson Vicente.
Validação Funcional de um Esquema para Tratamento de Operações Recursivas num Grafo de Fluxo de Dados. In: INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD), 1. , 1987, Gramado/RS.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1987
.
p. 357-372.
DOI: https://doi.org/10.5753/sbac-pad.1987.23593.
