59、进程间通信：信号量、消息队列与共享内存详解
进程间通信：信号量、消息队列与共享内存详解
在多进程环境中，进程间通信（IPC）是一项至关重要的技术，它允许不同进程之间交换数据和同步操作。本文将详细介绍信号量、消息队列和共享内存这三种常见的 IPC 机制，包括它们的实现原理、数据结构以及使用方法。
信号量的实现
信号量是一种用于进程同步的机制，它可以控制对共享资源的访问。在信号量的实现中，有几个关键的数据结构和函数：
-sem_undo[] 数组：这是一个指针数组，每个指针指向一组撤销结构，供每个进程使用。数组的大小由 NPROC 决定，确保每个进程都有一个对应的条目，无论该进程是否使用信号量。
-semu[] 数组：该数组保存了系统的撤销结构池。对于设置了 SEM_UNDO 标志的每个进程，会从这个池中分配一组 SEMUME 撤销结构。SEMMNU 指定了有多少组撤销结构（也即有多少进程可以执行撤销操作），而 SEMUME 指定了一个进程可以撤销的不同信号量的数量。
-semaoe() 函数：用于处理影子值。当 SEM_UNDO 标志被设置且信号量值即将更新时，会调用该函数。
-semezit() 函数：当进程退出时，exit() 会调用 semezit() 函数来执行信号量的清理操作。该函数会查找进程的所有撤销条目，并将影子值添加到信号量中，然后将进程的撤销结构组链接回由 semfup 指向的空闲列表，并将 sem_undo[] 中对应的条目设置为零。
当一个进程首次执行带有 SEM_UNDO 标志的信号量操作时，会从