Concurrent table accesses in parallel tabled logic programs

• Type: Article in International Scientific Journal
• Date: 2004

Authors

Rocha, R (Author) FCUP; Silva, F (Author) FCUP; Costa, VS (Author) FCUP

Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 1 Citation

Scientific classification

FOS: Natural sciences > Computer and information sciences

Other information

Authenticus ID: P-000-CNJ

DOI: 10.1007/978-3-540-27866-5_87

Abstract (EN): Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing answers to subgoals. The declarative nature of tabled logic programming suggests that it might be amenable to parallel execution. On the other hand, the complexity of the tabling mechanism, and the existence of a shared resource, the table, may suggest that parallelism might be limited and never scale for real applications. In this work, we propose three alternative locking schemes to deal with concurrent table accesses, and we study their impact on the OPTYap parallel tabling system using a set of tabled programs.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 9