Hcfyk

So i came upon this question :

What's the use of having a kernel part in the virtual memory space of Linux processes?

and based on the answer and the comments on the answer :

the kernel memory map includes a direct mapping of all physical memory, so everything in memory appears there; it also includes separate mappings for the kernel, modules etc., so the physical addresses containing the kernel appear in at least two different mappings

so is this true? i couldn't find any source or reference for this, and why would it include a map of the entire physical memory and then again have a separate mapping of kernel modules? isn't that redundant?

so can someone explain in a simple manner what is inside the kernel part of virtual memory of processes in 64 bit Linux? and please provide a source for the answer! because i couldn't find anything related to this in any book or paper.

thanks!

The kernel’s memory map on x86-64 is documented in the kernel itself. The kernel maps

• user-space (for the current process)


• PTI data structures


• all the physical memory


• the kernel’s data structures, in various blocks, with holes for ASLR


• the kernel itself


• its modules

Having a full mapping of physical memory is convenient, but its relevance is debated compared to the security risks it creates, and its address-space burden (since physical memory is effectively limited to half the address space as a result; this prompted the recent expansion to five-level page tables with 56-bit addresses).

“64bit memory space is big. You just won't believe how vastly, hugely, mind-bogglingly big it is. I mean, you may think it's a long way down the road to the chemist's, but that's just peanuts to 64bit memory space.”

It is good to keep thinks simple.

Therefore it was decided to allocated half for direct mapping the hardware, just one-to-one mapping of hardware addresses. And half for virtual mapping. It will be cheaper to have something in there twice, than not. Imagine having conditional code to exclude stuff from the direct mapping if it is in the other. And imagine how complex things will become, now not everything is in the direct mapping, so we seed a lot more conditional code, to find what we want. Is is just simpler to map it twice. (this may be over simplified, and some detail may be wrong, but the general idea is correct.)