簡介：近年來，由于物理定律的障礙，使用增加晶體管數(shù)量來提高處理器性能的摩爾定律已經(jīng)逐漸走到了盡頭。為了解決這個(gè)問題，人們將目光投向了多核處理器，它主要通過并行計(jì)算來提高性能。多核多處理等新一代系統(tǒng)結(jié)構(gòu)對并行的全面支持，引發(fā)了軟件開發(fā)方式上的巨變。軟件不再能從硬件性能提升中免費(fèi)獲益，而需要充分利用硬件特性實(shí)現(xiàn)并發(fā)，才能充分發(fā)揮新一代硬件的優(yōu)勢。因此，面向多核時(shí)代的編程人員，越來越需要設(shè)計(jì)和開發(fā)并行程序，以充分利用這種多核硬件特征。然而，并行編程是有相當(dāng)難度的。一方面，目前的語言和工具仍沒有做好將應(yīng)用轉(zhuǎn)化為并行程序的準(zhǔn)備；另一方面，并行編程要求程序員以人類難以適應(yīng)的方式思考。在并行編程中，對共享資源的并發(fā)訪問控制是一個(gè)關(guān)鍵性的問題。傳統(tǒng)上，程序員通常使用鎖機(jī)制來進(jìn)行并發(fā)控制，但是傳統(tǒng)的鎖機(jī)制存在以下缺陷1）粒度選擇困難，粗粒度鎖編程簡單但并發(fā)度低；細(xì)粒度鎖能提高并發(fā)度但是難以實(shí)現(xiàn)2）不具有組合性，兩段使用鎖機(jī)制實(shí)現(xiàn)的、能正確運(yùn)行的代碼合并后得到的代碼可能出現(xiàn)錯(cuò)誤3）容易引起優(yōu)先級倒置、護(hù)送、死鎖等問題。為了給程序員提供一種易編程同時(shí)具有高并發(fā)度的并行編程機(jī)制，研究人員將數(shù)據(jù)庫中的并發(fā)控制概念引入到編程語言中形成事務(wù)內(nèi)存系統(tǒng)。事務(wù)內(nèi)存主要分為兩層在高層，它提供一種比較簡單的類似串行形式的程序語義使得編程容易；在低層，研究人員使用鎖等機(jī)制設(shè)計(jì)各種不同的細(xì)粒度并發(fā)系統(tǒng)來將高層的程序翻譯到底層系統(tǒng)中并發(fā)地執(zhí)行。通過這兩層系統(tǒng)，可以有效地解決長久以來并行編程給程序員帶來的諸多困擾。但是，事務(wù)內(nèi)存系統(tǒng)的出現(xiàn)也給并行程序驗(yàn)證帶來了新的挑戰(zhàn)，已有的并行驗(yàn)證技術(shù)與邏輯系統(tǒng)不能直接用來驗(yàn)證事務(wù)內(nèi)存程序。因此，本學(xué)位論文中的工作著眼于此問題，通過深入研究軟件事務(wù)內(nèi)存系統(tǒng)的各種實(shí)現(xiàn)機(jī)制，并結(jié)合現(xiàn)有的并行程序驗(yàn)證技術(shù)，設(shè)計(jì)了一種新的用于驗(yàn)證軟件事務(wù)內(nèi)存程序的邏輯推理系統(tǒng)。通過驗(yàn)證軟件事務(wù)內(nèi)存程序來指導(dǎo)事務(wù)內(nèi)存系統(tǒng)的實(shí)現(xiàn)，為構(gòu)造高可信并行軟件奠定基礎(chǔ)。同時(shí)，本文還關(guān)注一些現(xiàn)有的軟件事務(wù)內(nèi)存系統(tǒng)實(shí)現(xiàn)算法，使用形式化方法來驗(yàn)證該實(shí)現(xiàn)算法的安全性與正確性。本文的主要工作和貢獻(xiàn)可以分為以下幾個(gè)部分在攜帶基礎(chǔ)證明程序的基礎(chǔ)上設(shè)計(jì)了一種用于驗(yàn)證基于事務(wù)內(nèi)存同步機(jī)制的匯編級并行程序的程序邏輯系統(tǒng)。在該系統(tǒng)中，本文巧妙地設(shè)計(jì)了一種結(jié)合了并發(fā)分離邏輯和攜權(quán)限分離邏輯的程序邏輯來支持驗(yàn)證事務(wù)代碼中的投機(jī)讀操作。此外，基于該系統(tǒng)本文中還提出了一種驗(yàn)證事務(wù)代碼原子性的方法，以保證事務(wù)代碼執(zhí)行的正確性。在定理輔助證明工具COQ中完成了本文所設(shè)計(jì)的驗(yàn)證事務(wù)內(nèi)存程序邏輯系統(tǒng)的所有可靠性證明，從而將該邏輯系統(tǒng)中的驗(yàn)證推理規(guī)則從受信任計(jì)算基礎(chǔ)中排除出去，使其具有更高的可靠性。此外，我們通過具體的實(shí)例證明來體現(xiàn)此邏輯系統(tǒng)的有效性與實(shí)用性。使用最新的程序邏輯驗(yàn)證了一種經(jīng)典的軟件事務(wù)內(nèi)存實(shí)現(xiàn)算法TRANSACTIONALLOCKINGII的安全性與正確性。在證明中，通過使用輔助變量與輔助代碼，本文總結(jié)出一種驗(yàn)證基于版本化鎖實(shí)現(xiàn)的事務(wù)投機(jī)讀操作的方法。此外，本文還證明了基于該實(shí)現(xiàn)算法生成的事務(wù)代碼與對應(yīng)高層程序之間的一致性。

簡介：傳統(tǒng)的數(shù)據(jù)庫安全機(jī)制對于成功數(shù)據(jù)攻擊的防御能力非常有限有授權(quán)的惡意事務(wù)可以通過破壞數(shù)據(jù)的完整性和可用性使得數(shù)據(jù)庫系統(tǒng)不能正常工作。因此入侵檢測技術(shù)被用來加強(qiáng)系統(tǒng)的防御工作。但是很多時(shí)候在攻擊被檢測到之前破壞可能已經(jīng)造成而且多數(shù)入侵檢測系統(tǒng)為了追求入侵檢測的高準(zhǔn)確率卻造成了檢測入侵攻擊的低效率并帶來較長時(shí)間的檢測延遲。這樣一些沒有被檢測到的入侵或者檢測時(shí)間的過長都會造成破壞的嚴(yán)重?cái)U(kuò)散。本文首先分析了入侵容忍技術(shù)在數(shù)據(jù)庫系統(tǒng)中的應(yīng)用研究情況。針對傳統(tǒng)的采用復(fù)制整個(gè)數(shù)據(jù)庫的方式來實(shí)現(xiàn)入侵容忍的設(shè)計(jì)方案本文提出了事務(wù)級攻擊隔離模型并給出了相應(yīng)的隔離算法包括版本控制算法、沖突鑒定與處理算法及合并算法該模型可以解決上述由于檢測延遲造成的破壞擴(kuò)散問題。其思想是在確切的入侵被報(bào)告之前系統(tǒng)實(shí)時(shí)隔離那些可疑用戶并控制隔離用戶對正式數(shù)據(jù)庫的訪問。通過這種方式數(shù)據(jù)庫系統(tǒng)可以免于被很多惡意事務(wù)破壞。如果結(jié)果證明被隔離用戶是無辜的可以通過合并算法把無辜用戶的更新數(shù)據(jù)同步到正式數(shù)據(jù)庫中。最后本文著重?cái)⑹隽艘粋€(gè)事務(wù)級攻擊隔離數(shù)據(jù)庫系統(tǒng)的原型設(shè)計(jì)方案稱為TRANSACTIONLEVELATTACKISOLATIONDATABASETLAIDB。TLAIDB是基于特定DBMS基礎(chǔ)上實(shí)施隔離算法的系統(tǒng)TLAIDB通過使用觸發(fā)器和事務(wù)的特征信息跟蹤記錄數(shù)據(jù)項(xiàng)的讀寫情況通過重寫用戶SQL語句方式隔離攻擊通過跟蹤事務(wù)間影響關(guān)系定位破壞情況通過執(zhí)行特定的合并事務(wù)修復(fù)破壞而且這些處理對用戶來說是透明的。在本文中系統(tǒng)的設(shè)計(jì)主要是基于ACLE9I數(shù)據(jù)庫管理系統(tǒng)但TLAIDB設(shè)計(jì)是通用的可以通過簡單修改較容易的支持其他數(shù)據(jù)庫應(yīng)用平臺例如SQLSERVERSYBASE等?？傊疚牡难芯恐攸c(diǎn)是探討如何利用攻擊隔離思想改進(jìn)數(shù)據(jù)庫系統(tǒng)的入侵容忍能力所設(shè)計(jì)的TLAIDB系統(tǒng)能透明的隔離可疑用戶的

簡介：北京市北京市基層社區(qū)公共事務(wù)基層社區(qū)公共事務(wù)平臺化治理的思考平臺化治理的思考學(xué)位類型專業(yè)學(xué)位類型專業(yè)學(xué)位學(xué)位論文作者論文作者袁大浩袁大浩學(xué)號號2013185201318518341834培養(yǎng)學(xué)院公共管理學(xué)院培養(yǎng)學(xué)院公共管理學(xué)院專業(yè)名稱公共管理學(xué)碩士專業(yè)名稱公共管理學(xué)碩士指導(dǎo)教師指導(dǎo)教師彭向剛彭向剛教授教授20201616年5月學(xué)位論文原創(chuàng)性聲明學(xué)位論文原創(chuàng)性聲明本人鄭本人鄭重聲明所呈交的學(xué)位論文，是本人在導(dǎo)師的指導(dǎo)下，重聲明所呈交的學(xué)位論文，是本人在導(dǎo)師的指導(dǎo)下，獨(dú)立進(jìn)行研究工作所取得的成果。除文中已經(jīng)注明引用的內(nèi)容獨(dú)立進(jìn)行研究工作所取得的成果。除文中已經(jīng)注明引用的內(nèi)容外，本論文不含任何其他個(gè)人或集體已經(jīng)發(fā)表或撰寫過的作品成外，本論文不含任何其他個(gè)人或集體已經(jīng)發(fā)表或撰寫過的作品成果。對本文所涉及的研究工作做出重要貢獻(xiàn)的個(gè)人和集體，均已果。對本文所涉及的研究工作做出重要貢獻(xiàn)的個(gè)人和集體，均已在文中以明確方式標(biāo)明。本人完全意識到本聲明的法律責(zé)任由本在文中以明確方式標(biāo)明。本人完全意識到本聲明的法律責(zé)任由本人承擔(dān)。人承擔(dān)。特此聲明特此聲明學(xué)位論文作者簽名學(xué)位論文作者簽名年月日

簡介：點(diǎn)擊查看更多事務(wù)間關(guān)聯(lián)規(guī)則的有效挖掘.pdf精彩內(nèi)容。

簡介：為了解決安全數(shù)據(jù)庫中事務(wù)處理問題，研究了安全數(shù)據(jù)庫中多級事務(wù)ACIS正確性標(biāo)準(zhǔn)。提出了基于快照的多級安全并發(fā)控制算法和基于兩階段鎖和串行圖的多級事務(wù)調(diào)度算法。基于快照的多級安全并發(fā)控制算法要求在每個(gè)安全級上除系統(tǒng)最高安全級為數(shù)據(jù)庫創(chuàng)建兩個(gè)快照，并且所有的高級事務(wù)都是訪問數(shù)據(jù)庫的某個(gè)快照而不是直接訪問低級數(shù)據(jù)庫?？煺盏囊氡苊饬硕嗉壥聞?wù)的調(diào)度算法中常見的隱通道和高級事務(wù)的餓死等問題。介紹了快照的基本概念和基于快照的并發(fā)控制算法，并且證明了該算法能夠?yàn)槎嗉壥聞?wù)的執(zhí)行產(chǎn)生一個(gè)可串行化的事務(wù)歷史。為了解決兩階段鎖和安全性需求之間的沖突，提出了基于兩階段鎖和串行圖的多級事務(wù)調(diào)度算法，將兩階段鎖調(diào)度限制在單個(gè)安全級內(nèi)部，并且在高級事務(wù)讀取低級數(shù)據(jù)時(shí)使用“軟鎖”以消除隱通道。引入了串行圖以確保多級事務(wù)在不同安全級上的事務(wù)節(jié)串行化順序的一致性，從而實(shí)現(xiàn)了整個(gè)多級事務(wù)的可串行化。描述了算法的實(shí)現(xiàn)過程，并證明了該算法滿足多級事務(wù)的ACIS正確性標(biāo)準(zhǔn)。本文最后還研究了安全數(shù)據(jù)庫系統(tǒng)的設(shè)計(jì)方案。

簡介：萬維網(wǎng)服務(wù)是以XML為基礎(chǔ)的一系列開放的WEB規(guī)范技術(shù)，它的出現(xiàn)為異構(gòu)系統(tǒng)之間的互通互操作提供了一種很好的解決方案。萬維網(wǎng)服務(wù)組合可以解決企業(yè)集成和電子商務(wù)中的應(yīng)用問題。在萬維網(wǎng)服務(wù)組合中，常常需要處理多個(gè)成員萬維網(wǎng)服務(wù)之間的交互過程和組合過程，這必須保證多個(gè)萬維網(wǎng)服務(wù)運(yùn)行結(jié)果的可靠性和一致性，并能及時(shí)解決運(yùn)行時(shí)發(fā)生的各種異常。因此，在萬維網(wǎng)服務(wù)組合處理環(huán)境中需要提供事務(wù)處理技術(shù)的支持。傳統(tǒng)的事務(wù)嚴(yán)格遵循ACID屬性，往往無法滿足并發(fā)性的要求，為了有效的處理，就需要放松萬維網(wǎng)服務(wù)事務(wù)的隔離性，而不是采用嚴(yán)格的鎖機(jī)制。本文探討了放松隔離性的萬維網(wǎng)服務(wù)事務(wù)出現(xiàn)的不一致問題，然后在研究當(dāng)前萬維網(wǎng)服務(wù)事務(wù)處理規(guī)范WSCODINATION和WSBA的基礎(chǔ)上分析比較當(dāng)前的研究和規(guī)范，提出了一種分布的協(xié)調(diào)機(jī)制和協(xié)議，即萬維網(wǎng)服務(wù)事務(wù)依賴管理協(xié)議WSTDMP，以便保證放松隔離性的事務(wù)的正確執(zhí)行。WSTDMP可以有效得檢測事務(wù)在不一致狀態(tài)下的依賴關(guān)系。由于放松了事務(wù)的隔離特性，事務(wù)的依賴關(guān)系會在訪問共享資源的并發(fā)事務(wù)之間發(fā)生，這些依賴關(guān)系有可能會形成環(huán)路，而這種環(huán)路在服務(wù)提供者端本地是無法檢測到的，WSTDMP可以檢測出這種環(huán)路，并且安全的解除環(huán)路，保證事務(wù)的一致性。

簡介：當(dāng)今ASIC設(shè)計(jì)因其后端工藝的不斷進(jìn)步從035微米到010微米甚至008微米技術(shù)而規(guī)模越來越大在今后的近十年里電子產(chǎn)業(yè)仍將遵循摩爾定律的速度增長但是隨著ASIC設(shè)計(jì)規(guī)模的增大其相應(yīng)前端驗(yàn)證的難度、復(fù)雜度將以幾何級數(shù)的速度增加當(dāng)今ASIC前端驗(yàn)證已經(jīng)成為整個(gè)ASIC設(shè)計(jì)流程中耗時(shí)長、難度大卻又十分關(guān)鍵的階段ASIC前端驗(yàn)證已經(jīng)建立了一套完備的理論但是因?yàn)樯虡I(yè)利益等各方面的原因其實(shí)現(xiàn)上尚有諸多不足近年來CENCE公司推出了專門用于驗(yàn)證的C工具庫TESTBUILDERTESTBUILDER將軟件設(shè)計(jì)中的面向?qū)ο笤O(shè)計(jì)思想與ASIC前端驗(yàn)證中基于事務(wù)的驗(yàn)證思想完美結(jié)合加之其全開放、免費(fèi)的驗(yàn)證環(huán)境使之成為了當(dāng)今業(yè)界最流行的驗(yàn)證方式之一本論文將在介紹前端驗(yàn)證基本理論的基礎(chǔ)上著重介紹如何利用TESTBUILDER在搭建驗(yàn)證環(huán)境方面的諸多優(yōu)勢結(jié)合PMON項(xiàng)目原有的驗(yàn)證方案提出了一種新的驗(yàn)證方案并以實(shí)際的驗(yàn)證舉例進(jìn)行具體說明第一章為緒論主要介紹ASIC開發(fā)流程以及前端驗(yàn)證的基本理論并重點(diǎn)介紹了基于事務(wù)驗(yàn)證的基本概念及其流程從而引出基于事務(wù)驗(yàn)證的解決方案TESTBUILDER第二章介紹如何結(jié)合TESTBUILDER的優(yōu)點(diǎn)將現(xiàn)有的驗(yàn)證方案進(jìn)行進(jìn)一步的改進(jìn)使之可以解決很多瓶頸問題并論證了這一改進(jìn)方案的正確性與可行性第三章將利用第二章提出的新的驗(yàn)證方案闡述其在具體設(shè)計(jì)中的應(yīng)用其中的三個(gè)設(shè)計(jì)舉例都是以前PMON項(xiàng)目的測試難點(diǎn)也是經(jīng)典的驗(yàn)證難點(diǎn)問題仲裁模型、排隊(duì)模型、多對多模型等第四章對第三章的實(shí)驗(yàn)結(jié)果進(jìn)行了數(shù)據(jù)統(tǒng)計(jì)并據(jù)此進(jìn)行了結(jié)果分析說明了新的驗(yàn)證方案與傳統(tǒng)驗(yàn)證方案相比的優(yōu)缺點(diǎn)第五章將對前四章的內(nèi)容進(jìn)行總結(jié)闡述搭建驗(yàn)證環(huán)境應(yīng)該注意的一些基本卻十分重要的原則以及該驗(yàn)證方案的一些展望

簡介：分類號密級UDC學(xué)位論文數(shù)字有機(jī)體數(shù)據(jù)庫分布式查詢優(yōu)化與數(shù)字有機(jī)體數(shù)據(jù)庫分布式查詢優(yōu)化與分布式事務(wù)處理的研究與實(shí)現(xiàn)分布式事務(wù)處理的研究與實(shí)現(xiàn)（題名和副題名）曾理曾理（作者姓名）指導(dǎo)教師姓名劉心松劉心松教授教授電子科技大學(xué)電子科技大學(xué)成都（職務(wù)、職稱、學(xué)位、單位名稱及地址）申請學(xué)位級別碩士碩士專業(yè)名稱軟件工程軟件工程論文提交日期20094論文答辯日期20095學(xué)位授予單位和日期電子科技大學(xué)電子科技大學(xué)答辯委員會主席評閱人年月日注1注明國際十進(jìn)分類法UDC的類號。摘要I摘要計(jì)算機(jī)網(wǎng)絡(luò)的發(fā)展和信息的共享，使得分布式數(shù)據(jù)庫的發(fā)展成為必然和熱點(diǎn)。人們對數(shù)據(jù)存儲和檢索的高可靠性和高速度性，要求越來越高，傳統(tǒng)數(shù)據(jù)庫的局限已經(jīng)暴露得越來越明顯。因此分布式數(shù)據(jù)庫便迎合了這一需求。在分布式數(shù)據(jù)庫中，由于高可靠性和高速度性是其重要特點(diǎn)，所以對查詢執(zhí)行的要求也就更高。而查詢執(zhí)行中查詢優(yōu)化是執(zhí)行的關(guān)鍵環(huán)節(jié)，查詢優(yōu)化在很大程度上決定查詢的效率或快慢，因此查詢優(yōu)化技術(shù)一直是許多數(shù)據(jù)庫專家學(xué)者研究的重要課題。傳統(tǒng)的數(shù)據(jù)庫查詢優(yōu)化主要是從查詢的底層執(zhí)行流程和實(shí)現(xiàn)技術(shù)出發(fā)，通過關(guān)系代數(shù)的手段進(jìn)行理論上的探討，而且大量研究集中在查詢執(zhí)行的語法分析階段。其核心思想是查詢編譯器利用元數(shù)據(jù)和關(guān)于數(shù)據(jù)的統(tǒng)計(jì)數(shù)據(jù)來確定哪一個(gè)操作序列可能是最快的。例如，從物理查詢計(jì)劃的底層磁盤輸入輸出到語法分析階段的語法分析樹、用于改進(jìn)查詢計(jì)劃的代數(shù)定律、邏輯查詢計(jì)劃的改進(jìn)，以及操作代價(jià)的估計(jì)、基于代價(jià)的計(jì)劃和連接順序的選擇等全過程，都進(jìn)行了不懈的努力。在這方面的研究已經(jīng)非常成熟。因?yàn)榉植际綌?shù)據(jù)庫本身的復(fù)雜性，它涉及的因素多且變化多端。存在于網(wǎng)絡(luò)環(huán)境的分布式數(shù)據(jù)庫系統(tǒng)，節(jié)點(diǎn)之間的通信代價(jià)和分布式計(jì)算處理，成為不可回避的重要內(nèi)容。本文討論的分布式數(shù)據(jù)庫優(yōu)化從上層入手，即在數(shù)據(jù)庫級做優(yōu)化，重點(diǎn)是如何選擇一個(gè)最優(yōu)的數(shù)據(jù)庫副本來提供服務(wù)。本優(yōu)化策略盡可能的減少通信的開銷，做到就近提供服務(wù)，并著眼于查詢執(zhí)行的實(shí)際代價(jià)，從分布式系統(tǒng)中選出一個(gè)最優(yōu)的執(zhí)行節(jié)點(diǎn)。在分布式事務(wù)執(zhí)行過程中，副本之間的實(shí)時(shí)同步和事務(wù)執(zhí)行的速度是至關(guān)重要的，分布式事務(wù)語句的執(zhí)行很難保證在不同的環(huán)境中執(zhí)行能夠保證執(zhí)行的結(jié)果完全一致，本文為了解決這一問題將采用MYSQL自帶的二進(jìn)制日志機(jī)制來同步其他副本，因?yàn)槎M(jìn)制日志中包括所有與事務(wù)執(zhí)行相關(guān)的信息，使在不同的環(huán)境里執(zhí)行相同的事務(wù)也能保證執(zhí)行的結(jié)果一致。全文分為六章第一章對分布式數(shù)據(jù)庫進(jìn)行總體概述，第二章介紹數(shù)字有機(jī)體數(shù)據(jù)庫系統(tǒng)，第三章介紹了分布式查詢優(yōu)化的設(shè)計(jì)與實(shí)現(xiàn)，第四張對分布式事務(wù)進(jìn)行總體概述，第五章介紹分布式事務(wù)處理的設(shè)計(jì)與實(shí)現(xiàn)，第六章分析并實(shí)現(xiàn)

簡介：隨著信息技術(shù)和互聯(lián)網(wǎng)技術(shù)的飛速發(fā)展，混合事務(wù)負(fù)載的實(shí)時(shí)數(shù)據(jù)庫應(yīng)用需求變得非常普遍。實(shí)時(shí)數(shù)據(jù)庫事務(wù)處理比傳統(tǒng)的實(shí)時(shí)任務(wù)和數(shù)據(jù)庫事務(wù)都更復(fù)雜、更困難，它必須同時(shí)實(shí)現(xiàn)數(shù)據(jù)一致性包括外部、相互和動(dòng)態(tài)一致性和定時(shí)限制兩者，從而導(dǎo)致傳統(tǒng)的事務(wù)結(jié)構(gòu)并不適合于表達(dá)實(shí)時(shí)事務(wù)。本文對實(shí)時(shí)事務(wù)處理做了深入探討，提出了適合于混合實(shí)時(shí)事務(wù)調(diào)度的事務(wù)模型。硬實(shí)時(shí)事務(wù)錯(cuò)失截止期會導(dǎo)致很大的系統(tǒng)性能降級甚至災(zāi)難性后果，而少量的軟實(shí)時(shí)事務(wù)錯(cuò)失截止期是可以容忍的。所以混合實(shí)時(shí)事務(wù)調(diào)度的目標(biāo)應(yīng)該是保證硬實(shí)時(shí)事務(wù)滿足截止期，同時(shí)最小化軟實(shí)時(shí)事務(wù)的截止期錯(cuò)失率。面向混合實(shí)時(shí)事務(wù)調(diào)度的問題，本文提出了一種基于恒定帶寬服務(wù)器簡稱CBS算法的混合實(shí)時(shí)事務(wù)調(diào)度模型。事務(wù)調(diào)度器是實(shí)時(shí)事務(wù)調(diào)度的核心，實(shí)時(shí)事務(wù)的調(diào)度工作就是由它來完成。在對CBS和EDFEARLIESTDEADLINEFIRST算法深入研究學(xué)習(xí)的基礎(chǔ)上，詳細(xì)設(shè)計(jì)了事務(wù)調(diào)度器。該調(diào)度器由主調(diào)度器、EDF調(diào)度器和CBS調(diào)度器組成，能夠?qū)崿F(xiàn)對混合實(shí)時(shí)事務(wù)的調(diào)度。對于事務(wù)的并發(fā)控制，本文并未深入的研究。通過對現(xiàn)有的并發(fā)控制協(xié)議的比較，本文選擇了MCCDATI協(xié)議?；谏厦娴墓ぷ?，本文在AGILTP上實(shí)現(xiàn)了提出的混合實(shí)時(shí)事務(wù)調(diào)度模型。仿真測試是實(shí)時(shí)事務(wù)調(diào)度研究與性能評估的重要一環(huán)，因此本文對模型進(jìn)行了仿真測試。仿真測試的結(jié)果表明，本文給出的的模型在滿足硬實(shí)時(shí)事務(wù)的截止期的同時(shí)，能夠較好的降低軟實(shí)時(shí)事務(wù)的截止期錯(cuò)失率。特別是對于那些最壞情況執(zhí)行時(shí)間難以估計(jì)或者最壞情況執(zhí)行時(shí)間過大的事務(wù)，比基于其他算法的混合實(shí)時(shí)事務(wù)調(diào)度模型有更好的性能。

簡介：基于FCES思想的開放可編程網(wǎng)絡(luò)架構(gòu)是下一代網(wǎng)絡(luò)設(shè)備發(fā)展的重要研究方向之一。這種架構(gòu)能夠滿足隨著通信技術(shù)的發(fā)展及新業(yè)務(wù)的出現(xiàn)對網(wǎng)絡(luò)設(shè)備所提出的更高的要求。為了提高CE的消息傳輸效率、節(jié)省網(wǎng)絡(luò)帶寬、縮短CE與多個(gè)FE間消息傳輸延遲，本文對FCES通道中的組播及事務(wù)管理進(jìn)行了深入研究。本文在詳細(xì)分析FCES通道中使用組播通信需求的基礎(chǔ)上，提出了適合于FCES通道的可靠組播方案，并詳細(xì)分析了CE與FES間基于可靠組播通信的交互流程及交互PERTI網(wǎng)模型，同時(shí)對可靠組播的安全性問題進(jìn)行了研究，利用基于IPSEC的可靠組播來保障可靠組播的安全性；其次，為了實(shí)現(xiàn)上述可靠組播方案，研究定義了可靠組播傳輸過程中出現(xiàn)的報(bào)文類型和功能并詳細(xì)設(shè)計(jì)了各類報(bào)文的結(jié)構(gòu)，結(jié)合UML的類圖介紹了CE和FE端的可靠組播模塊的詳細(xì)設(shè)計(jì)過程；再次，為了減少在CE對多FE通信的事務(wù)操作中的延時(shí)，本文對基于2PC的分布式FCES事務(wù)進(jìn)行了分析，給出了基于組播的事務(wù)管理機(jī)制，并利用PETRI網(wǎng)分析了該事務(wù)管理機(jī)制模型。最后，論文對可靠組播的功能、性能及基于組播的事務(wù)管理分別進(jìn)行了測試，分析結(jié)果表明可靠組播能夠成功的應(yīng)用于FCES架構(gòu)。

簡介：點(diǎn)擊查看更多分布式數(shù)據(jù)庫事務(wù)處理與并發(fā)控制策略.pdf精彩內(nèi)容。

簡介：點(diǎn)擊查看更多設(shè)計(jì)模式在事務(wù)處理系統(tǒng)領(lǐng)域中的應(yīng)用研究.pdf精彩內(nèi)容。

簡介：點(diǎn)擊查看更多基于分布對象Web的多數(shù)據(jù)庫事務(wù)處理.pdf精彩內(nèi)容。

簡介：隨著電子商務(wù)和計(jì)算機(jī)網(wǎng)絡(luò)技術(shù)的快速發(fā)展，越來越多的業(yè)務(wù)需要在已有業(yè)務(wù)的基礎(chǔ)上增值新業(yè)務(wù)，企業(yè)間相互合作、資源共享等現(xiàn)象己越來越普遍，傳統(tǒng)的中間件技術(shù)為企業(yè)之間的交互合作提供了一種解決方案，但是這些技術(shù)是緊耦合技術(shù)，對參與應(yīng)用的企業(yè)系統(tǒng)有嚴(yán)格的要求?；赬ML等標(biāo)準(zhǔn)技術(shù)的萬維網(wǎng)服務(wù)一種自包含、自描述的技術(shù)，支持在松散耦合環(huán)境下、在異構(gòu)平臺之上的應(yīng)用之間進(jìn)行互通互操作。萬維網(wǎng)服務(wù)組合為服務(wù)之間交互操作提供一種更好的解決方案，采用基于HTTP、SMTP協(xié)議之上的SOAP協(xié)議傳輸消息，使得處在不同結(jié)點(diǎn)上的不同服務(wù)之間可以跨越網(wǎng)絡(luò)和防火墻進(jìn)行消息傳遞。但是網(wǎng)絡(luò)結(jié)點(diǎn)中的硬件設(shè)施故障或是數(shù)據(jù)傳輸過程中出現(xiàn)數(shù)據(jù)包丟失等現(xiàn)象，使得服務(wù)組合缺少可靠性的保障，而萬維網(wǎng)服務(wù)組合缺少有效的事務(wù)支持。事務(wù)定義了一個(gè)操作序列，最初是出現(xiàn)在數(shù)據(jù)庫系統(tǒng)中，具有ACID的特性，而處于萬維網(wǎng)服務(wù)環(huán)境下的事務(wù)有原子事務(wù)，也有長時(shí)間事務(wù)，如果完全采用了ACID特性，必然會出現(xiàn)資源被長時(shí)間占有的現(xiàn)象，而在開放互聯(lián)環(huán)境下，資源被長期獨(dú)占在很大程度上降低了資源的利用率，因此傳統(tǒng)數(shù)據(jù)庫中事務(wù)的ACID特性并不能完全適用于萬維網(wǎng)服務(wù)環(huán)境下的事務(wù)。關(guān)于萬維網(wǎng)服務(wù)的事務(wù)處理，WSCODINATIONWSATWSBA和WSCAF等規(guī)范都提出了自己的框架，但目前并沒有統(tǒng)一的萬維網(wǎng)服務(wù)事務(wù)標(biāo)準(zhǔn)。萬維網(wǎng)服務(wù)事務(wù)和傳統(tǒng)事務(wù)的不同之處在于業(yè)務(wù)活動(dòng)。本論文分析比較了當(dāng)前的研究和規(guī)范，并在此基礎(chǔ)上提出一個(gè)事務(wù)處理模型。模型中采用了WSCODINATION建立參與方注冊機(jī)制，根據(jù)注冊信息確定事務(wù)處理的協(xié)調(diào)類型和協(xié)調(diào)協(xié)議，并利用WSBA實(shí)現(xiàn)事務(wù)處理控制協(xié)議。文中研究WSBA的實(shí)現(xiàn)機(jī)制，協(xié)調(diào)各個(gè)參與者服務(wù)之間的協(xié)調(diào)操作，并對可能出現(xiàn)的資源訪問沖突進(jìn)行分析并提出一種解決方案。

簡介：事務(wù)處理技術(shù)是保證信息可靠性和一致性的關(guān)鍵技術(shù)。目前廣泛使用的平面事務(wù)是具有ACID特性的原子操作序列。平面事務(wù)模型在支持長時(shí)間運(yùn)行事務(wù)方面存在缺陷，也不適用于具有復(fù)雜業(yè)務(wù)過程的應(yīng)用。工作流是一類能夠完全或者部分自動(dòng)執(zhí)行的經(jīng)營過程。事務(wù)工作流結(jié)合了事務(wù)和工作流兩者的特點(diǎn)，一個(gè)事務(wù)工作流的執(zhí)行將系統(tǒng)從一個(gè)一致性狀態(tài)轉(zhuǎn)換到另一個(gè)一致性狀態(tài)。事務(wù)工作流技術(shù)具有廣泛的應(yīng)用前景，但事務(wù)工作流的研究起步較晚，在建模、事務(wù)處理、體系結(jié)構(gòu)、實(shí)現(xiàn)技術(shù)、應(yīng)用集成方面研究尚不充分。本文針對這些不足之處進(jìn)行研究。本文以擴(kuò)展事務(wù)模型SAGA和FLEXIBLE為基礎(chǔ)，引入可替換事務(wù)、平凡事務(wù)等事務(wù)種類，借用傳統(tǒng)事務(wù)恢復(fù)機(jī)制“保存點(diǎn)”的思想，提出了支持分布式工作流應(yīng)用的可靠事務(wù)工作流模型WFSAGA，針對該模型設(shè)計(jì)了補(bǔ)償事務(wù)和反向補(bǔ)償流的計(jì)算方法。本文還以JAVA圖形操作為基礎(chǔ)設(shè)計(jì)了圖形化建模工具并用基于XML的過程定義語言對模型進(jìn)行了描述。以WFSAGA事務(wù)模型為理論依據(jù)，以分布式計(jì)算平臺J2EE為實(shí)現(xiàn)技術(shù)，本文設(shè)計(jì)構(gòu)建了分布式事務(wù)工作流執(zhí)行服務(wù)；論述了執(zhí)行服務(wù)的分布式體系結(jié)構(gòu)及其對事務(wù)恢復(fù)和并發(fā)控制的支持。最后，本文還在PDM系統(tǒng)中應(yīng)用了分布式事務(wù)工作流，并針對應(yīng)用現(xiàn)狀提出了以XML文檔為中介的產(chǎn)品結(jié)構(gòu)數(shù)據(jù)的集成方法。