Windows并发&异步编程（3）临界区Critical Section

摘要：临界区在并发编程中是一个非常重要的概念，有些时候也被叫做关键段。每个进程中访问临界资源的那段代码称为临界区（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