【Linux】线程互斥

最新推荐文章于 2024-03-13 12:11:27 发布

杰深入学习计算机

最新推荐文章于 2024-03-13 12:11:27 发布

阅读量573

点赞数

分类专栏： Linux 文章标签： java jvm 开发语言

本文链接：https://blog.csdn.net/zxj20041003/article/details/131905730

版权

Linux 专栏收录该内容

56 篇文章 2 订阅

订阅专栏

1 进程线程间的互斥相关背景概念

临界资源：多线程执行流共享的资源就叫做临界资源 -- 衡量资源的
临界区：每个线程内部，访问临界资源的代码，就叫做临界区 -- 衡量代码的
互斥：任何时刻，互斥保证有且只有一个执行流进入临界区，访问临界资源，通常对临界资源起保护作用
原子性：不会被任何调度机制打断的操作，该操作只有两态，要么完成，要么未完成

2 互斥量mutex

大部分情况，线程使用的数据都是局部变量，变量的地址空间在线程栈空间内，这种情况，变量归属单个线程，其他线程无法获得这种变量。
但有时候，很多变量都需要在线程间共享，这样的变量称为共享变量，可以通过数据的共享，完成线程之间的交互。
多个线程并发的操作共享变量，会带来一些问题。

【代码举例】

模拟用户（一个线程一个用户）抢票问题

#include <iostream>
#include <string>

using namespace std;

#include <unistd.h>
#include <pthread.h>

int tickets = 1000; // 表示有这么多票

void *threadRoutine(void *args)
{
    string name = static_cast<const char *>(args);
    while (true)
    {
        if (tickets > 0) // 表示有票
        {
            usleep(200); // 开始抢票前的工作
            cout << name << " get a ticket:" << tickets-- << endl;
        }
        else
        {
            break;
        }
    }
}

int main()
{
    pthread_t t[4]; // 四个线程模拟四个用户
    int n = sizeof(t) / sizeof(t[0]);
    for (int i = 0; i < n; ++i)
    {
        char *name = new char[64];
        snprintf(name, 64, "thread:%d ", i + 1);
        pthread_create(t + i, nullptr, threadRoutine, (void *)name);
    }

    for (int i = 0; i < n; ++i)
    {
        pthread_join(t[i], nullptr);
    }

    return 0;
}

提出问题：为什么出现了抢到票的编号为-1？也就是，没有票了为什么用户还能再继续抢票？

if 语句判断条件为真以后，代码可以并发的切换到其他线程
usleep 这个模拟漫长业务的过程，在这个漫长的业务过程中，可能有很多个线程会进入该代码段
--ticket 操作本身就不是一个原子操作

-- 操作并不是原子操作，而是对应三条汇编指令：

load ：将共享变量ticket从内存加载到寄存器中
update : 更新寄存器里面的值，执行-1操作
store ：将新值，从寄存器写回共享变量ticket的内存地址

要解决以上问题，需要做到三点：

代码必须要有互斥行为：当代码进入临界区执行时，不允许其他线程进入该临界区。
如果多个线程同时要求执行临界区的代码，并且临界区没有线程在执行，那么只能允许一个线程进入该临界区。
如果线程不在临界区中执行，那么该线程不能阻止其他线程进入临界区。

要做到这三点，本质上就是需要一把锁。Linux上提供的这把锁叫互斥量。

3 互斥量的接口

初始化互斥量
初始化互斥量有两种方法：

方法1，静态分配:

pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER

方法2，动态分配:

int pthread_mutex_init(pthread_mutex_t *restrict mutex, const pthread_mutexattr_t *restrict
attr);
        参数：
                mutex：要初始化的互斥量
                attr：NULL

销毁互斥量
销毁互斥量需要注意：

使用 PTHREAD_ MUTEX_ INITIALIZER 初始化的互斥量不需要销毁
不要销毁一个已经加锁的互斥量
已经销毁的互斥量，要确保后面不会有线程再尝试加锁

int pthread_mutex_destroy(pthread_mutex_t *mutex)；

互斥量加锁和解锁

int pthread_mutex_lock(pthread_mutex_t *mutex);
int pthread_mutex_unlock(pthread_mutex_t *mutex);
返回值:成功返回0,失败返回错误号

调用 pthread_ lock 时，可能会遇到以下情况:

互斥量处于未锁状态，该函数会将互斥量锁定，同时返回成功
发起函数调用时，其他线程已经锁定互斥量，或者存在其他线程同时申请互斥量，但没有竞争到互斥量，那么pthread_ lock调用会陷入阻塞(执行流被挂起)，等待互斥量解锁。

【改进抢票系统】

int tickets = 1000; // 表示有这么多票

pthread_mutex_t mutex=PTHREAD_MUTEX_INITIALIZER;

void *threadRoutine(void *args)
{
    string name = static_cast<const char *>(args);
    while (true)
    {
        int ret=pthread_mutex_lock(&mutex);
        assert(ret==0);
        (void)ret;
        if (tickets > 0) // 表示有票
        {
            usleep(200); // 开始抢票前的工作
            cout << name << " get a ticket:" << tickets-- << endl;
            ret=pthread_mutex_unlock(&mutex);
            assert(ret==0);
        }
        else
        {
            ret=pthread_mutex_unlock(&mutex);
            assert(ret==0);
            break;
        }
        usleep(100);
    }
}

int main()
{
    //pthread_mutex_init(&mutex,nullptr);
    pthread_t t[4]; // 四个线程模拟四个用户
    int n = sizeof(t) / sizeof(t[0]);
    for (int i = 0; i < n; ++i)
    {
        char *name = new char[64];
        snprintf(name, 64, "thread:%d ", i + 1);
        pthread_create(t + i, nullptr, threadRoutine, (void *)name);
    }

    for (int i = 0; i < n; ++i)
    {
        pthread_join(t[i], nullptr);
    }

    //pthread_mutex_destroy(&mutex);

    return 0;
}

这样就能确保抢票的准确性！