簡介：點(diǎn)擊查看更多工作流系統(tǒng)的分布式事務(wù)處理組件設(shè)計(jì)及實(shí)現(xiàn).pdf精彩內(nèi)容。

簡介：并行程序設(shè)計(jì)滯后問題已成為多核處理器發(fā)展的瓶頸。為了解決該問題，充分利用多核處理器的性能優(yōu)勢，突破傳統(tǒng)并行程序設(shè)計(jì)模式的局限性，一種新型的并行程序設(shè)計(jì)模式事務(wù)存儲(chǔ)被提出。在應(yīng)用了事務(wù)存儲(chǔ)的系統(tǒng)中，代碼以事務(wù)為單位，可以進(jìn)行獨(dú)立的運(yùn)行、調(diào)試等，并且該運(yùn)行調(diào)試環(huán)境是由系統(tǒng)自動(dòng)完成的。而不是像鎖機(jī)制那樣，由程序員來完成，這就大大減輕了程序員的負(fù)擔(dān)，為并行程序設(shè)計(jì)提供了簡潔高效的編程環(huán)境。本文首先對(duì)軟件事務(wù)存儲(chǔ)系統(tǒng)進(jìn)行了深入的研究，根據(jù)研究結(jié)果，針對(duì)軟件事務(wù)存儲(chǔ)系統(tǒng)中的數(shù)據(jù)版本管理策略和沖突檢測算法進(jìn)行了改進(jìn)，提出了數(shù)據(jù)版本管理策略FESIGHT和基于SIGNATURE的沖突檢測算法TRUECB。其中FESIGHT采用了自適應(yīng)的策略來對(duì)數(shù)據(jù)版本進(jìn)行管理。而TRUECB則將CUCKOOBLOOM中“換入換出”的思想引入到基于SIGNATURE的沖突檢測算法中，通過改變存儲(chǔ)地址指紋信息的形式，來提高指紋信息的存儲(chǔ)效率，進(jìn)而達(dá)到縮短響應(yīng)時(shí)間減少系統(tǒng)開銷的目的。通過運(yùn)行基準(zhǔn)測試程序可知對(duì)于不同的測試程序，F(xiàn)ESIGHT和TRUECB都具有較低的中止率，達(dá)到了預(yù)期效果。最后，利用FESIGHT和TRUECB來實(shí)現(xiàn)一種新型的軟件事務(wù)存儲(chǔ)系統(tǒng)RINGTCB，該系統(tǒng)采用自適應(yīng)的方式來管理數(shù)據(jù)版本，按照“換入換出”策略改變地址指紋信息形式，并使用POLITE的沖突解決策略來進(jìn)行沖突的仲裁。反復(fù)運(yùn)行的各類基準(zhǔn)測試程序，結(jié)果證明相對(duì)于RINGSW，RINGTCB具有更高的事務(wù)執(zhí)行效率。論文首先介紹了課題的研究背景以及軟件事務(wù)存儲(chǔ)系統(tǒng)的相關(guān)研究工作。根據(jù)研究的結(jié)果，提出了數(shù)據(jù)版本管理策略FESIGHT和基于SIGNATURE的沖突檢測算法TRUECB，并給出了二者詳細(xì)的算法設(shè)計(jì)，實(shí)現(xiàn)及測試結(jié)果。詳細(xì)介紹了軟件事務(wù)存儲(chǔ)系統(tǒng)RINGTCB，給出了實(shí)現(xiàn)的具體程序流程圖及部分偽代碼。之后對(duì)其性能進(jìn)行測試。最后，對(duì)本文工作做了總結(jié)，并進(jìn)行了下一步工作展望。

簡介：人類社會(huì)各行業(yè)紛紛向信息化方向發(fā)展。因此，與信息網(wǎng)絡(luò)革命相適應(yīng)的服務(wù)和管理方式才能更有效的滿足社會(huì)和公眾的需要。事務(wù)處理軟件正是基于此原因才逐步發(fā)展起來的。本文首先對(duì)事務(wù)處理軟件和軟件體系結(jié)構(gòu)進(jìn)行了概述，提出了軟件系統(tǒng)層次劃分的原則，并在此基礎(chǔ)上對(duì)兩層結(jié)構(gòu)和多層結(jié)構(gòu)進(jìn)行了比較，認(rèn)為多層結(jié)構(gòu)的軟件系統(tǒng)將是企業(yè)信息系統(tǒng)的首要選擇；后半部分對(duì)我國財(cái)務(wù)軟件進(jìn)行了分析，在綜合了多種體系結(jié)構(gòu)優(yōu)點(diǎn)的基礎(chǔ)上，采用當(dāng)前最先進(jìn)的BS計(jì)算模式，提出了開發(fā)多層結(jié)構(gòu)的BS財(cái)務(wù)系統(tǒng)，該課題具有很高的研究價(jià)值；隨后，本文通過多層結(jié)構(gòu)的BS財(cái)務(wù)系統(tǒng)的開發(fā)設(shè)計(jì)實(shí)例來探討軟件體系結(jié)構(gòu)在事務(wù)處理軟件開發(fā)中的應(yīng)用。文章的最后，作者根據(jù)系統(tǒng)開發(fā)和論文寫作過程中的體會(huì)，對(duì)體系結(jié)構(gòu)在軟件開發(fā)中的應(yīng)用提出一點(diǎn)看法

簡介：點(diǎn)擊查看更多移動(dòng)數(shù)據(jù)庫事務(wù)處理模型的研究.pdf精彩內(nèi)容。

簡介：隨著互聯(lián)網(wǎng)和電子商務(wù)的崛起，WEB服務(wù)技術(shù)得到迅速發(fā)展。WEB服務(wù)組合將網(wǎng)絡(luò)中的WEB服務(wù)按一定的業(yè)務(wù)規(guī)則組合起來，提供更可靠、靈活和有價(jià)值的服務(wù)。但在WEB服務(wù)組合中，要處理不同的WEB服務(wù)之間的一致性和可靠性問題，并能及時(shí)解決運(yùn)行時(shí)的各種異常，因此需要在WEB服務(wù)組合中提供事務(wù)處理的支持。WEB服務(wù)組合中的事務(wù)通常運(yùn)行時(shí)間較長、結(jié)構(gòu)復(fù)雜，與傳統(tǒng)的事務(wù)處理有很大差別。盡管目前提出多種WEB服務(wù)組合模型和描述語言，但它們都沒有提供對(duì)事務(wù)處理的支持。目前提出的WEB服務(wù)事務(wù)規(guī)范制定的規(guī)則是泛化的，實(shí)現(xiàn)起來有一定困難，同時(shí)并沒有考慮WEB服務(wù)組合流程的事務(wù)特點(diǎn)。WEB服務(wù)業(yè)務(wù)流程語言BPEL以特定于應(yīng)用程序的方式定義了故障處理和補(bǔ)償?shù)臋C(jī)制，能較好地支持長期運(yùn)行的事務(wù)處理的問題，但還需根據(jù)應(yīng)用需求進(jìn)行擴(kuò)展。本文提出了WEB服務(wù)組合的事務(wù)處理模型，可以較好地滿足WEB服務(wù)組合環(huán)境下對(duì)長事務(wù)處理的要求。本研究主要包括以下幾個(gè)方面1分析了WEB服務(wù)組合環(huán)境下的長事務(wù)處理所面臨的問題，并對(duì)WEB服務(wù)事務(wù)模型和WEB服務(wù)事務(wù)規(guī)范進(jìn)行了綜述。分析了BPEL的事務(wù)處理機(jī)制并按WSC和WSBA規(guī)范針對(duì)其事務(wù)進(jìn)行擴(kuò)展。2在現(xiàn)有WEB服務(wù)事務(wù)規(guī)范的基礎(chǔ)上，結(jié)合WEB服務(wù)組合事務(wù)的特點(diǎn)提出了基于WSC規(guī)范的服務(wù)組合的事務(wù)處理模型并進(jìn)行設(shè)計(jì)實(shí)現(xiàn)。其中的工作包括結(jié)合WSBA規(guī)范和BPEL規(guī)范中的補(bǔ)償機(jī)制解決流程組合中異常時(shí)的一致性問題；設(shè)計(jì)了事務(wù)處理層的長事務(wù)處理框架，介紹了框架的組成和協(xié)調(diào)機(jī)制；詳細(xì)闡述了自治服務(wù)協(xié)調(diào)支持和業(yè)務(wù)事務(wù)處理應(yīng)用接口的設(shè)計(jì)實(shí)現(xiàn)。該事務(wù)處理模型構(gòu)建在WEB服務(wù)體系結(jié)構(gòu)上，跨平臺(tái)、易擴(kuò)展，為種類繁多的事務(wù)性和非事務(wù)性業(yè)務(wù)流程提供支持。3對(duì)上述構(gòu)建的系統(tǒng)模型進(jìn)行實(shí)驗(yàn)驗(yàn)證，并介紹了服務(wù)組合事務(wù)模型的一個(gè)實(shí)例應(yīng)用。4對(duì)全文進(jìn)行總結(jié)并指出下一步工作的方向。

