簡介：目前，云計算作已經(jīng)在學(xué)術(shù)和商業(yè)上都取得了巨大成功，它作為一種新的計算范式不斷促使新技術(shù)的產(chǎn)生。軟件即服務(wù)SOFTWAREASASERVICE已經(jīng)成為云計算為用戶提供服務(wù)的重要方式，而云計算也為實(shí)現(xiàn)多租戶SAAS應(yīng)用提供了重要的理論基礎(chǔ)。隨著學(xué)者們對租戶數(shù)據(jù)存儲方式的研究，數(shù)據(jù)存儲得到了優(yōu)化，SAAS應(yīng)用的性能得到了一定的改善，但仍然存在其他問題如優(yōu)化租戶事務(wù)處理的相關(guān)問題。SAAS應(yīng)用可以滿足很多用戶同時這些用戶又可是屬于不同租戶的，這就注定了租戶事務(wù)的高并發(fā)性。高可用性、可擴(kuò)展性、分布性等等特點(diǎn)決定了亟需對SAAS應(yīng)用的租戶事務(wù)進(jìn)行優(yōu)化處理以提高應(yīng)用性能同時要保證租戶數(shù)據(jù)的全局一致性。但是CAP理論限制了在分布式系統(tǒng)環(huán)境中，對于一致性C、可用性A和分區(qū)容錯性P三者中只能滿足其中兩個。根據(jù)SAAS數(shù)據(jù)定制的特點(diǎn)，多種數(shù)據(jù)存儲方式被提出，其中利用基本表加擴(kuò)展表的數(shù)據(jù)存儲模式，基于這種數(shù)據(jù)存儲方式的租戶事務(wù)處理，與傳統(tǒng)方式數(shù)據(jù)存儲下的事務(wù)處理有很大的差異。傳統(tǒng)的技術(shù)和研究也易不適用于這種多租戶環(huán)境下的事務(wù)處理，首先是應(yīng)用于傳統(tǒng)并發(fā)控制的鎖機(jī)制對于多租戶環(huán)境的事務(wù)控制已成為一種瓶頸，傳統(tǒng)的鎖機(jī)制來保證租戶數(shù)據(jù)一致性的難度較大，并且將會造成系統(tǒng)負(fù)載能力低，租戶事務(wù)可擴(kuò)展性差，而一些有關(guān)鎖優(yōu)化的技術(shù)并未在多租戶環(huán)境下進(jìn)行研究，亟需研究單節(jié)點(diǎn)多租戶下如何提高并發(fā)事務(wù)的吞吐量其次在結(jié)合分布式技術(shù)的多租戶數(shù)據(jù)庫中，特別是多租戶共享數(shù)據(jù)模式的情況下，由于多個租戶訪問混合和其用戶的復(fù)雜以及數(shù)據(jù)存儲的分布性，事務(wù)特性各種各樣，保持租戶數(shù)據(jù)全局一致性也是傳統(tǒng)技術(shù)不能很好解決的問題。本文主要工作如下1提出了多層次事務(wù)處理模型的設(shè)計。此模型中租戶數(shù)據(jù)的共享存儲模式是基于基本表加擴(kuò)展表同時租戶數(shù)據(jù)是在云中多節(jié)點(diǎn)分布式存儲的。租戶事務(wù)進(jìn)入模型時會附有時間戳并且進(jìn)入隊(duì)列然后模型對事務(wù)進(jìn)行調(diào)度處理最后控制租戶事務(wù)的并發(fā)執(zhí)行。2提出了面向租戶的輕量級鎖機(jī)制MLLL。MLLL通過對進(jìn)入內(nèi)存的租戶記錄增加計數(shù)字段使得鎖的信息與租戶數(shù)據(jù)綁定在一起，同時對租戶事務(wù)排序這樣可以保證在多租戶環(huán)境下使得系統(tǒng)吞吐量得以提高，同時滿足事務(wù)的可擴(kuò)展性。3提出了對租戶事務(wù)增加范圍時間戳來保證數(shù)據(jù)全局一致性的策略。通過對租戶事務(wù)設(shè)置上限和下限兩個時間戳屬性，并調(diào)整這個范圍區(qū)間來保證租戶事務(wù)的并發(fā)執(zhí)行，在獲得高吞吐量的同時租戶數(shù)據(jù)的全局一致性得到保證。

