Kernel Shark: Dynamic visualization of software events inside the Linux kernel