簡介：點(diǎn)擊查看更多移動(dòng)數(shù)據(jù)庫中移動(dòng)事務(wù)處理的關(guān)鍵技術(shù)研究.pdf精彩內(nèi)容。

簡介：點(diǎn)擊查看更多基于Web的分布式工作流管理系統(tǒng)的事務(wù)模型研究.pdf精彩內(nèi)容。

簡介：點(diǎn)擊查看更多移動(dòng)分布式實(shí)時(shí)數(shù)據(jù)庫事務(wù)及其正確性.pdf精彩內(nèi)容。

簡介：近年來隨著計(jì)算機(jī)網(wǎng)絡(luò)技術(shù)、無線通信技術(shù)以及半導(dǎo)體技術(shù)地發(fā)展各種移動(dòng)計(jì)算機(jī)如筆記本電腦、個(gè)人數(shù)字助理PDA等得到了廣泛地應(yīng)用極大的方便了人們的工作和學(xué)習(xí)移動(dòng)計(jì)算機(jī)的廣泛應(yīng)用和計(jì)算機(jī)技術(shù)的進(jìn)步使人們?cè)谌魏螘r(shí)間、任何地點(diǎn)訪問所需信息的愿望成為可能推動(dòng)了移動(dòng)計(jì)算技術(shù)的發(fā)展移動(dòng)計(jì)算技術(shù)與數(shù)據(jù)庫技術(shù)相結(jié)合進(jìn)一步滿足了人們對(duì)移動(dòng)信息訪問的要求產(chǎn)生了移動(dòng)數(shù)據(jù)庫應(yīng)用系統(tǒng)移動(dòng)數(shù)據(jù)庫應(yīng)用系統(tǒng)是傳統(tǒng)分布式數(shù)據(jù)庫系統(tǒng)的擴(kuò)展和延伸具有完全不同于分布式數(shù)據(jù)庫系統(tǒng)的特征因而移動(dòng)數(shù)據(jù)庫應(yīng)用系統(tǒng)的事務(wù)處理也不完全等同于傳統(tǒng)意義上事務(wù)處理必須采用不同的技術(shù)和策略研究移動(dòng)事務(wù)處理技術(shù)和策略對(duì)提高移動(dòng)數(shù)據(jù)庫應(yīng)用系統(tǒng)的可靠性、可用性等方面具有重要意義本文從移動(dòng)數(shù)據(jù)處理的應(yīng)用需求出發(fā)分析了移動(dòng)數(shù)據(jù)庫系統(tǒng)實(shí)現(xiàn)的物質(zhì)基礎(chǔ)以及移動(dòng)數(shù)據(jù)庫系統(tǒng)的特征介紹了移動(dòng)數(shù)據(jù)庫應(yīng)用環(huán)境的關(guān)鍵技術(shù)在此基礎(chǔ)上重點(diǎn)分析了移動(dòng)事務(wù)處理的特征提出了動(dòng)態(tài)移動(dòng)事務(wù)處理模型介紹了該模型所采用的事務(wù)處理技術(shù)和協(xié)議最后分析了移動(dòng)事務(wù)處理系統(tǒng)的典型應(yīng)用領(lǐng)域介紹了現(xiàn)有的商業(yè)移動(dòng)數(shù)據(jù)庫系統(tǒng)以及移動(dòng)事務(wù)處理系統(tǒng)的設(shè)計(jì)等相關(guān)問題

簡介：事務(wù)的概念來自于數(shù)據(jù)庫，用于解決數(shù)據(jù)的并發(fā)訪問和出錯(cuò)恢復(fù)問題。將事務(wù)的概念和相應(yīng)的事務(wù)處理方法引入工作流系統(tǒng)，是工作流技術(shù)進(jìn)步的一個(gè)重要標(biāo)志。如何使工作流技術(shù)與事務(wù)處理技術(shù)結(jié)合起來，提高工作流系統(tǒng)的穩(wěn)定性和可靠性，正是本文研究的出發(fā)點(diǎn)。本文對(duì)工作流管理系統(tǒng)中的事務(wù)和事務(wù)處理進(jìn)行了深入的研究，分析比較了工作流管理系統(tǒng)中的事務(wù)概念與傳統(tǒng)事務(wù)、高級(jí)事務(wù)的不同，從而明確了工作流管理系統(tǒng)中事務(wù)處理需要解決的問題的重點(diǎn)與難點(diǎn)。討論了WSCT規(guī)范，提出了一個(gè)具有事務(wù)支持的工作流概念模型LTM工作流事務(wù)模型。LTM使用了事務(wù)協(xié)調(diào)框架結(jié)構(gòu)，包括激活服務(wù)、注冊(cè)服務(wù)、協(xié)調(diào)服務(wù)。事務(wù)協(xié)調(diào)框架結(jié)構(gòu)放松了事務(wù)的原子性、隔離性，提高了系統(tǒng)的并發(fā)性，并為長事務(wù)的劃分提供一種有效的、較實(shí)際的方法。另外，在LTM模型中對(duì)工作流管理系統(tǒng)的錯(cuò)誤進(jìn)行了深入研究，提出了補(bǔ)償機(jī)制。LTM在過程建模階段提供了對(duì)子事務(wù)和長事務(wù)進(jìn)行定義的支持，并實(shí)現(xiàn)了長事務(wù)的處理。在系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)方面，著重分析了WEBSERVICE等關(guān)鍵技術(shù)，并且完成了工作流事務(wù)模塊的體系結(jié)構(gòu)和具體設(shè)計(jì)實(shí)現(xiàn)。

