使用互斥锁mutex进行进程间同步的说明和示例

本文介绍了如何通过互斥量在进程间实现同步,重点讲解了pthread_mutex_init()函数在初始化互斥锁时的使用,以及如何通过pthread_mutexattr_setpshared()设置互斥锁为进程间共享。示例代码展示了使用互斥量和共享内存进行进程间同步的过程,实现了计数器的并发访问控制。

        进程间同步可以使用互斥量mutex(互斥锁)、信号量和文件锁。本文只讲进程间使用互斥量进行同步。这里面的重要函数是pthread_mutex_init(),它负责进行互斥锁的初始化,只有初始化之后才能使用它进行加锁、解锁。这里需要说明的是,mutex不仅可以用于进程间的同步,还可以用于线程间的同步,默认情况下是线程间同步。

如果要用于进程间同步,则需要在pthread_mutex_init初始化之前,修改其属性为进程间共享。pthread_mutexattr_t mattr 类型就是用于定义mutex锁的属性的。

mutex的属性修改函数主要有以下几个:

  • int pthread_mutexattr_init(pthread_mutexattr_t *attr);  初始化一个mutex属性对象;
  • int pthread_mutexattr_setpshared(pthread_mutexattr_t *attr, int pshared);  修改mutex属性;参2:pshared取值:进程锁:PTHREAD_PROCESS_SHARED;  线程锁:PTHREAD_PROCESS_PRIVATE (mutex的默认属性即为线程锁,进程间私有)
  • int pthread_mutexattr_destroy(pthread_mutexattr_t *attr); 销毁mutex属性对象 (而非销毁锁)
  • int pthread_mutex_init(pthread_mutex_t *restrict mutex, const pthread_mutexattr_t *restrict attr);  即将修改后的属性传入该函数,即可产生一个进程锁。

进程间使用互斥量来实现同步的示例:

#include <fcntl.h>
#include <stdlib.h>
#include <string.h>
#include <pthread.h>
#include <sys/mman.h>
#include <sys/wait.h>
 
struct mt {
    int num;//待保护的临界资源,一个计数
    pthread_mutex_t mutex;//互斥锁
    pthread_mutexattr_t mutexattr;//互斥锁属性对象,用于设置互斥锁
};
 
int main(void)
{
    int i;
    struct mt *mm;
    pid_t pid;
/*  文件映射方式创建映射区
    int fd = open("mt_test", O_CREAT | O_RDWR, 0777);
    ftruncate(fd, sizeof(*mm));
    mm = mmap(NULL, sizeof(*mm), PROT_READ|PROT_WRITE, MAP_SHARED, fd, 0);
    close(fd);
    unlink("mt_test");
*/ 
    mm = mmap(NULL, sizeof(*mm), PROT_READ|PROT_WRITE, MAP_SHARED|MAP_ANON, -1, 0);
    memset(mm, 0, sizeof(*mm));  //初始化内存
 
    pthread_mutexattr_init(&mm->mutexattr);         //初始化mutex属性对象
    pthread_mutexattr_setpshared(&mm->mutexattr, PTHREAD_PROCESS_SHARED);    //修改属性为进程间共享
 
    pthread_mutex_init(&mm->mutex, &mm->mutexattr);   //初始化一把mutex琐
 
    pid = fork();
    if (pid == 0) {//子进程,使用getpid()可以获取自己的进程id
        for (i = 0; i < 10; i++) {
            pthread_mutex_lock(&mm->mutex);
            (mm->num)++;
            printf("-child----------num++   %d\n", mm->num);
            pthread_mutex_unlock(&mm->mutex);
            sleep(1);
        }
    } else if (pid > 0) {//父进程,可以使用getpid()获取自己的进程id,同时可以用pid得到子进程 id。一般来说父进程需要控制子进程,所以需要子进程的pid。
        for ( i = 0; i < 10; i++) {
            sleep(1);
            pthread_mutex_lock(&mm->mutex);
            mm->num += 2;
            printf("-------parent---num+=2  %d\n", mm->num);
            pthread_mutex_unlock(&mm->mutex);
        }
        wait(NULL);//用于等待子进程结束
    }
 
    pthread_mutexattr_destroy(&mm->mutexattr);          //销毁mutex属性对象
    pthread_mutex_destroy(&mm->mutex);                //销毁mutex
    munmap(mm,sizeof(*mm));                         //释放映射区
 
    return 0;
}

