Abstract machine design on a multithreaded architecture

摘要

Usual approaches of designing a Prolog abstract machine primarily aimed at different kinds of parallelism to be exploited (e.g. AND, OR-parallelism). Our novel approach focuses rather on some specific features, like macro-dataflow properties derived from the Prolog language. The work is aimed at finding a proper relationship between the essential characteristics of the macro-dataflow computational model and the underlying architecture. In this paper a part of this design work is introduced, where the variable binding method is established and its possible effect to the performance is analyzed.