多进程与多线程(3)

简介:

 线程和进程是面试中最常遇见的问题。有一个问题就是线程之间哪些东西是共享的。线程共享进程的整个地址空间,共享打开的文件,建立的socket等。线程有独立的栈以及一些寄存器,用来进行调度。堆,数据区和代码区是共享的。

地址空间

Linux下32位系统进程地址空间有4G1G是内核地址,3G属于自己,这3G内存由所有线程共享。这3G内存也包含了栈,那么为什么说线程有自己独立的栈呢?

看下面的程序


 
 
  1. #include <stdio.h> 
  2. #include <pthread.h> 
  3. #include <sys/types.h> 
  4. #include <unistd.h> 
  5. int global; 
  6. int *heap; 
  7. int *stack_address; //线程1将自己栈中的变量地址赋给stack_address,然后线程2访问这个地址 
  8. void * run1(void *param) 
  9.     int stack_v = 123; 
  10.     global = 5; 
  11.     heap = malloc(12); 
  12.     heap[0] = 2; 
  13.     heap[1] = -3; 
  14.     stack_address = &stack_v; 
  15.     while(1) {} 
  16. void * run2(void *param) 
  17.     printf("global %d\n",global); 
  18.     printf("heap[1] %d\n",heap[1]); 
  19.     printf("stack_v %d\n",*stack_address); 
  20.      
  21. int main() 
  22.     pthread_t tid1,tid2; 
  23.     pthread_attr_t attr; 
  24.      
  25.     pthread_attr_init(&attr); 
  26.     pthread_create(&tid1,&attr,run1,NULL); 
  27.     pthread_create(&tid2,&attr,run2,NULL); 
  28.     pthread_join(tid1,NULL); 
  29.     pthread_join(tid2,NULL); 
  30.     return 0; 

 

运行结果:

可以看出,线程2和线程1的栈是位于同一个地址空间的,都是进程的地址空间。

线程的栈实际上是在进程的栈里的,每个都是独立的。

可以使用pthread_attr_getstacksize获取线程栈的大小。


 
 
  1. #include <stdio.h> 
  2. #include <pthread.h> 
  3. #include <sys/types.h> 
  4. #include <unistd.h> 
  5. int global; 
  6. int *heap; 
  7. int *stack_address; 
  8. pthread_attr_t attr1,attr2; 
  9.  
  10. void * run1(void *param) 
  11.     int stack_v = 123; 
  12.     size_t stacksize; 
  13.     pthread_attr_getstacksize(&attr1,&stacksize); 
  14.     printf("stacksize of thread1 is %d MB\n",stacksize/(1024*1024)); 
  15.     global = 5; 
  16.     heap = malloc(12); 
  17.     heap[0] = 2; 
  18.     heap[1] = -3; 
  19.     stack_address = &stack_v; 
  20.     sleep(3); 
  21.  
  22. void * run2(void *param) 
  23.     size_t stacksize; 
  24.     printf("global %d\n",global); 
  25.     printf("heap[1] %d\n",heap[1]); 
  26.     printf("stack_v %d\n",*stack_address); 
  27.     pthread_attr_getstacksize(&attr2,&stacksize); 
  28.     printf("stacksize of thread2 is %d MB\n",stacksize/(1024*1024)); 
  29.  
  30. void fun() 
  31.     static calltime = 1; 
  32.     char dummy[1024*1024];   
  33.     printf("calltime=%d\n",calltime); 
  34.     calltime ++; 
  35.     fun(); 
  36. }    
  37.      
  38. int main() 
  39.     pthread_t tid1,tid2; 
  40.     pthread_attr_init(&attr1); 
  41.     pthread_attr_init(&attr2); 
  42.     pthread_create(&tid1,&attr1,run1,NULL); 
  43.     pthread_create(&tid2,&attr2,run2,NULL); 
  44.     pthread_join(tid1,NULL); 
  45.     pthread_join(tid2,NULL); 
  46.     fun(); 
  47.     return 0; 

运行结果:

可以看到线程1,2和主线程的栈的大小都是10M,调用了11次才崩溃是因为有一些对齐以及段与段之间有一些gap

我当前的ulimit将栈的大小设置成了10M。可以使用pthread_attr_setstacksize在创建线程的时候设置线程的栈大小。

因此,对于线程有自己独立的栈空间的真正理解应该是:线程的栈位于同一个地址空间里,但是互相不重叠,线程属性里有它的栈的起止地址,一个线程可以读写其它线程的栈,只要它知道地址。

 

打开的文件(包括socket)

对于两个进程,它们分别打开了一个文件,进程1得到的文件描述符是fd1,进程2得到的是fd2。即使进程1通过某种手段将fd1传到进程2中,进程2也访问不了fd1对应的文件,因为进程间文件描述符是独立的。fd1可能等于fd2,但是它们不对应同一个文件。

对于线程就不一样了。线程1得到了描述符fd1,那么线程2就可以通过fd1访问对应的文件,即使线程1不告诉线程2,线程2自己通过某种手段知道了,它也能访问。

每个进程有一个文件描述符空间,就类似于地址空间,线程也是共享这个文件描述符空间的。

 

信号

如果向一个进程发送信号,而这个进程有多个线程。那么发给哪个呢?还是所有的线程都能收到?

实际上,进程维护一个统一的信号队列,给这个进程发送一个信号,信号被存到信号队列里了,所有线程都可以看到。当调度到某个线程时,它发现队列里有信号,它拿出来处理了,这样其它线程进入被调度时已经看不到这个信号了。

