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

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

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