Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs

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

Autores

Flávio Cruz (Autor) Outra; Ricardo Rocha (Autor) FCUP; Seth Copen Goldstein (Autor) Outra

Ata de Conferência Internacional

Título: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014

Páginas: 43-54

Indexação

ISI Web of Knowledge

Scopus - 2 Citações

Outras Informações

ID Authenticus: P-00G-T0S

DOI: 10.1145/2643135.2643150

Abstract (EN): Linear Meld is a concurrent forward-chaining linear logic programming language where logical facts can be asserted and retracted in a structured way. In Linear Meld, a program is seen as a database of logical facts and a set of derivation rules. The database of facts is partitioned by the nodes of a graph structure which leads to parallelism when nodes are executed simultaneously. Due to the foundations on linear logic, rules can retract facts in a declarative and structured fashion, leading to more expressive programs. We present the design and implementation of the virtual machine that we implemented to run Linear Meld on multicores, with particular focus on thread management, code organization, fact indexing, rule execution, and database organization for efficient fact insertion, lookup and deletion. Our results show that the virtual machine is capable of scaling programs with up to 16 threads and also exhibits interesting scalar performance results due to our indexing optimizations.

Idioma: Inglês

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