포인터 할당을 사용하여 안전하게 스레드 시작을 감지 할 수 있습니까?

Question

필자는 시스템의 일부 기능이 항상 정의 된 스레드 컨텍스트에서 실행되도록 보장하기 위해 일종의 래퍼를 빨리 작성했습니다. 코드를 가능한 작게 만들기 위해 포인터 할당을 사용하여 스레드가 시작되었는지 확인합니다.

void waitForStart() { 
    while (_handler == nullptr) { 
     msleep(100); // Sleep for 100ms; 
    } 
    msleep(100); // Sleep for 100ms to make sure the pointer is assigned 
} 

내 의견으로는 어떤 경우에도 작동합니다. _handler에 대한 할당이 알려지지 않은 경우에도 CPU에서 두 작업으로 분리됩니다.

제 가정은 정확합니까? 또는 이것이 잘못 될 수있는 경우를 놓쳤습니까?

참고로 시스템이 어떻게 보이는지에 대한보다 완전한 예를 들어보십시오. System의 Thread과 Handler 클래스가 있습니다 :

class Handler { 
public: 
    void doSomeWork() { 
     // things are executed here. 
    } 
}; 

class Thread : public ThreadFromAFramework { 
public: 
    Thread() : _handler(nullptr) { 
    } 
    void waitForStart() { 
     while (_handler == nullptr) { 
      msleep(100); // Sleep for 100ms; 
     } 
     msleep(100); // Sleep for 100ms to make sure the pointer is assigned 
    } 
    Handler* handler() const { 
     return _handler; 
    } 
protected: 
    virtual void run() { // This method is executed as a new thread 
     _handler = new Handler(); 
     exec(); // This will go into a event loop 
     delete _handler; 
     _handler = nullptr; 
    } 
private: 
    Handler *_handler; 
} 

class System { 
public: 
    System() { 
     _thread = new Thread(); 
     _thread->start(); // Start the thread, this will call run() in the new thread 
     _thread->waitForStart(); // Make sure we can access the handler. 
    } 
    void doSomeWork() { 
     Handler *handler = _thread->handler(); 
     // "Magically" call doSomeWork() in the context of the thread. 
    } 
private: 
    Thread *_thread; 
} 

Answer 1

당신이 잘못 될 수있는 경우를 놓쳤다. 스레드가 포인터를 설정 한 후 5msec 후에 스레드가 종료 될 수 있습니다. 두 스레드에서 변경되는 변수에 액세스하는 것은 동기화 없이는 결코 신뢰할 수 없습니다.