On deterministic computations in the extended Andorra model

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

Authors

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

Indexing

ISI Web of Knowledge - 3 Citations

Scopus - 3 Citations

Scientific classification

FOS: Natural sciences > Computer and information sciences

Other information

Authenticus ID: P-000-K3X

DOI: 10.1007/978-3-540-24599-5_28

Abstract (EN): Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and parallelism. In this work we show that David H. D. Warren's design for the EAM with Implicit Control does not perform well for deterministic computations and we present several optimisations that allow the BEAM to achieve performance matching or even exceeding related systems. Our optimisations refine the original EAM control rule demonstrate that overheads can be reduced through combined execution rules, and show that a good design and emulator implementation is relevant, even for a complex system such as the BEAM.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 15