基于同步語言模型驅動的時間可預測多線程代碼生成方法

　　能夠提供更強計算能力的多核處理器將在安全關鍵系統中得到廣泛應用，但是由于現代處理器所使用的流水線、亂序執行、動態分支預測、Cache等性能提高機制以及多核之間的資源共享，使得系統的最壞執行時間分析變得非常困難，為此，國際學術界提出時間可預測系統設計的思想，以降低系統的最壞執行時間分析難度．已有研究主要關注硬件層次及其編譯方法的調整和優化，而較少關注軟件層次，即，時間可預測多線程代碼的構造方法以及到多核硬件平臺的映射．提出一種基于同步語言模型驅動的時間可預測多線程代碼生成方法，并對代碼生成器的語義保持進行證明：提出一種基于AADL（architecture analysis and design language）的時間可預測多核體系結構模型，作為研究的目標平臺；最后，給出多線程代碼到多核體系結構模型的映射方法，并給出系統性質的分析框架．