Parallel Evaluation of Interaction Nets with MPINE

Authors:
Jorge Sousa Pinto
Affiliations:
-
Venue:
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Year:
2001

Citing 5
Cited 0

Interaction nets

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The geometry of optimal lambda reduction

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Interaction nets and term-rewriting systems

Theoretical Computer Science - Special issue: trees in algebra and programming
YALE: yet another lambda evaluator based on interaction nets

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Sequential and Concurrent Abstract Machines for Interaction Nets

FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe the MPINE tool, a multi-threaded evaluator for Interaction Nets. The evaluator is an implementation of the present author's Abstract Machine for Interaction Nets [5] and uses POSIX threads to achieve concurrent execution. When running on a multi-processor machine (say an SMP architecture), parallel execution is achieved effortlessly, allowing for desktop parallelism on commonly available machines.