Prolog Paralelo em Rede de Computadores

  • Adenauer C. Yamin UFRGS
  • Otilia Werner UFRGS
  • Cláudio F. R. Geyer UFRGS

Resumo


Este artigo descreve o modelo de implementação em rede local de computadores de uma proposta de exploração do paralelismo da linguagem Prolog. O trabalho é fundamentado no modelo E/OU do projeto Opera, que integra o paralelismo OU multi-sequencial e o paralelismo E-restrito (RAP). São tratados tópicos pertinentes à arquitetura de processos, à política de escalonamento e à gerência de memória.

Referências

ALI, Khayri A.M.; KARLSSON, Roland. The Muse Or-Parallel Prolog Model and its Performance. In: NORTH AMERICAN CONFERENCE ON LOGIC PROGRAMMING. Oct, 1990. Proceedings... : MIT Press, 1990. p-757-776.

BARON, Uri et al. The Parallel ECRC Prolog System PEPSys:An Overview and Evaluation Results. In: INTERNATIONAL CONFERENCE ON FIFTH GENERATION COMPUTER SYSTEMS. May, 1988, Tokyo. Proceedings... Tokyo: ICOT Press, 1988. p.841-849.

BRIAT, J.; FAVRE, M.; GEYER, C. et al. Opera: OR-Parallel Prolog System on Supernode. Implementations of Distributed Prolog. John Wiley & Sons Ltd, England, 1992.

CIANCARINI, Paolo. Parallel Programming with Logic Languages: a Survey. Computer Languages, Oxford, v.17, n.4, p.213-240, Oct. 1992.

CONERY, J. S.; KIBLER, D.F. AND Parallellism and Nondeterminism in Logic Programs. New Generation Computing, Berlin, v.3, n.1, p.43-70, 1985.

DEGROOT, Doug. Restricted And-Parallelism. In: INTERNATIONAL CONFERENCE ON FIFTH GENERATION COMPUTER SYSTEMS. 1984, Proceedings... Tokyo: ICOT Press, 1984. p.471-478.

DOUGLIS, Fred; OUSTERHOUT, John. Transparent Process Migration: design alternatives and Sprite implementations. Software - Practice and Experience, New York, v.21, n.8, p. 757-785, Aug. 1991.

GEYER, Claudio F.R. Une Contribution a L'Etude du Parallelisme OU en Prolog sur des Machines sans Mémoire Commune. PhD Thesis, Université Joseph Fourier, Grenoble, 1991.

GEYER, Claudio F.R., et al. Otimizações Importantes para Paralelismo OU em Prolog sobre Máquinas com Memória Distribuída. CLEI'92, Sep. 1992, Las Palmas.

GEYER, Claudio F.R.; YAMIN, Adenauer C.; WERNER, Otilia. Projeto Opera: Um Modelo E/OU para Prolog. In: CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO, Rio de Janeiro, 29/09-02/10. 1992. Anais. Rio de Janeiro, 1992. 390p. p.269-281.

GUPTA, G.; JAYARAMAN, B. A Model for And-Or Parallel Execution of Logic Programs. In: INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, August 1989, Illinois. Proceedings..., 1989.

GUPTA, Gopal; JAYARAMAN, Bharat. Optimizing And-Or Parallel Implementation. In: NORTH-AMERICAN CONFERENCE ON LOGIC PROGRAMMING, April 1990. Austin. Proceedings... p.605-623.

HERMENEGILDO, M. An Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel. PhD Thesis, University of Texas at Austin, 1986.

HERMENEGILDO, M.; GUPTA, G. &-Prolog and its Performance: Exploiting Independent And-Parallelism. In: INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, June 1990. Proccedings... MIT Press, 1990. p.253-268.

HERMENEGILDO, M.; GUPTA, G. ACE: And/Or-parallel Copying-based Execution of Logic Programs. In: INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1991. Proceedings... Berlin: Springer-Verlag, 1991. p.146-158 (Lecture Notes in Computer Science)

KALE, L.; RAMKUMAR, B. Compiled Execution of the REDUCE-OR Process Model on Multiprocessors. In: NORTH AMERICAN CONFERENCE ON LOGIC PROGRAMMING, October 1989. Proceedings...

LIN, Yow-Jian; KUMAR, Vipin. An Execution Model for Exploiting AND-Parallelism in Logic Programs. New Generation Computing, Berlin, v.5, p.393-425, 1988.

LIN, Zheng. A Distributed Fair Polling Scheme Applied to OR-Parallel Logic Programming. International Journal of Parallel Programming, New York, v.20, n.4, p.315-339, Aug. 1991.

SHEN, Kish; HERMENEGILDO, Manuel V. A Simulation Study of Orand Independent And- parallelism. p.135-151. 1991.

THEIMER, Marvin M.; LANTZ, Keith A. Finding idle machines in a workstation-based distributed system. IEEE Transactions on Software Engineering, New York, v.15, n.11, p.1444-1458, Sept.1989.

VAN ROY, Peter; CARLTON, Mike. A Distributed Prolog System with AND Parallelism. IEEE Software, p.43-51, Jan. 1988.

WARREN, David H.D. Or-Parallel Execution Models of Prolog. In: INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, Nov.1987, Pisa. Proceedings... Berlin: Springer-Verlag, 1987. p.243-259.
Publicado
07/09/1993
YAMIN, Adenauer C.; WERNER, Otilia; GEYER, Cláudio F. R.. Prolog Paralelo em Rede de Computadores. In: INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD), 5. , 1993, Florianópolis/SC. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1993 . p. 290-303. DOI: https://doi.org/10.5753/sbac-pad.1993.23039.