boost :: shared_ptr 드롭 인 대체

Question

최근에 저는 하나의 레거시 프로젝트에서 작업하고 segfaults (이중 삭제)를 수정하려고했습니다. 많은 사람들이 boost::shared_ptr 소멸자 또는 (shared_ptr을 포함하는 객체)에서 발생합니다. 이 코드에는 복사, 재설정(), 할당 등을 포함한 shared_ptr-s의 방대한 사용이 포함되어 있습니다. boost docs에 따르면 유효한 사용법이 없습니다. 많은 스레드에서 동일한 shared_ptr을 파괴/복사/재설정하는 것이 안전하지 않습니다.

매번 잠금 기능을 사용할 수 없으므로 boost :: shared_ptr 대신 drop-in replacement를 검색합니다. 질문 : 모든 boost::shared_ptr을 std::shared_ptr 또는 std::tr1::shared_ptr으로 바꿀 경우이 문제가 해결됩니까? Tr1이 더 안전한 버전이라고 생각되지만 그 점은 분명하지 않습니다. 두 번째 질문 - tr1보다 C++ 0x 버전이 더 나은가요? ++ 11 표준 : : shared_ptr의 그 문제를 해결하지만, gcc4.4 버전에 대해 확실하지 메신저해야 c를 ...,

gcc docs에 accoring에

UPD를 (우리가 GCC 4.4.6을하고 업그레이드 할 수 있습니다) : 그냥

#include <iostream> 
#include <boost/thread.hpp> 
#include <boost/shared_ptr.hpp> 

typedef boost::shared_ptr<int> ptrtype; 

ptrtype p(new int); 

void test() { 
     for(long i=0; i<1000000; ++i) { 
       ptrtype p1 = p; 
       p = ptrtype(); 
       p.reset(new int); 
     } 
} 

int main() { 
     boost::thread_group tg; 
     for(int i=0; i<100; ++i) tg.add_thread(new boost::thread(test)); 
     tg.join_all(); 
     std::cout << "Normal exit\n"; 
     return 0; 
} 

Answer 1

1 단계 : 이와 같은 클래스를 만들고 boost::shared_ptr<T>의 사용을이 클래스로 바꿉니다.

template<typename T> 
struct trivial_ptr { 
    T* t; 
    template<typename U> 
    void reset(U* p) {t=p;} 
    void reset(T* p = NULL) { t=p; } 
    template<typename U> 
    trivial_ptr<T>& operator=(trivial_shared_ptr<U>const& o) { 
    t = o.t; 
    return *t; 
    } 
    explicit trivial_ptr(T* p):t(p) {} 
    ... 
}; 

이 클래스는 실행하기위한 것이 아니라 올바른 인터페이스로 컴파일하는 것입니다. 컴파일 한 후에는 boost::shared_ptr 인터페이스의 어떤 부분을 사용하고 있는지 알 수 있습니다. (사용자 정의 삭제 자 등을 사용하고 있습니까?) 문제가 더 어려울 수도 있고 더 쉽고 위가 테스트에 도움이 될 수 있습니다.

일단 들어가면 shared_ptr<T>을 작성하는 것이 얼마나 힘든지 해결할 수 있습니다 같은 변수에 동시에 액세스하는 여러 스레드를 처리합니다.

이제 매우 지저분합니다. 하나의 스레드 reset 주어진 된 shared_ptr 다른 스레드가 읽는 동안 에서 포인터를 읽을 수있는 스레드가 액세스 할 수있을 때까지 완전히 잘못된 수 있습니다. 실제로, 모두 뮤텍스에서 기본 포인터에 액세스 할 수 있어야합니다. 이는 전혀 비실용적입니다.

다른 한편으로는 독자와 작가가 아닌 독자가 많고 이론적으로는 이론적으로 참조 횟수에 적절한 잠금을 사용하여 문제를 해결할 수 있습니다. 암호.

그러나 실제로 설명하는 것은 동일한 변수에 읽고 쓰는 다중 스레드를 포함하는 것 같습니다. 그리고 이는 변수 shared_ptr의 단순한 스레드 안전성이 수정되지 않는 방식으로 근본적으로 부러졌습니다.

Answer 2

std::shared_ptr수도 사용 원자의 int 만약 ... 내가 3 구현이 코드 (GCC 4.4) ... 난 아마 사용자 정의 클래스 또는 다른 해결 방법을 해봐야 할 것 같습니다에 세그 폴트 거 알아 지금 실험을 표시했습니다 및 컴파일러/아키텍처/구현은이를 지원/사용합니다. 그러나 나는 그것에 대해 내기를하지 않을 것이고 그렇게하면 코드의 이식성이 떨어진다. 그러나 임시 해결 방법으로 작동 할 수 있습니다 (예 : 코드 실행 내용을 이해할 수 있도록 실행중인 프로그램이있는 경우).

독자적인 shared_ptr 래퍼를 작성하는 것도 옵션 일 수 있지만 코드는 교착 상태에 대해 감사해야합니다.

Answer 3

문제는 두 개의 개별 스레드 (일명 데이터 경주)에서 변수의 동일한 인스턴스를 수정하려고 시도하는 것입니다. shared_ptr는 int의 것보다 더 이상 보호되지 않습니다. gcc 문서에 대한 참조는 같은 것을 말합니다 ("기본 제공 유형과 동일한 수준의 스레드 안전성"). 두 개의 다른 스레드에서 shared_ptr의 동일한 인스턴스를 수정하려고하면 데이터 경합을 막기 위해 일종의 동기화가 필요합니다. 동일한 객체를 가리키는 shared_ptr의 두 인스턴스를 수정하려고하면 (데이터 경쟁이 없거나 shared_ptr이 데이터 경쟁을 방지하는 데 필요한 모든 것을 구현해야합니다). 그들이 가리키는 개체를 수정하려고 시도하는 것은 데이터 경주이기도합니다.