The Implementation of Virtual Memory in Embedded Micro-Kernel Operating System

• Main Authors: Fang-ming Yang, 楊豐銘
• Other Authors: Jing Chen
• Format: Others
• Language: zh-TW
• Published: 2008
• Online Access: http://ndltd.ncl.edu.tw/handle/79879766275238700192

碩士 === 國立成功大學 === 電腦與通信工程研究所 === 96 === Virtual memory is a memory management technology commonly used in modern operating systems, which not only allows computer system to run software using memory more than physically configured, but also provides more efficiency in memory utilization and high security among process running in the system. This thesis presents a study and implementation of virtual memory management in an embedded micro-kernel operating system. Tranditionally, embedded operating systems in general do not support virtual memory due to the application sepcific characteristics and concerns in performance. The goal of this thesis therefore is to provide an efficient and reliable virtual memory management mechanism. The important parts of this implementation include a page management allocator in Zinix micro-kernel operating system, a page access permission protection mechanism with memory management unit(MMU) support and process swap mechanism that takes performance issues into consideration. With the wide spreading of embedded system applications, it is worthy considering supporting virtual memory management technique in embedded operating systems. This implementation provides an efficient and safe virtual memory management system and gives another choice for developers. Developers can choose whether or not to use the virtual memory management functionality by configurating the system environment setting according to their particular requirements or needs.