Thread-aware logic programming for data-driven parallel programs

• Type: Article in International Conference Proceedings Book
• Date: 2015

Authors

Cruz, F (Author) Other; Rocha, R (Author) FCUP; Goldstein, SC (Author) Other

Conference proceedings International

Title: CEUR Workshop Proceedings

31st International Conference on Logic Programming, ICLP 2015

31 August 2015 through 4 September 2015

Indexing

ISI Web of Knowledge

Scopus - 0 Citations

Other information

Authenticus ID: 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.

Language: English

Type (Professor's evaluation): Scientific