【正文】 如果事務(wù) Ti(i∈ [1,n])中消費(fèi)的資源數(shù)量可以用表示 NTi，則消費(fèi)總數(shù)表示為 ? 該指標(biāo)越高，說(shuō)明事務(wù)協(xié)調(diào)算法的效果越好：在不改變可靠性保證的前提下，促成了更多資源的消費(fèi)和更多事務(wù)的成功? 平均失敗時(shí)延 Tdelay代表事務(wù)協(xié)調(diào)算法的代價(jià)，它是整個(gè)系統(tǒng)中所有失敗事務(wù)持續(xù)時(shí)間的平均值。 當(dāng)可重復(fù)事務(wù)失敗時(shí) ,工作流管理引擎會(huì)重復(fù)執(zhí)行該事務(wù)直到該事務(wù)順利完成 。 ( 3)可替代事務(wù) ,該事務(wù)失敗后可執(zhí)行事先定義好的其它替代事務(wù)達(dá)到同樣的效果 。 u 事務(wù)協(xié)調(diào)協(xié)議 ：u 擬在 THP協(xié)議的基礎(chǔ)上進(jìn)行擴(kuò)展，將資源授予概率，執(zhí)行成功率等因素引入 THP協(xié)議來(lái)決定資源的分配，并應(yīng)用后驗(yàn)概率法動(dòng)態(tài)計(jì)算事務(wù)執(zhí)行成功率，采用模擬實(shí)驗(yàn)分析驗(yàn)證協(xié)議的性能u 事務(wù)處理模型 ：u 為物聯(lián)網(wǎng)設(shè)備協(xié)同系統(tǒng)設(shè)計(jì)統(tǒng)一的數(shù)據(jù)訪問(wèn)平臺(tái)，利用 O/R二級(jí)映射的技術(shù)整合特定物聯(lián)網(wǎng)行業(yè)數(shù)據(jù)訪問(wèn)規(guī)范u 在 sagas模型的基礎(chǔ)上進(jìn)行擴(kuò)展模型，將事務(wù)的關(guān)鍵性分級(jí)，根據(jù)事務(wù)的語(yǔ)義定義事務(wù)的類型，針對(duì)不同類型的事務(wù)，采取適應(yīng)的協(xié)調(diào)策略， 使模型在物聯(lián)網(wǎng)環(huán)境下具有好的并發(fā)性，并采用形式化方法描述事務(wù)模型u 事務(wù)補(bǔ)償機(jī)制 ：u 擬在事務(wù)提交階段引入事務(wù)執(zhí)行成功率和執(zhí)行時(shí)間的概念來(lái)計(jì)算事務(wù)的補(bǔ)償代價(jià)，通過(guò)關(guān)聯(lián)分析計(jì)算相關(guān)聯(lián)的事務(wù)對(duì)補(bǔ)償造成的影響，確定事務(wù)的提交時(shí)間，采取一種順序執(zhí)行逆序提交的方式，使之后可能進(jìn)行的補(bǔ)償操作變?yōu)榛貪L操作，從而減少補(bǔ)償操作的數(shù)量，提高事務(wù)并發(fā)控制執(zhí)行的效率，并采用模擬實(shí)驗(yàn)驗(yàn)證算法的性能u 事務(wù)協(xié)調(diào)協(xié)議 ：u 擬在 THP協(xié)議的基礎(chǔ)上進(jìn)行擴(kuò)展，將事務(wù)執(zhí)行時(shí)間，執(zhí)行成功率，資源授予概率等因素引入 THP協(xié)議，讓資源提供者主動(dòng)的選擇是否參與事務(wù)，合理地優(yōu)化資源的分配，并應(yīng)用后驗(yàn)概率法提高算法對(duì)高動(dòng)態(tài)性的支持，采用模擬實(shí)驗(yàn)分析驗(yàn)證協(xié)議的性能u 事務(wù)協(xié)調(diào)環(huán)境：假設(shè)在事務(wù)協(xié)調(diào)環(huán)境中有 n個(gè)資源提供者 RP{RP1,RP2 ,RP3 ,...,RPn }分別提供不同種類的資源（如：各類設(shè)備或設(shè)備代理），每個(gè)資源提供者 RPi擁有 ki個(gè)資源 ri，其中 i ∈ {1,..., s} 。物聯(lián)網(wǎng)事務(wù)與傳統(tǒng)分布式事務(wù)一樣，必須保持事務(wù)的持久性。一致性是事務(wù)從一個(gè)狀態(tài)轉(zhuǎn)移到另外一個(gè)狀態(tài)。u 以 THP為代表的重大革新 ,通過(guò)一種嘗試性的、非阻塞的方式預(yù)定事務(wù)資源 ,通過(guò)由傳統(tǒng)的資源完全鎖定方式轉(zhuǎn)變?yōu)楣蚕礞i定方式 ,放松對(duì)隔離性的要求，從而將補(bǔ)償?shù)目赡苄源蟠蠼档?。u 補(bǔ)償最早應(yīng)用在 Sagas模型中u Sagas中長(zhǎng)事務(wù)中每個(gè)子事務(wù)都被提供一個(gè)屬于它自己的補(bǔ)償塊，如果發(fā)生失效 ,失敗的那個(gè)子事務(wù)按照常規(guī)的方法進(jìn)行回滾 ,Sagas按照子事務(wù)被提交的逆序調(diào)用對(duì)應(yīng)的補(bǔ)償塊。 Sagas模型強(qiáng)制要求每個(gè)子事務(wù)有對(duì)應(yīng)的補(bǔ)償事務(wù) ,而在復(fù)雜的大型網(wǎng)絡(luò)環(huán)境中 , 不存在補(bǔ)償事務(wù)的子事務(wù)十分普遍 。? 隨著時(shí)間的發(fā)展與網(wǎng)絡(luò)環(huán)境的變更，研究者們考慮到具體應(yīng)用語(yǔ)義和依賴關(guān)系提出了各種擴(kuò)展事務(wù)模型 (主要包括 flexible模型，分支匯合模型，嵌套模型， sagas模型 ),采用補(bǔ)償和等價(jià)替換等手段 ,適當(dāng)調(diào)整并放松事務(wù)的 ACID 要求? 分支 ,匯合事務(wù)模型 ：支持分支和匯合事務(wù)的操作 ,可將一個(gè)執(zhí)行中的事務(wù)分為兩個(gè)事務(wù) ,或者將兩個(gè)事務(wù)合并為一個(gè)事務(wù) ,通過(guò)動(dòng)態(tài)重構(gòu)執(zhí)行中的事務(wù) ,可解決多個(gè)事務(wù)的協(xié)同問(wèn)題 ,提高事務(wù)的并發(fā)度和吞吐率 .? Flexible 事務(wù)模型 ：適用于多庫(kù)系統(tǒng) ,一個(gè) Flexible事務(wù)由多個(gè)子事務(wù)組成，根據(jù)子事務(wù)的恢復(fù)特性 ,可將其分為可補(bǔ)償?shù)摹? 可重試的和 Pivot 三種 ,為確保發(fā)生失效后 Flexible事務(wù)仍可正確恢復(fù) ,需要保證該事務(wù)是良構(gòu)的。. 事務(wù)協(xié)調(diào)協(xié)議研究現(xiàn)狀2. 國(guó)內(nèi)外研究現(xiàn)狀 事務(wù)協(xié)調(diào)協(xié)議研究現(xiàn)狀事務(wù)處理技術(shù)的發(fā)展事務(wù)處理模型研究現(xiàn)狀事務(wù)補(bǔ)償研究現(xiàn)狀u 平坦事務(wù)模型u 擴(kuò)展事務(wù)模型u Flexble模型；u 分支匯合模型；u 嵌套模型；u Sagas模型；. 事務(wù)處理模型研究現(xiàn)狀? 平坦事務(wù)模型是最原始的事務(wù)模型，具有嚴(yán)格的 ACID屬性（原子性，一致性，隔離性，持久性）；? 平坦的事務(wù)模型中嚴(yán)格的 ACID屬性保證了數(shù)據(jù)操作的可靠性與一致性，但存在以下缺點(diǎn)：167。嚴(yán)格 ACID的排他型資源訪問(wèn)方式 THP的共享資源協(xié)調(diào)方式類似拍賣的交易規(guī)則在極端的情況下使得預(yù)訂資源變得毫無(wú)意義，為此 THP提出了 “ 請(qǐng)求拒絕 ” 和 “預(yù)占用過(guò)期 ” 兩個(gè)協(xié)議控制概念，起到限制資源預(yù)定范圍的作用。? 然而 3PC 協(xié)議也無(wú)法完全避免阻塞，且由于其較大的通信開銷而沒有在業(yè)界廣泛使用. 事務(wù)協(xié)調(diào)協(xié)議研究現(xiàn)狀? BTP協(xié)議是一種 “ 參數(shù)化 ” 的兩階段提交協(xié)議，它允許事務(wù)設(shè)計(jì)者可以通過(guò)程序中的代碼顯示地控制事務(wù)的執(zhí)行過(guò)程。. 事務(wù)協(xié)調(diào)協(xié)議研究現(xiàn)狀? 2PC 協(xié)議起源于分布式環(huán)境，具有完備的 ACID屬性，確保數(shù)據(jù)的可靠性與一致性。如果該資源管理者不能提供資源，那么它也須明確告知事務(wù)協(xié)調(diào)者。 3PC167。 然而， web服務(wù)事務(wù)環(huán)境過(guò)度的松耦合性使得它的事務(wù)處理效率難以達(dá)到時(shí)效性較高的物聯(lián)網(wǎng)環(huán)境的要求。大部分需要協(xié)調(diào)的分布式事務(wù)是非常緊密耦合并且短時(shí)事務(wù)，在事務(wù)執(zhí)行過(guò)程中，不存在人為不確定因素的干擾；大部分事務(wù)是由專業(yè)技術(shù)人員參與設(shè)計(jì)并長(zhǎng)期運(yùn)行的服務(wù)流程，事務(wù)發(fā)起者對(duì)事務(wù)執(zhí)行效果的期望是穩(wěn)定而又清晰的，這種缺點(diǎn)在 web服務(wù)與物聯(lián)網(wǎng)環(huán)境下將會(huì)受到?jīng)_擊 。在多個(gè)應(yīng)用程序同時(shí)對(duì)相同數(shù)據(jù)庫(kù)資源進(jìn)行訪問(wèn)時(shí)，事務(wù)處理系統(tǒng)保證在事務(wù)執(zhí)行前后，數(shù)據(jù)仍然保持一致。167。 例如：地震前兆網(wǎng)絡(luò)觀測(cè)系統(tǒng)中一個(gè)設(shè)備采集的數(shù)據(jù)需分解為多個(gè)測(cè)向分量，在一次數(shù)據(jù)匯聚的過(guò)程中，這些分量數(shù)據(jù)作為一個(gè)整體任務(wù)分別寫入分布的，異構(gòu)的數(shù)據(jù)庫(kù)，倘若其中一個(gè)或幾個(gè)關(guān)鍵的操作失敗或等待響應(yīng)時(shí)間過(guò)長(zhǎng)，其他的操作無(wú)論已經(jīng)完成或未完成，都需同時(shí)撤銷，使系統(tǒng)數(shù)據(jù)恢復(fù)到進(jìn)行該操作之前的狀態(tài)。167。包括設(shè)備的標(biāo)識(shí)，應(yīng)用數(shù)據(jù)的采集，數(shù)據(jù)的匯聚傳輸，數(shù)據(jù)的融合，應(yīng)用，人工的交互等. 物聯(lián)網(wǎng)環(huán)境與設(shè)備協(xié)同系統(tǒng)? 以右圖國(guó)家地震前兆網(wǎng)絡(luò)觀測(cè)系統(tǒng)為例， 在系統(tǒng)中，感知層的大量地震觀測(cè)設(shè)備采集的數(shù)據(jù)經(jīng)過(guò)地震專網(wǎng)（網(wǎng)絡(luò)層）的傳輸，匯聚，到達(dá)區(qū)域，國(guó)家，