> Memory used for storing executable binaries is allowed to be moved out of memory, as a copy of it lives on disk. On Linux, this is not necessarily the case,

> Memory used for storing executable binaries is allowed to be moved out of memory, as a copy of it lives on disk. On Linux, this is not necessarily the case, as you can change the file on disk while the executable is running. I don't know if Linux just keeps executable code in memory all the time, or if it is smart enough to detect whether a copy of executable pages still lives on disk.