看下面这个例子:


  
  
  1. #include <stdio.h> 
  2. #include <pthread.h> 
  3. #include <sys/types.h> 
  4. #include <unistd.h> 
  5. #include <signal.h> 
  6. void sigroutine1(int no) 
  7.     printf("thread1 received a signal\n"); 
  8. void sigroutine2(int no) 
  9.     printf("thread2 received a signal\n"); 
  10. void * run1(void *param) 
  11.     while(1) 
  12.     { 
  13.         signal(SIGHUP,sigroutine1); 
  14.     }    
  15. void * run2(void *param) 
  16.      
  17.     while(1) 
  18.     { 
  19.         signal(SIGHUP,sigroutine2); 
  20.     } 
  21. int main() 
  22.     pthread_t tid1,tid2; 
  23.     pthread_attr_t attr; 
  24.     pthread_attr_init(&attr); 
  25.     pthread_attr_init(&attr); 
  26.     pthread_create(&tid1,&attr,run1,NULL); 
  27.     pthread_create(&tid2,&attr,run2,NULL); 
  28.     pthread_join(tid1,NULL); 
  29.     pthread_join(tid2,NULL); 
  30.     return 0; 

两个线程都在等待一个信号,我们向这个进程发送信号。

每发送一个信号,只有一个线程收到了,而且不一定是哪个线程。

(上述内容仅仅是我自己实验得到的结论,不一定正确)

 


本文转自nxlhero 51CTO博客,原文链接:http://blog.51cto.com/nxlhero/1179189,如需转载请自行联系原作者

相关文章
|
2月前
|
Java 测试技术 API
【JUC】(1)带你重新认识进程与线程!!让你深层次了解线程运行的睡眠与打断!!
JUC是什么?你可以说它就是研究Java方面的并发过程。本篇是JUC专栏的第一章!带你了解并行与并发、线程与程序、线程的启动与休眠、打断和等待!全是干货!快快快!
436 2
|
2月前
|
JSON 网络协议 安全
【Java】(10)进程与线程的关系、Tread类;讲解基本线程安全、网络编程内容;JSON序列化与反序列化
几乎所有的操作系统都支持进程的概念,进程是处于运行过程中的程序,并且具有一定的独立功能,进程是系统进行资源分配和调度的一个独立单位一般而言,进程包含如下三个特征。独立性动态性并发性。
160 1
|
2月前
|
JSON 网络协议 安全
【Java基础】(1)进程与线程的关系、Tread类;讲解基本线程安全、网络编程内容;JSON序列化与反序列化
几乎所有的操作系统都支持进程的概念,进程是处于运行过程中的程序,并且具有一定的独立功能,进程是系统进行资源分配和调度的一个独立单位一般而言,进程包含如下三个特征。独立性动态性并发性。
178 1
|
10月前
|
存储 Linux API
【Linux进程概念】—— 操作系统中的“生命体”,计算机里的“多线程”
在计算机系统的底层架构中,操作系统肩负着资源管理与任务调度的重任。当我们启动各类应用程序时,其背后复杂的运作机制便悄然展开。程序,作为静态的指令集合,如何在系统中实现动态执行?本文带你一探究竟!
【Linux进程概念】—— 操作系统中的“生命体”,计算机里的“多线程”
|
8月前
|
并行计算 Linux
Linux内核中的线程和进程实现详解
了解进程和线程如何工作,可以帮助我们更好地编写程序,充分利用多核CPU,实现并行计算,提高系统的响应速度和计算效能。记住,适当平衡进程和线程的使用,既要拥有独立空间的'兄弟',也需要在'家庭'中分享和并行的成员。对于这个世界,现在,你应该有一个全新的认识。
285 67
|
12月前
|
调度 开发者 Python
深入浅出操作系统:进程与线程的奥秘
在数字世界的底层,操作系统扮演着不可或缺的角色。它如同一位高效的管家,协调和控制着计算机硬件与软件资源。本文将拨开迷雾,深入探索操作系统中两个核心概念——进程与线程。我们将从它们的诞生谈起,逐步剖析它们的本质、区别以及如何影响我们日常使用的应用程序性能。通过简单的比喻,我们将理解这些看似抽象的概念,并学会如何在编程实践中高效利用进程与线程。准备好跟随我一起,揭开操作系统的神秘面纱,让我们的代码运行得更加流畅吧!
|
6月前
|
调度 开发工具 Android开发
【HarmonyOS Next】鸿蒙应用进程和线程详解
进程的定义: 进程是系统进行资源分配的基本单位,是操作系统结构的基础。 在鸿蒙系统中,一个应用下会有三类进程:
203 0
|
9月前
|
SQL 监控 网络协议
YashanDB进程线程体系
YashanDB进程线程体系
|
11月前
|
消息中间件 调度
如何区分进程、线程和协程?看这篇就够了!
本课程主要探讨操作系统中的进程、线程和协程的区别。进程是资源分配的基本单位,具有独立性和隔离性;线程是CPU调度的基本单位,轻量且共享资源,适合并发执行;协程更轻量,由程序自身调度,适合I/O密集型任务。通过学习这些概念,可以更好地理解和应用它们,以实现最优的性能和资源利用。
355 11
|
11月前
|
Java Linux 调度
硬核揭秘:线程与进程的底层原理,面试高分必备!
嘿,大家好!我是小米,29岁的技术爱好者。今天来聊聊线程和进程的区别。进程是操作系统中运行的程序实例,有独立内存空间;线程是进程内的最小执行单元,共享内存。创建进程开销大但更安全,线程轻量高效但易引发数据竞争。面试时可强调:进程是资源分配单位,线程是CPU调度单位。根据不同场景选择合适的并发模型,如高并发用线程池。希望这篇文章能帮你更好地理解并回答面试中的相关问题,祝你早日拿下心仪的offer!
246 6

热门文章

最新文章