為RISC-型態之PROLOG機器而設計建立之編譯系統

Abstract

本論文之目的，在原有之高效能RISC型態Prolog機器一LISCP∥ 上，設計發展一套良 好的編譯系統，一方面可以產生良好的LISCP∥ 目的碼以評估分析該機器之功能。另 一方面，更可提供設計者在此編譯系統上探討研究許多Prolog程式之特性，而成為未 來良好prolog語言編譯工作檯的一個重要基礎，本編譯系統包括有下列主要功能與特 點： (1) 具有良好之動態資料庫管理，以有效執行Prolog語言中asser與tretract 指令。 (2) 多項編譯與分析功能: 除正常編譯以生產目的碼外, 在本編譯系統中尚提供有智 慧型迴溯技術、fine-grain平行度分析，可使研究使用者可以有多種編譯分析的選擇 。 (3) 模組化之設計，利於未來發展與擴充。 本編譯系統含有編譯器、組譯器、載入器以及LISCP∥ 處理機之模擬評估環境。編譯 器的製作利用了UNIX系統中的LEX 及YA-CC 工具完成語法的檢查，并建立一內部表示 形示，再經由中間碼產生程式、目的碼產生程式獲得LISCP∥ 組合語言。 為了實現P ROLOG 語言中的動態資料庫管理，組譯器及載入器不僅要做組譯及載入記意體的工作 ，尚要負責帳集及更正資料的工作。目前經由30個benchmark 程式之測試驗證均可獲 得正確良好之效果，且執行效率經評估得知，比PLM 快1.22倍，比SPUR快2.86倍。 目前，此地編譯系統均已完成建立於SUN4工作站上，比對未來的研究發展提供一個良 好之基礎。