簡介：點(diǎn)擊查看更多工作流管理系統(tǒng)中業(yè)務(wù)活動事務(wù)模型的設(shè)計與實(shí)現(xiàn).pdf精彩內(nèi)容。

簡介：隨著數(shù)據(jù)庫技術(shù)的不斷發(fā)展和其在軍事、政府、金融等部門的廣泛應(yīng)用，數(shù)據(jù)庫的安全問題越來越受到人們的高度重視。傳統(tǒng)數(shù)據(jù)庫系統(tǒng)提供的安全特性僅能夠滿足一般的應(yīng)用要求而無法滿足一些重要部門或敏感領(lǐng)域的應(yīng)用要求。安全數(shù)據(jù)庫系統(tǒng)對數(shù)據(jù)庫內(nèi)部進(jìn)行嚴(yán)格的訪問控制，既保證數(shù)據(jù)庫用戶能獲取一般的信息，又致力于保證數(shù)據(jù)庫中的敏感信息不被未授權(quán)的用戶訪問。在眾多安全數(shù)據(jù)模型中，MLR模型是非常成功的。MLR模型成功地引入了“數(shù)據(jù)借用”的概念，解決了多實(shí)例等問題，但也帶來了安全隱患。在MLR模型的數(shù)據(jù)借用操作中，低安全級用戶的刪除操作和主鍵更新操作間接導(dǎo)致低安全級用戶修改高安全級用戶的視圖。本文針對MLR模型中低安全級用戶上寫權(quán)力過大的問題，提出一種改進(jìn)的安全模型EMLR模型。EMLR模型通過修改低安全級用戶的刪除操作和主鍵更新操作，利用數(shù)據(jù)庫緩沖池將低安全級用戶刪除的低級元組以及被間接刪除的高等級元組存入一個臨時表中。同時維護(hù)一個元組借用指向關(guān)系表，該表存儲了高安全級元組借用低安全級元組的信息，以及高安全級元組是否由于低安全級用戶的刪除操作和主鍵更新操作而被間接刪除的信息。這樣，被低安全級用戶間接刪除的高安全級元組可以通過拷貝臨時表中保存的元組、同時執(zhí)行“實(shí)體等級提升”操作來恢復(fù)。從而解決了MLR模型中低級別用戶上寫權(quán)力過大的安全隱患，保護(hù)了高級別數(shù)據(jù)的安全性。另外，對EMLR模型的正確性、完備性和安全性進(jìn)行了形式化的證明。同時，對兩版本兩階段鎖機(jī)制2V2PL進(jìn)行了修改。結(jié)合信號鎖和兩個版本的功能特性，修改了兩版本兩階段鎖的原子操作和提交機(jī)制。成功地將EMLR模型應(yīng)用于兩版本兩階段鎖機(jī)制中。從而提高了系統(tǒng)的安全性。本文還給出了多級安全分布式事務(wù)處理原型系統(tǒng)關(guān)鍵模塊的設(shè)計與實(shí)現(xiàn)。通過實(shí)驗(yàn)原型，證明了本文提出的改進(jìn)安全模型在安全并發(fā)控制協(xié)議中是可實(shí)現(xiàn)的和可行的。

簡介：點(diǎn)擊查看更多Web服務(wù)事務(wù)協(xié)調(diào)協(xié)議WS-TX的形式化分析與驗(yàn)證.pdf精彩內(nèi)容。

