分布式存储管理.pptVIP

2002-7-12*頁面的大小錯誤共用：兩個無關的變數位於同一頁使用A的代碼使用B的代碼處理器1處理器2共用頁面兩個無關的共享變數ABAB*分佈式存儲管理2002-7-12*6.1分佈式共用記憶體（DSM)CPU與記憶體連接模型單片機理想的共用記憶體多處理機2002-7-12*UNIX共用記憶體舉例SystemcallDescriptionintshmget(key,size,ishmflg);returnstheSMidentifierassociatedwithkey.void*shmat(shmid,*shmaddr,shmflg);attachestheSMsegmentassociatedwiththeshmidtothedatasegmentofthecallingprocess.intshmdt(constvoid*shmaddr);detachesfromthecallingprocesssdatasegmenttheSMsegmentlocatedatshmaddr.intshmctl(shmid,cmd,*buf)providesavarietyofSMcontroloperationsasspecifiedbycmd.2002-7-12*層次結構2002-7-12*多處理器結構帶緩存的多處理器結構匯流排仲裁機制：集中式和非集中式基於匯流排的多處理機CPU記憶體匯流排(a)匯流排(b)緩存CPUCPUCPU記憶體緩存CPU緩存CPU2002-7-12*通寫緩衝(write-though)一致性協議事件對本地CPU操作回應對遠程CPU回應讀失敗（miss）從記憶體中取得數據並存儲到緩存中（M?C）（無動作）讀命中(hit)從本地緩存中取得數據（無動作）寫失敗更新記憶體中的數據並存儲到緩存中（C?M）（無動作）寫命中更新記憶體和緩存（M?C?M）置為無效2002-7-12*緩存擁有權（ownership）協議Cache分成若干個cache塊每個Cache塊處於三種狀態：Invalid－數據無效Clean－與記憶體數據一致Dirty－數據被更新，與記憶體數據一致各CPU監聽（snoopy）其他CPU在匯流排的操作2002-7-12*緩存擁有權協議舉例W初始狀態(W1)A讀W(W1)A寫W(W2)A再寫W(W3)C讀寫W(W3)2002-7-12*緩存擁有權（ownership）協議多個CPU可有讀擁有權只有一個CPU有寫擁有權當一個CPU寫一個數據取得對該數據的擁有權其他CPU將該數據的緩存塊置為“invalid”在本地緩存塊中，寫數據，並置為“dirty”適當時候，刷新存儲區，或提供給其他CPU2002-7-12*緩存擁有權（ownership）協議特點通過各CPU對匯流排的監聽保持緩存一致性該協議實現在記憶體管理單元中整個演算法在一個記憶體週期中完成召回（callback）協議如果用軟體實現2002-7-12*6.2一致性模型緩存一致性（coherency）數據在各個緩存中的值保持一致一致性模型軟體與記憶體間的約定（contract）如果軟體遵守約定的規則，記憶體就能工作正常。如果軟體違反了這些規定，記憶體就不再保證操作的正確性2002-7-12*嚴格一致性從記憶體地址X處讀出的值為最近寫入X的值非嚴格一致性P1:W(x)1P2:R(x)1P1:W(x)1P2:R(x)0R(x)12002-7-12*順序一致性如果所有進程執行的結果，等同於它們的操作按某種順序執行的結果。每一進程的操作都按程式規定的順序執行。所有進程看到相同的記憶體訪問操作次序例：運行同一個程式得到的兩個可能的結果P1:W(x)1P2:R(x)0R(x)1P1:W(x)1P2:R(x)1R(x)12002-7-12*3個並行執行的進程4種正確的執行順序順序一致性舉例print(b,c);(a)a=1;print(a,c);