Reentrancy
C++ 클래스는 종종 자신의 멤버 데이터에만 액세스하기 때문에 재진입이 가능하다.
예를 들어 두개의 스레드가 동시에 클래스의 동일한 인스턴스에서 멤버함수를 호출 할 수없는 한 아래의 카운터 클래스는 재진입가능하다.
class Counter
{
public:
Counter() { n = 0; }
void increment() { ++n; }
void decrement() { --n; }
int value() const { return n; }
private:
int n;
};
그러나 여러 스레드가 동시에 데이터 멤버 n을 수정하려고하면 결과가 정의되지 않으므로 클래스는 스레드로부터 안전하지 않다.
이는 ++ 및 -- 연산자가 항상 atomic인 것은 아니기 때문이다. 실제로, 다음 세 가지 기계어 인스트럭션으로 확장된다 :
1.레지스터에 변수값을 로드한다.
2.레지스터 값을 증가시키거나 감소시킨다.
3.레지스터의 값을 다시 주 메모리에 저장한다.
스레드 A와 스레드 B가 변수의 이전 값을 동시에 로드하고 레지스터를 증분하고 다시 저장하면 서로 덮어쓰고 변수는 한 번만 증가한다!
Thread-Safety
스레드 A는 스레드 B가 동일한 단계를 수행하기 전에 중단없이 (원자 적으로) 1, 2, 3 단계를 수행해야한다. 혹은 그 반대로.
스레드에 안전한 클래스를 만드는 쉬운 방법은 QMutex를 사용하여 데이터 멤버에 대한 모든 액세스를 보호하는 것이다.
#include <QMutex>
class Counter
{
public:
Counter() { n = 0; }
void increment() { QMutexLocker locker(&mutex); ++n; }
void decrement() { QMutexLocker locker(&mutex); --n; }
int value() const { QMutexLocker locker(&mutex); return n; }
private:
mutable QMutex mutex;
int n;
};
QMutexLocker 클래스는 생성자에서 뮤텍스를 자동으로 잠그고 소멸자가 호출되면 함수 끝에서 잠금을 해제한다. 뮤텍스를 잠그면 다른 스레드로부터의 액세스가 직렬화된다. mutex 데이터 멤버는 const 함수인 value()에서 뮤텍스를 잠그고 잠금을 해제해야 하기 때문에 mutable 한정자로 선언된다.
