先来看看c语言printf函数运算顺序为什么从右到左?
从汇编角度来看,函数的参数总是从高地址压到低地址,而访问参数的时候又是通过基址加偏移量来的,所以按照逻辑,偏移量为0对应第一个参数,第一个参数在低地址,低地址最后压入栈,相对应的函数最右边的参数也就最先计算。
一个由C/C++编译的程序的内存分布分为以下几个部分:
1、 栈(stack):也是我们所说的堆栈,是由编译器自动分配释放,用来存放函数参数值,函数的返回地址,非静态局部变量的值等。其操作方式类似于数据结构中的栈(后进先出LIFO)。
2、 堆(Heep):一般由程序员分配释放,若程序员不释放,程序结束可能由OS回收。
3、 全局区(静态区):全局变量和静态变量存储在这一块,初始化的全局变量和静态变量放在一块区域,未初始化的全局变量,静态变量放在相邻的另一块区域(BSS)。程序结束后由系统释放。
4、 文字常量区:常量字符串放在这个区域。
5、 程序代码区:存放函数体的二进制代码。
Linux下的内存映像布局一般有如下几个段(从低地址到高地址):
1) 代码段: 即二进制机器代码,代码段是只读的,可以被多个进程共享;
2) 数据段: 存储已初始化的变量,包括全局变量和初始化了的静态变量;
3) 未初始化数据段: 存储未被初始化的静态变量,也就是BSS段;
4) 堆: 用于存放动态分配的变量;
5) 栈: 用于函数调用,保存函数返回值,参数等等;
现在知道Linux下程序转化成进程的更详细步骤了,所以写下来:
1) 内核将程序读入内存,并为程序分配一定的内存空间;
2) 内核为进程分配一个PID,还有其他一些相关资源;
3) 内核为进程保存PID和相应的状态信息,把进程功能放入到运行队列中等待运行。
基本上也就这3个步骤了。下面顺便记记进程的内存映像:
首先,什么叫做内存映像呢? 进程的内存映像,指的是内核在内存中如何存放可执行程序文件。注意了,这里的可执行程序文件和内存映像是有区别的,具体是:
1) 可执行程序是位于硬盘上的,而内存映像位于内存上;
2) 可执行程序没有堆栈,因为只有当程序被加载到内存上的时候才会分配相应的堆栈
3) 可执行程序是静态的,因为它还没运行,但是内存映像是动态的,数据是随着运行过程改变的;