线程互斥补全和加锁原理

news/2024/10/19 6:25:57/

上篇博客,我们用互斥锁完成了互斥的功能。 

#include<iostream>
#include<thread>
#include<unistd.h>
#include<functional>
#include<vector>
using namespace std;
template<class T>
using func_t=function<void(T)>;//返回值为void,参数为T
template<class T>
class Thread
{public:Thread(func_t<T> func,const string&name,T data):_tid(0),_func(func),_threadname(name),isrunning(false),_data(data){}static void*ThreadRoutine(void*args){//(void)args;//仅仅是为了防止编译器有告警Thread*ts=static_cast<Thread*>(args);ts->_func(ts->_data);return nullptr;}bool Start(){int n=pthread_create(&_tid,nullptr,ThreadRoutine,this);if(n==0){isrunning=true;return true;}return false;}bool Join(){if(!isrunning) return true;int n=pthread_join(_tid,nullptr);if(n==0){isrunning=false;return true;}return false;}string GetThreadName(){return _threadname;}bool IsRunning(){return isrunning;}~Thread(){}private:pthread_t _tid;string _threadname;bool isrunning;func_t<T> _func;T _data;
};
#include"test.hpp"
using namespace std;
string GetThreadName()
{static int number=1;char name[64];snprintf(name,sizeof name,"Thread - %d",number++);return name;
}
void print(int num)
{while(num--){cout<<"hello world"<<num<<endl;sleep(1);}
}
int ticket=100;
//pthread_mutex_t mutex=PTHREAD_MUTEX_INITIALIZER;//全局的锁
void GetTicket(pthread_mutex_t*mutex)
{while(true){pthread_mutex_lock(mutex);if(ticket>0){usleep(1000);printf("get a ticket %d\n",ticket--);pthread_mutex_unlock(mutex);}else{pthread_mutex_unlock(mutex);break;}}}
int main()
{int num=5;//vector<Thread<int>> Threads;pthread_mutex_t mutex;pthread_mutex_init(&mutex,nullptr);string name1=GetThreadName();string name2=GetThreadName();string name3=GetThreadName();string name4=GetThreadName();Thread<pthread_mutex_t*> t1(GetTicket,name1,&mutex);Thread<pthread_mutex_t*> t2(GetTicket,name2,&mutex);Thread<pthread_mutex_t*> t3(GetTicket,name3,&mutex);Thread<pthread_mutex_t*> t4(GetTicket,name4,&mutex);t1.Start();t2.Start();t3.Start();t4.Start();t1.Join();t2.Join();t3.Join();t4.Join();pthread_mutex_destroy(&mutex);return 0;
}

