Uma Proposta de um Escalonador para Gamma

  • Felipe Maia Galvão França UFRJ
  • Juarez Assumpção Muylaert Filho UERJ
  • Gabriel Antoine Louis Paillard Universidade Tiradentes

Resumo


Esse artigo apresenta um novo modelo de escalonamento distribuído de tarefas para Gamma, onde as tarefas são reações definidas em Gamma. Gamma é um formalismo para programação paralela baseado na reescrita não determinística de multiconjuntos. O novo modelo de escalonamento que nós propomos traz algumas vantagens quando comparado a outras implementações de Gamma, em termos da quantidade de concorrência oferecida pelo controle distribuído. Nosso modelo permite que múltiplas instâncias da mesma reação sobre diferentes elementos do multiconjunto em questão coexistam de uma forma natural.

Palavras-chave: Gamma, Multiconjunto, Escalonamento

Referências

BANÂTRE, J.-P.; MÉTAYER, D. Le. A New Computaional Model and its Discipline of Programming. Rapport de Recherche INRIA, nº 566, septembre 1986.

BANÂTRE, J.-P.; MÉTAYER, D. Le. Gamma and the Chemical reaction Model: Ten Years After. Coordination Programming Mechanisms, Models and Semantics. Imperial College Press, 1996.

PAILLARD, G. A. L. Uma Implementação Paralela e Distribuída De Gamma Estruturada. Tese de Mestrado, PESC/COPPE, Universidade Federal do Rio de Janeiro, Setembro de 1999.

CASANOVA, M. A.; GIORNO, F. A. C.; FURTADO, A. L. Programação em Lógica e a Linguagem Prolog. Capí­tulo 4, Rio de Janeiro, Brasil, Editora Edgard Blücher Ltda., 1987.

BANÂTRE, J.-P.; MÉTAYER, D. Le. Programming by multiset transformations. Communications of the ACM, Vol. 36-1, pp. 98-111, January 1993.

CREVEUIL., C. lmplementation of Gamma on the Connection Machine. Proc. of the Workshop on Research Directions in High-level Parallel Programming Languages. Spring Verlag, LNCS 574, 1992.

KNUTH, D. E. The Art of Computer Programming. Volume 3. Addison Wesley, 1972.

GDB/RDB. MPI Primer Developing with LAM. The Ohio State University, 1996.

CHAUDRON, M.; JONG, E. De. In Coordination Programming: Mechanisms, Models and Semantics. Imperial College Press, 1996.

BANÂTRE, J.-P.; MÉTAYER, D. Le. A parallel machine for multiset transformation and its programming style. Future Generation Computer Systems, 4, pp. 133-144, 1988.

KUCHEN, T. ; GLADITZ K. Parallel lmplementatiopn of bags. Proceedings FPCA'93, ACM Press, pp. 299-307, 1993.

FRANÇA, F. M. G.; FARIA, L. Optimal Mapping of Neighbourhood-Constrained Systems. Lecture Notes in Computer Science, 980, 1995.

BARBOSA, V. C. Massively Parallel Models of Computation. Ellis Horwood, Chichester, UK, 1993.

BARBOSA, V. C.; GAFNI, E. Concurrency in heavily loaded neighborhood-constrained systems. ACM Tr. on Prog. Lang. and Sys., pp. 562584, vol. 11, N°. 4.

SZWARCFITER, J. L. Grafos e Algoritmos Computacionais. 2ª Edição, Editora Campus, Rio de Janeiro, 1986.

PAILLARD, G. A. L.; FRANÇA, F. M. G.; MUYLAERT FILHO, J. A. A Distributed lmplementation of Structured Gamma. To appear in the Proc. of ICPADS 2001, KyongJu City, Korea, June 2001.
Publicado
10/09/2001
FRANÇA, Felipe Maia Galvão; MUYLAERT FILHO, Juarez Assumpção; PAILLARD, Gabriel Antoine Louis. Uma Proposta de um Escalonador para Gamma. In: SIMPÓSIO EM SISTEMAS COMPUTACIONAIS DE ALTO DESEMPENHO (SSCAD), 2. , 2001, Pirenópolis. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2001 . p. 47-54. DOI: https://doi.org/10.5753/wscad.2001.19122.