Linux如何证明线程共享进程的地址空间

(资料图片仅供参考)

1. 背景

所有的书上都说， 进程中的所有线程共享进程的地址空间，如上图中的蓝框都在一个进程中。那么该如何证明这个结论呢？

我只需要在一个线程中访问另一个线程的局部变量就可以了。如果能访问到，那么就证明两个线程是一伙的，如果不能，那 ……不可能。

2. 测试方法

定义全局指针变量 int32_t *gs_i_ptr；在线程 a 中定义一个局部变量int32_t run_count = 0，并将其地址赋值给全局变量 gs_i_ptr = &run_count；在线程 b 中获取全局变量得值 *gs_i_ptr；

#include < stdio.h >#include < stdint.h >#include < unistd.h >#include < pthread.h >staticint32_t *gs_i_ptr = NULL;static void *th1(void *para){    sleep(1);    while(1)    {        printf("th2 run count:%dn", *gs_i_ptr);        sleep(1);    }}static void *th2(void *para){    int32_t run_count = 0;    gs_i_ptr = &run_count;    while(1)    {        run_count++;        sleep(1);    }}int main(int argc, char *argv[]){    pthread_t pid = 0;    pthread_create(&pid, NULL, th1, NULL);    pthread_create(&pid, NULL, th2, NULL);    getchar();    return 0;}

运行结果：

3. 总结

你看，线程 1 可以访问线程 2 的 局部变量。它为什么能访问到呢？因为它们两个线程位于同一地址空间！

关键词：