论文信息 - Incremental Garbage Collection Scheme in KL1 and Its Architectural Support of PIM

Incremental Garbage Collection Scheme in KL1 and Its Architectural Support of PIM

This paper describes an incremental garbage collection (GC) scheme for the parallel logic programming language KL1 that uses one extra bit of information attached to pointers to data objects rather than the data objects themselves.

[1] Takashi Chikayama,et al. Macro-Call Instruction for the Efficient KL1 Implementation on PIM , 1988, FGCS.

[2] Takashi Chikayama,et al. Multiple Reference Management in Flat GHC , 1987, International Conference on Logic Programming.

[3] Kenji Nishida,et al. Evaluation of MRB Garbage Collection on Parallel Logic Programming Architectures , 1990, ICLP.

[4] Takashi Chikayama,et al. An Abstract KL1 Machine and Its Instruction Set , 1987, SLP.

[5] K. Ueds,et al. Guarded horn clauses: A parallel logic programming language with the concept of a guard , 1988 .

[6] Hiroyuki Sato,et al. Overview of the Parallel Inference Machine Operating System (PIMOS) , 1988, FGCS.

[7] Takashi Chikayama,et al. Research and Development of the Parallel Inference System in the Intermediate Stage of the FGCS Project , 1988, FGCS.