簡介：WEB服務(wù)組合作為基于INTER的典型的服務(wù)組合形式，正在得到廣泛的關(guān)注。由于WEB服務(wù)的松耦合特點(diǎn)，為保證多個服務(wù)交互獲得正確的執(zhí)行和一致性的結(jié)果，有必要為服務(wù)提供事務(wù)機(jī)制。目前，服務(wù)組合中的事務(wù)處理已成為一個研究熱點(diǎn)。本文針對組合服務(wù)事務(wù)的長事務(wù)特點(diǎn)，提出了一個通用的支持事務(wù)機(jī)制的組合服務(wù)描述模型UWSCNTM，該模型的特點(diǎn)之處在于支持動態(tài)的基于事務(wù)的WEB服務(wù)組合，并且具有豐富的執(zhí)行語義，可支持復(fù)雜的WEB服務(wù)組合。本文采用形式化的方法對該模型的執(zhí)行語義進(jìn)行驗(yàn)證，并提出了模型的良構(gòu)性準(zhǔn)則。基于該模型，設(shè)計并實(shí)現(xiàn)了一個組合服務(wù)事務(wù)恢復(fù)算法。該算法引入了事務(wù)執(zhí)行器和事務(wù)協(xié)調(diào)器的概念，提出了基于候選服務(wù)隊(duì)列的前向恢復(fù)方法和基于歷史狀態(tài)軌跡的后向恢復(fù)方法，不同于傳統(tǒng)的集中式模型下的單協(xié)調(diào)器方式，采用分布式的事務(wù)協(xié)調(diào)方法，解決了單協(xié)調(diào)器的性能瓶頸問題和單點(diǎn)失效問題，改善了組合服務(wù)的成功率和平均響應(yīng)時間。本文又設(shè)計出一個基于資源劃分的組合服務(wù)事務(wù)并發(fā)控制算法，該算法充分考慮了組合服務(wù)事務(wù)中的各種并發(fā)情況，引入資源單元、粗粒度劃分和細(xì)粒度劃分的概念來保證事務(wù)并發(fā)的高效性，通過測試驗(yàn)證了該算法對事務(wù)并發(fā)控制調(diào)度的語義可串行性。最后針對當(dāng)前CICS事務(wù)管理器缺乏對組合服務(wù)事務(wù)的有力支持，設(shè)計了一個支持組合服務(wù)事務(wù)的原型系統(tǒng)，包含了事務(wù)管理器、并發(fā)控制模塊、錯誤恢復(fù)模塊。該系統(tǒng)在協(xié)調(diào)各成員服務(wù)的事務(wù)行為的同時，還提供了錯誤恢復(fù)和并發(fā)控制的功能。本文主要在組合服務(wù)事務(wù)模型、錯誤恢復(fù)、并發(fā)控制及支持事務(wù)的組合服務(wù)原型系統(tǒng)等方面進(jìn)行研究，為組合服務(wù)事務(wù)的研究提供了新的思路和方法。

簡介：隨著現(xiàn)代科學(xué)技術(shù)的高速發(fā)展和社會的進(jìn)步，我國進(jìn)入了嶄新的信息時代。在現(xiàn)代企業(yè)辦公活動中，辦公自動化技術(shù)已經(jīng)應(yīng)運(yùn)而生。辦公自動化采用計算機(jī)技術(shù)、網(wǎng)絡(luò)技術(shù)、通信技術(shù)等先進(jìn)的科學(xué)技術(shù)，將人、計算機(jī)和信息三者綜合成為一個辦公體系，既提高了信息的獲取速度，又加快了信息的處理速度，而且克服了時間和空間上的限制，有效地提高了辦公效率與質(zhì)量。因此，企業(yè)要提高競爭力，就非常有必要建立一個適合自身的事務(wù)管理系統(tǒng)，來實(shí)現(xiàn)辦公的自動化。該事務(wù)管理系統(tǒng)是基于微軟經(jīng)典的三層架構(gòu)，運(yùn)用了技術(shù)平臺，使用UML統(tǒng)一建模語言和POWERDESIGNER數(shù)據(jù)庫建模工具而設(shè)計并實(shí)現(xiàn)的，它的可擴(kuò)展性強(qiáng)，適應(yīng)中原電子公司內(nèi)部的各種變化需求。在對事務(wù)管理系統(tǒng)進(jìn)行需求分析的基礎(chǔ)上，對系統(tǒng)進(jìn)行總體設(shè)計，包括框架設(shè)計和數(shù)據(jù)庫表設(shè)計，對數(shù)據(jù)庫各表及其屬性以及表之間的關(guān)系進(jìn)行說明，并對系統(tǒng)做詳細(xì)設(shè)計，包括事務(wù)功能、公告功能以及查詢功能的設(shè)計，以實(shí)現(xiàn)事務(wù)和公告的創(chuàng)建、接收、查看等功能。最后對系統(tǒng)進(jìn)行功能測試，使系統(tǒng)最終達(dá)到了預(yù)計需求和效果。該系統(tǒng)實(shí)現(xiàn)了用戶之間各類事務(wù)傳遞、處理功能及公告管理功能，并且已經(jīng)應(yīng)用于實(shí)際工作中，給工作帶來諸多便利，極大的提高辦公效率和管理水平。

