一起talk C栗子吧(第一百三十回:C语言实例--C程序内存布局二)

2024-03-12 04:58

本文主要是介绍一起talk C栗子吧(第一百三十回:C语言实例--C程序内存布局二),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!


各位看官们,大家好,上一回中咱们说的是C程序内存布局的例子,这一回咱们继续说该例子。闲话休提,言归正转。让我们一起talk C栗子吧!

看官们,我们在上一回中介绍了C程序在内存中的布局,并且给大家做了简单的演示。上一回的例子比较简单,只能说明程序中内存布局的大体轮廓。我们今天会通过具体的内存地址来清楚地介绍C程序在内存中的布局。下面是例子的程序源代码,请大家参考:

int ga1;
int ga2 = 1;int func()
{int i = 0;static static_la1;static static_la2 = 3;printf("func is running \n");printf("Address of i: %p \n",&i);printf("Address of static_la1 : %p \n",&static_la1);printf("Address of static_la2 : %p \n",&static_la2);while(i++<8)sleep(1);return 0;
}int main()
{int la1;int la2 = 2;int *p;p = (int *) malloc(3*sizeof(int));if(NULL == p)printf("malloc failed \n");printf("Address of ga1: %p \n",&ga1);printf("Address of ga2: %p \n",&ga2);printf("Address of la1: %p \n",&la1);printf("Address of la2: %p \n",&la2);printf("Address of p: %p \n",p);func();free(p);p = NULL;return 0;
}

在该代码中,我们手动输出各个变量的地址,这样做的目的是为了通过变量的地址来判断变量在内存中的位置,进而确认变量属于内存布局中的哪个分区。那么这些变量究竟是在哪个分区中呢?data分区还是bss分区?下面是程序的运行结果,请大家参考:

Address of ga1: 0x804a040 
Address of ga2: 0x804a030 
Address of la1: 0xbfc7e7b4 
Address of la2: 0xbfc7e7b8 
Address of p: 0x8ffc008 
func is running 
Address of i: 0xbfc7e78c 
Address of static_la1 : 0x804a03c 
Address of static_la2 : 0x804a034 

从程序的运行结果中我们可以看到,各个变量在内存中的地址,不过,我们还是不知道这些变量属于哪个内存分区。看官们莫急,我们通过readelf工具来查看该程序的内存布局,通过内存布局就可以看到各个内存分区的地址范围,这些我就们就能依据变量的地址推断出变量所在的内存分区。下面是详细的结果:

readelf -S s            //使用readelf 工具查看程序的内存布局
There are 30 section headers, starting at offset 0x1190:Section Headers:[Nr] Name              Type            Addr     Off    Size   ES Flg Lk Inf Al[ 0]                   NULL            00000000 000000 000000 00      0   0  0[ 1] .interp           PROGBITS        08048154 000154 000013 00   A  0   0  1[ 2] .note.ABI-tag     NOTE            08048168 000168 000020 00   A  0   0  4[ 3] .note.gnu.build-i NOTE            08048188 000188 000024 00   A  0   0  4[ 4] .gnu.hash         GNU_HASH        080481ac 0001ac 000020 04   A  5   0  4[ 5] .dynsym           DYNSYM          080481cc 0001cc 000090 10   A  6   1  4[ 6] .dynstr           STRTAB          0804825c 00025c 000063 00   A  0   0  1[ 7] .gnu.version      VERSYM          080482c0 0002c0 000012 02   A  5   0  2[ 8] .gnu.version_r    VERNEED         080482d4 0002d4 000020 00   A  6   1  4[ 9] .rel.dyn          REL             080482f4 0002f4 000008 08   A  5   0  4[10] .rel.plt          REL             080482fc 0002fc 000038 08   A  5  12  4[11] .init             PROGBITS        08048334 000334 000023 00  AX  0   0  4[12] .plt              PROGBITS        08048360 000360 000080 04  AX  0   0 16[13] .text             PROGBITS        080483e0 0003e0 0002a2 00  AX  0   0 16[14] .fini             PROGBITS        08048684 000684 000014 00  AX  0   0  4[15] .rodata           PROGBITS        08048698 000698 0000dc 00   A  0   0  4[16] .eh_frame_hdr     PROGBITS        08048774 000774 000034 00   A  0   0  4[17] .eh_frame         PROGBITS        080487a8 0007a8 0000d0 00   A  0   0  4[18] .init_array       INIT_ARRAY      08049f08 000f08 000004 00  WA  0   0  4[19] .fini_array       FINI_ARRAY      08049f0c 000f0c 000004 00  WA  0   0  4[20] .jcr              PROGBITS        08049f10 000f10 000004 00  WA  0   0  4[21] .dynamic          DYNAMIC         08049f14 000f14 0000e8 08  WA  6   0  4[22] .got              PROGBITS        08049ffc 000ffc 000004 04  WA  0   0  4[23] .got.plt          PROGBITS        0804a000 001000 000028 04  WA  0   0  4[24] .data             PROGBITS        0804a028 001028 000010 00  WA  0   0  4[25] .bss              NOBITS          0804a038 001038 00000c 00  WA  0   0  4[26] .comment          PROGBITS        00000000 001038 00004f 01  MS  0   0  1[27] .shstrtab         STRTAB          00000000 001087 000106 00      0   0  1[28] .symtab           SYMTAB          00000000 001640 0004c0 10     29  47  4[29] .strtab           STRTAB          00000000 001b00 0002be 00      0   0  1
Key to Flags:W (write), A (alloc), X (execute), M (merge), S (strings)I (info), L (link order), G (group), T (TLS), E (exclude), x (unknown)O (extra OS processing required) o (OS specific), p (processor specific)

