本篇文章为大家展示了基于linuxthreads-2.0.1如何分析线程的栈，内容简明扼要并且容易理解，绝对能使你眼前一亮，通过这篇文章的详细介绍希望你能有所收获。
线程本质上是进程中的一个执行流，我们知道，进程有代码段，线程其实就是进程代码段中的其中一段代码。线程的一种实现是作为进程来实现的。通过调用clone，新建一个进程，然后执行父进程代码段里的一个代码片段。文件、内存等信息都是共享的。因为内存是共享的，所以线程不能共享栈，否则访问栈的地址的时候，会映射到相同的物理地址，那样就会互相影响，所以每个线程会有自己独立的栈。在调用clone函数的时候会设置栈的范围。下面通过linuxthreads的代码看看线程的栈。linuxthreads里有一个__pthread_initialize函数，该函数会在main函数执行前执行。在该函数中会设置主线程的栈范围。
计算
安全
数据库
网络和加速
企业服务
// CURRENT_STACK_FRAME 即sp寄存器。按STACK_SIZE大小对齐__pthread_initial_thread_bos = (char *)(((long)CURRENT_STACK_FRAME - 2 * STACK_SIZE) & ~(STACK_SIZE - 1));
AI代码助手复制代码__pthread_initial_thread_bos 保存主线程的栈顶位置。
然后当我们第一次调用pthread_create创建线程的时候，会调用pthread_initialize_manager函数初始化manager线程。manager线程是管理其他的线程的线程。
// 在堆上分配一块内存用于manager线程的栈，栈顶 __pthread_manager_thread_bos = malloc(THREAD_MANAGER_STACK_SIZE); // 高地址是栈底 __pthread_manager_thread_tos = __pthread_manager_thread_bos + THREAD_MANAGER_STACK_SIZE;
AI代码助手复制代码然后调用clone函数设置manager线程的栈。
__clone(__pthread_manager,__pthread_manager_thread_tos, CLONE_VM | CLONE_FS | CLONE_FILES | CLONE_SIGHAND, (void *)(long)manager_pipe[0]);最后在函数pthread_handle_create中设置创建的线程的栈，pthread_handle_create函数是调用pthread_create函数的时候被调用的函数。
// THREAD_STACK_START_ADDRESS 即__pthread_initial_thread_bos，即主线程的栈顶#ifndef THREAD_STACK_START_ADDRESS#define THREAD_STACK_START_ADDRESS __pthread_initial_thread_bos#endif#define THREAD_SEG(seg) ((pthread_t)(THREAD_STACK_START_ADDRESS - (seg) * STACK_SIZE) - 1)#define SEG_THREAD(thr) (((size_t)THREAD_STACK_START_ADDRESS - (size_t)(thr+1)) / STACK_SIZE)pthread_t new_thread = THREAD_SEG(sseg);mmap((caddr_t)((char *)(new_thread+1) - INITIAL_STACK_SIZE),INITIAL_STACK_SIZE, PROT_READ | PROT_WRITE | PROT_EXEC,MAP_PRIVATE | MAP_ANONYMOUS | MAP_FIXED | MAP_GROWSDOWN, -1, 0);
AI代码助手复制代码从上面代码可知，新建的线程的栈在主线程的栈顶下面（即地址小于主线程的栈顶），创建线程的时候，首先计算新线程的栈地址，然后调用mmap划出这块地址。否则访问的时候会segmentfault。最后调用clone创建进程（线程）并设置栈的栈顶和栈底位置。
__clone(pthread_start_thread, new_thread,(CLONE_VM | CLONE_FS | CLONE_FILES | CLONE_SIGHAND| PTHREAD_SIG_RESTART),new_thread);内存布局如下。
从上面的栈分布我们还可以知道一个信息，即当前执行的代码属于哪个线程。
static inline pthread_t thread_self (void){#ifdef THREAD_SELF THREAD_SELF#else char *sp = CURRENT_STACK_FRAME; // 大于初始化栈则是主线程 if (sp >= __pthread_initial_thread_bos) return &__pthread_initial_thread; // 这是manager线程自己申请的空间 else if (sp >= __pthread_manager_thread_bos && sp < __pthread_manager_thread_tos) return &__pthread_manager_thread; else // sp肯定落在某个线程的栈范围内，STACK_SIZE-1使得低n位全1， 或sp再加1即往高地址，按STACK_SIZE对齐，减去一个pthread_t得到tcb return (pthread_t) (((unsigned long int) sp | (STACK_SIZE - 1)) + 1) - 1;#endif}
AI代码助手复制代码这就是linuxthreads获取当前线程的是方法。
上述内容就是基于linuxthreads-2.0.1如何分析线程的栈，你们学到知识或技能了吗？如果还想学到更多技能或者丰富自己的知识储备，欢迎关注亿速云行业资讯频道。
亿速云「云服务器」，即开即用、新一代英特尔至强铂金CPU、三副本存储NVMe SSD云盘，价格低至29元/月。点击查看>>
免责声明：本站发布的内容（图片、视频和文字）以原创、转载和分享为主，文章观点不代表本网站立场，如果涉及侵权请联系站长邮箱：is@yisu.com进行举报，并提供相关证据，一经查实，将立刻删除涉嫌侵权内容。
原文链接：https://my.oschina.net/u/4217331/blog/4379540
