내 멀티스레드 프로그램이 최적화 모드에서는 정지하지만 -O0에서는 작동하는 이유는 무엇입니까?

멀티스레딩 프로그램이 최적화 모드에서 정지하지만 -O0에서는 정상적으로 실행됩니다.

이 문제는 공유 변수가 원자적이지 않은 멀티스레딩 프로그램에서 발생합니다. 특히 문제는 두 스레드가 동기화나 원자성 없이 액세스하는 부울 변수가 done에 있습니다.

최적화 모드에서 컴파일러는 여러 스레드가 액세스하는 공유 변수가 보호된다고 가정합니다. 그러나 이 프로그램에서는 done이 일반 bool로 선언되어 비원자적이게 됩니다. 이를 통해 컴파일러는 다중 스레드 작업에 필수적인 동기화 메커니즘을 최적화할 수 있습니다.

이 문제를 해결하려면 done을 std::atomic으로 선언해야 합니다. 이 유형은 원자성 읽기 및 쓰기 작업을 제공하여 변수에 대한 동시 액세스가 잘 정의되고 일관되게 유지되도록 보장합니다.

고정 코드:

#include <iostream>
#include <future>
#include <atomic>

static std::atomic<bool> finished = false;

int func()
{
    size_t i = 0;
    while (!finished)
        ++i;
    return i;
}

int main()
{
    auto result = std::async(std::launch::async, func);
    std::this_thread::sleep_for(std::chrono::seconds(1));
    finished = true;
    std::cout << "result = " << result.get();
    std::cout << "\nmain thread>

라이브 데모: coliru

추가 고려 사항:

• 휘발성 변수만으로는 원자성을 보장할 수 없습니다. 컴파일러가 읽기/쓰기 작업을 최적화하는 것을 방지하지만 메모리 장벽이나 동기화 프리미티브를 제공하지 않습니다.
• 최신 컴파일러는 최적화에 매우 공격적입니다. 예상치 못한 동작을 방지하려면 공유 메모리 영역과 리소스 동기화 요구 사항을 명시적으로 지정하는 것이 중요합니다.

위 내용은 내 멀티스레드 프로그램이 최적화 모드에서는 정지하지만 -O0에서는 작동하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!