线程同步
同步:在保证数据安全的前提下,让线程能够按照某种特定的顺序访问临界资源,从而有效避免饥饿问题,叫做同步
例一
:我们之前的抢票代码,一个线程把票全抢完了,它错了吗?没错!但是不合理。
例二
:我们要去华为店里买华为Mate40,
第一天去华为专卖店,我们问店员有没有货,店员说没有,我们立马就转身离开。
第二天再去我们问店员有没有货,店员说没有,我们再次转身离开。
就这样连续去30天左右,店里终于有货了,我们买了就走。
上面这样有错吗?没错,但是不合理。
1.例子一频繁的申请到资源
2.例子二太过于浪费我自己和对方的资源(时间)
例子一和二都没有错但是不合理。
例子一造成别人的饥饿问题。
而线程同步主要就是为了解决,访问临界资源合理性的问题。
故事
:
学校有一间自习室,每天早上8:00~晚上21:00开放,但是这间自习室只允许一个人进入,墙上有一把钥匙,钥匙需要大家抢夺,谁抢到钥匙谁就拥有自习室。
小明某一天早早的来到了自习室,拿了墙上的钥匙,就打开门,然后关上门把门反锁,再把钥匙放在兜里。
自习了几个小时小明准备去趟厕所,打开门发现人有点多,就把门反锁了然后把钥匙一起带走,上完厕所就再回来,自习室就还是属于自己的。
晚上要吃晚饭了,小明准备回去,一打开门发现门口人乌泱泱的,小明立马反悔,觉得还是再学一会吧。
又学了一会小明觉得该回去了,再次打开门,然后把钥匙挂墙上,可是刚挂上去小明又后悔了,而又因为小明里钥匙最近所以他又抢到了钥匙,然后回去再学了一会。
听完上面故事大家觉得合理吗?不合理,小明凭什么一直能抢到钥匙。
有人举报了小明,所以自习室管理员引入规则:
1.自习室外面的人必须排好队,不能乌泱泱的一群人挤在一起
2.人从自习室出来以后不能立马再次申请锁,得必须排到队伍的末尾。
按照一定顺序,进行临界资源的访问我们称之为线程同步。
如何保证顺序性?
条件变量
我们之前申请临界资源前---->都需要做临界资源是否存在的检测---->而检测的本质:也是访问临界资源!---->所以我们之前临界资源的检测也在加锁和解锁之间---->常规方式要检测条件就绪,注定了我们必须频繁申请和释放锁---->有没有办法让我们的线程检测到资源不就绪的时候。
1.不要让线程在频繁的自己检测了,我们等待资源就绪
2.当条件就绪的时候,通知对应的线程,让他来进行资源申请和访问!
之前买华为手机的例子,当店里没有货的时候,我们留下店员的联系方式或者留下自己的联系方式,让店员有货了在通知自己过去买手机。
条件变量:
当一个线程互斥地访问某个变量时,它可能发现在其它线程改变状态之前,它什么也做不了。
例如一个线程访问队列时,发现队列为空,它只能等待,只到其它线程将一个节点添加到队列中。这种情况就需要用到条件变量。
没加条件变量前的代码:
#include <iostream>
#include <string>
#include <pthread.h>
#include <unistd.h>
#define TNUM 4
typedef void (*func)(std::string name);
struct ThreadData
{
public:
ThreadData(std::string name, func func)
: _name(name),
_func(func)
{
}
public:
std::string _name;
func _func;
};
void fun1(std::string name)
{
while (true)
{
std::cout << name << " running ------- a" << std::endl;
sleep(1);
}
}
void fun2(std::string name)
{
while (true)
{
std::cout << name << " running ------- b" << std::endl;
sleep(1);
}
}
void fun3(std::string name)
{
while (true)
{
std::cout << name << " running ------- c" << std::endl;
sleep(1);
}
}
void fun4(std::string name)
{
while (true)
{
std::cout << name << " running ------- d" << std::endl;
sleep(1);
}
}
void *Entry(void *args)
{
ThreadData *td = (ThreadData *)args;
td->_func(td->_name);
delete td;
}
int main()
{
pthread_t tid[TNUM];
func func[TNUM] = {fun1, fun2, fun3, fun4};
for (int i = 0; i < TNUM; i++)
{
std::string name = "Thread";
name += std::to_string(i + 1);
ThreadData *td = new ThreadData(name, func[i]);
pthread_create(tid + i, nullptr, Entry, (void *)td);
}
for (int i = 0; i < TNUM; i++)
{
pthread_join(tid[i], nullptr);
}
return 0;
}
运行结果:
我们看到线程是随机运行的,谁都有可能被CPU调度,那么我们如何让他顺序运行呢?
添加条件变量:
代码:
#include <iostream>
#include <string>
#include <pthread.h>
#include <unistd.h>
#define TNUM 4
typedef void (*func)(std::string name,pthread_mutex_t *mtx, pthread_cond_t *cond);
struct ThreadData
{
public:
ThreadData(std::string name, func func, pthread_mutex_t *mtx, pthread_cond_t *cond)
: _name(name),
_func(func),
_mtx(mtx),
_cond(cond)
{
}
public:
std::string _name;
func _func;
pthread_mutex_t *_mtx;
pthread_cond_t *_cond;
};
void fun1(std::string name,pthread_mutex_t *mtx, pthread_cond_t *cond)
{
while (true)
{
pthread_cond_wait(cond,mtx);
std::cout << name << " running ------- a" << std::endl;
//sleep(1);
}
}
void fun2(std::string name,pthread_mutex_t *mtx, pthread_cond_t *cond)
{
while (true)
{
pthread_cond_wait(cond,mtx);
std::cout << name << " running ------- b" << std::endl;
//sleep(1);
}
}
void fun3(std::string name,pthread_mutex_t *mtx, pthread_cond_t *cond)
{
while (true)
{
pthread_cond_wait(cond,mtx);
std::cout << name << " running ------- c" << std::endl;
//sleep(1);
}
}
void fun4(std::string name,pthread_mutex_t *mtx, pthread_cond_t *cond)
{
while (true)
{
pthread_cond_wait(cond,mtx);
std::cout << name << " running ------- d" << std::endl;
//sleep(1);
}
}
void *Entry(void *args)
{
ThreadData *td = (ThreadData *)args;
td->_func(td->_name,td->_mtx,td->_cond);
delete td;
return nullptr;
}
int main()
{
pthread_mutex_t mtx;
pthread_cond_t cond;
pthread_mutex_init(&mtx, nullptr);
pthread_cond_init(&cond, nullptr);
pthread_t tid[TNUM];
func func[TNUM] = {fun1, fun2, fun3, fun4};
for (int i = 0; i < TNUM; i++)
{
std::string name = "Thread";
name += std::to_string(i + 1);
ThreadData *td = new ThreadData(name, func[i], &mtx, &cond);
pthread_create(tid + i, nullptr, Entry, (void *)td);
}
while(true)
{
std::cout << "Wake up thread run code ......." << std::endl;
pthread_cond_signal(&cond);
sleep(1);
}
for (int i = 0; i < TNUM; i++)
{
pthread_join(tid[i], nullptr);
}
pthread_mutex_destroy(&mtx);
pthread_cond_destroy(&cond);
return 0;
}
运行结果:
我们看到线程变的井然有序,一个一个的执行。
pthread_cond_signal是一个一个的唤醒线程,我们还可以用pthread_cond_broadcast一批一批的唤醒。
修改代码片段
运行代码:
如果我们想让线程运行10次就退出,那么代码该如何更改呢?
我们在全局定义一个bool类型的quit。然后每个线程用quit判断退出条件即可。
代码:
#include <iostream>
#include <string>
#include <pthread.h>
#include <unistd.h>
#define TNUM 4
bool quit = false;
typedef void (*func)(std::string name,pthread_mutex_t *mtx, pthread_cond_t *cond);
struct ThreadData
{
public:
ThreadData(std::string name, func func, pthread_mutex_t *mtx, pthread_cond_t *cond)
: _name(name),
_func(func),
_mtx(mtx),
_cond(cond)
{
}
public:
std::string _name;
func _func;
pthread_mutex_t *_mtx;
pthread_cond_t *_cond;
};
void fun1(std::string name,pthread_mutex_t *mtx, pthread_cond_t *cond)
{
while (!quit)
{
pthread_cond_wait(cond,mtx);
std::cout << name << " running ------- a" << std::endl;
//sleep(1);
}
}
void fun2(std::string name,pthread_mutex_t *mtx, pthread_cond_t *cond)
{
while (!quit)
{
pthread_cond_wait(cond,mtx);
std::cout << name << " running ------- b" << std::endl;
//sleep(1);
}
}
void fun3(std::string name,pthread_mutex_t *mtx, pthread_cond_t *cond)
{
while (!quit)
{
pthread_cond_wait(cond,mtx);
std::cout << name << " running ------- c" << std::endl;
//sleep(1);
}
}
void fun4(std::string name,pthread_mutex_t *mtx, pthread_cond_t *cond)
{
while (!quit)
{
pthread_cond_wait(cond,mtx);
std::cout << name << " running ------- d" << std::endl;
//sleep(1);
}
}
void *Entry(void *args)
{
ThreadData *td = (ThreadData *)args;
td->_func(td->_name,td->_mtx,td->_cond);
delete td;
return nullptr;
}
int main()
{
pthread_mutex_t mtx;
pthread_cond_t cond;
pthread_mutex_init(&mtx, nullptr);
pthread_cond_init(&cond, nullptr);
pthread_t tid[TNUM];
func func[TNUM] = {fun1, fun2, fun3, fun4};
for (int i = 0; i < TNUM; i++)
{
std::string name = "Thread";
name += std::to_string(i + 1);
ThreadData *td = new ThreadData(name, func[i], &mtx, &cond);
pthread_create(tid + i, nullptr, Entry, (void *)td);
}
int cnt = 10;
while(cnt)
{
std::cout << std::endl;
std::cout << "Wake up thread run code ......." << cnt-- << std::endl;
//pthread_cond_signal(&cond);
pthread_cond_broadcast(&cond);
sleep(1);
}
quit = true;
for (int i = 0; i < TNUM; i++)
{
pthread_join(tid[i], nullptr);
}
pthread_mutex_destroy(&mtx);
pthread_cond_destroy(&cond);
return 0;
}
运行结果:
我们看到这最后卡住了是为什么呢?因为我们虽然是quit但是,所有线程还在条件变量上等待呢,而条件变量是在加锁和解锁之间的,我们虽然退出了但是锁并没有处理好。
所以我们在每个线程都要加上加锁解锁的逻辑。
代码:
#include <iostream>
#include <string>
#include <pthread.h>
#include <unistd.h>
#define TNUM 4
bool quit = false;
typedef void (*func)(std::string name,pthread_mutex_t *mtx, pthread_cond_t *cond);
struct ThreadData
{
public:
ThreadData(std::string name, func func, pthread_mutex_t *mtx, pthread_cond_t *cond)
: _name(name),
_func(func),
_mtx(mtx),
_cond(cond)
{
}
public:
std::string _name;
func _func;
pthread_mutex_t *_mtx;
pthread_cond_t *_cond;
};
void fun1(std::string name,pthread_mutex_t *mtx, pthread_cond_t *cond)
{
while (!quit)
{
pthread_mutex_lock(mtx);
pthread_cond_wait(cond,mtx);
std::cout << name << " running ------- a" << std::endl;
pthread_mutex_unlock(mtx);
//sleep(1);
}
}
void fun2(std::string name,pthread_mutex_t *mtx, pthread_cond_t *cond)
{
while (!quit)
{
pthread_mutex_lock(mtx);
pthread_cond_wait(cond,mtx);
std::cout << name << " running ------- b" << std::endl;
pthread_mutex_unlock(mtx);
//sleep(1);
}
}
void fun3(std::string name,pthread_mutex_t *mtx, pthread_cond_t *cond)
{
while (!quit)
{
pthread_mutex_lock(mtx);
pthread_cond_wait(cond,mtx);
std::cout << name << " running ------- c" << std::endl;
pthread_mutex_unlock(mtx);
//sleep(1);
}
}
void fun4(std::string name,pthread_mutex_t *mtx, pthread_cond_t *cond)
{
while (!quit)
{
pthread_mutex_lock(mtx);
pthread_cond_wait(cond,mtx);
std::cout << name << " running ------- d" << std::endl;
pthread_mutex_unlock(mtx);
//sleep(1);
}
}
void *Entry(void *args)
{
ThreadData *td = (ThreadData *)args;
td->_func(td->_name,td->_mtx,td->_cond);
delete td;
return nullptr;
}
int main()
{
pthread_mutex_t mtx;
pthread_cond_t cond;
pthread_mutex_init(&mtx, nullptr);
pthread_cond_init(&cond, nullptr);
pthread_t tid[TNUM];
func func[TNUM] = {fun1, fun2, fun3, fun4};
for (int i = 0; i < TNUM; i++)
{
std::string name = "Thread";
name += std::to_string(i + 1);
ThreadData *td = new ThreadData(name, func[i], &mtx, &cond);
pthread_create(tid + i, nullptr, Entry, (void *)td);
}
int cnt = 10;
while(cnt)
{
std::cout << std::endl;
std::cout << "Wake up thread run code ......." << cnt-- << std::endl;
//pthread_cond_signal(&cond);
pthread_cond_broadcast(&cond);
sleep(1);
}
quit = true;
for (int i = 0; i < TNUM; i++)
{
pthread_join(tid[i], nullptr);
}
pthread_mutex_destroy(&mtx);
pthread_cond_destroy(&cond);
return 0;
}
运行结果:
我们看到这最后卡住了是为什么呢?因为我们虽然是quit但是,所有线程还在条件变量上等待呢,所以我们需要在退出后再进行一次pthread_cond_broadcast();
运行结果: