Contents of Report

[Data of Report]

Report Number:: TR473
Date of Registration:: 1989.06
English Title:: Research and Development of the Parallel Inference Machine in the FGCS PROJECT
Japanese Title:: ***
English Author:: A.Goto
Japanese:
Name of Organization to which author belongs:
PDF:: tr0473.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	The Kernel Language KL1	.... 4
2.1	FGHC: Base of KL1	.... 4
2.2	Meta-programming Capability Using Shoen	.... 4
3	Goal Scheduling	.... 5
3.1	Goal Reduction by Register Machines	.... 5
3.2	Goal Scheduling on the Processor	.... 5
3.3	Goal Distribution within a Cluster	.... 6
4	Distributed Goal Management	.... 7
4.1	Inter-cluster Goal Distribution	.... 7
4.2	Shoen and Foster-Parent Scheme	.... 7
4.3	Weighted Throw Count	.... 8
5	Distributed Unification	.... 8
5.1	Export and Import Tables	.... 8
5.2	Avoiding Duplicated Export/Import	.... 9
5.3	Unification Messages	.... 9
6	Memory Management in PIM	.... 10
6.1	Incremental Garbage Collection by MRB	.... 10
6.2	Garbage Collection within a Cluster	.... 11
6.3	Distributed Garbage Collection by WEC	.... 12
7	Abstract Instrument Set: KL1-B	.... 12
7.1	Compiled Code in KL1-B	.... 13
7.2	Passive Unification	.... 13
7.3	Suspension	.... 15
7.4	MRB Maintenance and Garbage Collection	.... 15
7.5	Active Unification and Resumption	.... 15
7.6	Goal Fork and Slit-checking	.... 16
8	PIM Hardware Architecture	.... 17
8.1	Target of the PIM Hardware Architecture	.... 17
8.2	The Pilot Machine: PIM/p	.... 17
8.3	PIM/p Processing Element	.... 17
8.4	Cache System	.... 19
8.5	Hyper-CUbe Network and Network Interface Unit	.... 20
8.6	PIM/p Instructions	.... 21
9	SUMMARY	.... 22
	ACKNOWLEDGMENT	.... 22
	References	.... 22
	End	.... 24

目次をクリックすると、PDFファイルが表示されます。