A Team-Based Scheduling Model for Interfacing Or-Parallel Prolog Engines

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

Autores

Joao Santos (Autor) Outra; Ricardo Rocha (Autor) FCUP

Revista

Título: Computer Science and Information Systems

Vol. 11 Nº 4

Páginas: 1435-1454

ISSN: 1820-0214

Editora: ComSIS Consortium

Indexação

ISI Web of Knowledge - 2 Citações

Scopus - 2 Citações

Classificação Científica

FOS: Ciências exactas e naturais > Ciências da computação e da informação

Outras Informações

ID Authenticus: P-00A-2BN

DOI: 10.2298/csis131025050s

Abstract (EN): Logic Programming languages, such as Prolog, offer a great potential for the exploitation of implicit parallelism. One of the most noticeable sources of implicit parallelism in Prolog programs is or-parallelism. Or-parallelism arises from the simultaneous evaluation of a subgoal call against the clauses that match that call. Nowadays, multicores and clusters of multicores are becoming the norm and, although, many parallel Prolog systems have been developed in the past, to the best of our knowledge, none of them was specially designed to explore the combination of shared and distributed memory architectures. Conceptually, an or-parallel Prolog system consists of two components: an or-parallel engine (i.e., a set of independent Prolog engines which we named a team of workers) and a scheduler. In this work, we propose a team-based scheduling model to efficiently exploit parallelism between different or-parallel engines running on top of clusters of multicores. Our proposal defines a layered approach where a second-level scheduler specifies a clean interface for scheduling work between the base or-parallel engines, thus enabling different scheduling combinations to be used for distributing work among workers inside a team and among teams.

Idioma: Inglês

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

Nº de páginas: 20