互斥锁
条件变量
条件变量是线程可用的另一种同步机制,利用线程间共享的全局变量进行同步的一种机制,主要包括两个动作:一个线程等待"条件变量的条件成立"而挂起;另一个线程使"条件成立"(给出条件成立信号),唤起挂起的线程等待。为了防止竞争(保护条件变量),条件变量的使用总是和一个互斥锁结合在一起。
为什么互斥锁通常与条件变量结合一起使用?
互斥锁一个明显的缺点是它只有两种状态:锁定和非锁定。线程被CPU调度的时候必须不停的主动获得锁、检查、释放锁,一直到满足运行的条件的时候才可以(而此过程中其他线程一直在等待该线程的结束),而且互斥锁在加锁操作时涉及上下文的切换,所以这种方式是比较消耗系统的资源的。
条件变量同样是阻塞,当条件不满足时,该线程会自动的释放锁并把自身置于等待状态,让出CPU的控制权给其它线程。一旦其他的某个线程改变了条件变量,他将通知相应的条件变量唤醒一个或多个正被此条件变量阻塞的线程退出阻塞,此时再进行加锁的操作。
条件变量用于某个线程需要在某种条件成立时才去保护它将要操作的临界区,这种情况从而避免了线程不断轮询检查该条件是否成立而降低效率的情况,实现了效率提高。在条件满足时,自动退出阻塞,再加锁进行操作。
std::mutex m;
std::condition_variable cv;
std::vector<int> m_queue;
void funthread1(int num)
{
std::unique_lock<std::mutex> lk(m); //若已上锁,则阻塞
cv.wait(lk,[=](){retrun m_queue.size() <= 10;});// 调用wait时先解锁并阻塞,接受到信号时再加锁往下执行
m_queue.push_bacck(num);
lk.unlock();
cv.notify_one();
}
void funthread2(int num)
{
std::unique_lock<std::mutex> lk(m); //若已上锁,则阻塞
cv.wait(lk,[](){return !m_queue.empty();}); // 调用wait时先解锁并阻塞,接受到信号时再加锁往下执行
m_queue.pop();
lk.unlock();
g_cv.notify_all();
}
信号量
用主要用于线程同步的(主要用来解决生产者/消费者问题)
C++11的新特性中,没有关于semaphore信号量相关的封装,我们可以利用互斥量和条件变量来进行信号量的封装。
#include <mutex>
#include <condition_variable>
class CSemaphore{
public:
CSemaphore(long count);
~CSemaphore();
void signal();
void wait();
private:
std::mutex m_mutex;
std::condition_variable m_cv;
long m_count;
};
CSemaphore::CSemaphore(long count):m_count(count){
}
CSemaphore::~CSemaphore(){
}
void CSemaphore::signal() {
std::unique_lock<std::mutex> lock(m_mutex);
++m_count;
m_cv.notify_one();
}
void CSemaphore::wait() {
std::unique_lock<std::mutex> g_lock(m_mutex);
m_cv.wait(g_lock, [=]()->bool {return m_count > 0; });
m_count--;
}
事件(可用于进程通信)
事件(Event)是WIN32提供的最灵活的线程间同步方式,事件可以处于激发状态(signaled or true)或未激发状态(unsignal or false)。根据状态变迁方式的不同,事件可分为两类:
(1)手动设置:这种对象只可能用程序手动设置,在需要该事件或者事件发生时,采用SetEvent
及ResetEvent
来进行设置。
(2)自动恢复:一旦事件发生并被处理后,自动恢复到没有事件状态,不需要再次设置。
使用”事件”机制应注意以下事项:
(1)如果跨进程访问事件,必须对事件命名,在对事件命名的时候,要注意不要与系统命名空间中的其它全局命名对象冲突;
(2)事件是否要自动恢复;
(3)事件的初始状态设置。
由于event对象属于内核对象,故进程B可以调用OpenEvent
函数通过对象的名字获得进程A中event对象的句柄,然后将这个句柄用于ResetEvent
、SetEvent
和WaitForMultipleObjects
等函数中。此法可以实现一个进程的线程控制另一进程中线程的运行,例如:
HANDLE hEvent = OpenEvent(EVENT_ALL_ACCESS, true, "MyEvent");
ResetEvent(hEvent);
#include<windows.h>
#include<iostream>
using namespace std;
int number = 1; //定义全局变量
HANDLE hEvent; //定义事件句柄
unsigned long __stdcall ThreadProc1(void* lp) {
while (number < 100) {
WaitForSingleObject(hEvent, INFINITE); //等待对象为有信号状态
++number;
_sleep(100);
SetEvent(hEvent);
}
return 0;
}
unsigned long __stdcall ThreadProc2(void* lp) {
while (number < 100) {
WaitForSingleObject(hEvent, INFINITE); //等待对象为有信号状态
++number;
_sleep(100);
SetEvent(hEvent);
}
return 0;
}
int main() {
hEvent = CreateEvent(NULL, FALSE, TRUE, "event");
CreateThread(NULL, 0, ThreadProc1, NULL, 0, NULL);
CreateThread(NULL, 0, ThreadProc2, NULL, 0, NULL);
Sleep(10*1000);
system("pause");
return 0;
}
互斥量和条件变量也可以用于进程,方法是把它们存到共享内存区,然后设置它们的属性是共享的
资料