基于有色Petri網(wǎng)的RAID控制系統(tǒng)建模.pdf

1、現(xiàn)代信息系統(tǒng)日趨大型化、復(fù)雜化，使人們不得不借助模型來(lái)完成系統(tǒng)設(shè)計(jì)與分析。Petri網(wǎng)是信息系統(tǒng)的一種建模工具，適合描述異步并發(fā)現(xiàn)象。它不僅具有直觀的圖形表示能力，還擁有嚴(yán)格的數(shù)學(xué)語(yǔ)義，建立了許多數(shù)學(xué)分析技術(shù)。有色Petri網(wǎng)是在Petri網(wǎng)基礎(chǔ)上擴(kuò)展而得的一種高級(jí)Petri網(wǎng)。與傳統(tǒng)Petri網(wǎng)相比，有色Petri網(wǎng)豐富了托肯類型；提供系統(tǒng)模塊化、層次化表述功能；并采用SML的擴(kuò)展語(yǔ)言CPN ML以增強(qiáng)網(wǎng)絡(luò)描述能力；引入時(shí)間概念，實(shí)現(xiàn)

2、全局時(shí)鐘環(huán)境。有色Petri網(wǎng)現(xiàn)已成為一種較完善的圖形化數(shù)學(xué)建模工具，廣泛用于對(duì)系統(tǒng)的設(shè)計(jì)、規(guī)范、仿真和驗(yàn)證。 本實(shí)驗(yàn)室長(zhǎng)期致力于基于SIP（SCSI Interlocked Protocol）的RAID控制器嵌入式系統(tǒng)開(kāi)發(fā)。RAID控制系統(tǒng)是一種帶有異步并發(fā)特性的離散事件系統(tǒng)，廣泛應(yīng)用于銀行、金融系統(tǒng)等對(duì)數(shù)據(jù)存儲(chǔ)要求很高的領(lǐng)域。本文旨在使用有色Petri網(wǎng)模型簡(jiǎn)化對(duì)實(shí)際RAID系統(tǒng)的描述，運(yùn)用有色Petri網(wǎng)的數(shù)學(xué)技術(shù)分析系統(tǒng)

3、的屬性，發(fā)掘系統(tǒng)優(yōu)化的潛力，指導(dǎo)RAID控制器嵌入式系統(tǒng)的設(shè)計(jì)開(kāi)發(fā)。 本文首先介紹了Petri網(wǎng)和有色Petri網(wǎng)的基本原理，包括它們的形式化定義、分析方法和計(jì)算機(jī)工具軟件。隨后介紹了基于SIP的RAID控制系統(tǒng)結(jié)構(gòu)，詳細(xì)分析了RAID系統(tǒng)中的SIP協(xié)議以及系統(tǒng)工作線程。本文闡述了使用有色Petri網(wǎng)對(duì)RAID系統(tǒng)建模的優(yōu)勢(shì)，并提出模型設(shè)計(jì)的兩個(gè)關(guān)鍵性問(wèn)題：RAID系統(tǒng)中的SIP交互和命令序列優(yōu)化。 本文使用CPN To

4、ols工具軟件，對(duì)基于SIP的RAID控制系統(tǒng)，根據(jù)兩種不同的命令處理機(jī)制（FIFO與地址優(yōu)化排序），分別建立了層次化有色Petri網(wǎng)模型；運(yùn)用發(fā)生圖原理對(duì)模型進(jìn)行分析驗(yàn)證；通過(guò)有色Petri網(wǎng)時(shí)鐘系統(tǒng)的擴(kuò)展功能得到了仿真結(jié)果。 基于仿真結(jié)果，我們得出結(jié)論：(1)允許I/O過(guò)程斷開(kāi)可實(shí)現(xiàn)任務(wù)并行處理；(2)根據(jù)情況，對(duì)命令隊(duì)列采取地址優(yōu)化排序可以提高磁盤訪問(wèn)效率。兩者均能提高系統(tǒng)的性能?；谀Ｐ驮O(shè)計(jì)，對(duì)于RAID控制器嵌入式系統(tǒng)