Analysis of the BottomHalf mechanism in the Linux kernel.pdf