关于Linux进程环境(2)

（1）修改环境表

1）新value <= 旧value，直接覆盖旧value的存储空间 2）新value >= 旧value,调用malloc函数，在堆区开辟新的存储空间， 将新value复制到这里，再将这片存储区首地址写到环境表相应的位置处。

（2）新增环境表

1）新增一个环境变量，调用malloc函数开辟新的存储空间，将原来的环 境表复制到该存储区，其次再添加一个环境变量，然后在尾部赋值为NULL， 最后将environ指向该区域； 2）在 1）过程的基础上，调用realloc函数，多次添加环境变量；

注意：以这种方式修改的环境变量只在当下程序运行时有效，当程序结束时，相应的存储区被系统回收，这些修改就会失效。

内存存储结构补充说明 内存管理结构图

未初始化数据段(block started by symbol)：在程序开始执
行之前，内核将此段中的数据初始化为0或空指针；

栈：每次函数调用时，其返回地址以及调用者的环境信息(如某些机器寄存器的值)都存放在栈中；

共享库：只需在所有进程都可引用的存储区中保存这种库例程的一个副本；

存储空间分配函数 #include<stdlib.h> void *malloc(size_t size); void *calloc(size_t nojy, size_t size); void *realloc(void *ptr, size_t newsize); 3个函数返回值：若成功，返回非空指针；若出错，返回NULL

malloc函数：初始值不确定；底层通过调用sbrk函数实现；

calloc函数：初始值为0；

realloc函数：增加或减少以前分配区的长度；当增加长度时，可能将以前分配区的内容移到另一个足够大的区域，以便在分配区末尾增加存储区，而新增存储区初始值不确定(例如：可变数组的使用)；

注意：这些动态分配的函数一般在分配存储空间时，会比要求的大。因为在开辟空间的前后部分存储记录管理信息。因此，在使用时，千万不要越界访问，以免造成不可预知的后果。

函数间跳转策略

在c语言中，goto语句是不能跨函数跳转的。尤其是在函数深层调用时的跳转需求，在出错处理的情况下非常有用。

#include<setjmp.h> int setjmp(jmp_buf env); 返回值：若直接调用，返回0；若从longjmp返回，返回非0 void longjmp(jmp_buf env, int val);

变量值回滚问题：自动变量和寄存器变量会存在回滚现象。利用volatile属性来避免此类情况的发生。(在给变量赋值时，赋的值回首先存储在内存(存储器变量)中，然后在由cpu取走，存储在cpu的寄存器上(寄存器变量)。在做系统优化时，那些频繁使用的变量，会直接存储到寄存器中而不经过内存。)

寄存器变量会存在回滚现象的探究

在调用setjmp函数时，内核会把当前的栈顶指针保存在env变量中，所以在调用longjmp函数返回该位置时，全局变量、静态变量、易失变量和自动变量如果在调用setjmp和longjmp函数之间它们的值被修改过，是不会回滚到setjmp函数调用之前的值(当然，编译器将auto变量优化为寄存器变量除外)。因为，这些存储器变量的值是存储在内存相应的段中，回到原先栈顶状态时，同样访问的还是原先的内存空间。

然而，对于寄存器变量来说，首先要明确一点：寄存器变量是用动态存储的方式。意思是寄存器变量的值可能存在不同的寄存器中。如果在调setjmp和longjmp函数之间它们的值被修改过，这个值可能不会存到setjmp之前的对其赋值的寄存器中，而在调用longjmp函数后，又回到了调用setjmp函数时的状态。这个时候再读取寄存器变量的值时，读到的是原先那个寄存器中存储的值而不是修改过的那个寄存器中存储的值，所以出现的回滚现象。