std::thread와 std::async

 

 

✅ 스레드 기반 접근 vs 과제 기반 접근

 

work라는 함수를 비동기적으로 실행하는 방법은 두 가지 입니다. 하나는 std::thread 객체를 생성해서 그 객체에서 work를 실행하는 것이고, 이는 스레드 기반(thread-based) 프로그래밍에 해당합니다. 또 하나는 work를 std::async에 넘겨주는 것이고 이는 과제 기반(task-based) 프로그래밍에 해당합니다.

 

int work();


std::thread t(work);

auto f = std::async(work);

 

위 코드를 직관적으로 보았을 때, async를 쓰면 work의 반환 값을 얻을 수 있다는 것이 보입니다.(std::get을 통해 얻을 수 있습니다)(thread는 함수의 반환 값을 얻을 수 없습니다.)

 

이것 뿐만 아니라 대체로 과제 기반 접근방식이 스레드 기반 접근방식보다 우월합니다.

 

과제 기반 접근방식은 좀 더 높은 수준의 추상을 체현한다는 점입니다. 덕분에 프로그래머는 세부적인 스레드 관리에서 벗어날 수 있습니다. 좀 더 자세히 말하면 과제 기반 접근방식은 하드웨어 자원을 이용하여 자동으로 스레드풀을 관리해서 스레드를 할당하는 기능이 들어가 있기 때문에, 우리는 단지 async만 사용하면 된다는 것입니다.

 

 

만약, 하드웨어 스레드보다 더 많은 스레드를 만드려고 하면 어떨게 될까요?

 

스레드 기반 접근방식은 결과를 장담할 수 없습니다. exception이 발생하면서 꼴까닥 할 수도 있습니다. 하지만 과제 기반 접근방식은 스레드 관리의 책임을 C++ 표준 라이브러리 구현자에게 넘긴다. 내부적으로는 예외를 발생시키지 않고 스레드를 생성하지 않을 수 있습니다. 그럼에도 불구하고 우리는 처리되지 않은 예외를 받다가 프로그램에 문제가 생기는 것 보단 스레드 하나 덜 만드는 것이 훨씬 더 이득일 것입니다.

 

 

✅ 비동기가 필수인 경우에는 std::launch::async

 

auto f = std::async(work);

auto f2 = std::async(std::launch::async | std::launch::deferred, work);

 

std::async에는 몇 가지 생성자가 있습니다. 위 코드처럼 비동기를 실행시킬 함수만 넣어주는 생성자도 있고, 실행 방침을 지정할 수 있습니다.

 

실행 방침에는 std::launch::async, std::launch::deferred 등이 있는데, 비동기를 실행시키기 위해서는 std::launch::async를 지정합니다.

 

하지만 많은 사람들이 함수만 넣는 인자가 1개인 생성자만 호출해도 비동기를 실행시킬 수 있다고 말하지만, 실행 방침을 지정하지 않으면 std::launch::async와 std::launch::deferred을 OR로 결합한 방침이 적용합니다.

 

즉, 함수만 인자로 들어가는 std::async는 비동기적으로 실행될 수도 있고 안 될 수도 있습니다. 따라서 비동기를 실행시키는 게 분명하다면, std::launch::async를 명시적으로 지정해 주는 것이 좋습니다.

 

 

 

출처: Effective Modern C++