In order to improve the efficiency of micro kernel inter-process communication (IPC) in an embedded operating system, we designed a novel IPC method which is more applicable to be applied into an embedded system. In our method, through mapping message memory address of target communication process to system kernel, then communicating with message source process, we realize once copy of message delivery that greatly improves the speed of kernel inter-process communication and enhances the performance of micro kernel system. Finally, we compare our method with previous technique through experiments on Minix system to demonstrate the utility of our work.
展开▼