簡介：實時數(shù)據(jù)庫系統(tǒng)中事務與數(shù)據(jù)都具有顯式的定時約束實時事務處理不僅要維護數(shù)據(jù)庫的邏輯一致性而且需要保證滿足實時事務的各種時間約束特別是實時事務的截止期因此系統(tǒng)應具有靜態(tài)地預測硬實時事務執(zhí)行行為和對軟實時事務的執(zhí)行進行動態(tài)預測的能力即實時事務處理必須具有一定的可預測性基于事務相關圖的優(yōu)先級動態(tài)調(diào)整策略基于事務相關性分析的沖突敏感的事務子事務初始優(yōu)先級分配策略和系統(tǒng)動態(tài)負荷模型能夠充分反應系統(tǒng)中事務的動態(tài)行為和相互影響由此建立的事務接納控制策略和基于預分析的悲觀申請動態(tài)釋放的分布式實時靜態(tài)兩段鎖協(xié)議可以改善系統(tǒng)的性能內(nèi)存數(shù)據(jù)庫能提高實時事務處理的可預測性在實時內(nèi)存數(shù)據(jù)庫中恢復處理特別是內(nèi)存數(shù)據(jù)庫重裝是影響實時事務處理性能的關鍵因素之一灰關聯(lián)閉包的概念發(fā)展了灰色關聯(lián)分析的理論而基于此的實時事務動態(tài)數(shù)據(jù)存取分析能夠同時表達實時事務由于語義和非語義成分所表現(xiàn)的數(shù)據(jù)存取關聯(lián)從而可以合理地進行重裝數(shù)據(jù)的劃分這些是優(yōu)先級分組重裝算法的理論基礎該算法與傳統(tǒng)重裝算法相比有更好實時性能

簡介：WEB服務是一種嶄新的WEB應用程序類型，具有可重用性、自治性、異構性和易于集成的特點。它主要應用于企業(yè)應用集成和電子商務領域，可以方便地解決從簡單的服務請求到錯綜復雜的商業(yè)服務集成處理等問題。工作流技術主要側重于協(xié)調(diào)和組織方面，具有方便快捷的流程設計模式，通過重用已有服務可以實現(xiàn)WEB服務集成，但它難以保證系統(tǒng)的一致性和可靠性。而如何保證這種WEB服務集成的一致性和可靠性是工作流事務領域研究的重點。本文提出一個WEB服務工作流事務模型，它采用WEB服務事務規(guī)范WEBSERVICESCODINATIONTRANSACTION，WSCT的事務協(xié)調(diào)方法，并結合基于工作流的BPELBUSINESSPROCESSEXECUTIONLANGUAGE，業(yè)務流程執(zhí)行語言業(yè)務流程設計，實現(xiàn)了業(yè)務邏輯和事務協(xié)調(diào)相分離，提升了系統(tǒng)的可移植性和重用價值。該模型主要由客戶端、BPEL執(zhí)行引擎、事務協(xié)調(diào)器和參與者四個部分組成，客戶端發(fā)起請求，BPEL執(zhí)行引擎響應請求并開啟事務，事務協(xié)調(diào)器和參與者根據(jù)業(yè)務事務協(xié)調(diào)算法完成事務協(xié)調(diào)。最后通過實例進行測試，驗證了該系統(tǒng)的可行性。

簡介：移動通信技術的蓬勃發(fā)展，給移動計算環(huán)境下的各項應用帶來了前所未有的機遇，傳統(tǒng)互聯(lián)網(wǎng)上的各項應用紛紛向移動互聯(lián)網(wǎng)遷移，但簡單的遷移遠遠跟不上需求的增長，移動互聯(lián)網(wǎng)上需要更多的是創(chuàng)新。移動實時數(shù)據(jù)庫是運行在移動計算環(huán)境中的數(shù)據(jù)庫管理系統(tǒng)，由于移動計算環(huán)境的特殊性，如頻繁斷接性、資源有限性、移動性等，使得移動實時數(shù)據(jù)庫需要新的事務處理、恢復處理模型等，而移動AGENT正好提供了良好的解決方案。傳統(tǒng)數(shù)據(jù)庫事務處理基于嚴格控制、縝密設計的基礎，事務處理方式確定、單一、缺乏靈活性；移動環(huán)境下系統(tǒng)維護困難，故障恢復缺乏應具有的主動性，自適應性。AGENT發(fā)源于人工智能，在眾多領域得到應用，本文首先分析了移動AGENT的自主、智能、移動等特性，在移動計算環(huán)境中的應用優(yōu)勢及AGENT當前存在的安全性、編程、效率、容錯方面的不足。然后在現(xiàn)有的移動分布式實時數(shù)據(jù)庫的基礎上，結合面向AGENT的軟件開發(fā)思想，賦予事務處理主動性、故障恢復主動性等，提出基于移動AGENT的移動實時事務模型。此模型將移動實時數(shù)據(jù)庫操作的核心功能分離出來，使AGENT能專注于擴展功能的實現(xiàn)，增加了系統(tǒng)的可擴展性，事務處理能根據(jù)自身及外界環(huán)境的變化而做出相應的調(diào)整以提高性能，以提高并發(fā)度為例作說明。接著在此事務處理模型基礎上，針對移動計算環(huán)境下移動分布式實時事務具有壽命長的特性，提出了基于移動AGENT的嵌套自適應預提交協(xié)議NACP，實驗結果證明NACP能有效提高系統(tǒng)的吞吐量，降低數(shù)據(jù)沖突率，并對移動斷接有良好的支持。最后結合人工智能、專家系統(tǒng)的知識提出了基于移動AGENT的自適應恢復模型，其中包括事件的主動探測及報告機制，事件收集，故障分析預測等，使得系統(tǒng)能無人工干預、自適應的選擇相應策略進行故障的恢復，縮短了故障恢復的響應時間。

