An ultra-multiprocessing machine architecture for efficient parallel execution of functional languages

Makoto Amamiya, Rin ichiro Taniguchi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)


In the execution of a functional program, a large number of function instances are dynamically created, and these created function instances are executed as fine grain concurrent processes. In order to implement massively parallel execution of such fine grain concurrent processes, ultra-multiprocessing mechanism must be designed in parallel machine architecture. This paper proposes a machine architecture for massively parallel execution of functional programs. The machine performs parallel execution along a multithread control flow, which is called datarol. First, the datarol concept is discussed in comparison with the dataflow model. Next, a method to extract datarol program from a functional program is described through a dependency analysis. Then, a datarol machine architecture is described. The datarol processor offers a parallel execution mechanism for ultra-multiprocessing based on the continuation-based execution control mechanism. Finally, the evaluation of the datarol architecture is shown.

Original languageEnglish
Title of host publicationConcurrency
Subtitle of host publicationTheory, Language, and Architecture - UK/Japan Workshop, Proceedings
EditorsTakayasu Ito, Akinori Yonezawa
PublisherSpringer Verlag
Number of pages25
ISBN (Print)9783540464525
Publication statusPublished - 1991
EventUK/Japan Workshop on Concurrency Theory, 1989 - Oxford, United Kingdom
Duration: Sept 25 1989Sept 27 1989

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume491 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


OtherUK/Japan Workshop on Concurrency Theory, 1989
Country/TerritoryUnited Kingdom

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'An ultra-multiprocessing machine architecture for efficient parallel execution of functional languages'. Together they form a unique fingerprint.

Cite this