The Efficient Reusable Device Driver Model Based On L4

Device drivers are used by variable domains in all kinds of industries. However,due to the different design principle among operating systems and independentenvironment provided by those operating systems, device drivers are all maintains theseunavoidable drawbacks such as un-unity, complexity, chaos design and poor portabilitywhich device driver developers are suffering from. Therefore, in order to maximallyutilize the available resource and cut down the cost of device driver development, thisthesis proposes a high performance and reusable device driver module based on theL4/Fiasco micro-kernel by analyzing current research results and regarding the maincharacters that a microkernel possesses. In the module, the communication performancebetween each device driver is increased by improvement of task IPC technology, andthe whole system’s extensibility and maintainability are improved by reusing the maturecode from Linux.In this thesis, firstly, the goals and design of device driver module under themicrokernel operating system is introduced. Moreover, in order to integrate USBfunction into the microkernel, the USB driver framework which is based on the devicedriver module is designed and implemented. According to results of test of USB driverframework, the performance of this framework is improved and meanwhile, the reusingcode comparing with total server code in this framework is significantly increasedwhich indicates that by using this device driver module, the performance and reusabilityare all significantly improved.The device driver module with the improvement and optimization is designed inthis thesis, and an innovative USB driver framework is successfully achieved. Thecontent of the work of this thesis with regarding the design and implementation of thedevice driver model has a certain reference value.