非阻塞算法在安全文件訪問(wèn)控制系統(tǒng)中的研究與應(yīng)用.pdf

1、隨著計(jì)算機(jī)的發(fā)展，特別是操作系統(tǒng)和多處理器的出現(xiàn)，如何開(kāi)發(fā)高效率的多線程的并發(fā)程序也顯得越來(lái)越重要。傳統(tǒng)的基于鎖的同步機(jī)制解決了多線程對(duì)同一對(duì)象操作的正確性問(wèn)題，但是沒(méi)有解決一些例如死鎖和優(yōu)先級(jí)倒置等問(wèn)題，而且在中度甚至高度并發(fā)的情況下，系統(tǒng)的效率也不能滿足人們的要求。本文重點(diǎn)研究了非阻塞算法，實(shí)現(xiàn)了堆棧和鏈表數(shù)據(jù)結(jié)構(gòu)上的非阻塞算法，并將其應(yīng)用到文件訪問(wèn)控制系統(tǒng)中。實(shí)驗(yàn)表明，非阻塞算法在實(shí)現(xiàn)并發(fā)控制功能的同時(shí)也提高了系統(tǒng)的吞吐率以及解決

2、了基于鎖的機(jī)制中存在的死鎖等問(wèn)題。 為了解決基于訪問(wèn)控制列表的方法所存在的問(wèn)題，文中將基于PKI技術(shù)的SPKI屬性證書(shū)引入到文件訪問(wèn)控制系統(tǒng)中，對(duì)SPKI證書(shū)的一些相關(guān)問(wèn)題進(jìn)行研究：在MIT的JSDSI包的基礎(chǔ)上，改進(jìn)現(xiàn)有的SPKI證書(shū)的結(jié)構(gòu)，設(shè)計(jì)和實(shí)現(xiàn)了頒發(fā)給用戶的屬性證書(shū)和資源所擁有的策略證書(shū)；同時(shí)對(duì)于證書(shū)的生成過(guò)程和在關(guān)系數(shù)據(jù)庫(kù)中的存儲(chǔ)與管理進(jìn)行了研究；最后詳細(xì)討論了證書(shū)鏈搜索中的證書(shū)集的化簡(jiǎn)問(wèn)題，實(shí)現(xiàn)了基于Collect