簡介：隨著計算機技術和無線網(wǎng)絡技術的進一步發(fā)展移動計算環(huán)境下的應用也越來越普及數(shù)據(jù)量和處理復雜度不斷增加移動應用要求在移動設備上有合適的DBMS來管理嵌入式移動數(shù)據(jù)庫就此應運而生它可針對移動商務的要求而定制是移動計算環(huán)境下基于數(shù)據(jù)庫應用的基礎和核心移動分布式數(shù)據(jù)庫中結點間的連接是一種弱連接這給傳統(tǒng)的事務處理提出了新的挑戰(zhàn)為了提高移動計算機的效率事務執(zhí)行通常采用樂觀復制的方法它的不足之處是要依賴用戶對應用數(shù)據(jù)和節(jié)點行為的知識難以適應移動計算環(huán)境下網(wǎng)絡連接和配置的動態(tài)變化該文以移動數(shù)據(jù)庫系統(tǒng)SWIFTDB為基礎面向具體應用詳細分析了移動事務沖突檢測準則、移動結點嵌入式數(shù)據(jù)庫狀態(tài)等問題重點闡述了移動事務一致性實現(xiàn)策略包括基于概率方法的動態(tài)服務質(zhì)量算法和移動結點延遲更新傳播時間的求解算法等主要問題最后給出了采用一般時間序列法短期預測參數(shù)Λ的簡單流程

