Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 2
2	GHC and KL1	.... 3
2.1	GHC and Flat KL1	.... 3
2.2	KLI	.... 4
3	Architecture of the Multi-PSI	.... 4
3.1	Processing Elements	.... 4
3.2	Network Controller	.... 5
3.3	Messeages Handling	.... 6
4	Intra-PE Processing	.... 6
4.1	Execution Model of KL1 goals	.... 6
4.2	KL1-B Execution	.... 7
4.3	Local Goal Scheduling	.... 8
4.4	Memory Management using MRB	.... 8
5	Inter-PE Processing	.... 9
5.1	Implementation Issues for KL1	.... 9
5.2	Goal Distribution and distributed Unification by Inter-PE messages	.... 10
5.3	Distributed Goal Control	.... 11
5.4	Inter-PE Data management	.... 13
6	Programming Environment Support	.... 18
6.1	Trace and Spy	.... 18
6.2	Deadlock Detection	.... 18
6.3	Profiling	.... 19
7	Evaluation	.... 19
7.1	Cost of Communications Primitivies	.... 19
7.2	Measurements of Benchmark programs	.... 20
8	Conclusion	.... 23
	Acknowledgements	.... 23
	References	.... 24
	End	.... 25

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