Linux上posix线程库实现原理讨论

albcamus

我是看《nptl-design》中这么说的：

       The necessary memory blocks are merged. I.e., the thread data structures and the thread-local storage are placed on the stack. The usable stack array starts just below (or above in case of an upward growing stack) the memory needed for the two.

如果我没理解错，就应该是这个意思线程数据结构和线程专有数据被放在栈里，传统的栈数据(那些自动变量、函数调用现场等)正好就在上面这2中数据的下边，并往下增长。如果某个系统的栈是从下向上增长的，那么上面的顺序就颠倒过来。

这样看来，线程的栈不应该在HEAP中啊

柳五随风

Here the stack refers to the"THREAD's STACK", not the process's stack.
You could clarify it by just do a trivial experiement such as;

1.create several threads, and let them run before main thread;
2.define some local variables in those  threads , and then check the address of those variables, assume them be At1....Atn;
3.malloc or sbrk a memory space in main thread, check the address of this space( name it Amain),  

so if the Amain < A1..An, then you got it
otherwise , you got me here.

allfresh

学习了!

mingyanguo

原帖由 柳五随风 于 2005-3-9 11:36 发表
关于M:N的问题
有一篇论文专门讲的,问题的根源在于MEMORY MANAGEMENT部分是在N之间共享的,是CRITICAL SECTION,影响性能(基于SINGEL CPU,或者SHAREDＭＥＭＯＲＹ　ＭＯＤＥＬ的ＳＭＰ系统）．
对于其他比如ＣＲＯ ...

能说一下是什么论文么？
M：N在实际中的性能似乎确实不太好。
多谢了。

JohnBull

我的理解：
POSIX线程实际上只是提供了一套可移植的线程函数及语义，底层实现到底是1:1还是N:1至少在理论上对于POSIX线程的使用者来说是透明的。

mingyanguo

原帖由 JohnBull 于 2006-5-16 15:43 发表
我的理解：
POSIX线程实际上只是提供了一套可移植的线程函数及语义，底层实现到底是1:1还是N:1至少在理论上对于POSIX线程的使用者来说是透明的。

感觉应该是这样。

思一克

这个程序可以看出什么在什么地方：

1. 
   
2. 
   
3. #include <stdio.h>
   
4. #include <pthread.h>
   
5. 
   
6. int seq = 0;
   
7. void thread0(int v)
   
8. {
   
9. int i;
   
10.     while(1) {
    
11.     printf("This is a pthread0 stack %p global %p args %p %d\n", &i, &seq, &v, seq++);
    
12.     sleep(2);
    
13.     }
    
14. }
    
15. 
    
16. void thread1(void)
    
17. {
    
18. int i;
    
19.     while(1) {
    
20.     printf("This is a pthread1 stack %p %d\n", &i, seq++);
    
21.     sleep(2);
    
22.     }
    
23. }
    
24. 
    
25. int main(int argc, char **argv)
    
26. {
    
27. pthread_t id[4];
    
28. int i,ret;
    
29. 
    
30.   printf("main stack = %p  main args =%p\n", &i, &argc);
    
31. 
    
32.   ret = pthread_create(&id[0], NULL, (void *)thread0, NULL);
    
33.   ret = pthread_create(&id[1], NULL, (void *)thread1, NULL);
    
34. 
    
35.   if(ret!=0){
    
36.     printf ("Create pthread error!\n");
    
37.     exit (1);
    
38.   }
    
39. 
    
40.   printf("This is the main process.\n");
    
41. 
    
42.   pthread_join(id[0],NULL);
    
43. 
    
44. 
    
45.   return (0);
    
46. 
    
47. }
    
48. 
    

复制代码

原帖由 albcamus 于 2005-3-10 09:04 发表
我是看《nptl-design》中这么说的：


如果我没理解错，就应该是这个意思线程数据结构和线程专有数据被放在栈里，传统的栈数据(那些自动变量、函数调用现场等)正好就在上面这2中数据的下边，并往下增长。如果 ...

wolf0403

楼主是不是考虑重写或者更新一下这篇文档？

1、Linux 平台上真正的 M:1 （还是 1:M？就是用户态线程）是 GNU Pth
2、LinuxThreads 是 1:1 模型而不是 1:N(N:1??)模型
3、NTPL 也是 1:1 模型，但是核内 task_struct 加入了特定于线程的数据项且修改了信号响应方式等等以对 POSIX 线程标准进行支持

王紫豪

受教，谢谢！

connet

什么系统阿？
void thread0(int v)  怎么这样定义？ pthread 好像该是: void *thread0(void *v)