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

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

Authors

Flávio Cruz (Author) Other; Ricardo Rocha (Author) FCUP; Seth Copen Goldstein (Author) Other

Conference proceedings International

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

Pages: 43-54

Indexing

ISI Web of Knowledge

Scopus - 2 Citations

Other information

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

Language: English

Type (Professor's evaluation): Scientific