一個專為 Prolog 語言設計的多處理機系統

Abstract

今日，一方面符號處理已經愈來愈受到廣泛的重視和接受，另一方面單一處理機系統 也逐漸接近了技術上的極限；平行地去進行符號處理遂順理成章地成為了主要的研究 課題。在本論文中，一個以匯流排為基礎的多處理機系統，被發展來有效地支援 Pro log 語言的 OR 平行執行。我們的目標是﹕1.將一個高性能的 Prolog 單一處理機加 以小幅擴充之後，即被用來支援平行處理。2.特殊設計的處理機被用來執行多重處理 的控制與同步。 系統模擬的結果顯示，使用特殊的硬體設計可以將多重處理的負荷有效地減輕。因此 ，我們的設計不僅僅能夠充份地利用 Prolog 語言的 OR 平行執行特性，同時，仍將 系統的負荷限制在一定範圍內。