Sharing and Isolation in Modern Kernel Memory Management