Design and implementation of a kernel resource protector for robustness of Linux module programming

Authors:
Jongmoo Choi;Seungjae Baek;Sung Y. Shin
Affiliations:
Dankook University, Seoul, Korea;Dankook University, Seoul, Korea;South Dakota State University, South Dakota
Venue:
Proceedings of the 2006 ACM symposium on Applied computing
Year:
2006

Citing 5
Cited 0

Static detection of dynamic memory errors

PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Operating systems (3rd ed.): internals and design principles

Operating systems (3rd ed.): internals and design principles
Memory leak detection in embedded systems

Linux Journal
Understanding the Linux Kernel, Second Edition

Understanding the Linux Kernel, Second Edition
Linux Kernel Development

Linux Kernel Development

Quantified Score

Hi-index	0.00

Visualization

Abstract

Loadable kernel modules supported by Linux provides lots of benefits such as a small-sized kernel, on-demand loading, and easy software upgrading. However, since modules are executed in a privileged mode, trivial misuses in a module may cause critical system halts or deadlock situations. This paper presents a kernel resource protector which prevents kernel from faults generated by modules. The protector models the system in two objects: module object and resource object. By observing the interrelations between the two objects, the protector can detect misuses of modules and take actions to resolve the erroneous situations. Implementation study has shown that the protector can find out memory leaks wasted by modules and can reclaim leaks without degrading system performance. The proposed protector makes Linux more robust, which is required indispensably in the system equipped with NVRAM (Non Volatile RAM) such as FRAM and PRAM.