何炎祥、陳勇編著的這本《面向嵌入式繫統的綠色編譯理論與方法研究》是****本針對綠色編譯展開繫統研究的著作，從能耗以及資源的均衡使用度這兩個影響嵌入式繫統綠色指標的問題出發，繫統而全面地介紹綠色編譯優化理論及其關鍵技術在嵌入式繫統中的應用。對相關領域的研究人員具有一定的借鋻意義和參考價值。

編譯器作為軟件開發和構建的重要工具，在對軟 件進行繫統化、結構化的優化方面具有無可比擬的優 勢。隨著嵌入式繫統的廣泛普及和應用，其綠色指標 已受到人們的廣泛關注。而嵌入式繫統是軟硬件的結 合體，其綠色指標不但受硬件工藝和技術的制約，更 受到其上運行軟件的影響。何炎祥、陳勇編著的這本 《面向嵌入式繫統的綠色編譯理論與方法研究》從能 耗以及資源的均衡使用度這兩個影響嵌入式繫統綠色 指標的問題出發，繫統而全面地介紹綠色編譯優化理 論及其關鍵技術在嵌入式繫統中的應用。 《面向嵌入式繫統的綠色編譯理論與方法研究》 大部分內容是作者近年來的最新研究成果，具有較強 的原創性，可作為高等院校和科研院所計算機科學與 技術、軟件工程、計算機應用技術等相關學科高年級 本科生或研究生的教材，也可供軟件優化等相關領域 的研究人員借鋻。

《信息科學技術學術著作叢書》序
前言
第1章 緒論
1.1 研究背景
1.1.1 綠色需求對現代嵌入式繫統的重要性
1.1.2 編譯器對嵌入式軟件綠色優化的重要性
1.2 **外研究現狀
1.2.1 面向總線繫統的綠色優化技術研究
1.2.2 面向存儲繫統的綠色優化技術研究
1.2.3 面向處理器的綠色優化技術研究
1.2.4 軟件自動化測試及能耗調試相關研究
1.3 組織結構
1.4 本章小結
參考文獻
第2章 綠色編譯及評估模型
2.1 綠色編譯器定義
2.2 綠色編譯優化框架
2.3 綠色評估模型
2.3.1 綠色編譯優化評估模型
2.3.2 能耗錯誤檢測評估模型
2.4 本章小結
參考文獻
第3章 面向嵌入式繫統的指令調度方法
3.1 面向時序推測處理器綠色指標的指令調度方法
3.1.1 時序推測處理器簡介
3.1.2 圖博弈模型
3.1.3 編譯器可控的時序推測處理器綠色評估指標
3.1.4 基於圖博弈模型的指令調度方法
3.1.5 實驗與結果分析
3.2 面向總線翻轉編碼的綠色指令調度方法
3.2.1 總線綠色評估模型
3.2.2 總線翻轉編碼
3.2.3 反饋信息指導的面向總線的綠色指令調度算法
3.2.4 實驗結果與分析
3.3 本章小結
參考文獻
第4章 多目標數據分配優化方法
4.1 數據分配對繫統綠色指標的影響
4.2 綠色評估模型指導的多目標數據分配優化方法
4.2.1 多目標數據分配總體優化框架
4.2.2 可交換類指令操作數重排優化
4.2.3 面向綠色需求的寄存器重分配方法
4.2.4 面向存儲繫統綠色指標的棧數據分配方法
4.2.5 實驗結果與分析
4.3 本章小結
參考文獻
第5章 面向新型存儲技術的綠色編譯優化方法
5.1 新型存儲體繫結構對綠色優化的影響
5.1.1 PCM面臨的挑戰及解決方案
5.1.2 STT-RAM面臨的挑戰及解決方案
5.2 面向混合便簽式存儲器的低能耗數據分配方法
5.2.1 背景知識
5.2.2 數據分配整數線性規劃方法
5.2.3 迭代圖著色算法
5.2.4 實驗結果與分析
5.3 面向易失性STT-RAM緩存的低功耗編譯優化方法
5.3.1 緩存刷新機制簡介
5.3.2 數據分配方案同刷新頻度的關繫
5.3.3 數據分配整數線性規劃解決方案
5.3.4 啟發式分配方法
5.3.5 實驗結果與分析
5.4 面向混合緩存的低功耗編譯技術
5.4.1 混合緩存簡介
5.4.2 混合緩存中遷移操作導致的負載
5.4.3 基於緩存加鎖的方法
5.4.4 實驗結果與分析
5.5 本章小結
參考文獻
第6章 基於符號執行的能耗錯誤檢測及反例生成技術研究
6.1 能耗錯誤簡介
6.2 符號執行技術
6.3 基於符號執行技術的能耗錯誤分析方法
6.3.1 能耗錯誤過程內分析
6.3.2 能耗錯誤過程間分析
6.4 應用舉例
6.5 實驗評估
6.5.1 實驗構建
6.5.2 結果分析
6.6 本章小結
參考文獻
第7章 綠色編譯新型優化方法探究
7.1 基於計算博弈論的分塊多層次綠色編譯優化
7.2 基於總線翻轉編碼和多維度集成學習的綠色編譯技術
7.3 基於編譯的多核環境下的並行程序綠色優化
7.3.1 基於數據依賴的程序數據級並行性挖掘
7.3.2 基於編譯的異構多核環境下的低能耗多因素優化
7.4 基於編譯的動靜態結合能耗錯誤檢測和定位方法
7.5 本章小結
參考文獻
第8章 總結與展望
後記——三言兩語