同步 - 临界区

//header.h
#ifndef CRTC_SEC_H
#define CRTC_SEC_H

#include "windows.h"

class RAII_CrtcSec
{
private:
    CRITICAL_SECTION crtc_sec;
public:
    RAII_CrtcSec() { ::InitializeCriticalSection(&crtc_sec); }
    ~RAII_CrtcSec() { ::DeleteCriticalSection(&crtc_sec); }
    RAII_CrtcSec(const RAII_CrtcSec &) = delete;
    RAII_CrtcSec & operator=(const RAII_CrtcSec &) = delete;
    //
    void Lock() { ::EnterCriticalSection(&crtc_sec); }
    void Unlock() { ::LeaveCriticalSection(&crtc_sec); }
};

#endif

上面的代码使用了windows提供的API中的临界区对象来实现线程同步。临界区是指一个访问共享资源的代码段，临界区对象则是指当用户使用某个线程访问共享资源时，必须使代码段独占该资源，不允许其他线程访问该资源。在该线程访问完资源后，其他线程才能对资源进行访问。Windows API提供了临界区对象的结构体CRITICAL_SECTION，对该对象的使用可总结为如下几步：

1.InitializeCriticalSection(LPCRITICAL_SECTION lpCriticalSection)

该函数的作用是初始化临界区，唯一的参数是指向结构体CRITICAL_SECTION的指针变量。

2.EnterCriticalSection(LPCRITICAL_SECTION lpCriticalSection)

该函数的作用是使调用该函数的线程进入已经初始化的临界区，并拥有该临界区的所有权。这是一个阻塞函数，如果线程获得临界区的所有权成功，则该函数将返回，调用线程继续执行，否则该函数将一直等待，这样会造成该函数的调用线程也一直等待。如果不想让调用线程等待（非阻塞），则应该使用TryEnterCriticalSection(LPCRITICAL_SECTION lpCriticalSection)。

3.LeaveCriticalSection(LPCRITICAL_SECTION lpCriticalSection)

该函数的作用是使调用该函数的线程离开临界区并释放对该临界区的所有权，以便让其他线程也获得访问该共享资源的机会。一定要在程序不适用临界区时调用该函数释放临界区所有权，否则程序将一直等待造成程序假死。

4.DeleteCriticalSection(LPCRITICAL_SECTION lpCriticalSection)

该函数的作用是删除程序中已经被初始化的临界区。如果函数调用成功，则程序会将内存中的临界区删除，防止出现内存错误。

临界区

临界区（Critical Section）是一段独占对某些共享资源访问的代码，在任意时刻只允许一个线程对共享资源进行访问。如果有多个线程试图同时访问临界区，那么在有一个线程进入后其他所有试图访问此临界区的线程将被挂起，并一直持续到进入临界区的线程离开。临界区在被释放后，其他线程可以继续抢占，并以此达到用原子方式操作共享资源的目的。

临界区在使用时以CRITICAL_SECTION结构对象保护共享资源，并分别用EnterCriticalSection（）和LeaveCriticalSection（）函数去标识和释放一个临界区。所用到的CRITICAL_SECTION结构对象必须经过InitializeCriticalSection（）的初始化后才能使用，而且必须确保所有线程中的任何试图访问此共享资源的代码都处在此临界区的保护之下。否则临界区将不会起到应有的作用，共享资源依然有被破坏的可能。