Dissemin is shutting down on January 1st, 2025

Published in

Springer Verlag, Lecture Notes in Computer Science, p. 407-421

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

Links

Tools

Export citation

Search in Google Scholar

On Deterministic Computations in the Extended Andorra Model

Proceedings article published in 2003 by Ricardo Lopes, Vítor Santos Costa ORCID, Fernando M. A. Silva ORCID
This paper is available in a repository.
This paper is available in a repository.

Full text: Download

Green circle
Preprint: archiving allowed
Green circle
Postprint: archiving allowed
Red circle
Published version: archiving forbidden
Data provided by SHERPA/RoMEO

Abstract

Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very pow- erful framework that supports both co-routining and parallelism. In this work we show that David H. D. Warren's design for the EAM with Im- plicit Control does not perform well for deterministic computations and we present several optimisations that allow the BEAM to achieve perfor- mance matching or even exceeding related systems. Our optimisations rene 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.