A register window scheduling method for prolog
作者:
Ruey‐Liang Ma,
Chung‐Ping Chung,
期刊:
Journal of the Chinese Institute of Engineers
(Taylor Available online 1993)
卷期:
Volume 16,
issue 6
页码: 793-806
ISSN:0253-3839
年代: 1993
DOI:10.1080/02533839.1993.9677554
出版商: Taylor & Francis Group
关键词: prolog;computer architecture;compiler
数据来源: Taylor
摘要:
This paper describes a windowed register file management technique for Prolog that we call “SORWT'’ (Splittable Overlapped Register Window Technique). This scheme is implemented in our Prolog system. Two pointers, the CWP (Current Window Pointer) and TWP (Top Window Pointer), are used with the register file so that the environment, choice point and arguments can be stored in register windows. This greatly reduces the number of memory accesses and procedure call/return overhead. This paper describes in detail how Warren instructions can be implemented in a windowed register file system. A mapping function between register windows and memory window areas and register file overflow/underflow handling algorithms are also presented. In addition, to cope with argument overflow problems in a window, the concept of extended windows is proposed.
点击下载:
PDF (1061KB)
返 回