The aim of parallel symbolic computing is to provide inference speeds beyond those attainable in sequential models by using parallel machines. The paper describes the implementation issues and analyses the performance results of a parallel Prolog interpreter running on a message-passing multinode machine. The execution model adopted exploits the AND/OR-parallelism inherent in logic programs, while supporting sequential Prolog semantics. The interpreter is written in Occam and runs on a transputer parallel system with up to four fully connected nodes. Speed-up evaluation shows the actual degree of parallelism that the interpreter can recover and points out the costs of parallelization. The pairing of the interpreter with routing support makes it suitable for scalable parallel systems.

Transputer-based Implementation and Evaluation of Parallel Prolog Interpreter

AVVENUTI, MARCO;CORSINI, PAOLO;FROSINI, GRAZIANO
1992

Abstract

The aim of parallel symbolic computing is to provide inference speeds beyond those attainable in sequential models by using parallel machines. The paper describes the implementation issues and analyses the performance results of a parallel Prolog interpreter running on a message-passing multinode machine. The execution model adopted exploits the AND/OR-parallelism inherent in logic programs, while supporting sequential Prolog semantics. The interpreter is written in Occam and runs on a transputer parallel system with up to four fully connected nodes. Speed-up evaluation shows the actual degree of parallelism that the interpreter can recover and points out the costs of parallelization. The pairing of the interpreter with routing support makes it suitable for scalable parallel systems.
Avvenuti, Marco; Corsini, Paolo; Frosini, Graziano
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11568/19930
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 0
social impact