[信息與通信]os之分布式系統(tǒng)中的同步問題(編輯修改稿)
2024-11-12 17:30 本頁面
【文章內容簡介】 對主控磁帶修改的可容錯系統(tǒng) 早期計算機事務處理 修改在線數(shù)據(jù)庫的銀行應用程序 (1) ? 客戶利用一臺帶有調制解調器的 PC機呼叫銀行服務 ? 打算從一個帳戶中提取錢存入另一個帳戶中 ? 操作分兩步完成： ? 提款 （ 數(shù)量 ， 帳戶 1） ? 存款 （ 數(shù)量 ， 帳戶 2） 修改在線數(shù)據(jù)庫的銀行應用程序 (2) ? 如果在第一個操作完成后 ? 第二個操作開始前電話連接被中斷 ? 這筆錢已被記入第一個帳戶的借方 ? 但是還沒有記入第二個帳戶貸方中 ? 這筆錢就消失了 修改在線數(shù)據(jù)庫的銀行應用程序 (3) 兩個操作組合在一個原子事務中就可以解決這個問題 ? 兩個操作要么全部完成 ， 要么一個也不執(zhí)行 ? 關鍵是在事務失敗時 ， 能回復到事務執(zhí)行前的初始狀態(tài) ? 這是原子事務必須提供的功能 1. 事務模型 三類存儲器 ? 第一類 RAM內存 在關機或機器崩潰時都要清除 RAM內存的內容 ? 第二類磁盤存儲器 不受 CPU執(zhí)行失敗的影響 ， 但是磁頭破壞后也會丟失數(shù)據(jù) ? 最后一類穩(wěn)定存儲器 ? 除了重大事故如自然界中的洪水和地震外 ,其它原因都無法破壞穩(wěn)定器中的內容 a’ a s t o f h w a a s t o f h w 1 2 a’ a s t o f h w a a s t o f h w 1 2 a a s t o f h w a a s t o f h w 驅動器 1 驅動器 2 不良校驗和 穩(wěn)定存儲器 (a) (b) (c) 穩(wěn)定存儲器的實現(xiàn) (1) ? 可以用一對普通的磁盤實現(xiàn) ? 驅動器 2每個扇區(qū)是驅動器 1相應扇區(qū)的完全備份 ? 修改某個扇區(qū)時 ， 首先更新 1中的相應扇區(qū)并加以驗證 ? 其次再更新驗證 2中的相應扇區(qū) 穩(wěn)定存儲器的實現(xiàn) (2) ? 假定在修改 1之后 ， 修改 2之前系統(tǒng)崩潰 ? 系統(tǒng)恢復時 ， 可以逐個比較兩個驅動器中的扇區(qū) ? 對應的兩個扇區(qū)內容不同時 可以假定驅動器 1的內容是正確的 ? 將正確內容從驅動器 1復制到驅動器 2 ? 恢復過程結束之后 ， 兩個驅動器的內容再次保持一致 穩(wěn)定存儲器的實現(xiàn) (3) 潛在的問題 ? 扇區(qū)損壞 ,灰塵或通常的磨損 ， 劃痕 ? 出現(xiàn)錯誤時 ， 從另一個驅動器中扇區(qū)重新生成內容 ? 穩(wěn)定存儲器用于高度容錯性的應用 ? 將數(shù)據(jù)寫入穩(wěn)定存儲器 ? 并讀出檢查其書寫正確后 ? 數(shù)據(jù)被丟失的可能性就很小 事務原語 (1) ? 原語由操作系統(tǒng)或語言的運行系統(tǒng)提供 ? 原語的例子： BEGINTRANSACTION 開始一個事務命令 ENDTEANSACTION 結束并提供事務的命令 ABORTTRANSACTION 中斷事務；恢復原先數(shù)據(jù) READ 從文件 (或其它對象中 ) 讀取數(shù)據(jù) WEITE 向文件 (或其它對象 ) 寫入數(shù)據(jù) 事務原語 (2) ? 原語集合由對象類型決定 ? 在郵件系統(tǒng)中 應該有發(fā)送 ， 接收和轉交郵件的原語 ? 帳務系統(tǒng)中 READ和 WRITE是很典型的例子 事務原語 (3)航班訂票系統(tǒng) BEGINTRANSACTION BEGINTRANSACTION 保留 WPJFK。 保留 WPJFK。 保留 JFKNairobi。 保留 JFKNairobi。 保留 NairobiMalindi。 NairobiMalindi = ABORT TRANSACTION。 ENDTRANSACTION ENDTRANSACTION 事務原語屬性 (1) ? 三個必要屬性： ? 序列化 并發(fā)的事務互不干擾 ? 原子性 對外界來說 ， 事務的執(zhí)行是不可分割 ? 永久性 一旦事務被執(zhí)行 ， 它所做的修改就永久生效 事務原語屬性 (2) ? 事務第一個屬性 ， 序列化 ? 保證兩個或多個事務同時運行時 ? 對它們自己及其它進程而言 ? 最后的結果與這些事務按照某種次序次序 ? 與系統(tǒng)有關順序運行時的結果一致 事務原語屬性 (3) ? 第二個關鍵屬性 ， 原子性 ? 每個事務要么全部發(fā)生 ， 要么都不發(fā)生 ? 如果事務發(fā)生 ， 它的發(fā)生就是一個不可分割的瞬時動作 ? 事務進展過程中 ， 其它進程都看不到事務發(fā)生的中間狀態(tài) 事務原語屬性 (3) ? 第三個屬性 ， 永久性 ? 一旦事務被提交 , 無論這時發(fā)生什么 ? 事務都會進行下去 , 其結果永久生效 嵌套事務 事務可以包含子事務 , 子事務稱為嵌套事務 假定一個事務并行啟動多個子事務 其中一個子事務已經提支 其操作結果在父事務中已經生效 在繼續(xù)時 ， 父事務被終止 要將整個系統(tǒng)恢復到頂層事務啟動前的狀態(tài) 結果 : 已經提交的子事務的結果也必須被恢復 事務永久性就只適用于頂層事務了 事務管理措施 任何事務或子事務啟動時 提供系統(tǒng)中所有對象私存拷貝 ， 供其操作 如果事務被終止 ， 私有空間消失 ， 好象從沒存在過 如果提交事務 ， 該事務私有空間代替父事務私有空間 在提交一子事務后啟動一新的子事務 第二個子事務能看到第一個子事務執(zhí)行結果 2. 原子事務實現(xiàn) 私有工作空間 (1) ? 第一種方法：在實例啟動事務時 ? 為該進程提供一個實際的私有工作空間 1 2 0 0 1 2 索引 自由塊 1 2 0 0‘ 3‘ 0 1 2 原始索引 0 1 2 3 1 2 0 0 1 2 3 3 私有 工作空間 磁盤 (a) (b) (c) 私有工作空間 (2) ? 優(yōu)化基礎：讀文件 ? 進程讀文件 ， 不修改該文件 不需要這個文件的私有拷貝 只要使用實際的文件即可 （ 除非修改該文件 ） ? 進程啟動事務時 ， 建立包含指向父進程工作空間的反向指針 ，空的私有工作空間 私有工作空間 (2) ? 優(yōu)化基礎：寫操作 ? 不將整個文件復制到私有工作空間 ， 只復制文件的索引 ? 首次修改一個文件塊時 ， 先要復制該文件塊 ， 然后將復制塊的地址插入文件索引 ? 復制后的新塊有時稱為影像塊 原子事務實現(xiàn) 寫前日志 (1) ? 修改文件前 ， 先在穩(wěn)定存儲器日志上寫入一個記錄 說
教學課件相關推薦
鄂ICP備17016276號-1