进程间通信机制(管道、信号、共享内存/信号量/消息队列)、线程间通信机制(互斥锁、条件变量、posix匿名信号量)

注:本分类下文章大多整理自《深入分析linux内核源代码》一书,另有参考其他一些资料如《linux内核完全剖析》、《linux c 编程一站式学习》等,只是为了更好地理清系统编程和网络编程中的一些概念性问题,并没有深入地阅读分析源码,我也是草草翻过这本书,请有兴趣的朋友自己参考相关资料。此书出版较早,分析的版本为2.4.16,故出现的一些概念可能跟最新版本内核不同。

此书已经开源,阅读地址 http://www.kerneltravel.net


一、管道

在Linux 中,管道是一种使用非常频繁的通信机制。从本质上说,管道也是一种文件,但 它又和一般的文件有所不同,管道可以克服使用文件进行通信的两个问题,具体表现如下所述。

• 限制管道的大小。实际上,管道是一个固定大小的缓冲区。在Linux 中,该缓冲区的 大小为1 页,即4KB,使得它的大小不像文件那样不加检验地增长。使用单个固定缓冲区也 会带来问题,比如在写管道时可能变满,当这种情况发生时,随后对管道的write()调用将 默认地被阻塞,等待某些数据被读取,以便腾出足够的空间供write()调用写。

• 读取进程也可能工作得比写进程快。当所有当前进程数据已被读取时,管道变空。当 这种情况发生时,一个随后的read()调用将默认地被阻塞,等待某些数据被写入,这解决了 read()调用返回文件结束的问题。

注意,从管道读数据是一次性操作,数据一旦被读,它就从管道中被抛弃,释放空间以 便写更多的数据。

(一)、管道的结构

在Linux 中,管道的实现并没有使用专门的数据结构,而是借助了文件系统的file 结 构和VFS 的索引节点inode。通过将两个 file 结构指向同一个临时的 VFS 索引节点,而这 个 VFS 索引节点又指向一个物理页面而实现的。如图7.1 所示。


图7.1 中有两个 file 数据结构,但它们定义文件操作例程地址是不同的,其中一个 是向管道中写入数据的例程地址,而另一个是从管道中读出数据的例程地址。这样,用户 程序的系统调用仍然是通常的文件操作,而内核却利用这种抽象机制实现了管道这一特殊 操作。

一个普通的管道仅可供具有共同祖先的两个进程之间共享,并且 这个祖先必须已经建立了供它们使用的管道。
注意,在管道中的数据始终以和写数据相同的次序来进行读,这表示lseek()系统调用 对管道不起作用。

二、信号

(一)、信号在内核中的表示


中断的响应和处理都发生在内核空间,而信号的响应发生 在内核空间,信号处理程序的执行却发生在用户空间。
那么,什么时候检测和响应信号呢?通常发生在以下两种情况下:
(1)当前进程由于系统调用、中断或异常而进入内核空间以后,从内核空间返回到用户 空间前夕;
(2)当前进程在内核中进入睡眠以后刚被唤醒的时候,由于检测到信号的存在而提前返 回到用户空间。

当有信号要响应时,处理器执行路线的示意图如图33.2 所示。


当用户进程通过系统调用刚进入内核的时候,CPU会自动在该进程的内核栈上压入下图所示的内容:



在处理完系统调用以后,就要调用do_signal()函数进行设置frame等工作。这时内核堆栈的状态应该跟下图左半部分类似(系统调用将一些信息压入栈了):