簡介：網(wǎng)格計算的目標之一就是向用戶提供可靠的服務并隱藏其中復雜的過程。隨著網(wǎng)格技術的應用不斷地從科學研究擴展到商業(yè)領域，提供可靠性保證的事務服務將是必不可少的基礎設施，因為事務是容錯系統(tǒng)故障的有效手段，事務服務不僅能夠保證系統(tǒng)的一致性不會受到各種失敗和其它并發(fā)活動的影響，而且可使復雜的處理過程向應用開發(fā)者和用戶透明。網(wǎng)格資源的自治性、動態(tài)性和異構性，對事務處理提出了新的挑戰(zhàn)，使已有的事務處理技術不能直接應用到網(wǎng)格環(huán)境中。本文首先提出了服務網(wǎng)格環(huán)境中的事務服務及以此為基礎的事務處理模型，然后根據(jù)服務網(wǎng)格的特點和不同應用的要求，對原子事務、聚合事務和實時事務的協(xié)調(diào)算法以及事務補償技術進行了深入的研究。對三種協(xié)調(diào)算法，本文使用PETRI網(wǎng)加以模型化并驗證了它們的正確性，實驗結果也證明了模型的可行性以及每種協(xié)調(diào)算法的有效性。本文的貢獻和創(chuàng)新性工作主要體現(xiàn)在以下幾個方面1首次提出了服務網(wǎng)格環(huán)境中的事務服務和事務處理模型。本文首先提出網(wǎng)格事務服務；并以此為基礎，結合服務網(wǎng)格環(huán)境對事務處理的要求，定義了網(wǎng)格事務處理模型。模型根據(jù)事務的類型以統(tǒng)一的方式處理各種事務。從不同商業(yè)應用的實際需要出發(fā)，本文定義了原子事務、聚合事務和實時事務，其中原子事務用于協(xié)調(diào)執(zhí)行時間比較短的網(wǎng)格應用；聚合事務用于協(xié)調(diào)持續(xù)時間較長的商業(yè)活動；而實時事務用于滿足實時應用的需要。模型不要求服務提供者改變其設計和實現(xiàn)策略，每一個網(wǎng)格服務都在其提供者的完全控制之下。此外，模型可以方便地擴充新的協(xié)調(diào)算法，因而容易擴展。2提出了聚合事務協(xié)調(diào)算法。為了滿足商業(yè)交易活動的要求，聚合事務協(xié)調(diào)算法具有以下特點一是允許子事務獨立提交并在提交后立即釋放資源。商業(yè)交易活動一般持續(xù)時間較長，傳統(tǒng)的鎖定資源的方法在聚合事務中不再適用。二是如果某些參加者失敗、退出或不愿加入事務，通過重新選擇新的參加者，全局事務可以繼續(xù)進行。三是允許用戶有選擇性地確認或撤銷已提交的子事務。撤銷是通過補償事務實現(xiàn)的。四是參加到事務中的網(wǎng)格服務可以在全局事務結束之前動態(tài)地退出網(wǎng)格。3深入研究了服務網(wǎng)格環(huán)境下的事務補償技術。聚合事務使用補償事務撤消已提交的子事務。在已有的基于補償?shù)氖聞仗幚矸桨钢?，補償事務一般由應用開發(fā)者提供，這在服務網(wǎng)格環(huán)境下將會遇到很多困難甚至是不可能實現(xiàn)的。主要原因一是由于網(wǎng)格服務的自治性，如何補償與服務的商業(yè)規(guī)則相關，應用開發(fā)者不可能知道所有服務的補償策略；二是大大增加了應用開發(fā)者的負擔和編程復雜性。本文提出的事務服務為公共的操作定義了通用的補償規(guī)則，同時也允許網(wǎng)格服務提供者設置特定的補償規(guī)則。產(chǎn)生補償事務經(jīng)過三個步驟1定義補償規(guī)則。補償事務的產(chǎn)生基于事件驅(qū)動機制，數(shù)據(jù)修改事件和事務協(xié)調(diào)事件的補償規(guī)則由事務服務定義，而服務白定義事件的補償規(guī)則由服務提供者設置。2動態(tài)產(chǎn)生補償操作。在聚合事務執(zhí)行過程中，當補償事件出現(xiàn)時，事務服務根據(jù)規(guī)則庫中的補償規(guī)則產(chǎn)生撤銷原操作的補償操作。3產(chǎn)生補償事務。如果子事務成功提交，補償操作被封裝成一個完整的事務。事務服務不僅能夠自動化補償事務的產(chǎn)生和執(zhí)行，減輕了應用開發(fā)者的負擔，而且方便了服務提供者實行自治的管理。4提出了原子事務協(xié)調(diào)算法。傳統(tǒng)的分布式原子事務在其提交協(xié)議的準備階段鎖定了所有參加者的資源直到事務提交，但自治的網(wǎng)格服務典型地不允許外部應用對其鎖定管理器的封鎖請求。算法使用網(wǎng)格的預訂機制來為原子事務的提交作準備，凡在規(guī)定時間內(nèi)預訂到事務訪問資源的參加者，則認為是可以提交的并返回“準備好”消息。加入事務的網(wǎng)格服務在提交時利用其關聯(lián)的本地事務管理器請求鎖定已預訂的資源來保證子事務的ACID特性。此外，算法中還使用了超時機制來避免網(wǎng)格中可能出現(xiàn)的長時間阻塞。5提出了實時事務協(xié)調(diào)算法。實時事務不僅要保證系統(tǒng)的一致性，還要滿足實時性的要求。協(xié)調(diào)實時事務的主要目標是使盡可能多的事務在截止期內(nèi)完成而不是追求最高的系統(tǒng)吞吐率。由于執(zhí)行子事務的網(wǎng)格服務的地理分布性和異構性極強，網(wǎng)絡通訊時延和故障率比較高，服務網(wǎng)格中的實時事務比傳統(tǒng)的分布式環(huán)境更容易超過截止期而導致事務失敗。為了提高成功率，實時事務協(xié)調(diào)算法使用了功能等價模型，即每一個子事務由一個功能等價服務組來完成；功能等價服務組中的所有成員在各自的私有工作區(qū)內(nèi)并行執(zhí)行子事務中的操作；每組中首先完成的服務返回可提交消息COMMITTABLE并在接到提交消息COMMIT時實際提交子事務，而其它服務的操作被取消。實驗表明，功能等價模型可以顯著地提高實時事務的成功率。

簡介：點擊查看更多基于BPEL的長事務處理的研究與實現(xiàn).pdf精彩內(nèi)容。