簡介：隨著多核平臺(tái)的普及，如何利用多核加速串行應(yīng)用的執(zhí)行已成為學(xué)術(shù)界和工業(yè)界共同關(guān)注的熱點(diǎn)研究問題。而傳統(tǒng)的顯式鎖同步機(jī)制自身就有著高復(fù)雜性、易錯(cuò)性和性能保守等天然缺陷，從根本上限制了并行程序的可擴(kuò)展性和編程效率，也限制了對(duì)多核資源的充分利用。為了開發(fā)更多的多核結(jié)構(gòu)上可利用的線程級(jí)并行性，利用事務(wù)存儲(chǔ)TRANSACTIONALMEMY，TM技術(shù)來解決并行程序正確性維護(hù)給并行編程帶來的復(fù)雜性和對(duì)性能的制約問題，已成為學(xué)術(shù)界和工業(yè)界的共識(shí)。本文從有效開發(fā)應(yīng)用中的線程級(jí)并行性入手，著眼于高效能、易編程和可兼容這三個(gè)目標(biāo)，通過軟硬件協(xié)同的優(yōu)化方式對(duì)支持推測并行化的多核事務(wù)存儲(chǔ)體系結(jié)構(gòu)展開深入研究，使之既能提高多核芯片片上計(jì)算資源的有效利用率，又能有效降低并行編程難度，平滑移植傳統(tǒng)應(yīng)用軟件。本文從線程劃分和線程執(zhí)行兩個(gè)方面，對(duì)軟硬件協(xié)同支持推測并行化的多核事務(wù)存儲(chǔ)體系結(jié)構(gòu)性能優(yōu)化開展了深入系統(tǒng)的研究，涉及結(jié)構(gòu)模型、編程模型、性能分析模型、離線剖析指導(dǎo)線程劃分機(jī)制和在線剖析指導(dǎo)線程執(zhí)行機(jī)制等方面的內(nèi)容。主要研究內(nèi)容和成果包括1對(duì)兩樸主流線程級(jí)推測并行技術(shù)的發(fā)展趨勢進(jìn)行了詳細(xì)而深入的調(diào)研，通過對(duì)其軟硬件支持機(jī)制的分析與比較，提出了一種新型的軟硬件協(xié)同支持推測并行化的多核事務(wù)存儲(chǔ)體系結(jié)構(gòu)設(shè)計(jì)方案。該系統(tǒng)在線程劃分中采用軟件線程級(jí)推測技術(shù)思想，而在線程執(zhí)行時(shí)采用硬件事務(wù)存儲(chǔ)技術(shù)支持，并通過離線剖析和在線剖析技術(shù)來協(xié)同各種軟硬件因素，達(dá)到了同時(shí)提高程序性能和降低并行編程難度的雙重目標(biāo)。2在軟件線程劃分方面，從簡化并行編程和提高并行執(zhí)行性能的優(yōu)化角度出發(fā)，提出了一套線程級(jí)推測并行性的判定準(zhǔn)則、研究方法和剖析機(jī)制，確定了利用離線剖析技術(shù)來實(shí)現(xiàn)基于事務(wù)存儲(chǔ)的線程劃分方案。并依據(jù)該機(jī)制設(shè)計(jì)并實(shí)現(xiàn)了一套線程級(jí)推測并行性離線剖析工具集OPENPRO。3利用OPENPRO工具集，對(duì)桌面應(yīng)用、多媒體應(yīng)用和高性能計(jì)算應(yīng)用中影響線程級(jí)推測并行性的關(guān)鍵因素進(jìn)行剖析，從應(yīng)用本身并行潛能的角度進(jìn)行探討，獲得了諸如單個(gè)程序僅能有效利用16核的計(jì)算資源是當(dāng)前多核技術(shù)路線的拐點(diǎn)等一些重要認(rèn)識(shí)。4在線程執(zhí)行支持機(jī)制方面，從可擴(kuò)展性好和易于硬件實(shí)現(xiàn)這兩個(gè)優(yōu)化目標(biāo)出發(fā)，提出了一種支持優(yōu)先級(jí)判定的基于目錄的高速緩存一致性協(xié)議，并在此基礎(chǔ)上設(shè)計(jì)和完成了一種利用運(yùn)行時(shí)庫機(jī)制同時(shí)支持線程級(jí)推測和事務(wù)存儲(chǔ)語義的分布式可擴(kuò)展多核事務(wù)存儲(chǔ)處理器PTT硬件模擬器。該處理器設(shè)計(jì)突破了以往類似方案中總線等集中式結(jié)構(gòu)對(duì)硬件系統(tǒng)可擴(kuò)展性的限制，同時(shí)實(shí)現(xiàn)了可擴(kuò)展性好和易于硬件設(shè)計(jì)實(shí)現(xiàn)的目標(biāo)；而這套采用積極版本管理和積極檢測機(jī)制的分布式硬件事務(wù)存儲(chǔ)機(jī)制會(huì)自動(dòng)維護(hù)硬件系統(tǒng)的一致性，極大地減少了程序員在進(jìn)行并行程序設(shè)計(jì)時(shí)的繁雜工作和復(fù)雜程度。這對(duì)于普及并行程序設(shè)計(jì)，提高并行程序生產(chǎn)力都有著非常重要的意義。5提出了一種針對(duì)線程級(jí)推測并行技術(shù)的PCL性能分析模型，并依據(jù)該模型提出了將在線剖析技術(shù)引入PTT硬件模擬平臺(tái)的最終優(yōu)化方案。同時(shí)通過對(duì)PTT系統(tǒng)多種軟硬件手段實(shí)現(xiàn)機(jī)制的分析與協(xié)同，分別從正確性、有效性和靈活可配置性三個(gè)層次對(duì)其進(jìn)行了充分的評(píng)測和分析。本文的研究工作獲得了如下一些重要的認(rèn)識(shí)1將線程級(jí)推測技術(shù)與事務(wù)存儲(chǔ)技術(shù)結(jié)合起來，通過軟硬件因素的合理協(xié)調(diào)，可以有效地開發(fā)出串行程序中潛在的線程級(jí)并行性，同時(shí)有效地降低并行編程的難度，極大地提高并行程序設(shè)計(jì)生產(chǎn)力。2在目前以傳統(tǒng)超標(biāo)量單核構(gòu)造多核芯片的技術(shù)路線下，著眼于同時(shí)兼顧硬件的有效利用率和盡可能挖掘程序中固有的并行性，在加速單個(gè)串行應(yīng)用時(shí)，部分依賴嚴(yán)重的應(yīng)用如SPEC和一些依賴嚴(yán)重的科學(xué)計(jì)算程序等采用24核就已經(jīng)足夠；而多數(shù)多媒體應(yīng)用和高性能計(jì)算應(yīng)用采用816核來加速比較合適；一些特別適合的應(yīng)用則可以有效利用64128核及以上的計(jì)算資源。3雖然現(xiàn)在線程級(jí)推測并行技術(shù)在桌面應(yīng)用這樣一些程序中數(shù)據(jù)依賴嚴(yán)重的應(yīng)用中效果不佳，但在部分擁有大計(jì)算量、推測線程粒度適中并且存在模糊依賴的多媒體和高性能計(jì)算應(yīng)用中還是適宜采用的。線程級(jí)推測并行技術(shù)最大的優(yōu)勢是其兼容性與易編程性，只要在這兩點(diǎn)上做好文章，實(shí)現(xiàn)多數(shù)經(jīng)典應(yīng)用軟件到多核平臺(tái)上的平滑移植，進(jìn)一步解放程序員，線程級(jí)推測并行技術(shù)就會(huì)在體系結(jié)構(gòu)研究中擁有重要的一席之地。本文的研究工作和結(jié)果可用于指導(dǎo)共享存儲(chǔ)的多核芯片體系結(jié)構(gòu)及其并行編程環(huán)境的設(shè)計(jì)，以盡可能小的并行程序設(shè)計(jì)難度、系統(tǒng)軟件復(fù)雜性和系統(tǒng)硬件代價(jià)，盡可能多地從串行程序中開發(fā)出多核芯片上可利用的線程級(jí)并行性。

