A Study of Fine-Grained Parallel Processing for Logic Programs

• Main Authors: Ruey-Liang Ma, 馬瑞良
• Other Authors: Chung-Ping Chung
• Format: Others
• Language: en_US
• Published: 1995
• Online Access: http://ndltd.ncl.edu.tw/handle/92970529653506198918

博士 === 國立交通大學 === 資訊工程研究所 === 83 === The problem associated with how to implement a Prolog superscalar system is concerned in this dissertation. This dissertation discusses the performance bottlenecks of the implementation and designs for solving them. There are two performance bottlenecks in designing a high performance Prolog superscalar system: (1) In Prolog execution, a great deal of bookkeeping is needed, SORWT is designed for solving this problem. It includes all the control information in a windowed register file, thus greatly reduces the memory access operations. (2) Branch instructions stall the prefetching of instruct- ions across basic block, which greatly reduce the perform- ance of a superscalar system. A new branch prediction method PAM is designed to solve this problem, it provides a pred- iction hit rate of 97% in Prolog programs. We combine above design methods and superscalar techniques to construct the Prolog superscalar system. We design two machines with the different system configurations, their speedups are 3.85 and 2.48.