簡介：本文對網(wǎng)格環(huán)境中的事務處理做了深入的研究，給出了一種新的事務處理模型。文中使用的研究和開發(fā)平臺是GLOBUSTOOLKIT30。本文總結了網(wǎng)格和網(wǎng)格服務環(huán)境中的相關概念。然后總結了事務處理技術方面的概念，如事務模型和事務處理的體系結構，分析了傳統(tǒng)的幾種分布式事務處理模型。提出了網(wǎng)格環(huán)境中的事務處理與這些模型的區(qū)別。研究了網(wǎng)格環(huán)境中事務的特點，根據(jù)這種特點，作者把網(wǎng)格環(huán)境中的事務類型分為兩類原子事務和長事務。分析和歸納了網(wǎng)格環(huán)境中協(xié)調(diào)框架存在的必要性以及其職責。給出了協(xié)調(diào)框架的一種設計方案，該框架是可擴展的，它支持多種事務類型，支持多種事務協(xié)調(diào)協(xié)議。給出了網(wǎng)格環(huán)境中的事務處理系統(tǒng)的一個實現(xiàn)方案。該系統(tǒng)支持上面提出的協(xié)調(diào)框架，支持原子事務和長事務的協(xié)調(diào)協(xié)議，滿足動態(tài)松耦合的要求。在該系統(tǒng)中采用消息重發(fā)機制等保證系統(tǒng)的可靠性。

簡介：近年來嵌入式實時數(shù)據(jù)系統(tǒng)被廣泛應用于工業(yè)控制、信息通訊、網(wǎng)絡傳輸以及金融等領域。這類系統(tǒng)要求具有無人工干預的運行能力要求事務具有良好的自適應能力和應變能力。項目組的前序研究已經(jīng)證明基于替代的實時事務可能具有多條執(zhí)行路徑使得事務具有自適應能力和應變能力。本文在前序研究成果的基礎之上研究了事務夭折重啟的策略。以基于替代的實時事務模型為基礎分析替代的特性以及替代與事務的關系并對事務預分析進行了說明。針對替代在執(zhí)行過程中發(fā)生數(shù)據(jù)沖突的情況論文以替代靜態(tài)相容性分析為基礎提出了動態(tài)部分相容性檢測方法。該方法只檢測沖突替代當前操作之后的相容性相對于前序研究而言放松了事務相容性的要求。在動態(tài)部分相容性檢測的基礎上分析了替代可能夭折的情況并提出了替代夭折策略解決替代在運行過程中出現(xiàn)的沖突問題。此外分析了事務夭折出現(xiàn)的情況并分析了事務夭折的條件。按照子事務的執(zhí)行權重論文提出了基于資源占有率最低的重啟策略以達到降低沖突的概率和提高事務成功率的目的。在替代夭折后系統(tǒng)檢查被夭折替代是否滿足替代重啟條件對于滿足重啟條件的替代則按照基于資源占有率最低的重啟策略的算法進行處理。為了檢測夭折策略和重啟策略的性能進行了仿真實驗。介紹了仿真實驗系統(tǒng)的結構以及實驗模型和評價標準并對實驗結果進了詳細地分析。實驗證明研究的夭折策略和重啟策略可以有效地減少系統(tǒng)不必要的資源消耗提高事務成功率增強系統(tǒng)的自適應能力和應變能力。

簡介：西安電子科技大學碩士學位論文WEB服務事務的研究與應用姓名劉偉申請學位級別碩士專業(yè)計算機軟件與理論指導教師陳平20050101ABSTRACTWITHTHERAPIDDEVELOPMENTOFB2BECOMMERCE，ANEWWEBBASEDAPPLICATIONPATTERNWEBSERVICESARISEITPROVIDESAUNIFIEDPROGRAMMINGMODELSOTHATTHEAPPLICATIONSINSIDEANDOUTSIDETHEENTERPRISESCALLCOMMUNICATEMOREEASILYWEBSERVICESBUILDONEXISTINGANDEMERGINGSTANDARDSSUCHASHRL7RPEXTENSIBLEMARKUPLANGUAGEXMLSIMPLEOBJECTACCESSPROTOCOLSOAP，WEBSERVICESDESCRIPTIONLANGUAGEWSDLANDUNIVERSALDESCRIPTION，DISCOVERYANDINTEGRATJONUDDI，THETRANSACTIONPROCESSINGASONEOFTHEKEYTECHNIQUESOFWEBSERVICES，DECIDESWHETHERWEBSERVICESCANBEADOPTEDBROADLYBYTHEENTERPRISESTHETRANSACTIONINWEBSERVICESMAYGOTHROUGHAFEWHOURSORSEVERALENTERPRISESANDITHASGREATDIFFERENCEWITHTHATINTHETRADITIONALTRANSACTIONPROCESSINGSYSTEMSSOMETRANSACTIONSPECIFICATIONSCONCERNINGWEBSERVICES，INCLUDINGWEBSERVICESATOMICTRANSACTIONANDBUSINESSACTIVITYSPECIFICATION，WERERELEASEDINRECENTYEARSBYIBMANDMICROSOFTETCBUTITISDIFFICULTTEALIZEALLTHERULESINTHESESPECILICATIONSINTHISPAPECTHEAUTHORANALYZESTHESESPECIFICATIONSINDETAIL，DESIGNSPROTOTYPEANDFRAMEWORKSFORWEBSERVICESATOMICTRANSACTIONANDBUSINESSACTIVITYANDPROVIDESCONCRETEIMPLEMENTATIONFINALLY，THEAPPLICATIONOFTHEPROTOTYPEANDFRAMEWORKSOFTRANSACTIONPROCESSINGINWEBSERVICESTOTHEPOSTALBUSINESSSYSTEMSAREINTRODUCEDKEYWORDWEBSENICESDISTRIBUTEDTRANSACTIONATOMICTRANSACTIONBUSINESSACTIVITY

