Kernel Aware Module Verification for Robust Reconfigurable Operating System

The loadable kernel modules supported by Linux provide many benefits including a small-sized kernel, on-demand loading, and simpler upgrading of software. However, modules are executed in a privileged mode so that trivial errors in a module may cause a critical system halt or deadlock situations. We introduce a kernel resource protector which shields the kernel from faults generated by modules. It models the kernel as module objects and resource objects. By observing the interrelations between the two types of object, the protector can detect misuses of kernel resources by modules and take action to resolve the resulting problems. An experimental implementation demonstrates that the protector can detect memory wasted by modules and reclaim such leaks without degrading system performance. The resulting increase in robustness is especially significant for systems equipped with NVRAM (Non-Volatile RAM), such as FRAM and PRAM, which is not reset by rebooting.

並列關鍵字

robustness ； fault-tolerance ； Linux kernel ； module ； implementation

被引用紀錄

Cheng, C. H. (2015). 供電限制下之多通道固態硬碟動態電流控制策略 [master's thesis, National Chiao Tung University]. Airiti Library. https://doi.org/10.6842/NCTU.2015.00640

林峻宇（2014）。基於多通道固態硬碟減少峰值電流下快閃記憶體管理方法〔碩士論文，國立交通大學〕。華藝線上圖書館。https://doi.org/10.6842/NCTU.2014.00906

蔡瑞鵬（2003）。環氧樹脂/孔洞性分子篩奈米材料之合成與鑑定〔碩士論文，中原大學〕。華藝線上圖書館。https://doi.org/10.6840/cycu200300634

Lin, C. H. (2014). 多核心系統中動態隨機存取記憶體之低功率設計及溫度控制 [doctoral dissertation, National Taiwan University]. Airiti Library. https://doi.org/10.6342/NTU.2014.01450

黃品綱（2012）。應用於立體電視之結構光法近物深度量測重建演算法與晶片實現〔碩士論文，國立臺北科技大學〕。華藝線上圖書館。https://www.airitilibrary.com/Article/Detail?DocID=U0006-1408201212102800

延伸閱讀

TIAN, D., JIA, X., CHEN, J., & HU, C. (2017). An Online Approach for Kernel-Level Keylogger Detection and Defense. Journal of Information Science and Engineering, 33(2), 445-461. https://doi.org/10.6688/JISE.2017.33.2.10
TIAN, D., CHEN, J., HU, C., & XUE, J. (2016). A Secure and Efficient Kernel Log Transfer Mechanism for Virtualization Environments. Journal of Information Science and Engineering, 32(5), 1131-1143. https://www.airitilibrary.com/Article/Detail?DocID=10162364-201609-201703280016-201703280016-1131-1143
林煌森（2007）。Automatic Selection of Compiler Options for Performance Optimization on the Kernel Modules of a Storage Server〔碩士論文，國立臺灣大學〕。華藝線上圖書館。https://doi.org/10.6342/NTU.2007.03390
Lee, C. T., Lin, J. M., Hong, Z. W., & Lee, W. T. (2004). An Application-Oriented Linux Kernel Customization for Embedded Systems. Journal of Information Science and Engineering, 20(6), 1093-1107. https://doi.org/10.6688/JISE.2004.20.6.1
Chieh, H. (2009). An Efficient Solution for Hook-Based Kernel Level Rootkits [master's thesis, National Tsing Hua University]. Airiti Library. https://www.airitilibrary.com/Article/Detail?DocID=U0016-1111200916112825

國際替代計量

Kernel Aware Module Verification for Robust Reconfigurable Operating System

全文下載

主題瀏覽