Abstract
The paper presents a massively parallel implementation method of Prolog on the multithreaded parallel machine, Datarol-II. First the Logicflow model is introduced which was developed for implementing Prolog on massively parallel computers. The Logicflow is a dataflow-like graph in which nodes are macro dataflow nodes and tokens represent macrothreads. The Datarol-II architecture efficiently supports both the management of macrothreads derived from Logicflow Model and management of microthreads created when remote loads are necessary. The architecture of the Datarol-II machine and the macrothread/microthread management of Prolog programs are described in detail.
Preview
Unable to display preview. Download preview PDF.
References
Amamiya,M. and Taniguchi,R. Datarol: A Massively Parallel Architecture for Functional Language, Proc. Second IEEE Symposium on Parallel and Distributed Processing, 1990, 726–735
Baiardi, F., Candelieri, A. and Ricci, L. A Data-Driven Static Model for the Execution of Logic programs on Distributed Memory Systems, Proc. of JICSLP'92 Post-Conf. Joint Workshop on Distr.and Parallel Impl. of Logic Prog. Sys., 1992
Bic, L and Lee, C. A Data-Driven Model for a Subset of Logic Programming, ACM Trans. on Prog. Lang. Syst., vol. 9, no. 4. 1987, 618–645
Biswas, P. and Tseng C. LogDf: A Data-Driven Abstract Machine Model for Parallel Execution of Logic Programs, Proc. of the Int. Conf. on Fifth Gen. Comp. Sys., 1988, 1059–1070
Conery, J. S. Binding Environments for Parallel Logic Programs in Non-shared Memory Multiprocessors, Proc. of the 1987 Symp. on Logic Prog. Systems, San Francisco, 1987, 69–79
Hasegawa, R. Amamiya,M. Parallel Execution of Logic Programs based on Dataflow, Proc. of the ICOT Conference 1984, 507–516
Halim,Z. A Data Driven Machine for OR-Parallel Evaluation of Logic Programs, New Generation Computing, 1986, 5–33
Ito,N. et al, Data flow based Execution Mechanism of Parallel and Concurrent Prolog, New Generation Computing, 1985, no. 3, 15–41
Kawano,T., Kusakabe,S., Taniguchi,R. and Amamiya,M. Fine-grain Multi-thread Processor Architecture for Massively Parallel Processing, in Proc. First IEEE Symp. High-Performance Computer Architecture, 1995, 308–317
Kacsuk,P. Execution Models of Prolog for Parallel Computers, Pitman Publishing and the MIT Press, 1990
Kacsuk,P. Distributed Data Driven Prolog Abstract Machine, in Implementations of Distributed Prolog, Edited by P. Kacsuk and M.J.Wise, John Wiley,1992, 89–118
Kacsuk,P. LOGFLOW-2: A Transputer Based Data Driven Parallel Prolog Machine, in Proc. of the Transputer World Congress, Aachen, 1993, 1154–1169
Kacsuk,P. Memory Management in LOGFLOW, in Proc. of the EUROMICRO Conf., Barcelona, 1993
Kacsuk,P. Wavefront Scheduling in LOGFLOW, in Proc. of the 2nd EUROMICRO Workshop on Parallel and Distributed Processing, Malaga, 1994, 503–510
Kacsuk,P. Dataflow and Logicflow Models for Defining a Parallel Prolog Abstract Machine, in Proc. of the PACT'94 Conf., Montreal, 1994, 289–298
Kacsuk,P. Execution Models for a Massively Parallel Prolog Implementation, Keynote speech, Int. Workshop on Computational Models and their Applications, Cesme, Turkey, 1994
Kim,H. and Gaudiot,J-L. Exploitation of Fine-grain Parallelism in Logic Languages on Massively Parallel Architectures, Proc. of PACT'94 Conf., Montreal, 1994
Taylor,S. Safra,S. Shapiro,E. A Parallel Implementation of Flat Concurrent Prolog, in Concurrent Prolog Collected Papers, Edited by E. Shapiro, The MIT Press, 1987, 575–604
Warren,D.H.D. An Abstract Prolog Instruction Set, Technical Note 309, SRI International, 1983
Warren,D.H.D. The SRI Model for OR-Parallel Execution of Prolog— Abstract Design and Implementation Issues, Proc. of the 1987 Symp. on Logic Prog., 1987, 92–102
Nemeth, Zs and Kacsuk, P. Analysis and Improvement of the Variable Binding Scheme in LOGFLOW, Technical report, 1996.
Kim, H. and Gaudiot, J-L. A Binding Environment for Processing Logic Programs on Large-Scale Parallel Architectures, Technical Report, 1994.
Borgwardt, P. Parallel Prolog Using Stack Segments on Shared-Memory Multiprocessors, Proceedings of the 1984 Symposium on Logic Programming.
Nemeth, Zs and Kacsuk, P. Evaluation of the hybrid binding scheme in LOGFLOW, Technical report, 1997.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kacsuk, P., Amamiya, M. (1997). A multithreaded implementation concept of prolog on Datarol-II machine. In: Polychronopoulos, C., Joe, K., Araki, K., Amamiya, M. (eds) High Performance Computing. ISHPC 1997. Lecture Notes in Computer Science, vol 1336. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024208
Download citation
DOI: https://doi.org/10.1007/BFb0024208
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63766-0
Online ISBN: 978-3-540-69644-5
eBook Packages: Springer Book Archive