Parallel logic programming systems on scalable architectures

• Tipo: Artigo em Revista Científica Internacional
• Data: 2000

Autores

Santos Costa, V (Autor) FCUP; Bianchini, R (Autor) Outra; De Castro Dutra, I (Autor) Outra

Revista

Título: Journal of Parallel and Distributed Computing

Vol. 60

Páginas: 835-852

ISSN: 0743-7315

Editora: Elsevier

Indexação

ISI Web of Knowledge - 1 Citação

Scopus - 2 Citações

Outras Informações

ID Authenticus: P-007-AX8

DOI: 10.1006/jpdc.2000.1629

Abstract (EN): Parallel logic programming (PLP) systems are sophisticated examples of symbolic computing systems. PLP systems address problems such as allocating dynamic memory, scheduling irregular computations, and managing different types of implicit parallelism. Most PLP systems have been developed for bus-based architectures. However, the complexity of PLP systems and the large amount of data they process raise the question of whether logic programming systems can still achieve good performance on modern scalable architectures, such as distributed shared-memory (DSM) systems. In this work we use execution-driven simulation of a cache-coherent DSM architecture to investigate the performance of Andorra-I, a state-of-the-art PLP system, on a modern multiprocessor. The results of this simulation show that Andorra-I exhibits reasonable running time performance, but it does not scale well. Our detailed analysis of cache misses and their sources expose several opportunities for improvements in Andorra-I. Based on this analysis, we modify Andorra-I using a set of simple techniques that led to significantly better running time and scalability. These results suggest that Andorra-I can and should perform well on modern multiprocessors. Furthermore, as Andorra-I shares its main data structures with several PLP systems, we conclude that the methodology and techniques used in our work can greatly benefit these other PLP systems. © 2000 Academic Press.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 18