簡介：本世紀(jì)初，摩爾定律的失效加速了多核處理器的問世和不斷普及，硬件并行化的發(fā)展反過來也推動(dòng)了工業(yè)界對(duì)軟件并發(fā)性的研究。軟件內(nèi)存事務(wù)是用軟件的方法對(duì)內(nèi)存操作進(jìn)行封裝，以事務(wù)的原子性與隔離型來保證并行程序執(zhí)行邏輯的一種方法。較之于傳統(tǒng)上基于互斥鎖的多線程編程方法，軟件內(nèi)存事務(wù)具有編程接口易用，不產(chǎn)生死鎖等優(yōu)點(diǎn)。本文分別詳細(xì)介紹了兩大類中的幾個(gè)典型實(shí)現(xiàn)，并對(duì)它們各自的優(yōu)缺點(diǎn)進(jìn)行了分析和比較。經(jīng)過研究我們發(fā)現(xiàn)，現(xiàn)實(shí)中的程序運(yùn)行壓力并不是恒定不變的，尤其對(duì)服務(wù)器程序而言，其處理壓力往往會(huì)在短時(shí)內(nèi)出現(xiàn)劇烈波動(dòng)。我們還發(fā)現(xiàn)，能夠使軟件內(nèi)存事務(wù)的性能達(dá)到最優(yōu)化的參數(shù)往往取決于目標(biāo)狀態(tài)的運(yùn)行時(shí)壓力，如寫入型事務(wù)占事務(wù)總數(shù)的比例，在內(nèi)存地址上的訪問競爭度等。在現(xiàn)有的軟件內(nèi)存事務(wù)的實(shí)現(xiàn)中普遍缺乏對(duì)運(yùn)行時(shí)壓力變化做出反應(yīng)和調(diào)整的機(jī)制，于是我們提出了一種基于運(yùn)行時(shí)壓力檢測和動(dòng)態(tài)策略調(diào)整的軟件內(nèi)存事務(wù)實(shí)現(xiàn)PATINYSTM。PATINYSTM主要由壓力探測前端，動(dòng)態(tài)調(diào)整模塊，TINYSTM主體和反饋信息處理后端四大部分組成。壓力探測前端在事務(wù)進(jìn)入執(zhí)行前對(duì)事務(wù)執(zhí)行速率變化進(jìn)行檢測，并相應(yīng)地計(jì)算出當(dāng)前系統(tǒng)的處理壓力。反饋處理模塊負(fù)責(zé)對(duì)一些事務(wù)執(zhí)行以后才能獲取的信息進(jìn)行搜集和統(tǒng)計(jì)，例如事務(wù)執(zhí)行平均時(shí)間，事務(wù)撤銷率等。前后端的處理結(jié)果提供給動(dòng)態(tài)調(diào)整模塊用作動(dòng)態(tài)調(diào)整的依據(jù)，動(dòng)態(tài)調(diào)整模塊又分為TINYSTM運(yùn)行時(shí)參數(shù)調(diào)整子模塊和內(nèi)存分配策略調(diào)整子模塊。前者根據(jù)運(yùn)行時(shí)處理壓力變化和訪問地址特性對(duì)TINYSTM中的兩個(gè)主要參數(shù)進(jìn)行調(diào)整而后者則根據(jù)多線程內(nèi)存分配的壓力變化和內(nèi)存塊大小的規(guī)律進(jìn)行分配策略上的優(yōu)化。這兩個(gè)模塊根據(jù)前后端模塊得到的統(tǒng)計(jì)數(shù)據(jù)進(jìn)行動(dòng)態(tài)調(diào)整，以使PATINYSTM的參數(shù)搭配和分配策略能夠及時(shí)地適應(yīng)運(yùn)行時(shí)壓力的變化。通過試驗(yàn)數(shù)據(jù)的對(duì)比我們可以看到，PATINYSTM對(duì)運(yùn)行時(shí)壓力變化可以做出很快的反應(yīng)，并通過動(dòng)態(tài)調(diào)整參數(shù)和策略以適應(yīng)壓力的變化，通過這種方法，基于PATINYSTM實(shí)現(xiàn)的服務(wù)器程序能夠使自身的運(yùn)行時(shí)性能達(dá)到并保持在最佳水平上。