簡介：隨著數(shù)據(jù)庫技術和網(wǎng)絡技術的發(fā)展，分布式數(shù)據(jù)庫系統(tǒng)越來越受到人們的關注，財政領域的系統(tǒng)也從集中式轉變?yōu)榉植际?，它所處理的事務發(fā)展為分布式事務。財政領域的事務既有一般分布式事務的特點，也有其自身的特殊性，本文主要針對財政領域的分布式事務處理中的提交協(xié)議和死鎖檢測問題進行了深入研究。分析現(xiàn)有的分布式事務提交協(xié)議，在分布式事務兩階段提交協(xié)議的基礎上，結合財政領域的事務類型，提出了面向財政領域的分布式事務提交協(xié)議，很好的滿足了財政領域中的各類事務，降低了提交協(xié)議的消息通信量并且對兩階段提交協(xié)議中的阻塞問題進行了處理。分析現(xiàn)有的探針檢測算法，結合財政領域的具體業(yè)務特點，提出了一種面向財政領域的死鎖檢測算法PP探針法。通過定義一種新的探針，使得探針攜帶更多的消息從而解決死鎖中外部依賴的問題；通過定義新的事務數(shù)據(jù)結構，使得事務的優(yōu)先級比較更加合理；定義新的探針傳遞規(guī)則，并基于該探針傳遞規(guī)則提出了死鎖檢測與恢復算法。實驗驗證了本文所提出的事務提交協(xié)議和死鎖檢測算法性能。

簡介：近年來隨著嵌入式設備在金融、通信、電子、航空航天、工業(yè)自動化控制、醫(yī)療等各領域的不斷普及嵌入式應用環(huán)境下的數(shù)據(jù)量也隨之不斷增大為嵌入式系統(tǒng)提供數(shù)據(jù)管理變地尤其重要。目前嵌入式實時數(shù)據(jù)庫已成為數(shù)據(jù)庫研究領域的一個熱點。傳統(tǒng)數(shù)據(jù)庫中的事務處理不考慮數(shù)據(jù)和事務的定時限制處理的是永久的數(shù)據(jù)追求平均性能和系統(tǒng)吞吐率而衡量嵌入式實時數(shù)據(jù)庫管理系統(tǒng)性能的標準是實時事務的成功率和系統(tǒng)資源利用率。因此必須為嵌入式實時數(shù)據(jù)庫研究全新的事務處理技術。本文首先通過分析實時事務執(zhí)行時間預測的影響因素給出了一種可行的事務執(zhí)行時間估算策略并通過試驗驗證了該策略的有效性其次通過分析現(xiàn)有事務優(yōu)先級分配策略的優(yōu)缺點給出了一種優(yōu)化的事務調(diào)度策略并給出了該策略在自主研發(fā)的嵌入式實時數(shù)據(jù)庫CSERTDB中的實現(xiàn)試驗證明該策略能比較明顯地降低超截止期事務比率；再次設計并實現(xiàn)了CSERTDB的并發(fā)控制模塊包括集事務管理、封鎖管理以及恢復管理三者功能于一體的鎖表結構的設計并給出了封鎖操作的實現(xiàn)算法；最后針對傳統(tǒng)事務恢復策略中存在的問題討論了一種在多個事務并發(fā)運行的嵌入式環(huán)境中當其中一個事務發(fā)生故障時利用其他并發(fā)運行的事務對其進行自動恢復的策略試驗證明該策略在減少系統(tǒng)拒絕服務時間和提高事務成功率方面具有較好的性能。

