발아 바라 프로그래밍

항목 37에서 합류 가능한 스레드가 동작중에 스레드 객체가 소멸되면 프로그램이 종료된다고 하였다. 스레드와 비슷한 async 객체가 남기는 future 객체는 암묵적 join과 암묵적 detach와 비슷한 행동을 수행한다. 그럼에도 스레드와 다르게 프로그램이 종료된다거나 미정의 행동을 하지는 않는다. 어떻게 동작할 수 있을까? 공유 상태 우선 스레드의 결과가 어디에 저장되는지 살펴보아야 한다. 생각할 수 있는 가능성은 두가지일 것이다. 스레드를 생성한 쪽이거나 스레드로 생각할 수 있다. 그러나 두가지 모두가 아닌 외부에 저장된다. 그 이유를 생각해보자. 스레드를 생성한 쪽에 저장되는 경우 위와 같은 경우에는 future 객체에 저장될 것이다. 그런데 future 객체는 std::shared_future ..

이전 포스트에서 이야기한것처럼 std::async 는 스레드를 생성하지 않을 수도 있다. https://pppgod.tistory.com/56 불러오는 중입니다... 시동 방침을 통해 비동기로 수행되도록 할 수 있다. 시동 방침이 무엇인지 알아보자. std::launch::async 이 조건문을 사용하면 항상 스레드를 생성하게 된다. std::launch::deferred 해당 조건을 사용하면 get 이나 wait 을 호출할 때까지 함수가 실행되지 않는다. 위의 두가지 시동 방침을 살펴보았는데, 기본 시동 방침은 과연 무엇일까? 정답은 두가지 조건을 모두 사용한다. 다시 말하면 함수는 비동기적으로 실행될 수도 동기적으로 실행될 수도 있다. 그런데 위와 같은 특성 때문에 문제가 발생할 수 있다. 다음을 살..

비동기적으로 함수를 실행하는 방법은 std::thread 객체를 생성하는 방법과 std::async 객체를 생성하는 방법이다. std::thread 객체를 생성하는 방법이 스레드 기반 프로그래밍을 의미하고, std::async 객체를 이용하는 방법이 과제 기반 프로그래밍을 의미한다. 코드를 살펴보면 다음과 같은 차이가 존재한다. int doAsyncWork(); // 스레드 기반 std::thread t(doAsyncWork); // 과제 기반 auto fut = std::async(doAsyncWork); // future 객체가 생성됨 과제 기반 프로그래밍에서 future 객체가 생성된다는 것에 집중해야 한다. doAsyncWork 함수가 종료되면 반환값이 존재하는 것을 살펴볼 수 있는데 스레드를 사..