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

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

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