《用於目標機描述的元對象Petri網模型》是依託清華大學,由王生原擔任項目負責人的面上項目。
基本介紹
- 中文名:用於目標機描述的元對象Petri網模型
- 依託單位:清華大學
- 項目負責人:王生原
- 項目類別:面上項目
- 批准號:60573017
- 申請代碼:F0204
- 負責人職稱:副教授
- 研究期限:2006-01-01 至 2008-12-31
- 支持經費:24(萬元)
項目摘要
目標機描述是實現編譯程式等系統級軟體工具可重定向性的核心環節。現代計算機系統結構呈多樣化、複雜化的發展趨勢,這對目標機描述語言在靈活性、正確性、功效性和易用性等方面提出了更高的要求。.元對象Petri網模型是具有元編程能力的對象Petri網模型。本項目旨在研究基於這種模型的目標機描述方法,服務於可重定向編譯程式的構造。該模型可將目標機的結構特徵和行為特徵融合在一起,易於描述並發性,資源的流動、依賴與共享,以及可重構性等現代及未來計算機系統結構的重要方面,具備有效的行為模擬、分析和驗證能力,以及靈活、動態的重構信息和評測信息的定義能力,並具有良好的可復用性。.研究內容可概括為:(1)核心理論研究:面向上述目標的元對象Petri網模型,該模型的行為模擬、分析和驗證方法,代碼生成、調度和最佳化相關信息的獲取方法;(2)輔助原型系統:目標機描述語言的設計與實現,相關的工具;(3)實例研究。