| Abstract | .... 2 | |
| 1 | Introduction | .... 2 |
| 2 | Lazy Reference Counting Method | .... 3 |
| 2.1 | Indirect Pointer with Reference Count | .... 3 |
| 2.2 | Multiple Reference Pointers | .... 3 |
| 2.3 | Update and Lazy Allocation of RC Cells | .... 4 |
| 3 | Maintenance of Reference in KL1 | .... 4 |
| 3.1 | Creation of Data Structures | .... 4 |
| 3.2 | Creation of New Variable Cells | .... 4 |
| 3.3 | Passing Variables Between KL1 Goals | .... 5 |
| 3.4 | Dereferencing | .... 5 |
| 3.5 | Instantiation of Variables | .... 5 |
| 3.6 | Retrieval of Structure Elements | .... 6 |
| 4 | Abstract Machine and Instruction Set | .... 7 |
| 4.1 | Abstract Machine | .... 8 |
| 4.2 | Dereference | .... 8 |
| 4.3 | Instrction Set | .... 9 |
| 5 | Garbage Collection in PIM | .... 10 |
| 5.1 | Requirement for Garbage Collection Method | .... 10 |
| 5.2 | LRC Garbage Collection in the PIM | .... 12 |
| 5.3 | Comparison with Other Garbage Collection Schemes | .... 12 |
| 6 | Conclusion | .... 12 |
| Acknowledgement | .... 12 | |
| References | .... 12 | |
| End | .... 13 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports