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

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

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

簡介：點擊查看更多事務間關聯規(guī)則的有效挖掘.pdf精彩內容。

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

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

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

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

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

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

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

簡介：點擊查看更多設計模式在事務處理系統(tǒng)領域中的應用研究.pdf精彩內容。

簡介：點擊查看更多基于分布對象Web的多數據庫事務處理.pdf精彩內容。

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

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