“…It is difficult for complex systems such as operating systems to optimize the performance and verify the functionality in runtime. To overcome these challenges, extensible operating system structure [5], various profiling tools and debuggers [6], dynamic kernel instrumentation mechanisms [1], [2], [3] have been proposed. Our goal is also to give operating system kernel flexibility and adaptability; however, extensible operating system requires wide modification of conventional kernel code and profiling tools has limited functionality.…”