Windows 平台下的同步机制 （1）– 临界区(CriticalSection)

Windows 平台下的同步机制 （1）– 临界区(CriticalSection)

以前没用过临界区，今天一用就错了！错的原因是临界区的初始化放在的函数体中，而没有放在基类中，临界区的删除没有放在析构函数里。

临界区的使用在线程同步中应该算是比较简单，说它简单还是说它同后面讲到的其它方法相比更容易理解。举个简单的例子：比如说有一个全局变量（公共资源）两个线程都会对它进行写操作和读操作，如果我们在这里不加以控制，会产生意想不到的结果。假设线程A正在把全局变量加1然后打印在屏幕上，但是这时切换到线程B，线程B又把全局变量加1然后又切换到线程A，这时候线程A打印的结果就不是程序想要的结果，也就产生了错误。解决的办法就是设置一个区域，让线程A在操纵全局变量的时候进行加锁，线程B如果想操纵这个全局变量就要等待线程A释放这个锁，这个也就是临界区的概念。

使用方法：
CRITICAL_SECTION cs;
InitializeCriticalSection(&cs);
EnterCriticalSection(&cs);
…
LeaveCriticalSection(&cs);
DeleteCriticalSection(&cs);

#include "stdafx.h"
#include <windows.h>
#include <process.h>
#include <iostream>
using namespace std;

/****************************************************************
*在使用临界区的时候要注意，每一个共享资源就有一个CRITICAL_SECTION
*如果要一次访问多个共享变量，各个线程要保证访问的顺序一致，如果不
*一致，很可能发生死锁。例如：
*   thread one:
*   EnterCriticalSection(&c1)
*   EnterCriticalSection(&c2)
*   …
*   Leave…
*   Leave…
*
*   thread two:
*   EnterCriticalSection(&c2);
*   EnterCriticalSection(&c1);
*   …
*   Leave…
*   Leave…
*这样的情况就会发生死锁，应该让线程2进入临界区的顺序同线程1相同
****************************************************************/

封装类：

class Lock;

class CLock 
{
public:
    CLock() { ::InitializeCriticalSection(&_cs); }
    ~CLock() { ::DeleteCriticalSection(&_cs); }
private:
    friend class Lock;
    CRITICAL_SECTION _cs;

    CLock(const CLock&);
    CLock& operator=(const CLock&);
};

class Lock
{
public:
    Lock(CLock& lock) : _lock(lock) { ::EnterCriticalSection(&_lock._cs); }
    ~Lock() { ::LeaveCriticalSection(&_lock._cs); }
private:
    CLock& _lock;
    Lock(const Lock&);
    Lock& operator=(const Lock&);
};