스레드 안전 보장 :: 침입

Question

이 경우 명시 적 boost::intrusive의 문서 스레드 안전 단락에서 언급되지는 않지만, 내가 안전 boost::intrusive::list::front()을 고려할 수 있는지 알고 싶을 때 :

• 이이 수 한 작가 목록은 항상 목록
• 에 적어도

목록이 자동으로 연결 해제 유형 인 하나 개의 요소를 push_back()를했다 호출 될 수있다. 내 직감은 그 이유에서 front()과 push_back()이 열렬한 이유가 없다고합니다.

Answer 1

절대적으로 경쟁 조건입니다.

여러 스레드를 읽거나 다른 인스턴스에 대한 쓰기 액세스가 삽입 된 개체가 다른만큼 안전 갖는.

여기의 키는 다른 인스턴스입니다. 같은 인스턴스에 동시에 읽고 쓰는 중이며 사양이 안전하다는 것을 분명히 보장하지는 않습니다.

구현 일 수 있습니다. 나는 그것이 직관적으로 생각할 수 있습니다. 그러나 사양은 분명히 이것에 대해 어떤 보장도하지 않으며, 보장되지 않기 때문에 경쟁 조건을 가정해야합니다.