 互斥锁可以是全局的,也可以像上面一样是局部的。

局部锁用pthread_mutex_init()初始化,用pthread_mutex_destroy()销毁。

可将局部锁当参数传入。

#pragma once
#include<pthread.h>
class Mutex
{public:Mutex(pthread_mutex_t*lock):_lock(lock){}void Lock(){pthread_mutex_lock(_lock);}void Unlock(){pthread_mutex_unlock(_lock);}private:pthread_mutex_t*_lock;
};
class LockGuard
{
public:
LockGuard(pthread_mutex_t*lock)
:_mutex(lock)
{_mutex.Lock();
}
~LockGuard()
{_mutex.Unlock();
}
private:
Mutex _mutex;
};

可以定义上面这样的类,自动析构就等于解锁,非常方便。

我们还可以定义一个包含线程名和锁的类。

#include"test.hpp"
#include"LockGuard.hpp"
using namespace std;
class ThreadData
{
public:
ThreadData(const string &name,pthread_mutex_t*mutex)
:_threadname(name)
,_mutex(mutex)
{}string _threadname;
pthread_mutex_t*_mutex;
};string GetThreadName()
{static int number=1;char name[64];snprintf(name,sizeof name,"Thread - %d",number++);return name;
}
void print(int num)
{while(num--){cout<<"hello world"<<num<<endl;sleep(1);}
}
int ticket=10000;
pthread_mutex_t mutex=PTHREAD_MUTEX_INITIALIZER;//全局的锁void GetTicket(ThreadData*td)
{while(true){pthread_mutex_lock(td->_mutex);if(ticket>0){usleep(1000);printf("%s get a ticket %d\n",td->_threadname.c_str(),ticket--);pthread_mutex_unlock(td->_mutex);}else{pthread_mutex_unlock(td->_mutex);break;}}
}int main()
{int num=5;//vector<Thread<int>> Threads;pthread_mutex_t mutex;pthread_mutex_init(&mutex,nullptr);string name1=GetThreadName();string name2=GetThreadName();string name3=GetThreadName();string name4=GetThreadName();ThreadData*td1=new ThreadData(name1,&mutex);ThreadData*td2=new ThreadData(name2,&mutex);ThreadData*td3=new ThreadData(name3,&mutex);ThreadData*td4=new ThreadData(name4,&mutex);Thread<ThreadData*> t1(GetTicket,name1,td1);Thread<ThreadData*> t2(GetTicket,name2,td2);Thread<ThreadData*> t3(GetTicket,name3,td3);Thread<ThreadData*> t4(GetTicket,name4,td4);t1.Start();t2.Start();t3.Start();t4.Start();t1.Join();t2.Join();t3.Join();t4.Join();pthread_mutex_destroy(&mutex);delete td1;delete td2;delete td3;delete td4;return 0;
}

个人认为这样写最好,看着也舒心。

多线程运行时,一份资源,有进程长期无法拥有,造成饥饿问题。

要解决饥饿问题,就要使多线程执行有一定顺序性,也就是线程同步。 

话说回来,线程加锁的本质是什么?

大部分体系结构都提供了swap或者exchange指令。

 

为了方便理解,我们把锁简单理解成包含整形1的一个结构体,在内存单元中。

拿a=0来打比方。

操作时,以一条汇编指令的形式交换寄存器和内存单元中的数据,将寄存器的1和a来交换。

如果这时线程时间片到了,第二个线程过来,也要交换。

可是此时寄存器内已经是0,它交换之后会做判断,如果是大于0,就执行,等于0,就挂起等待

交换到线程硬件上下文的数据,就属于线程自己了。 

这个过程就是加锁的过程。

解锁的时候,把1归还就行。

加锁的一般原则:谁加锁,谁解锁。


http://www.ppmy.cn/news/1425528.html

相关文章

使用Docker部署开源建站工具—Halo,并实现个人博客公网访问

目录 推荐 前言 1. Docker部署Halo 1.1 检查Docker版本 如果未安装Docker可参考&#xff1a; 已安装Docker步骤&#xff1a; 1.2 在Docker中部署Halo 2. Linux安装Cpolar 2.1 打开服务器防火墙 2.2 安装cpolar内网穿透 3. 配置Halo个人博客公网地址 4. 固定Halo公网…

微信小程序开发五(与springboot整合)

首先在微信开发者工具中开启不校验合法域名&#xff0c;这个才能本地访问 实现一个小功能&#xff1a; 展示数据信息&#xff0c;每条数据的颜色不一样 后端&#xff1a;springbootmybatisplusmysql 依赖&#xff1a; <dependency><groupId>com.baomidou</grou…

前端近7天,近半个月,近1个月,近1年的日期处理

前端如何获取近7天,近1年的日期进行查询? methods:{//近7天getRangeDate(ranges) {let nowDays new Date();let getYear nowDays.getFullYear();let getMonth nowDays.getMonth() 1;let getDate nowDays.getDate();let nd new Date();nd nd.valueOf();nd nd - ranges…

ceph介绍

一、前言 Ceph 是一个完全分布式的系统&#xff0c;它将数据分布在整个集群中的多个节点上&#xff0c;以实现高可用性和容错性&#xff0c;ceph支持对象存储、块存储、文件存储所以被称为统一存储&#xff0c;ceph的架构由以下组件组成:mon、mgr、osd、mds、cephfs、rgw&#…

豆瓣影评信息爬取 (爬虫)

代码块&#xff1a; from lxml import etree import requestsheaders{User-Agent:Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/123.0.0.0 Safari/537.36 Edg/123.0.0.0 }url_list[] for i in range(0,5):i*20urlsf"https:…

学习BOM

目录 前言: 1. BOM组成&#xff1a; 1.1Window 对象&#xff1a; 1.1Location 对象&#xff1a; 1.2Navigator 对象&#xff1a; 1.2.1 navigator 对象包含了关于浏览器的信息包括&#xff1a; 1.3History 对象&#xff1a; 1.4常用的history的方法和属性: 1.4Document…

百货商场用户画像描绘and价值分析(上)

目录 内容概述数据说明技术点主要内容导入模块1.项目背景1.1 项目背景与挖掘目标 2.数据探索与预处理2.1 结合业务对数据进行探索并进行预处理2.2 将会员信息表和销售流水表关联与合并 3 统计分析3.1 分析会员的年龄构成、男女比例等基本信息3.2 分析会员的总订单占比&#xff…

npm最新淘宝镜像站已经更新registry(2024-04-19)

1、npm替换地址 旧的 https://registry.npm.taobao.org 已替换为 https://registry.npmmirror.com 淘宝镜像的淘宝官方提供的方法&#xff08;最新的源配置&#xff09; npm config set registry https://registry.npmmirror.com 镜像站网址&#xff1a; npmm…