簡介：移動數(shù)據(jù)庫的研究是當前計算機領域的一個熱點。作為移動數(shù)據(jù)庫的基礎性技術之一，移動事務管理的任務是在移動環(huán)境下網(wǎng)絡不穩(wěn)定、主機節(jié)點移動性等條件下實現(xiàn)數(shù)據(jù)庫訪問的一致性、可用性和高性能。本文對移動事務處理技術展開研究，重點研究了MWDL撤銷方法在并發(fā)控制中的應用。分析了主要的撤銷方法，在MWDL的基礎上提出了帶有優(yōu)先權的MWDL算法即HPMWDL。HPMWDL繼承了MWDL撤銷方法的固有優(yōu)點，采用了復合優(yōu)先權的方式，優(yōu)先級由固定優(yōu)先級、與執(zhí)行時間相關的優(yōu)先級、與訪問資源相關的優(yōu)先級三部分組成。固定優(yōu)先級部分由創(chuàng)建者指定并可動態(tài)調(diào)整。創(chuàng)建者可以指定事務類型（常事務、普通實時事務、硬實時事務）。借助于LINUX中區(qū)分IOBOUND型事務和PROCESSBOUND型事務的機制，可以實現(xiàn)對固定優(yōu)先級部分的動態(tài)調(diào)整，將被認定為IOBOUND型的事務由默認的PROCESSBOUND型升級為IOBOUND型。執(zhí)行時間相關的優(yōu)先級部分將事務區(qū)分為常事務、普通實時事務和硬實時事務。對常事務采用只與撤銷次數(shù)相關的計算方式；對實時事務的DEADLINE進行了兩方面的處理，加入了傳輸延遲和事務執(zhí)行時間兩個處理步驟，這使得事務的DEADLINE更加精確。對硬實時事務賦予高于普通實時事務的優(yōu)先級，使得盡最大可能按時完成硬實時事務，對于超時的實時事務，賦予負值，然后依據(jù)撤銷方法重啟該超時的事務，從而避免系統(tǒng)無效的執(zhí)行。訪問資源相關的優(yōu)先級部分賦予數(shù)據(jù)庫的數(shù)據(jù)資源一定的權值，當事務訪問數(shù)據(jù)時更新該優(yōu)先級。因為事務的類型與其訪問的數(shù)據(jù)類型有相當大的關聯(lián)性，通過啟發(fā)式算法動態(tài)調(diào)整數(shù)據(jù)資源的權值對于提高用戶滿意度具有重要意義。本文通過實驗測試了HPMWDL撤銷方法的性能，實驗結果表明HPMWDL撤銷方法可以克服移動數(shù)據(jù)庫中長事務特性所造成的重復撤銷和撤銷高優(yōu)先級事務的缺點。

