`std::async` Future의 소멸자가 차단되는 이유는 무엇입니까?

std::async Blocking에서 Future의 소멸자가 반환되는 이유는 무엇인가요?

C 11에서 Future의 소멸자는 std::async 블록으로 인해 교착 상태가 발생할 수 있습니다. 이러한 행동은 우려를 불러일으켰고 표준화 위원회 내에서 일련의 제안과 논의가 촉발되었습니다.

문제의 핵심은 스레드 안전을 보장하는 데 있습니다. 차단 동작이 없으면 future가 삭제된 후에도 관련 스레드가 계속 실행되어 완료를 동기화할 방법이 없는 상황이 발생할 수 있습니다. 이로 인해 메모리가 손상되거나 시스템 보안이 손상될 수도 있습니다.

N3679에서 Hans Boehm이 설명했듯이 이 시나리오는 완료를 기다리도록 의도된 코드를 우회할 수 있는 처리되지 않은 예외로 인해 더욱 악화됩니다. 따라서 차단 소멸자는 이러한 재앙적인 결과를 방지하는 안전망 역할을 합니다.

C 커뮤니티는 광범위한 심의에도 불구하고 이 문제에 대한 합의에 도달하지 못했습니다. C 14부터 std::future 및 std::thread의 소멸자는 차단 상태를 유지합니다.

그러나 향후 상황은 더욱 발전할 수 있습니다. 2013년 Michael Wong의 여행 보고서에 따르면 std::async를 지원 중단하려는 움직임이 실패했지만 차단 동작으로 인해 발생할 수 있는 잠재적인 위험에 대한 인식이 커지고 있습니다.

그동안 프로그래머는 이 사실을 알고 있어야 합니다. std::async에서 반환된 future로 작업할 때 스레드 안전성을 보장하기 위해 범위 가드 또는 명시적 동기화 메커니즘과 같은 적절한 조치를 발행하고 사용합니다.

위 내용은 `std::async` Future의 소멸자가 차단되는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!