从运行结果中可以看到程序的

data分区从地址0x0804a028开始,大小为0x000010(16byte)。
bss分区从0x0804a038开始,大小为0x00000c(12byte)。

那么我们结合程序中变量的地址来推断一下变量所在的内存分区:

Address of ga1: 0x804a040    //变量的地址大于bss(0x0804a038),变量位于bss分区
Address of ga2: 0x804a030    //变量的地址大于data(0x0804a028),而且小于bss,变量属于data分区
Address of static_la1 : 0x804a03c    //变量的地址大于bss(0x0804a038),变量位于bss分区
Address of static_la2 : 0x804a034    //变量的地址大于data(0x0804a028),而且小于bss,变量属于data分区

还有四个变量的地址不在bss和data分区范围内,因此不能确定这些变量所在的分区:

Address of la1: 0xbfc7e7b4   //变量的地址大于bss(0x0804a038),但是超出了bss分区的范围
Address of la2: 0xbfc7e7b8   //变量的地址大于bss(0x0804a038),但是超出了bss分区的范围
Address of p: 0x8ffc008      //变量的地址大于bss(0x0804a038),但是超出了bss分区的范围
Address of i: 0xbfc7e78c     //变量的地址大于bss(0x0804a038),但是超出了bss分区的范围

我们在前一章回中介绍过,重要的分区就四种,他们不在data和bss,那么只能在堆区或者栈区了。现在我们只有变量的地址,要是有堆区或者栈区的地址范围就好了。这样我们就可以向刚才推断bss和data分区中的变量一样来推断这些变量在内存中的分区。

接下我们一起查找一下程序的栈和堆分区。还记得我们在前面章回中介绍的proc虚拟文件系统吗?我们可以借助它来获得栈区和堆区的内存空间信息。

 ./s &                               //在后台运行编译好的程序
[1] 2736                                                                                    //程序在后台正常运行,同时显示程序的PID
Address of ga1: 0x804a040            //程序运行,输出程序中的内容
Address of ga2: 0x804a030 
Address of la1: 0xbfe01cf4 
Address of la2: 0xbfe01cf8 
Address of p: 0x964d008 
func is running 
Address of i: 0xbfe01ccc 
Address of static_la1 : 0x804a03c 
Address of static_la2 : 0x804a034 
cat /proc/2736/maps                   //查看proc中关于进程的信息
08048000-08049000 r-xp 00000000 08:13 22415696   /home/talk8/s
08049000-0804a000 r--p 00000000 08:13 22415696   /home/talk8/s
0804a000-0804b000 rw-p 00001000 08:13 22415696   /home/talk8/s
0964d000-0966e000 rw-p 00000000 00:00 0          [heap]  
b75b7000-b75b8000 rw-p 00000000 00:00 0 
b75b8000-b7761000 r-xp 00000000 08:16 6444       /lib/i386-linux-gnu/libc-2.19.so
b7761000-b7763000 r--p 001a9000 08:16 6444       /lib/i386-linux-gnu/libc-2.19.so
b7763000-b7764000 rw-p 001ab000 08:16 6444       /lib/i386-linux-gnu/libc-2.19.so
b7764000-b7767000 rw-p 00000000 00:00 0 
b777e000-b7781000 rw-p 00000000 00:00 0 
b7781000-b7782000 r-xp 00000000 00:00 0          [vdso]
b7782000-b77a2000 r-xp 00000000 08:16 6459       /lib/i386-linux-gnu/ld-2.19.so
b77a2000-b77a3000 r--p 0001f000 08:16 6459       /lib/i386-linux-gnu/ld-2.19.so
b77a3000-b77a4000 rw-p 00020000 08:16 6459       /lib/i386-linux-gnu/ld-2.19.so
bfde3000-bfe04000 rw-p 00000000 00:00 0          [stack]

从上面信息中我们可以看到,标记为[heap]和[stack]的分区就是我们要找的堆区和栈区,与其在同一行中的内容显示了这两个分区的内存地址空间。

堆区:0x0964d000-0x0966e000
栈区:0xbfde3000-0xbfe04000

现在,我们可以推断刚才哪四个不知道自己所在分区的变量了,下面是我们的推断结果:

Address of la1: 0xbfe01cf4   //变量的地址位于栈区地址空间内,该变量位于栈区
Address of la2: 0xbfe01cf8   //变量的地址位于栈区地址空间内,该变量位于栈区
Address of p: 0x964d008      //变量的地址位于堆区地址空间内,该变量位于堆区
Address of i: 0xbfe01ccc     //变量的地址位于栈区地址空间内,该变量位于栈区

