Thread-aware logic programming for data-driven parallel programs

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2015

Autores

Cruz, F (Autor) Outra; Rocha, R (Autor) FCUP; Goldstein, SC (Autor) Outra

Ata de Conferência Internacional

Título: CEUR Workshop Proceedings

31st International Conference on Logic Programming, ICLP 2015

31 August 2015 through 4 September 2015

Indexação

ISI Web of Knowledge

Scopus - 0 Citações

Outras Informações

ID Authenticus: P-00G-Q8K

Abstract (EN): Declarative programming in the style of functional and logic programming has been hailed as an alternative parallel programming style where computer programs are automatically parallelized without programmer control. Although this approach removes many pitfalls of explicit parallel programming, it hides important information about the underlying parallel architecture that could be used to improve the scalability and efficiency of programs. In this paper, we present a novel programming model that allows the programmer to reason about thread state in data-driven declarative programs. This abstraction has been implemented on top of Linear Meld, a linear logic programming language that is designed for writing graphbased programs. Wepresent several programs that show theflavorofour new programming model, including graph algorithms and a machine learning algorithm. Our goal is to show thatitis possible to take advantage of architectural details without losing the key advantages of logic programming.

Idioma: Inglês

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