摘要:临界区在并发编程中是一个非常重要的概念,有些时候也被叫做关键段。每个进程中访问临界资源的那段代码称为临界区(Critical Section)(临界资源是一次仅允许一个进程使用的共享资源)。每次只准许一个进程进入临界区,进入后不允许其他进程进入。不论是硬件临界资源,还是软件临界资源,多个进程必须互斥地对它进行访问。
------------------------
目录:
1. 临界区5函数
2. 函数介绍
3. lock / unlock 实战
------------------------
临界区编程主要涉及有5个函数:进行临界区编程,首先一些必须要初始化以及收尾工作是必不可少的。真正的临界区被夹在“进入临界区EnterCriticalSection”、“退出临界区LeaveCriticalSection”中间。这里还有个TryEnterCriticalSection函数,一般用的较少,它是用来尝试进入临界区,不管进入是否成功,函数都会立即返回,返回值表示是否已经进入了临界区。
1、函数功能:初始化临界区
VOIDInitializeCriticalSection(
LPCRITICAL_SECTION lpCriticalSection // critical section
);
2、函数功能:尝试进入临界区
BOOL TryEnterCriticalSection(
LPCRITICAL_SECTION lpCriticalSection // critical section
);
3、函数功能:进入临界区
VOIDEnterCriticalSection(
LPCRITICAL_SECTION lpCriticalSection // critical section
);
4、函数功能:退出临界区
VOIDLeaveCriticalSection(
LPCRITICAL_SECTION lpCriticalSection // critical section
);
5、销毁临界
VOIDDeleteCriticalSection(
LPCRITICAL_SECTION lpCriticalSection // critical section
);
实战lock / unlock:阅读过《Windows并发&异步编程(2)原子操作Interlocked》一文的应该能感觉出来,单一的原子操作存在很大缺陷:主要表现在只能对单一或多个变量进行操作,如果几行代码需要不间断运行的话,原子操作根本做不到。从这个点出发,本文通过临界区实现了一对互斥锁。
class Mutex{
public:
Mutex();
~Mutex();
void lock();
void unlock();
protected:
private:
CRITICAL_SECTION m_cs_mutex;
};
Mutex::Mutex(){
printf("mutex ctor\n");
//初始化临界区
InitializeCriticalSection(&m_cs_mutex);
}
Mutex::~Mutex(){
printf("mutext dtor");
//销毁临界区
DeleteCriticalSection(&m_cs_mutex);
}
void Mutex::lock(){
//进入临界区
EnterCriticalSection(&m_cs_mutex);
}
void Mutex::unlock(){
//退出临界区
LeaveCriticalSection(&m_cs_mutex);
}
static Mutex mutex;//互斥
本文源码:critical_section
在本文基础上,对单例模式Singleton进行了改造,阅读《GoF23设计模式(0)单例模式Singleton》了解更多的内容。
@qingdujun
2017-7-17 in Xi'An