在找到了信号处理函数之后,do_signal() 函数首先把内核堆栈中存放返回执行点的eip保存为old_eip
  • 5
    点赞
  • 22
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
### 回答1: Linux下的进程间通信(IPC)方式有很多种,其中无亲缘关系的进程间通信方式包括互斥锁条件变量共享内存互斥锁是一种保护共享资源不被并发访问的机制。当进程需要访问共享资源时,它会尝试获取互斥锁。如果锁已经被其他进程占用,则进程会被阻塞,直到锁被释放。这样可以确保同一时间只有一个进程能够访问共享资源,从而避免了竞争条件和数据不一致的问题。 条件变量是一种进程间通信方式,用于线程同步和条件同步。使用条件变量可以实现进程的等待和唤醒操作,从而控制进程的执行顺序。当一个进程需要等待某个条件成立时,它会调用条件变量的等待操作,该操作会阻塞进程并释放对共享资源的占用。当条件满足时,其他进程可以通过唤醒操作通知等待的进程继续执行。 共享内存是一种能够在不同进程之间共享数据的机制。通过共享内存,可以将一块内存空间映射到不同的进程地址空间,从而实现进程间的数据共享。多个进程可以直接访问共享内存,从而实现高效的数据传递。但需要注意的是,由于共享内存不提供进程间同步和互斥机制,因此在使用共享内存进行进程间通信时,需要结合其他同步机制(如互斥锁)确保数据的一致性和正确性。 综上所述,互斥锁条件变量共享内存是Linux下无亲缘关系的进程间通信的重要方式。通过这些方式,进程可以进行数据共享和同步,从而实现协作和协同操作。但在使用这些机制时,需要注意进程同步和互斥的问题,以确保数据的正确性和一致性。 ### 回答2: Linux中的进程间通信(IPC)是指不同进程之间进行数据交换和共享资源的方法。在Linux中,有多种IPC机制可以实现进程间的通信,包括管道消息队列信号量共享内存和套接字等。其中,互斥锁条件变量共享内存是常用的进程间通信方式。 互斥锁是一种同步原语,用于保护共享资源的访问。当一个进程正在使用共享资源时,可以通过申请互斥锁来锁定资源,防止其他进程同时访问。只有当拥有互斥锁的进程释放锁时,其他进程才能竞争获取锁。 条件变量通常与互斥锁一起使用,用于实现在特定条件下的线程等待和唤醒操作。一个进程可以通过条件变量来等待某个特定条件的发生,如果条件不满足,则该进程将等待在条件变量上。当另一个进程满足了条件并发送了信号时,该进程就会被唤醒。 共享内存是一种用于实现进程间数据共享的技术。它允许多个进程直接访问同一块内存区域,而无需进行数据的拷贝和传输。进程可以通过映射共享内存到自己的地址空间上来实现对共享内存区域的访问。在使用共享内存时,需要使用互斥锁等同步机制来保证多个进程对于共享内存的访问是安全的。 总之,互斥锁条件变量共享内存是Linux中常用的进程间通信方式,它们通过提供同步机制和共享资源访问的方法,实现了不同进程之间的数据交换和资源共享。这些机制在多进程编程中非常重要,可以有效提高程序的并发性能和效率。 ### 回答3: 在Linux下,无亲缘关系的进程间通信可以利用互斥锁条件变量共享内存来实现。以下是对每种通信方式的详细描述: 1. 互斥锁互斥锁是一种用于保护共享资源的同步机制,确保在同一时刻只有一个进程可以访问被保护的资源。在无亲缘关系的进程间通信中,可以使用互斥锁实现对共享资源的互斥访问。当一个进程想要访问共享资源时,它会先检查互斥锁的状态。如果互斥锁已被其他进程持有,则该进程将被阻塞,直到互斥锁变为可用状态。一旦该进程获得互斥锁,它就可以访问共享资源,完成操作后释放互斥锁。 2. 条件变量条件变量用于进程间的协调和同步。当一个进程需要等待某个条件满足时,它可以通过条件变量来进行等待,并在条件变量满足时被唤醒。在无亲缘关系的进程间通信中,可以使用条件变量实现多个进程之间的等待和唤醒机制。当一个进程需要等待某个条件满足时,它可以调用等待函数,将自己放入条件变量的等待队列中并阻塞。当另一个进程满足了条件后,它可以通过唤醒函数来通知等待的进程,使其重新运行。 3. 共享内存共享内存是一种让多个进程可以访问同一块内存区域的方式。在无亲缘关系的进程间通信中,可以使用共享内存实现进程间的数据共享。多个进程可以将需要共享的数据映射到同一块共享内存区域,并利用该内存区域进行数据的读写操作。通过共享内存,进程可以直接读写共享数据,而无需通过其他的通信机制。此外,为了保证数据的一致性和并发访问的正确性,通常还需要使用互斥锁或其他同步机制来控制对共享内存的访问。 综上所述,Linux提供了互斥锁条件变量共享内存这几种机制来实现无亲缘关系的进程间通信,进程可以通过这些通信方式来进行资源的互斥访问、进程之间的协调和同步,以及共享数据的传递。通过合理地选择和使用这些通信方式,可以实现高效、可靠的进程间通信

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值