[Linux#42][线程] 锁的接口 | 原理 | 封装与运用 | 线程安全

lvy¯

已于 2024-08-21 08:22:18 修改

阅读量864

点赞数 10

分类专栏： Linux 文章标签：开发语言服务器笔记运维 linux

于 2024-08-20 19:48:40 首次发布

本文链接：https://blog.csdn.net/2301_80171004/article/details/141366660

版权

Linux 专栏收录该内容

31 篇文章 3 订阅

订阅专栏

互斥量 mutex

• 大部分情况，线程使用的数据都是局部变量，变量的地址空间在线程栈空间内，这种情况，变量归属单个线程，其他线程无法获得这种变量。

• 但有时候，很多变量都需要在线程间共享，这样的变量称为共享变量，可以通过数据的共享，完成线程之间的交互。

• 多个线程并发的操作共享变量，会带来一些问题。

例如想进单人自习室，要拿钥匙，申请的是同一把锁

1. 锁的接口

定义锁

锁也是一个数据类型，它的类型是pthread_mutex_t

初始化

静态分配

pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER（不需要销毁）

动态分配

函数原型：int pthread_mutex_init(pthread_mutex_t *restrict mutex, const pthread_mutexattr_t *restrict attr);

参数：

mutex：要初始化的互斥量
attr：初始化互斥量的属性，一般设置为nullptr即可

返回值：成功返回0，失败返回错误码

对于锁的五个基本使用：

注意：加锁的时候，一定要保证加锁的粒度，越小越好

实操：

//定义
 pthread_mutex_t mtx;
//初始化
pthread_mutex_init(&mtx, nullptr);
//销毁
pthread_mutex_destroy(&mtx);
//给线程上锁
 int n = pthread_mutex_lock(td->_pmtx);
//解锁
 n = pthread_mutex_unlock(td->_pmtx);

示例场景：

#define THREAD_NUM 5

int tickets = 10000;

class ThreadData
{
public:
    ThreadData(const string &name, pthread_mutex_t *pm)
    : _name(name)
    , _pmtx(pm)
    {}
public:
    string _name;
    pthread_mutex_t *_pmtx;
};

void *GetTickets(void *args)
{
    ThreadData *td = (ThreadData *)args;
    while(true)
    {
        int n = pthread_mutex_lock(td->_pmtx);
        assert(n == 0);

        if(tickets > 0)
        {
            usleep(1000);
            printf("%s：%d\n", td->_name.c_str(), tickets);
            tickets--;
            n = pthread_mutex_unlock(td->_pmtx);
            assert(n == 0);
        }
        else
        {
            n = pthread_mutex_unlock(td->_pmtx);
            assert(n == 0);
            break;
        }
    }

    delete td;
    return nullptr;
}

int main()
{
    pthread_mutex_t mtx;
    pthread_mutex_init(&mtx, nullptr);

    // 多线程抢票逻辑
    pthread_t t[THREAD_NUM];
    for (int i = 0; i < THREAD_NUM; i++)
    {
        string name = "thread";
        name += to_string(i + 1);
        ThreadData *td = new ThreadData(name, &mtx);
        pthread_create(t + i, nullptr, GetTickets, (void *)td);
    }

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

    pthread_mutex_destroy(&mtx);
    return 0;
}

加锁的本质：是用时间来换取安全
加锁的表现：线程对于临界区代码串行执行
加锁原则：尽量的要保证临界区代码，越少越好

加锁和解锁之间称之为临界区

 int n = pthread_mutex_lock(td->_pmtx);
        assert(n == 0);

        if(tickets > 0)
        {
            usleep(1000);
            printf("%s：%d\n", td->_name.c_str(), tickets);
            tickets--;
            n = pthread_mutex_unlock(td->_pmtx);

申请锁成功了，才能往后执行，不成功，阻塞等待

线程对于锁的竞争能力可能会不同，刚执行完，离锁近，所以可能会某一线程一直更容易拿到锁
我们抢到了票，我们会立马抢下一张吗？其实多线程还要执行得到票之后的后续动作。usleep模拟
纯互斥环境，如果锁分配不够合理，容易导致其他线程的饥饿问题！不是说只要有互斥，必有饥饿。适合纯互斥的场景，就用互斥

观察员：

外面来的，必须排队
出来的人，并不能立马重新申请锁，必须排队到队尾

让所有的线程（人 )获取锁，按照一定的顺序。

按照一定的顺序获取资源--同步！

锁本身就是共享资源
所以，申请锁和释放锁本身就是原子的

临界区中，线程可以被切换吗？可以切换

在线程被切出去的时候，是持有锁被切走的。我不在期间，照样没有人能进入临界区访问临界资源
对于其他线程来讲，一个线程要么么有锁，要么释放锁
当前线程访问临界区的过程，对于其他线程是原子的

💡引入新的解决方案，也会伴随着新的问题，在于看重什么，对立与统一 锁添加的智慧

2. 锁的原理

加锁

tickets-- 不是原子的？会变成 3 条汇编语句。原子：一条汇编语句就是原子的

为了实现互斥锁操作,大多数体系结构都提供了 swap 或 exchange 指令,该指令的作用是把寄存器和内存单元的数据相交换,由于只有一条指令,保证了原子性,即使是多处理器平台,访问内存的总线周期也有先后,一个处理器上的交换指令执行时另一个处理器的交换指令只能等待总线周期。现在我们把 lock 和 unlock 的伪代码改一下

三部分的刷入，刷出，制作动图如下

（线程加载到寄存器，与内存实现交换后，带着数据及上下文游走）

交换的本质：把内存中的数据（共享），交换到 CPU 的寄存器中，其实是换到 CPU 此时执行的线程的硬件上下文中，数字 1 （锁）只有一个，随着上下文走了

把一个共享的锁，让一个线程以一条汇编的方式，交换到自己的上下文中--当前线程持有锁了

解锁

将 1 还回去，通过 unlock

💡许多奇奇怪怪的问题，是需要程序员你自己来维护的，这就设计到加锁位置的智慧了

3. 锁的应用--封装

锁的设置：（降低耦合度

class Mutex
{
public:
    Mutex(pthread_mutex_t *lock):lock_(lock)
    {}
    void Lock()
    {
        pthread_mutex_lock(lock_);
    }
    void Unlock()
    {
        pthread_mutex_unlock(lock_);
    }
    ~Mutex()
    {}
private:
    pthread_mutex_t *lock_;
};

封装：利用初始化来对锁进行启动

class LockGuard
{
public:
    LockGuard(pthread_mutex_t *lock):mutex_(lock)
    {
        mutex_.Lock();
    }
    ~LockGuard()
    {
        mutex_.Unlock();
    }
private:
    Mutex mutex_;
};

调用：

#include "LockGuard.hpp"
while (true)
    {
        {
            LockGuard lockguard(&lock); // 临时的LockGuard对象， RAII风格的锁！
            if (tickets > 0)
            {
                usleep(1000);
                printf("who=%s, get a ticket: %d\n", name, tickets); // ?
                tickets--;
            }
            else
                break;
        }
        usleep(13); // 我们抢到了票，我们会立马抢下一张吗？其实多线程还要执行得到票之后的后续动作。usleep模拟
    }

批注：

LockGuard lockguard(&lock); // 临时的LockGuard对象， RAII风格的锁！

while 之后会自动解锁，利用了对象的生命周期

第二个{ ，明确出了锁的临界区

4. 可重入 VS 线程安全

概念

线程安全--多线程的并发：多个线程并发同一段代码时，不会出现不同的结果。常见对全局变量或者静态变量进行操作，并且没有锁保护的情况下，会出现该问题。
重入--函数的特点：同一个函数被不同的执行流调用，当前一个流程还没有执行完，就有其他的执行流再次进入，我们称之为重入。一个函数在重入的情况下，运行结果不会出现任何不同或者任何问题，则该函数被称为可重入函数，否则，是不可重入函数

可重入的一般也是线程安全的

常见的线程不安全的情况

不保护共享变量的函数
函数状态随着被调用，状态发生变化的函数
返回指向静态变量指针的函数
调用线程不安全函数的函数

常见的线程安全的情况

• 每个线程对全局变量或者静态变量只有读取的权限，而没有写入的权限，一般来说这些线程是安全的

• 类或者接口对于线程来说都是原子操作

• 多个线程之间的切换不会导致该接口的执行结果存在二义性

常见不可重入的情况

• 调用了 malloc/free 函数，因为 malloc 函数是用全局链表来管理堆的

• 调用了标准 I/O 库函数，标准 I/O 库的很多实现都以不可重入的方式使用全局数据结构，例如 STL

• 可重入函数体内使用了静态的数据结构

常见可重入的情况

• 不使用全局变量或静态变量

• 不使用用 malloc 或者 new 开辟出的空间

• 使用本地数据，或者通过制作全局数据的本地拷贝来保护全局数据

可重入与线程安全联系

• 函数是可重入的，那就是线程安全的

• 函数是不可重入的，那就不能由多个线程使用，有可能引发线程安全问题

• 如果一个函数中有全局变量，那么这个函数既不是线程安全也不是可重入的。

可重入与线程安全区别

• 可重入函数是线程安全函数的一种

• 线程安全不一定是可重入的，而可重入函数则一定是线程安全的。

• 如果将对临界资源的访问加上锁，则这个函数是线程安全的，但如果这个重入函数若锁还未释放则会产生死锁，因此是不可重入的。

死锁--代码不会再完后推进了，例如：

 while (true)
    {
        pthread_mutex_lock(&lock); // 申请锁成功，才能往后执行，不成功，阻塞等待。
        pthread_mutex_lock(&lock); // 申请锁成功，才能往后执行，不成功，阻塞等待。
        if(tickets > 0)
        {
            usleep(1000);
            ...}
    }

下篇文章将继续讲解~