全局变量的地址为什么会改变?

starwing83

那一定是在传进参数以后，和printf实际做write(stdout, text)之前的事情了。可是这整个过程应该是由库函数来管，不可能溢出的吧？（除非printf地址以后又printf一个不对齐的数字，导致覆盖，可是这样是在传进去的时候就覆盖了，不可能突然改变，而是一开始就不正确）。又不可能是另外一个线程，因为线程有自己独立的栈（野指针总不会每次都凑巧刚刚改了哪个数字吧？），应该也不是系统内核的问题，因为好像大家都很少遇到这种错误。

LZ有没有出错的程序？贴一下吧，再说明一下硬件配置和操作系统

群雄逐鹿中原

显然很可能溢出导致函数的返回地址错位, 然后 for循环变量++ 使用到 &global_int 的地址.
需要注意 printf 前后的函数调用情况.

ytl

原帖由 starwing83 于 2010-1-24 12:38 发表
那一定是在传进参数以后，和printf实际做write(stdout, text)之前的事情了。可是这整个过程应该是由库函数来管，不可能溢出的吧？（除非printf地址以后又printf一个不对齐的数字，导致覆盖，可是这样是在传进去 ...

AIX 4.1系统。程序是单线程的，大致如下

int global_int = 0;

for (int i = 0; ; i++)
{
      printf("addr = %p, value = %d\n", &global_int, global_int);
      global_int++;
      int_arr[global_int] = global_int;
      /* other codes */
}

每次都是循环到同一个次数时, global_int地址突然加1，导致global_int的值很大，从而int_arr[global_int]发生内存越界

ytl

原帖由 群雄逐鹿中原 于 2010-1-24 12:38 发表
显然很可能溢出导致函数的返回地址错位, 然后 for循环变量++ 使用到 &global_int 的地址.
需要注意 printf 前后的函数调用情况.

全局变量的地址应该是放在代码段的，代码段应该是read only的，怎么可能被修改呢？

prolj

谁说全局变量放在代码段的？基本常识都没有。

ytl

原帖由 prolj 于 2010-1-24 19:18 发表
谁说全局变量放在代码段的？基本常识都没有。

请自掌嘴巴20次！

net_robber

没有跳出条件的循环

1. for(;;i++)
   
2. {
   
3.    OOXX[i];
   
4. }

复制代码

ytl

原帖由 stephen_du 于 2010-1-24 19:23 发表
你把那个全局变量volatile掉再试试。
你的for循环疯狂去访问那个变量以及它的地址编译器会做优化
也就是说并不是每次都从原来位置读，自然出问题。

无论怎么优化也不应该出问题。如果优化出问题了，只能说编译器有问题