휘발성 키워드 RAII 관용구 (C++)와 유사한 (중요한) 코드 블록에 대한 동시 액세스를 제어하는 ​​클래스를 가지고 가정

Question

이 하나

class RAIIObj : public boost::noncopyable { 
public: 
    explicit RAIIObj(LockObj& Obj) : LkObj(Obj) { Obj.Acquire(); } 
    ~RAIIObj() { try { Obj.Release(); } catch (...) {} } 
private: 
    LockObj& LkObj; 
}; 

코드와 같은 조각을 사용하여 수행 내가 필요 에 휘발성 키워드를 사용하면 최적화 된 코드가 보이지 않습니까?

예를 들어

, 나는 LKGuard 항상 존재하는지 확인하기 위해

ALockingObj LockObj; 

void AFunc() { 
    RAIIObj LKGuard(LockObj); 

    // do some MT stuff 
} 

또는

ALockingObj LockObj; 

void AFunc() { 
    volatile RAIIObj LKGuard(LockObj); 

    // do some MT stuff 
} 

를 작성해야합니까?

LKGuard는 본문의 어느 지점에서나 사용되지 않는 로컬 변수이므로 volatile 키워드를 사용하지 않으면 함수를 최적화 할 수 있습니까?

감사

Answer 1

당신이 휘발성 선언 할 필요가없는 더.하지 컴파일러는 lkobj가 최적화되지 않는 모든 것들을 수행한다는 것을 알 수 있습니다 (int lkobj;은 분명히 아무 것도하지 않습니다).

Answer 2

표준에 관한 답변은 pm100에서 제공 한 것이 맞지만 GCC 4.9가 RAII 유형을 최적화 할 수 있다는 것을 발견했습니다 (최적화 플래그 : -Os -flto).

class MutexLocker 
{ 
    chibios_rt::Mutex& mutex_; 
public: 
    MutexLocker(chibios_rt::Mutex& m) : mutex_(m) 
    { 
     mutex_.lock(); 
    } 
    ~MutexLocker() 
    { 
     mutex_.unlock(); 
    } 
}; 

이 유형은 휘발성 만들기 해결했다 문제 :

namespace impl_ 
{ 
    class MutexLockerImpl 
    { 
     chibios_rt::Mutex& mutex_; 
    public: 
     MutexLockerImpl(chibios_rt::Mutex& m) : mutex_(m) 
     { 
      mutex_.lock(); 
     } 
     ~MutexLockerImpl() 
     { 
      mutex_.unlock(); 
     } 
    }; 
} 
using MutexLocker = volatile impl_::MutexLockerImpl; 

을 따라서, 표준 그렇게 나는 것 필요로하지 않는다는 사실에도 불구하고 이것은 내가 최적화 멀리 던지는 것을 가지고 코드입니다 공격적인 최적화를 설명하기 위해 RAII 유형을 명시 적으로 선언 할 것을 제안합니다.