簡介：本文的重點(diǎn)在于研究能夠適應(yīng)上述并行事務(wù)處理系統(tǒng)的數(shù)據(jù)存儲(chǔ)分配策略。本文首先描述了數(shù)據(jù)庫并行事務(wù)處理系統(tǒng)的整體結(jié)構(gòu)和工作原理。然后，通過考慮由關(guān)系之間的關(guān)聯(lián)而導(dǎo)致的數(shù)據(jù)之間的內(nèi)在聯(lián)系，提出了一種基于查詢負(fù)載的劃分屬性自主選擇算法。這種算法通過采用關(guān)聯(lián)數(shù)據(jù)聚集分布方法，避免人為割裂數(shù)據(jù)之間的聯(lián)系，大大加快了系統(tǒng)處理連接、聚集操作的運(yùn)行速度。此外，為解決單維數(shù)據(jù)存儲(chǔ)技術(shù)無法很好的處理針對(duì)非劃分屬性的查詢操作的問題，文中給出了一種簡單的依賴節(jié)點(diǎn)索引的多維數(shù)據(jù)存儲(chǔ)技術(shù)的設(shè)計(jì)實(shí)現(xiàn)。作為完整的數(shù)據(jù)物理存儲(chǔ)方法的一部分，文章的最后還介紹了系統(tǒng)中數(shù)據(jù)存儲(chǔ)分配的維護(hù)方法，包括元組的增、刪、改和數(shù)據(jù)重分布算法實(shí)現(xiàn)。為測試上述研究成果的性能，我們對(duì)其進(jìn)行了驗(yàn)證實(shí)驗(yàn)和性能分析。結(jié)果表明，本文提出的數(shù)據(jù)存儲(chǔ)分配策略能夠一定程度的提高整個(gè)系統(tǒng)的性能。