簡介：隨著XML相關標準的推廣和應用，如何有效管理大規(guī)模的XML數(shù)據(jù)成為數(shù)據(jù)庫領域的一個研究熱點。為盡可能重用關系數(shù)據(jù)庫領域已有的眾多成熟理論和技術，如事務管理、存儲管理、鎖管理、安全性管理等，將XML數(shù)據(jù)管理功能嵌入到傳統(tǒng)的關系型數(shù)據(jù)庫中成為目前流行的研究趨勢。作為一個功能完善的數(shù)據(jù)庫，為有效支持XML數(shù)據(jù)上的聯(lián)機事務處理，DBMS在提供XML查詢處理操作的同時，還必須能夠執(zhí)行各種XML數(shù)據(jù)更新操作。這種更新不僅包括XML文檔的整體更新，還包括對XML文檔中某一部分結構或者內(nèi)容進行更新。由于XML的半結構化數(shù)據(jù)模型有別于關系數(shù)據(jù)庫中基于元組的結構化數(shù)據(jù)模型，XML數(shù)據(jù)在進行更新時，需要對關系數(shù)據(jù)庫的事務處理和并發(fā)控制技術進行調(diào)整和加強。目前關于XML事務處理的研究尚處于起步階段，雖然有研究人員已經(jīng)提出了一些事務模型和并發(fā)控制協(xié)議，但是這些模型都是針對于原生XML數(shù)據(jù)庫系統(tǒng)，而針對與關系數(shù)據(jù)無縫集成的XML事務管理依然缺乏一個通用的處理架構。此外，在執(zhí)行關系數(shù)據(jù)和XML數(shù)據(jù)混合更新的基礎上，如何保證更新后的XML文檔依然符合定義在其上的結構約束和屬性約束也是需要研究的一類問題。為彌補當前關系數(shù)據(jù)庫在XML數(shù)據(jù)更新事務處理方面的缺陷，論文探討了一種與關系數(shù)據(jù)無縫集成的XML事務處理方案，提出了XML與關系數(shù)據(jù)混合更新的層次架構；在此基礎上，提出了多類型事務調(diào)度模型和一整套針對XML事務的并發(fā)控制管理策略。論文的主要內(nèi)容包括1兼顧到XML數(shù)據(jù)和關系型數(shù)據(jù)邏輯結構的差異性，本文將XML數(shù)據(jù)更新納入到關系型數(shù)據(jù)事務的處理架構中，提出了與關系數(shù)據(jù)庫無縫集成的XML更新的層次模型XRUPDATE，構建了XML數(shù)據(jù)和關系型數(shù)據(jù)的混合更新引擎XRUE，將XML數(shù)據(jù)更新和關系型數(shù)據(jù)更新融為一體，并在此基礎上提出了XML數(shù)據(jù)和關系數(shù)據(jù)的混合更新算法。2嵌入XML事務處理引擎的關系數(shù)據(jù)庫系統(tǒng)構成了一個集成系統(tǒng)，在集成系統(tǒng)的事務執(zhí)行過程中，XML數(shù)據(jù)與關系型數(shù)據(jù)不同的加鎖粒度造成了系統(tǒng)整體事務并發(fā)度下降。本文基于混合更新框架，提出了多類型事務概念，詳細分析了多類型事務中的操作類型；并依據(jù)操作類型，將關系事務和XML事務進行區(qū)分，建立了與各自事務并發(fā)控制策略無關的調(diào)度模型，提出了調(diào)度算法；并針對XML文檔替換操作，提出了解決此類沖突的并發(fā)控制協(xié)議。3多個XML事務同時執(zhí)行各自的更新序列會引出XML并發(fā)控制問題。本文兼顧到XML數(shù)據(jù)和關系型數(shù)據(jù)邏輯結構的差異性，基于二層表模型，將XML事務的并發(fā)控制策略有機地納入到關系數(shù)據(jù)庫的并發(fā)控制體系中，針對只讀事務之間以及讀寫事務之間的沖突，提出了基于元組的多版本時間戳協(xié)議一MVXR；針對更新事務之間的寫寫沖突，提出了基于局部路徑加鎖策略的XML數(shù)據(jù)并發(fā)控制協(xié)議XLP。該協(xié)議減少了事務對鎖的頻繁請求，提高了事務的并發(fā)度和執(zhí)行效率。4使用XML文檔存儲和交換信息，需要定義XML模式對XML數(shù)據(jù)施加特有的結構約束和屬性約束。對一篇有效的XML文檔執(zhí)行一系列更新操作后，保證得到的文檔仍然有效是XML數(shù)據(jù)更新領域一個重要的問題。已有的XML文檔糾錯算法的時間復雜度很高，為指數(shù)級別。本文提出了一種基于更新操作沖突檢測策略的XML文檔自動糾錯算法，在算法中，提出了基于路徑的數(shù)據(jù)模型，該模型將XML文檔片段和XML模式的樹狀結構扁平化為與之等價的路徑集合；針對于不符合模式約束的XML文檔，采用動態(tài)規(guī)劃算法實現(xiàn)了一次一路徑的糾錯，并通過更新操作沖突檢測策略獲取全部合法候選路徑，實驗表明本文提出的自動糾錯算法大大降低了糾錯算法的時間復雜度。

簡介：博士學位論文博士學位論文面向硬件事務存儲系統(tǒng)沖突管理機制的研究RESEARCHONCONTENTIONMANAGEMENTFHARDWARETRANSACTIONALMEMYSYSTEM王曉群王曉群2011年3月CLASSIFIEDINDEXTP39141UDC68139DISSERTATIONFTHEDOCTALDEGREEINENGINEERINGRESEARCHONCONTENTIONMANAGEMENTFHARDWARETRANSACTIONALMEMYSYSTEMCIDATEWANGXIAOQUNSUPERVISPROFHUMINGZENGPROFJIZHENZHOUACADEMICDEGREEAPPLIEDFDOCTOFENGINEERINGSPECIALITYCOMPUTERARCHITECTUREAFFILIATIONSCHOOLOFCOMPUTERSCIENCEDATEOFDEFENCEMARCH2011DEGREECONFERRINGINSTITUTIONHARBININSTITUTEOFTECHNOLOGY