输出:
[ok@~/test]# ./processMutexTest

-child----------num++   1

-------parent---num+=2  3

-child----------num++   4

-------parent---num+=2  6

-child----------num++   7

-child----------num++   8

-------parent---num+=2  10

-------parent---num+=2  12

-child----------num++   13

-------parent---num+=2  15

-child----------num++   16

-child----------num++   17

-------parent---num+=2  19

-child----------num++   20

-------parent---num+=2  22

-child----------num++   23

-------parent---num+=2  25

-child----------num++   26

-------parent---num+=2  28

-------parent---num+=2  30
注意:上述方式使用mmap,将临界资源和互斥锁放到了共享内存中,只有这样,两个进程才能同时访问到同一个资源。否则的话,两个进程无法拿到同一个mutex对象。

<think>首先,用户的问题是:“我想了解互斥锁mutex信号量semaphore之间的区别请问mutex与semaphore的区别及使用场景”。所以,我需要专注于解释MutexSemaphore的区别及使用场景。系统级指令要求:-所有行内数学表达式使用$...$格式。-独立公式使用$$...$$格式并单独成段。-LaTeX语法正确。-使用中文回答。-生成相关问题。-在回答中引用的段落末尾自然地添加引用标识,例如[^1]。-回答结构清晰,帮助用户逐步解决问题。-尽量保证回答真实可靠。参考站内引用:-[^1]:MutexSemaphore的目的不同,但Mutex有时被误称为binarysemaphore。-[^2]:在C#多线程中,MutexSemaphore是同步工具,各有特点适用场景。-[^3]:Mutex的函数在内核中定义,包括初始化、锁定等操作。-[^4]:互斥锁与信号量的定义、区别、使用,包括pthread示例。-[^5]:命名Mutex支持跨进程同步。我的回答需要基于这些引用,但不要直接复制;要自然地融入。用户的问题是区别使用场景,所以我需要结构化地回答。回答结构:1.**介绍**:简要定义MutexSemaphore。2.**区别**:详细解释主要区别。-所有权:Mutex有所有者,Semaphore没有。-计数:Mutex是二进制(0或1),Semaphore可以计数。-使用场景:基于引用解释。3.**使用场景**:给出具体例子。4.**生成相关问题**:在末尾添加相关问题。5.**引用标识**:在引用段落末尾添加[^n]。确保使用中文。行内数学表达式:如果有数学内容,比如计数,可以用$...$。例如,Semaphore的计数可以是$n$,但问题中没有太多数学,所以可能少用。独立公式:如果没有复杂公式,可能不需要,但如果有,单独成段。LaTeX语法正确:例如,$x^2$。现在,构建回答大纲:-开头:直接回答问题。-主体:-Mutex的定义特点。-Semaphore的定义特点。-关键区别:基于引用[^1][^4],强调目的不同。-Mutex用于互斥访问共享资源。-Semaphore用于控制访问资源的线程数。-所有权:Mutex必须由锁定它的线程解锁(引用[^4])。-计数:Mutex是二进制,Semaphore可以有多个(引用[^3][^4])。-使用场景:-Mutex:保护临界区,如共享变量(引用[^4]示例)。-Semaphore:生产者-消费者问题,限制资源访问(引用[^2][^4])。-跨进程:Mutex可以命名用于跨进程(引用[^5]),Semaphore也可以但较少。-结尾:总结,并生成相关问题。生成相关问题:类似示例,3-4个问题,如:1.MutexSemaphore在性能上有什么差异?2.如何实现一个Semaphore?3.在分布式系统中如何使用同步机制?引用标识:在描述引用内容时添加。例如,“MutexSemaphore的目的不同,可能由于实现相似而被混淆[^1]。”确保回答真实可靠:基于标准知识,引用提供的信息。</think>### Mutex与Semaphore的区别及使用场景 Mutex互斥锁Semaphore(信号量)是多线程编程中常用的同步机制,用于协调线程对共享资源的访问,防止竞态条件。它们虽然表面上类似(例如,Mutex有时被误称为二进制信号量[^1]),但设计目的、实现行为有本质区别。以下我将逐步解析它们的区别,并给出典型使用场景,帮助您清晰理解。 #### 1. **基本定义与核心区别** - **Mutex互斥锁)**: - Mutex是二进制锁,状态为“锁定”或“解锁”($0$ 或 $1$),用于确保一次只有一个线程访问共享资源。Mutex具有“所有权”概念:只有锁定它的线程才能解锁它[^4]。这防止了其他线程误释放锁,从而避免死锁。例如,在Linux内核中,`mutex_lock`函数获取锁时,如果失败,线程会休眠等待[^3]。 - 数学表示:Mutex的状态可建模为二元变量 $s \in \{0, 1\}$,其中 $s=1$ 表示资源可用。 - **Semaphore(信号量)**: - Semaphore是一个计数器,允许指定数量的线程同时访问资源(计数范围 $n \geq 0$)。它没有所有权概念,任何线程都可以释放信号量。信号量常用于控制资源池(如数据库连接)[^4]。例如,初始值为 $k$ 的信号量表示最多 $k$ 个线程可并发访问。 - 数学表示:信号量计数 $c$ 满足 $c \geq 0$,操作基于 $P$(等待,减少计数) $V$(发信号,增加计数)原语。 关键区别总结: - **所有权**:Mutex要求锁的持有者解锁(线程绑定),而Semaphore可由任何线程释放[^4]。 - **计数**:Mutex是二进制($0/1$),Semaphore支持多计数($n \geq 0$)[^3][^4]。 - **目的**:Mutex专为互斥访问(保护临界区),Semaphore用于协调资源访问(如限制并发线程数)[^1][^2]。 - **实现复杂度**:Mutex通常更轻量,适合简单互斥;Semaphore更灵活,但可能引入更多开销。 #### 2. **使用场景分析** 基于实际应用,MutexSemaphore各有适用场景: - **Mutex使用场景**: - **保护共享变量**:当多个线程需读写同一变量时(如计数器),使用Mutex确保原子操作。例如,在C语言中: ```c pthread_mutex_t mutex; pthread_mutex_init(&mutex, NULL); pthread_mutex_lock(&mutex); // 临界区:共享变量操作,如 num++ pthread_mutex_unlock(&mutex); ``` 这防止了数据竞争[^4]。 - **跨进程同步**:命名Mutex用于不同进程间的互斥(如C#中的`Mutex mutex = new Mutex(false, "GlobalMutex")`),适用于分布式系统资源协调[^5]。 - 典型场景:文件写入、全局配置更新。 - **Semaphore的使用场景**: - **资源池管理**:当资源有限(如线程池或数据库连接)时,Semaphore控制最大并发数。例如,初始值为$5$的信号量允许最多5个线程同时访问。 - **生产者-消费者问题**:Semaphore协调生产者消费者线程,通过两个信号量(一个表示缓冲区空位,一个表示数据项数)实现高效同步[^2][^4]。 - 典型场景:Web服务器请求处理、多线程下载。 为什么选择? - 用Mutex当需要严格互斥(如银行账户转账)。 - 用Semaphore当需允许多个线程共享资源(如打印机队列)[^2]。 #### 3. **注意事项** - **死锁风险**:Mutex的所有权特性减少了误解锁风险,但不正确使用(如嵌套锁)仍可导致死锁。Semaphore的计数机制在资源竞争激烈时可能引发优先级反转问题[^1]。 - **性能**:在单资源场景,Mutex通常更快(因轻量级);Semaphore在复杂协调中更高效[^3]。 - **跨平台**:Mutex(如C#的`Mutex`类)支持跨进程;Semaphore也可实现,但需额外配置[^5]。 总之,MutexSemaphore的核心区别在于所有权计数机制:Mutex是“独占锁”,Semaphore是“资源门”。正确选择能提升并发程序可靠性[^1][^2]。
评论 1
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值