計算機(jī)系統(tǒng)結(jié)構(gòu)電子教案(1)-資料下載頁
2025-05-10 16:33本頁面
【正文】 k+d] 有沒有可能是同一個元素，即什么條件下滿足 aj+b = ck+d ?判則 ?如果 GCD(c,a)可以整除 (db)，可能存在存儲別名（疑似相關(guān)） ?如果 GCD測試的結(jié)果為假（不能整除），一定不存在存儲別名 判則 之所以說 “ 可能存在 ” ，是因?yàn)槟繕?biāo)程序在運(yùn)行中， j、 k的實(shí)際取值范圍也可能到不了滿足 aj+b = ck+d的點(diǎn)。 2. 存儲別名導(dǎo)致的隱式相關(guān)（ GCD判則） 計算機(jī)系統(tǒng)結(jié)構(gòu) 23 例： 6j+13與 9k+1是否滿足 GCD判則？ 解： GCD(c,a) = 3 ， (db) = 12，能夠整除，可能存在存儲別名 驗(yàn)證： 對取值 j = 0， 1， 2， … 和 k = 0， 1， 2， … ，有 6j+13 = 13， 19， 25， 31， 37， 43， 49， 55， 61， … 9k+1 = 1， 10， 19， 28， 37， 46， 55， 64， 73， … 顯然存在存儲別名。將 b和 d互換后也一樣（這時 (db) = +12） 6j+1 = 1， 7， 13， 19， 25， 31， 37， 43， 49， … 9k+13 = 13， 22， 31， 40， 49， 58， 67， 76， 85， … GCD判則成功的例子 計算機(jī)系統(tǒng)結(jié)構(gòu) 24 例： 4j+1與 2k+4是否滿足 GCD判則？ 解： GCD(c,a) = 2 ， (db) = 3，不能整除，不存在存儲別名 驗(yàn)證： 對取值 j = 0， 1， 2， … 和 k = 0， 1， 2， … ，有 4j+1 = 1， 5， 9， 13， 17， 21， 25， 29， 33， … 2k+4 = 4， 6， 8， 10， 12， 14， 16， 18， 20， … 未發(fā)現(xiàn) 存儲別名。將 b和 d互換后也一樣（驗(yàn)證略） GCD判則失敗的例子 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 ? 計算機(jī)系統(tǒng)結(jié)構(gòu) 25 例 （ P175） 使用 GCD測試方法判斷下面的循環(huán)中是否存在存儲別名。 for（ i=1； i=100； i=i+1） x[2*i+3] = x[2*i] * ； 解： 在這個循環(huán)中， a = 2， b = 3， c = 2， d = 0， 那么 GCD(a,c) = 2，而 db = 3。 由于 2不能整除 3，因此沒有存儲別名，即無論 i取何值， x[2*i+3]與x[2*i]都將表示數(shù)組 x的不同元素。 GCD判則失敗的例子 計算機(jī)系統(tǒng)結(jié)構(gòu) 26 在使用 GCD測試之前，必須先對這段代碼進(jìn)行 “ 規(guī)范化 ” —— 修改下標(biāo)從 1開始 （不必要？） ，而且每次循環(huán)后增加 1（ Hennessy教材 3版第 4章）。 例如《學(xué)習(xí)指導(dǎo)書》題 for (i=2。 i=100。 i+=2) a[i] = a[50*i + 1]。 進(jìn)行規(guī)范化后的修改循環(huán)代碼為 for (i=1。 i=50。 i++) a[2*i] = a[100*i + 1]。 再用 GCD測試法， a=2， b=0， c=100， d=1， GCD(c,a)=2， (db)=1，(db) mod GCD(c,a)≠ 0， 不能整除，所以該循環(huán)不存在循環(huán)攜帶的真數(shù)據(jù)相關(guān)。此題如果不先作規(guī)范化，則結(jié)論是 “ 存在循環(huán)攜帶相關(guān) ” 。 習(xí)題 （注意 《學(xué)習(xí)指導(dǎo)書》中對應(yīng) 的題 ） GCD測試之前要求循環(huán)代碼 “ 規(guī)范化 ” 計算機(jī)系統(tǒng)結(jié)構(gòu) 27 ??? 3. 數(shù)據(jù)相關(guān)處理 ??? 計算機(jī)系統(tǒng)結(jié)構(gòu) 28 各次作業(yè)應(yīng)交的內(nèi)容 作業(yè) 7（第 8次課） (改 )， 2 月 19 日 1. 10 ( 改 ) ， 1. 7 ， 1. 1 1( 2 解法 ) 4 月 9 日 7. 14 ( 難題 ) ， 7. 12 ( 難題 ) 2 月 26 日 2. 14 ( 補(bǔ)充 ) ，實(shí)驗(yàn) 1 ， 3. 8 ， 3. 10 4 月 16 日 8. 12 ( 補(bǔ) ) ， 8. 1 1( 改 ) ( 難題 ) 3 月 5 日 3. 1 1( 改 ) ，實(shí)驗(yàn) 2 ， 5. 1 1 ， 5. 8 ， 5. 9 4 月 23 日 9. 9( 改 ) ， 9. 13 3 月 12 日 6. 8( 改 ) ， 6. 7 ， 7. 9 4 月 30 日 10 .6 ， 10 .9 ( 難題 ) 4 月 2 日 7. 1 1 ， 7. 10
試題試卷相關(guān)推薦
鄂ICP備17016276號-1