C语言pthread互斥锁(mutex)和可重入锁(递归锁recursive)的演示

心瞳几何原语

已于 2024-03-27 22:50:33 修改

阅读量1.9k

点赞数 18

CC 4.0 BY-SA版权

分类专栏：灵感大王的灵感文章标签：开发语言 c语言

于 2024-03-09 17:33:42 首次发布

本文链接：https://blog.csdn.net/qq_43689451/article/details/136584440

本文通过实例展示了在C语言中如何使用互斥锁（包括normal和recursive属性）处理线程间的资源竞争，以及它们在避免死锁和RaceCondition中的作用。通过不同命令行参数模拟了异步与同步场景，演示了资源访问的正确和错误用法。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

实验理论参考:

1 一旦共享资源被互斥锁锁定,则其余线程想访问共享资源必须等待，直到锁被释放

2 使用normal属性的互斥锁,一旦发生重入逻辑,则阻塞,成为死锁

需要将属性改为recursive 成为可重入的,递归的

代码功能:

1 命令行传参 1 model=1

演示异步未上锁之乱序

演示count在数据竞态（Race Condition）下的错误值

2 命令行传参 2 model=2

演示使用互斥锁后线程的执行顺序

演示count获得了正确值

演示未使用可重入锁对资源的重入访问

3 命令行传参 3 model=3

使用mutex的属性,开启递归锁(可重入锁),解决同一线程可重入问题

4 演示线程创建有序执行无序结束无序回收有序的深层逻辑

运行环境:

unix-like操作系统 gnu_c或兼容c库

编译后,命令行传参运行


#define _GNU_SOURCE
#include <pthread.h>
#include <stdio.h>
#include <unistd.h>
#include <sys/types.h>
#include <string.h>
#include <stdlib.h>

// 全局变量 用于改变代码功能
int model = 0;
// 全局变量 用于演示同步异步
int count = 0;
// 全局都能看见 属于标准操作
pthread_mutex_t mutex_lock;
// 结构体 通常在全局声明 便于传参
struct args
{
    FI