我注意到字符串文字在内存中的地址与其他常量和变量(Linux 操作系统)非常不同:它们有许多前导零(未打印)。
Example:
const char *h = "Hi";
int i = 1;
printf ("%p\n", (void *) h);
printf ("%p\n", (void *) &i);
Output:
0x400634
0x7fffc1ef1a4c
我知道它们存储在.rodata
可执行文件的一部分。操作系统是否有一种特殊的方式来处理它,以便文字最终出现在内存的特殊区域(带有前导零)?该存储位置有什么优点或者有什么特别之处吗?
下面是 Linux 上进程内存的布局方式(来自http://www.thegeekstuff.com/2012/03/linux-processes-memory-layout/ http://www.thegeekstuff.com/2012/03/linux-processes-memory-layout/):
The .rodata部分是写保护的子部分初始化全局数据堵塞。
(其中一节ELF https://en.wikipedia.org/wiki/Executable_and_Linkable_Format可执行文件指定.data是初始化为非零值的可写全局变量的可写对应项。初始化为零的可写全局变量转到.bss堵塞。这里的全局变量是指全局变量和所有static变量与位置无关。)
该图片应解释您地址的数值。
如果您想进一步调查,那么在 Linux 上您可以检查/proc/$pid/地图描述正在运行的进程的内存布局的虚拟文件。您不会获得保留的(以点开头)ELF 节名称,但您可以通过查看其内存保护标志来猜测内存块源自哪个 ELF 节。例如,运行
$ cat /proc/self/maps #cat's memory map
gives me
00400000-0040b000 r-xp 00000000 fc:00 395465 /bin/cat
0060a000-0060b000 r--p 0000a000 fc:00 395465 /bin/cat
0060b000-0060d000 rw-p 0000b000 fc:00 395465 /bin/cat
006e3000-00704000 rw-p 00000000 00:00 0 [heap]
3000000000-3000023000 r-xp 00000000 fc:00 3026487 /lib/x86_64-linux-gnu/ld-2.19.so
3000222000-3000223000 r--p 00022000 fc:00 3026487 /lib/x86_64-linux-gnu/ld-2.19.so
3000223000-3000224000 rw-p 00023000 fc:00 3026487 /lib/x86_64-linux-gnu/ld-2.19.so
3000224000-3000225000 rw-p 00000000 00:00 0
3000400000-30005ba000 r-xp 00000000 fc:00 3026488 /lib/x86_64-linux-gnu/libc-2.19.so
30005ba000-30007ba000 ---p 001ba000 fc:00 3026488 /lib/x86_64-linux-gnu/libc-2.19.so
30007ba000-30007be000 r--p 001ba000 fc:00 3026488 /lib/x86_64-linux-gnu/libc-2.19.so
30007be000-30007c0000 rw-p 001be000 fc:00 3026488 /lib/x86_64-linux-gnu/libc-2.19.so
30007c0000-30007c5000 rw-p 00000000 00:00 0
7f49eda93000-7f49edd79000 r--p 00000000 fc:00 2104890 /usr/lib/locale/locale-archive
7f49edd79000-7f49edd7c000 rw-p 00000000 00:00 0
7f49edda7000-7f49edda9000 rw-p 00000000 00:00 0
7ffdae393000-7ffdae3b5000 rw-p 00000000 00:00 0 [stack]
7ffdae3e6000-7ffdae3e8000 r--p 00000000 00:00 0 [vvar]
7ffdae3e8000-7ffdae3ea000 r-xp 00000000 00:00 0 [vdso]
ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0 [vsyscall]
首先r-xp
块肯定来自.text(可执行代码),
首先r--p
阻止来自.rodata,以及以下内容rw--块来自.bss and .data。 (在堆和堆栈块之间是动态链接器从动态链接库加载的块。)
Note:为了符合标准,您应该铸造int*
for "%p"
to (void*)
否则行为是未定义的。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)