?do-across循環的數據依賴圖：為了表示do-across循環的指令之??間的相關性，需要用一對值來標記邊緣：所需的延遲（如代表基本塊的圖）和具有依賴性的兩條指令之間的迭代次數。
?循環列表調度：要計劃一個循環，我們必須為所有迭代選擇一個調度，并選擇連續迭代開始的啟動間隔。該算法涉及通過找到兩個節點之間最長非循環路徑的長度來推導循環中各種指令相對調度的約束。這些長度以起始間隔作為參數，因此要在起始間隔上設置下限。
?數組中的并行性和局部性。基于并行性和局部性的最有優化空間的部分來自訪問數組的循環。這些循環往往對數組元素的訪問具有有限的依賴性，并且傾向于以一種規則的模式訪問數組，并允許高效地使用緩存以獲得良好的局部性。
?仿射訪問。幾乎所有用于并行和局部優化的理論和技術都假設對數組的訪問是仿射的：數組索引的表達式是循環索引的線性函數。
?執行空間。具有d個嵌套循環的循環嵌套定義了d維迭代空間。空間中的點是循環索引在執行循環嵌套期間可以假設值的d元組。在仿射情況下，每個循環索引的限制是外環索引的線性函數，所以迭代空間是一個多面體。
?Fourier - Motzkin消除。迭代空間的一個關鍵操作是對定義迭代空間的循環重新排序。這樣做需要將多面體迭代空間投影到其維的子集上。 Fourier-Motzkin算法通過限制本身之間的不等式來替代給定變量的上限和下限。
編譯原理——循環和迭代
最后編輯于 ：
?著作權歸作者所有,轉載或內容合作請聯系作者
平臺聲明：文章內容（如有圖片或視頻亦包括在內）由作者上傳并發布，文章內容僅代表作者本人觀點，簡書系信息發布平臺，僅提供信息存儲服務。
平臺聲明：文章內容（如有圖片或視頻亦包括在內）由作者上傳并發布，文章內容僅代表作者本人觀點，簡書系信息發布平臺，僅提供信息存儲服務。
- 文/潘曉璐 我一進店門，熙熙樓的掌柜王于貴愁眉苦臉地迎上來，“玉大人，你說我怎么就攤上這事。” “怎么了？”我有些...
- 文/花漫 我一把揭開白布。 她就那樣靜靜地躺著，像睡著了一般。 火紅的嫁衣襯著肌膚如雪。 梳的紋絲不亂的頭發上，一...
- 文/蒼蘭香墨 我猛地睜開眼，長吁一口氣：“原來是場噩夢啊……” “哼！你這毒婦竟也來了？” 一聲冷哼從身側響起，我...
推薦閱讀更多精彩內容
- 上課的時候，讓學生用英語做個一分鐘的展示（類似于BEC考試中的mini-presentation），需要人來計時。...