簡介：事務(wù)內(nèi)存做為一種在并行程序設(shè)計中對共享數(shù)據(jù)的訪問控制機(jī)制在最近幾年得到了廣泛的研究其提供的簡易的編程模型能有效地簡化并行編程模型。當(dāng)事務(wù)內(nèi)存這種先進(jìn)的并發(fā)控制機(jī)制融合到分布式編程模型中時會給分布式程序的設(shè)計者帶來極大的便利。然而現(xiàn)有的分布式事務(wù)內(nèi)存系統(tǒng)因大量消耗網(wǎng)絡(luò)帶寬帶來過高的通信延遲使其難以融入到實(shí)際應(yīng)用中去同時因其實(shí)現(xiàn)依賴于傳統(tǒng)的分布式共享內(nèi)存編程模型這在一定程度上增加了分布式程序設(shè)計的難度?；谑聞?wù)內(nèi)存的分布式編程框架CLUSTM能夠有效地減少由事務(wù)內(nèi)存帶來的網(wǎng)絡(luò)帶寬消耗并且降低事務(wù)內(nèi)存中事務(wù)操作的通信延遲。CLUSTM編程框架利用數(shù)據(jù)的局部性原理實(shí)現(xiàn)了一套適用于分布式環(huán)境的事務(wù)內(nèi)存并發(fā)控制協(xié)議同時重新為事務(wù)內(nèi)存本身設(shè)計了分布式數(shù)據(jù)共享模型使得分布式環(huán)境下的事務(wù)操作能夠在較少的通信次數(shù)內(nèi)完成。CLUSTM設(shè)計了一種可在分布式環(huán)境下自由調(diào)度和異步執(zhí)行的計算單元并發(fā)函數(shù)用以簡化編程模型提高分布式程序執(zhí)行效率。CLUSTM編程框架提供的分布式環(huán)境下的數(shù)據(jù)、計算和事務(wù)接口都擁有良好的透明性程序員在使用這些接口編寫分布式應(yīng)用程序時不需要考慮共享數(shù)據(jù)和計算任務(wù)在節(jié)點(diǎn)間的分配和調(diào)度等繁瑣的細(xì)節(jié)而只需負(fù)責(zé)共享數(shù)據(jù)的結(jié)構(gòu)設(shè)計和計算任務(wù)的邏輯設(shè)計。基于事務(wù)內(nèi)存的分布式編程框架CLUSTM采用C庫的方式實(shí)現(xiàn)在CLUSTM中實(shí)現(xiàn)的多個分布式計算任務(wù)表明采用CLUSTM實(shí)現(xiàn)的分布式計算任務(wù)的設(shè)計模型簡單且效率較高在小規(guī)模集群中相對于現(xiàn)有的分布式事務(wù)內(nèi)存系統(tǒng)有不低于30％的性能提升。

簡介：分類號學(xué)號D200777578學(xué)校代碼10487密級博士學(xué)位論文博士學(xué)位論文事務(wù)內(nèi)存的并行優(yōu)化研究事務(wù)內(nèi)存的并行優(yōu)化研究學(xué)位申請人晏志超學(xué)科專業(yè)計算機(jī)系統(tǒng)結(jié)構(gòu)指導(dǎo)教師馮丹教授答辯日期2012年10月9日ADISSERTATIONSUBMITTEDINPARTIALFULFILLMENTOFTHEREQUIREMENTSFTHEDEGREEOFDOCTOFPHILOSOPHYINENGINEERINGSTUDYONPARALLELOPTIMIZATIONSFTRANSACTIONALMEMYPHDCIDATEZHICHAOYANMAJCOMPUTERARCHITECTURESUPERVISPROFDANFENGHUAZHONGUNIVERSITYOFSCIENCETECHNOLOGYWUHANHUBEI430074PRCHINAOCTOBER92012

簡介：本文的研究背景是某飛機(jī)顯控系統(tǒng)對嵌入式數(shù)據(jù)庫的應(yīng)用需求預(yù)研項(xiàng)目。為提高事務(wù)管理器事務(wù)調(diào)度的成功率及軟件的構(gòu)架性能對事務(wù)管理器的混合事務(wù)調(diào)度、并發(fā)控制及軟件構(gòu)架模型進(jìn)行研究。首先通過引入工作流參考模型、元模型等工作流技術(shù)來分析調(diào)度流程構(gòu)建事務(wù)管理器的功能模型并采用BPEL語言對事務(wù)調(diào)度過程進(jìn)行形式化描述。進(jìn)而針對事務(wù)調(diào)度引入混合事務(wù)調(diào)度的概念給出混合事務(wù)調(diào)度模型并對非周期性事務(wù)調(diào)度進(jìn)行研究。通過TB算法縮短非周期性事務(wù)截止期促進(jìn)非周期事務(wù)的響應(yīng)時間從而減少事務(wù)的截止期錯失率。其次在事務(wù)管理器領(lǐng)域設(shè)計階段以面向?qū)ο蠛兔嫦驑?gòu)件方法論為指導(dǎo)建立初始類模型、細(xì)化類模型等來描述對象的結(jié)構(gòu)關(guān)系并使用交互模型和狀態(tài)模型來描述對象行為。引入算法模式和代理機(jī)制對軟件構(gòu)架模型進(jìn)行優(yōu)化提高軟件構(gòu)架性能。在進(jìn)一步細(xì)化的基礎(chǔ)上針對存在的不必要的事務(wù)重啟引入時間戳矢量的概念提出改進(jìn)的基于時間戳矢量的樂觀并發(fā)控制算法解決事務(wù)不必要重啟的問題。最后給出事務(wù)管理器的軟件構(gòu)架及其ACME描述并給出基于時間戳矢量的樂觀并發(fā)控制算法的程序?qū)崿F(xiàn)。文中提到的事務(wù)管理器功能模型、混合事務(wù)調(diào)度模型等方法論被用于事務(wù)管理器的研究和實(shí)現(xiàn)中規(guī)范了整個軟件的研究開發(fā)過程提高了模型分析與設(shè)計效率所給出的改進(jìn)的TB算法和基于時間戳矢量的樂觀并發(fā)控制算法具有一定的理論意義和工程實(shí)用價值。