簡介：摘要摘要隨著分布式應用規(guī)模的日益龐大，分布式系統(tǒng)中不可避免地包括各種異構實體丁CORBA提供了分布式環(huán)境中對象的透明互操作，使應用程序獨立于軟硬件平臺、網(wǎng)絡協(xié)議、編程語言，近年來己成為分布式對象計算領域的重要研究方向。對象事務服務OTS將事務概念引入到CORBA中，保證了對象互操作的完整性和可靠性冷本文從理論和實踐兩個方面對OTS進行了深入研究。論文首先研究了CORBA體系結構，包括ORB核心、界面定義語言、界面?zhèn)}庫和實現(xiàn)倉庫、語言映射、存根和框架、動態(tài)調(diào)用、對象適配器以及ORB之間的互操作協(xié)議等。其次介紹了事務概念和分布式事務的兩階段提交過程，深入研究了OMG定義的對象事務服務的規(guī)范，分析了它的事務處理框架，詳細說明了各界面接口的地位和功能。論文隨著研究了可移植對象適配器規(guī)范，這是實現(xiàn)可伸縮的高性能CORBA服務的關鍵。在此基礎上，采用面向?qū)ο蟮乃枷脒M行了系統(tǒng)設計，詳細說明了各個類的功能和相互間關系，以及它們是如何協(xié)作來實現(xiàn)OTS規(guī)范中的事務處理的。作為早期的分布式事務處理軟件框架，XOPENDTP模型得到了業(yè)界很多廠商的支持，如ORACLESYBASEMICROSOFT等。如何使應用程序能夠更方便的與支持XA協(xié)議的資源管理器進行集成，是OTS實現(xiàn)的一個重要方面。論文最后分析了XOPENDTP模型和XA協(xié)議，并研究和實現(xiàn)了OTS與XA資源管理器集成的機制。在以上的研究和開發(fā)基礎上，為CORBA中間件NOSEWARE具體實現(xiàn)了可實用的對象事務服務NOSEOTSE關鍵詞CORB，對SFII對象事務服務，鐘，分布式事務處理電子科技大學碩士論文CORBA中對象事務服務研究與實現(xiàn)第一章緒論1，研究背景和意義1946年2月15日，美國研制成功世界上第一臺通用電子數(shù)字計算機ENIAC揭開了計算機時代的序幕。早期的計算機龐大而又昂貴，大多數(shù)機構只有少數(shù)幾臺計算機，人們通過與主機連接的啞終端來使用計算資源，所有的任務都在主機上執(zhí)行，這時信息資源集中在很少的計算機上。八十年代中期出現(xiàn)了微處理器，并且一直以摩爾定律所揭示的速度發(fā)展，目前許多微計算機具有了以前大型機的計算能力，但價格卻只是它的幾分之一，因此微計算機得到了廣泛的普及。隨著大量計算機的出現(xiàn)，信息源的數(shù)目飛速增長，人們迫切希望具有不受人員、數(shù)據(jù)以及機器的物理分布限制的資源共享。另一方面，網(wǎng)絡技術的發(fā)展使計算機互連成為可能，由此產(chǎn)生了將計算任務分解到多臺計算機執(zhí)行的分布式計算模式。分布式計算系統(tǒng)相對于集中式系統(tǒng)來講，具有下述優(yōu)勢通過互連、互通和互操作可以提高系統(tǒng)的協(xié)作能力通過并行處理可以提高系統(tǒng)的性能通過復制技術可以提高系統(tǒng)的可靠性和可用性通過模塊化技術可以提高系統(tǒng)的可伸縮性通過動態(tài)配置技術和重新配置功能可以提高系統(tǒng)的可擴展性通過資源共享可以提高系統(tǒng)的性能價格比。因此，傳統(tǒng)的基于主機的集中式計算模式正在逐步退出歷史舞臺，分布式計算模式得到了廣泛的應用。隨著分布式應用的深化，分布式計算規(guī)模越來越大。由于各種各樣的因素，大規(guī)模的分布式系統(tǒng)中總是存在著各種各樣的異構實體，其中包括異構軟硬件平臺、異構操作系統(tǒng)、不同的編程語言、異種網(wǎng)絡協(xié)議和異構應用軟件等。大規(guī)模分布式系統(tǒng)的異構性不僅是不可避免的，也是永遠無法消除的。只有異種實體的存在，才能更好地滿足不同用戶和不同應用的各種不同要求。如果強制性地消除異構實體，也就不可避免地削弱分布式系統(tǒng)的諸多優(yōu)勢。因此，如何使大規(guī)模分布式系統(tǒng)中的異構實體能夠相互協(xié)作，實現(xiàn)跨平臺資源的透明互操作和協(xié)同計算，一直都是業(yè)界研究的熱點。過去的研究表明，解決這一問題的關鍵在于為分布式應用的開發(fā)提供好的工具，并為相應的分布式應用的運行提供好的環(huán)境。目前支持分布式計算的環(huán)境主要有兩類基于過程的分布式計算和面向?qū)ο蟮姆植际接嬎?。?頁