看官们,到目前为止, 我们通过具体的内存地址清楚地展示了C程序在内存中的布局。最后我们画一个直观的图形给大家看,这样大家就能直观地看清楚C程序的内存模型了。
这里写图片描述
该图形比较简单,在图形中从上向下看,可以看到内存地址从高地址向低地址延伸,每个地址后面是与该地址对应的分区名称。

看官们,完整的代码放到了我的资源中,大家可以点击这里下载使用(CSDN又出问题了,所以暂时不能上传程序,等CSDN修复好问题后,我会及时上传程序,到时候大家可以到我们资源中下载程序)。因为每个人的电脑是不同的,而且所使用的编程环境也可能不相同,所以建议各位看官都下载程序到自己的电脑上运行,然后按照我们介绍的方法观察程序在内存中的模型。

各位看官,关于C程序内存布局的例子咱们就说到这里。欲知后面还有什么例子,且听下回分解 。


这篇关于一起talk C栗子吧(第一百三十回:C语言实例--C程序内存布局二)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/800196

相关文章

C语言中%zu的用法解读

《C语言中%zu的用法解读》size_t是无符号整数类型,用于表示对象大小或内存操作结果,%zu是C99标准中专为size_t设计的printf占位符,避免因类型不匹配导致错误,使用%u或%d可能引发... 目录size_t 类型与 %zu 占位符%zu 的用途替代占位符的风险兼容性说明其他相关占位符验证示

MySQL 内存使用率常用分析语句

《MySQL内存使用率常用分析语句》用户整理了MySQL内存占用过高的分析方法,涵盖操作系统层确认及数据库层bufferpool、内存模块差值、线程状态、performance_schema性能数据... 目录一、 OS层二、 DB层1. 全局情况2. 内存占js用详情最近连续遇到mysql内存占用过高导致

最新Spring Security的基于内存用户认证方式

《最新SpringSecurity的基于内存用户认证方式》本文讲解SpringSecurity内存认证配置,适用于开发、测试等场景,通过代码创建用户及权限管理,支持密码加密,虽简单但不持久化,生产环... 目录1. 前言2. 因何选择内存认证?3. 基础配置实战❶ 创建Spring Security配置文件

C语言进阶(预处理命令详解)

《C语言进阶(预处理命令详解)》文章讲解了宏定义规范、头文件包含方式及条件编译应用,强调带参宏需加括号避免计算错误,头文件应声明函数原型以便主函数调用,条件编译通过宏定义控制代码编译,适用于测试与模块... 目录1.宏定义1.1不带参宏1.2带参宏2.头文件的包含2.1头文件中的内容2.2工程结构3.条件编

Go语言并发之通知退出机制的实现

《Go语言并发之通知退出机制的实现》本文主要介绍了Go语言并发之通知退出机制的实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录1、通知退出机制1.1 进程/main函数退出1.2 通过channel退出1.3 通过cont

MySQL多实例管理如何在一台主机上运行多个mysql

《MySQL多实例管理如何在一台主机上运行多个mysql》文章详解了在Linux主机上通过二进制方式安装MySQL多实例的步骤,涵盖端口配置、数据目录准备、初始化与启动流程,以及排错方法,适用于构建读... 目录一、什么是mysql多实例二、二进制方式安装MySQL1.获取二进制代码包2.安装基础依赖3.清

SpringBoot 异常处理/自定义格式校验的问题实例详解

《SpringBoot异常处理/自定义格式校验的问题实例详解》文章探讨SpringBoot中自定义注解校验问题,区分参数级与类级约束触发的异常类型,建议通过@RestControllerAdvice... 目录1. 问题简要描述2. 异常触发1) 参数级别约束2) 类级别约束3. 异常处理1) 字段级别约束

java内存泄漏排查过程及解决

《java内存泄漏排查过程及解决》公司某服务内存持续增长,疑似内存泄漏,未触发OOM,排查方法包括检查JVM配置、分析GC执行状态、导出堆内存快照并用IDEAProfiler工具定位大对象及代码... 目录内存泄漏内存问题排查1.查看JVM内存配置2.分析gc是否正常执行3.导出 dump 各种工具分析4.

Apache Ignite缓存基本操作实例详解

《ApacheIgnite缓存基本操作实例详解》文章介绍了ApacheIgnite中IgniteCache的基本操作,涵盖缓存获取、动态创建、销毁、原子及条件更新、异步执行,强调线程池注意事项,避免... 目录一、获取缓存实例(Getting an Instance of a Cache)示例代码:二、动态

Go语言编译环境设置教程

《Go语言编译环境设置教程》Go语言支持高并发(goroutine)、自动垃圾回收,编译为跨平台二进制文件,云原生兼容且社区活跃,开发便捷,内置测试与vet工具辅助检测错误,依赖模块化管理,提升开发效... 目录Go语言优势下载 Go  配置编译环境配置 GOPROXYIDE 设置(VS Code)一些基本