簡介：目錄內(nèi)容摘要???????????????????????????????????IABSTRACTION??????????????????????????????????????????．??．1、，前言???????????????????????????????????～1第一章海關(guān)事務(wù)擔(dān)保的法律定位??????????????????????1第一節(jié)海關(guān)事務(wù)擔(dān)保的功能??????????????????????1一、海關(guān)事務(wù)擔(dān)保與稅收保全措施的聯(lián)系與區(qū)別??????????????1二、海關(guān)事務(wù)擔(dān)保與訴訟保全所要求擔(dān)保的聯(lián)系與區(qū)別???????????．2三、海關(guān)事務(wù)擔(dān)保的本質(zhì)是擔(dān)保?????????????????????3陰、海關(guān)事務(wù)擔(dān)保具有鼓勵和抑制功能??????????????????4第二節(jié)海關(guān)事務(wù)擔(dān)保僅在海關(guān)法律關(guān)系范圍內(nèi)適用????????????6一、海關(guān)事務(wù)涉及的擔(dān)保不是海關(guān)事務(wù)擔(dān)保????????????????6_、各國海關(guān)事務(wù)擔(dān)保均為海關(guān)法律適用服務(wù)???????????????7第三節(jié)海關(guān)事務(wù)擔(dān)保是行政擔(dān)保????????????????????8一、海關(guān)事務(wù)擔(dān)保的基礎(chǔ)是公法上的債??????????????????8二、海關(guān)事務(wù)擔(dān)保的主體具有特定性??????????????????．10二、海關(guān)事務(wù)擔(dān)保的權(quán)利義務(wù)指向具有單向性???????????????10四、海關(guān)事務(wù)擔(dān)保定性為行政擔(dān)保比較穩(wěn)妥???????????????．11第二章以民法思想完善海關(guān)事務(wù)擔(dān)保之必要????????????????．18第一節(jié)海關(guān)法律關(guān)系的建立與民事權(quán)利體系聯(lián)系密切??????????．18一、大量民事法律關(guān)系先于海關(guān)法律關(guān)系存在??????????????．18二_、海關(guān)稅收制度對民事法律關(guān)系的承認(rèn)????????????????．20三、代理報關(guān)制度以民事代理關(guān)系成立為基礎(chǔ)??????????????．24四、知識產(chǎn)權(quán)海關(guān)保護(hù)制度按照知識產(chǎn)權(quán)法保護(hù)知識產(chǎn)權(quán)?????????．25五、海關(guān)事務(wù)擔(dān)保對擔(dān)保制度的援用與發(fā)展???????????????．．26第二節(jié)海關(guān)法對所有權(quán)的考慮不夠充分????????????????．．29一、海關(guān)法沒有關(guān)于所有權(quán)的規(guī)定???????????????????．29二、海關(guān)監(jiān)管制度不以所有權(quán)為基礎(chǔ)??????????????????．33三、海關(guān)法律適用可能造成對所有權(quán)的損害???????????????_36第三節(jié)海關(guān)法需對民事債權(quán)債務(wù)加以重視???????????????．36一、海關(guān)執(zhí)法對債的關(guān)系中權(quán)利義務(wù)的整體聯(lián)系考慮不夠?????????．36二、由報關(guān)代理人承擔(dān)被代理人的責(zé)任難免過苛?????????????37第四節(jié)民事權(quán)利規(guī)定缺位造成的困擾?????????????????．39一、真正的權(quán)利人尋求法律救濟(jì)的權(quán)利受損???????????????．39二、其他法律的相關(guān)制度不能代替海關(guān)法賦予所有權(quán)人海關(guān)法律關(guān)系主體地位．加三、民事主體之間的約定難以切實(shí)保護(hù)民事權(quán)利?????????????．40四、正常的民事法律關(guān)系受到擠壓???????????????????．42第五節(jié)海關(guān)法律中民事權(quán)利缺位的原因分析??????????????．43一、過度強(qiáng)調(diào)行政效率優(yōu)先原則????????????????????．43二、沒有全面地認(rèn)識民法占有與所有權(quán)制度的關(guān)系????????????．44三、便宜執(zhí)法思想導(dǎo)致對己有法律關(guān)系的片面理解????????????．49第六節(jié)海關(guān)事務(wù)擔(dān)保的立法現(xiàn)狀和立法意義??????????????．．50一、海關(guān)事務(wù)擔(dān)保的立法現(xiàn)狀?????????????????????。50參考文獻(xiàn)??????????著作類?????????論文類?????????中外法律法規(guī)??????網(wǎng)站??????????后記????????????．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．153．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．153???????????．154．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．155?????????．．．．．．．156??????．???．．．．．．157

簡介：點(diǎn)擊查看更多HBase長事務(wù)實(shí)現(xiàn)方法研究.pdf精彩內(nèi)容。

簡介：點(diǎn)擊查看更多實(shí)時概率數(shù)據(jù)庫事務(wù)存取不確定度及優(yōu)先級分派.pdf精彩內(nèi)容。

簡介：點(diǎn)擊查看更多無線傳感網(wǎng)事務(wù)處理技術(shù)研究.pdf精彩內(nèi)容。

