互斥与同步

目录

互斥

为什么需要锁

锁的原理--互斥

锁的使用

同步

锁的问题

条件变量


互斥

为什么需要锁

先看结果:

以下代码是我模拟创建线程抢票,由于不加锁导致票抢到了负数

main.cc:

#include<vector>
#include<iostream>
#include"Thread.hpp"
#include <unistd.h>

int tickets = 10000;

void Ticket()
{
    while (true)
    {
        if(tickets > 0)
        {
        usleep(1000);
        printf("tickets: %d\n",tickets--);
        }
        else
        return ;
    }
}

int main()
{
    std::vector<xjh::Thread> arr;
    for(int i = 0; i < 4; i++)
    {
        arr.emplace_back(Ticket);
    }
    for(int i = 0; i < 4; i++)
    {
        arr[i].Start();
    }
    for(int i = 0; i < 4; i++)
    {
        arr[i].Join();
    }
    return 0;
}

由于我封装了pthread,奉上

Thread.hpp

#include<pthread.h>
#include<functional>

namespace xjh
{
    using pfunc = std::function<void()>;
    
    static int i = 0;
    class Thread
    {
        static void* Handle(void* args)
        {
            Thread* td = static_cast<Thread*>(args);
            td->_func();
            return nullptr;
        }
    public:
        Thread(pfunc func):_func(func)
        {
            i++;
        }
        void Start()
        {
            pthread_create(&_pid,nullptr,Handle,this);
        }
        void Join()
        {
            pthread_join(_pid,nullptr);
        }
        ~Thread()
        {}
    private:
        pfunc _func;
        pthread_t  _pid;

    };
}

造成以上结果的原因就是在

1、if()操作不是原子操作

2、线程的调度切换

原子性:不会被任何调度机制打断的操作,该操作只有两态,要么完成,要么未完成

简单想象一下,比如张三在询问完是否还有余票的时候,有,就进去拿了,如果此时只有一张票了,这个时候李四来了,张三还没有出来,李四说还有一张票,也进去了。这个时候就出错了。

锁的原理--互斥

数据被多次拿到的对策就是一次只允许一个人可以使用这一份资源。

比如单人自习室门口挂了一个令牌,在进入自习室的时候必须带上令牌,并且只有一个人可以进入自习室,这个时候。我们规定好在这个人交出令牌之前其他人不得入内。这个时候这个令牌就是锁了。

那么底层的原理就是有一个东西类似与这个令牌。但是我又怎么保障拿到这个令牌的时候别人不来抢呢?这时候我们就要保证拿令牌这个操作是原子操作了。

如上,在操作系统内部,有swap和exchange来保证原子性,当一个拿到了内存里面mutex的锁的被放到了自己的寄存器里,别人就拿不到只能阻塞等待了

锁的使用

  1. 锁的本质就是对资源的保护。需要保护的资源是临界资源。
  2. 因为拿不到锁的线程会阻塞,所以不能大块的代码加锁,要保证细粒度
  3. 加锁就是找到临界区,对临界区加锁

同步

依旧讲故事理解:

锁的问题

在单人自习室的时候,比如张三在拿到令牌了之后,从早上7点学到了中午12点,张三准备去吃饭了,但是自习室门口排满了队,等待着使用这个单人自习室,张三走到了自习室门口,刚把令牌挂上去。就看到。自习室门一堆的人,想到又是等一下吃完饭再来,又要排很久的队,于是又把令牌拿上进入自习室。由于令牌是张三挂上去的,所以最先拿到令牌的肯定是张三。张三在进入自习室后,肚子依然很饿,于是又把令牌挂上去,但是他又不想排队,又拿上令牌进入自习室,进入自习室肚子又饿也学不好。如此反复,自习室外面的人没有拿到自习室的使用权,而张三又由于肚子饿,也没有利用上这个自习室。

这样就造成了饥饿问题,但是张三有错吗?没错。但是这个策略就有问题

这个时候就要引入条件变量

条件变量

假设自习室门口有一个告示板,上面写着是否允许进入自习室的条件。如果条件不满足(比如自习室满员或者没有空位),学生就在门口等待。当有位置空出时,管理员会在告示板上更新条件,并通知等待的学生。这就是条件变量的基本思想

但是与锁不同的是在这个自习室门口的学生都得排好队,张三出来的时候不能再立马拿令牌,而是要排到队伍后面,这样就解决了饥饿问题。

所以线程排在条件变量的队列里。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值