2007년 6월 18일 월요일

volatile

volatile은 C언어 키워드이다. 이 녀석은 컴파일러가 잘못 최적화하는 것을 막을 때 쓰인다. 일단 예제를 보자.

class CMyThread
{
private:
    void* thrProcess(void* param)
    {
       while ( !m_bExit )   // 위치1
       {
          // blar blar blar
       }
       pthread_exit(NULL);
    }

private:
    bool m_bExit;            // 위치2
};


위와 같은 쓰레드 소스에서, 쓰레드 루프를 빠져나오는 조건(위치1)이 m_bExit가 참일 때이다. 그런데 컴파일러는 루프 안에서 m_bExit를 고치는 함수가 없다는 것을 판단하면 루프를 아래와 같이 고칠 것이고, 어셈블리어로 변환할 때 비교도 없이 단순히 jmp만 할 것이다.

LOOP_START:
// blar blar
goto LOOP_START;
pthread_exit(NULL);


이처럼 최적화로 원치 않는 결과를 막기 위해 이 변수(또는 함수)는 최적화 하지 말라고 컴파일러에 명시적으로 알려주는 것이 바로 volatile이다. 위 소스에서 간단하게 변수 정의할 때(위치2) 형 앞에 volatile이라고 붙이면 끝이다.

private:
    volatile bool m_bExit;