簡介：在銀行等面向事務(wù)處理的行業(yè)中，計(jì)算機(jī)系統(tǒng)的可靠性非常重要，系統(tǒng)的延誤和失效可能會(huì)造成不可估量的損失。因此此類行業(yè)一般都采用容錯(cuò)計(jì)算機(jī)。傳統(tǒng)的容錯(cuò)計(jì)算機(jī)仲裁機(jī)制是通過心跳檢測來實(shí)現(xiàn)的，這種單一的檢測機(jī)制在系統(tǒng)發(fā)生故障時(shí)不能有效地定位故障機(jī)，無法滿足高可靠的應(yīng)用需求。因此，通過研究容錯(cuò)計(jì)算機(jī)的仲裁機(jī)制來提高系統(tǒng)可靠性已成為重要的研究課題。針對(duì)傳統(tǒng)容錯(cuò)計(jì)算機(jī)仲裁成功率較低的問題，本文提出了一種仲裁機(jī)制，基于仲裁處理器設(shè)計(jì)了仲裁系統(tǒng)和仲裁算法。仲裁處理器使用三模冗余系統(tǒng)，采用芯片級(jí)的容錯(cuò)設(shè)計(jì)技術(shù)，具有很高的可靠性。仲裁算法采用分級(jí)方式，可以有效減少仲裁開銷。當(dāng)系統(tǒng)發(fā)生故障時(shí)能快速地定位故障機(jī)，實(shí)現(xiàn)故障隔離、服務(wù)切換、重啟故障機(jī)等操作，使其能夠不間斷的對(duì)外提供服務(wù)。解決了傳統(tǒng)容錯(cuò)計(jì)算機(jī)仲裁機(jī)制故障覆蓋率和故障診斷成功率低的問題，提高了系統(tǒng)的可用性。傳統(tǒng)容錯(cuò)計(jì)算機(jī)的故障檢測方法采用層次故障檢測方法，這類方法可以降低檢測負(fù)載，提高系統(tǒng)可擴(kuò)展性，但是其過分依賴單個(gè)LEADER節(jié)點(diǎn)系統(tǒng)中的管理節(jié)點(diǎn)，容易形成單點(diǎn)故障，使LEADER節(jié)點(diǎn)成為系統(tǒng)可用性的瓶頸。因此，本文提出了一種基于仲裁的雙LEADER節(jié)點(diǎn)容錯(cuò)系統(tǒng)設(shè)計(jì)方案，有效地解決了單點(diǎn)故障問題。同時(shí)使用了自檢測和心跳檢測相結(jié)合的故障檢測機(jī)制，提高了故障覆蓋率和檢測成功率。最后通過建立模型分析了仲裁處理器的可用性，并在此基礎(chǔ)上對(duì)容錯(cuò)計(jì)算機(jī)系統(tǒng)的可用性進(jìn)行了分析。通過分析可以發(fā)現(xiàn)該容錯(cuò)計(jì)算機(jī)系統(tǒng)具有很高的可用性。

