Critical Section(임계 영역) 개념

  Critical Section(임계 영역)은 한개의 연산을 둘 이상의 쓰레드가 동시에 실행할 경우 발생할 수 있는 코드 블록이다.

[Value 라는 값에 2개의 쓰레드가 접근]

  주의 해야할 점은 Value 라는 메모리 블록을 가리켜 임계 영역이라고 하는게 아니라 쓰레드 안에 있는 코드 블록이 임계 영역이 되는 것이다. 아래 예제 처럼 말이다.

DOUBLE Count = 0;
unsigned int WINAPI ThreadProc1(LPVOID lpParam)
{
 
    for (DWORD i = 1; i <= 1000; i++)
    {
        Sleep(1);
        Count++;
    }
 
    return 0;
}
 
unsigned int WINAPI ThreadProc2(LPVOID lpParam)
{
    
    for (DWORD i = 1; i <= 1000; i++)
    {
        Sleep(1);
        Count++;
    }
 
    return 0;
}
 
int _tmain()
{    //나머지 코드는 생략
    for(DWORD i =0;i<2;i++)
    {
        if (i != 1)
        {
            hThread[i] = (HANDLE)_beginthreadex(NULL,
                0,
                ThreadProc1,
                NULL,
                0,
                (unsigned *)&dwThreadID[i]);
        }
        else
        {
            hThread[i] = (HANDLE)_beginthreadex(NULL,
                0,
                ThreadProc2,
                NULL,
                0,
                (unsigned *)&dwThreadID[i]);
        }
        if (hThread[i] == NULL)
        {
            _tprintf(_T("_beginthreadex funtion err : %lf\n"), GetLastError());
            return -1;
        }
    }
 
    WaitForMultipleObjects(2, hThread, TRUE, INFINITE);
}

  예제를 보면 임계 영역은 7번째, 20번째 줄이 되겠다. 두 쓰레드에서 전역변수 Count 를 접근하고 있다.  위 코드를 읽어보면 2000이 나와야 하지만 2000이 안나오는 것을 확인할 수 있을 것이다. 이때 필요한 것이 동기화인데 이번 시간에는 그냥 간단히 방법만 소개하고 다음 글부터 설명 글을 써보겠다. 

1. CRITICAL_SECTION 사용

2. InterlockedIncrement 사용

3. CreateMutex 사용

4. CreateSemaphore 사용

5. CreateEvent 사용

위 글을 클릭하시면 해당 글로 넘어갑니다.