簡介：片上系統(tǒng)SOC的設(shè)計規(guī)模隨著集成電路制造能力的不斷提高而迅速增長嵌入式軟件的實(shí)現(xiàn)難度與工作量也隨之提高。在傳統(tǒng)的SOC設(shè)計流程中嵌入式軟件的開發(fā)必須在RTLSOC驗(yàn)證平臺的基礎(chǔ)之上完成。但是由于受到RTL模型仿真機(jī)制的限制對于規(guī)模較大的設(shè)計仿真驗(yàn)證所消耗的時間很長。為此需要采用更高層次的建模方法完成SOC驗(yàn)證平臺的建模該SOC驗(yàn)證平臺能夠在保證功能正確的前提下實(shí)現(xiàn)較高的仿真速率并在完成RTLSOC驗(yàn)證平臺的開發(fā)之前為SOC系統(tǒng)級驗(yàn)證和嵌入式軟件的開發(fā)提供虛擬驗(yàn)證平臺。本文針對SOC架構(gòu)設(shè)計和嵌入式軟件開發(fā)的需求采用事務(wù)級建模方法使用SYSTEMC完成了基于SPARCV8的事務(wù)級SOC驗(yàn)證平臺的設(shè)計。首先介紹SYSTEMC中支持事務(wù)級建模的相關(guān)機(jī)制并提出了事務(wù)級SOC驗(yàn)證平臺的整體設(shè)計方案然后針對各個基本組件進(jìn)行事務(wù)級建模。為降低設(shè)計復(fù)雜度和提高仿真速率本文基于解釋執(zhí)行技術(shù)完成SPARCV8處理器指令精確事務(wù)級模型建模并利用SYSTEMC中的分層通道機(jī)制完成AMAB總線、中斷控制器、UART、定時器等設(shè)備的事務(wù)級建模。完成基于SPARCV8的事務(wù)級SOC驗(yàn)證平臺的建模與集成之后針對該驗(yàn)證平臺搭建測試平臺根據(jù)列舉的功能驗(yàn)證點(diǎn)設(shè)計并編寫驗(yàn)證程序。通過使用交叉編譯器對驗(yàn)證程序進(jìn)行編譯、鏈接得到測試激勵并使用MODELSIM進(jìn)行仿真驗(yàn)證結(jié)果證明了事務(wù)級SOC驗(yàn)證平臺功能的正確性。最后使用測試基準(zhǔn)程序組MIBENCH分別對事務(wù)級SOC驗(yàn)證平臺和RTLSOC驗(yàn)證平臺的仿真速率進(jìn)行了測試結(jié)果表明事務(wù)級SOC驗(yàn)證平臺的仿真速率比RTLSOC驗(yàn)證平臺提高了23個數(shù)量級能有效縮短整個SOC的開發(fā)周期。

簡介：隨著我國經(jīng)濟(jì)持續(xù)發(fā)展、人民生活水平不斷提高公眾對交通出行服務(wù)質(zhì)量要求越來越高。然而我國民航面向公眾和全行業(yè)的數(shù)據(jù)共享及信息服務(wù)仍不適應(yīng)民航事業(yè)的快速發(fā)展民航領(lǐng)域的遺留系統(tǒng)存在著系統(tǒng)集成及業(yè)務(wù)流程管理等困難問題。WEB服務(wù)為整合遺留系統(tǒng)提供了保障。事務(wù)處理是提供可靠應(yīng)用軟件的基礎(chǔ)針對WEB服務(wù)的事務(wù)處理是一個關(guān)鍵技術(shù)和研究難點(diǎn)。對基于服務(wù)架構(gòu)系統(tǒng)的研究為高性能、高可靠的WEB服務(wù)應(yīng)用提供重要基礎(chǔ)。本文提出了一個基于WEB服務(wù)的事務(wù)處理協(xié)調(diào)框架框架中采用支持功能候選的事務(wù)模型以及基于沖突域的事務(wù)并發(fā)控制機(jī)制以滿足民航領(lǐng)域系統(tǒng)集成和流程自動化管理和實(shí)施的需求。首先通過對傳統(tǒng)事務(wù)和分布式事務(wù)處理機(jī)制的研究總結(jié)根據(jù)WEB服務(wù)事務(wù)的特點(diǎn)提出其原子事務(wù)模型。重點(diǎn)針對WEB服務(wù)長事務(wù)的特點(diǎn)提出支持功能候選的聚合事務(wù)模型并分析了其特點(diǎn)。其次提出了基于WEB服務(wù)的事務(wù)處理協(xié)調(diào)框架在框架中應(yīng)用了支持功能候選的事務(wù)模型。同時基于該協(xié)調(diào)框架結(jié)合WEB服務(wù)松弛ACID屬性等特點(diǎn)分析總結(jié)WSTX協(xié)議簇針對長事務(wù)的特點(diǎn)改進(jìn)了WSBA和WSC提出了基于沖突域的事務(wù)并發(fā)控制機(jī)制。通過根據(jù)共享資源屬性劃分沖突域?qū)崿F(xiàn)事務(wù)的并發(fā)控制機(jī)制。最后設(shè)計并實(shí)現(xiàn)了該框架。所提出的事務(wù)模型、事務(wù)并發(fā)控制機(jī)制和協(xié)調(diào)框架具有一般理論意義和工程實(shí)踐價值成功應(yīng)用于民航公眾信息服務(wù)平臺。