簡介：半導(dǎo)體工藝進(jìn)入深亞微米級(jí)以后，作為最常見數(shù)字系統(tǒng)芯片的SOC電路規(guī)模進(jìn)一步增大，傳統(tǒng)總線結(jié)構(gòu)片上互聯(lián)受到了總線效率低下、布線延時(shí)突出、高頻率下數(shù)據(jù)同步復(fù)雜、設(shè)計(jì)復(fù)雜度激增等問題的制約，限制了SOC的應(yīng)用和發(fā)展。片上網(wǎng)絡(luò)從體系結(jié)構(gòu)上解決了總線式SOC的弊端，以良好的空間擴(kuò)展性和并行通信能力，解決了主從式總線的效率浪費(fèi)問題，同時(shí)分組交換的通信方式也為單時(shí)鐘頻率下的數(shù)據(jù)同步問題提供了解決方案。然而，不同的片上網(wǎng)絡(luò)在拓?fù)浣Y(jié)構(gòu)、路由算法、交換機(jī)制、緩存深度、虛擬通道數(shù)量等方面都可能存在差異。探索每個(gè)片上網(wǎng)絡(luò)參數(shù)的設(shè)置對(duì)片上網(wǎng)絡(luò)性能的影響對(duì)于設(shè)計(jì)出既能滿足系統(tǒng)性能要求又能最大化降低系統(tǒng)開銷的片上網(wǎng)絡(luò)具有重要意義。本文圍繞片上網(wǎng)絡(luò)的事務(wù)級(jí)建模方法和基于事務(wù)級(jí)片上網(wǎng)絡(luò)模型的評(píng)估應(yīng)用展開研究，旨在于片上網(wǎng)絡(luò)或多核處理器硬件設(shè)計(jì)之前對(duì)片上網(wǎng)絡(luò)的性能和系統(tǒng)開銷做出預(yù)估，為系統(tǒng)的硬件設(shè)計(jì)提供適當(dāng)?shù)膮⒖?。在片上網(wǎng)絡(luò)事務(wù)級(jí)模型的基礎(chǔ)之上，通過在模型中集成特征流量生成模型和開源的嵌入式處理器模型，分別研究、設(shè)計(jì)了用于探索片上網(wǎng)絡(luò)參數(shù)對(duì)片上網(wǎng)絡(luò)性能影響的片上網(wǎng)絡(luò)評(píng)估模型和用于指導(dǎo)多核系統(tǒng)軟件劃分、設(shè)計(jì)和調(diào)試的多核處理器系統(tǒng)事務(wù)級(jí)模型。本文所做的主要工作包括1提出了一套片上網(wǎng)絡(luò)的設(shè)計(jì)方法。即先對(duì)片上網(wǎng)絡(luò)進(jìn)行高層次建模，在模型的基礎(chǔ)上根據(jù)片上網(wǎng)絡(luò)性能表現(xiàn)調(diào)整片上網(wǎng)絡(luò)參數(shù)設(shè)置，探索出既能滿足應(yīng)用性能要求又具有最低硬件開銷的片上網(wǎng)絡(luò)，進(jìn)而使用探索出的最優(yōu)參數(shù)實(shí)現(xiàn)片上網(wǎng)絡(luò)硬件設(shè)計(jì)。2提出了一種事務(wù)級(jí)的片上網(wǎng)絡(luò)模型。將片上網(wǎng)絡(luò)分為網(wǎng)絡(luò)接口、路由器和網(wǎng)絡(luò)鏈路三部分分別進(jìn)行事務(wù)級(jí)建模，使用TLM20標(biāo)準(zhǔn)接口封裝的片上網(wǎng)絡(luò)組件模型可以方便的連接在一起，組成任意結(jié)構(gòu)的片上網(wǎng)絡(luò)模型。3提出了一種基于特征流量的片上網(wǎng)絡(luò)性能評(píng)估模型，并依托這種模型從片上網(wǎng)絡(luò)注入率、拓?fù)浣Y(jié)構(gòu)、緩存深度、數(shù)據(jù)包長度和虛擬通道數(shù)量五個(gè)方面探索了片上網(wǎng)絡(luò)參數(shù)對(duì)片上網(wǎng)絡(luò)性能的影響。4通過集成接口兼容的嵌入式處理器，提出了一種可運(yùn)行嵌入式程序的多核處理器事務(wù)級(jí)模型。并以3780點(diǎn)FFT的多核實(shí)現(xiàn)為例，研究了多核處理器系統(tǒng)模型在軟件劃分、開發(fā)指導(dǎo)，多核處理器片上網(wǎng)絡(luò)部分功耗估計(jì)，嵌入式軟件仿真驗(yàn)證方面的優(yōu)勢。