C++98
標準中並無線程庫的存在,直到C++11
中才終於提供了多線程的標準庫,提供了管理線程、保護共享數據、線程間同步操做、原子操做等類。多線程庫對應的頭文件是#include <thread>
,類名爲std::thread
。html
然而線程畢竟是比較貼近系統的東西,使用起來仍然不是很方便,特別是線程同步及獲取線程運行結果上就更加麻煩。咱們不能簡單的經過thread.join()
獲得結果,必須定義一個線程共享的變量來傳遞結果,同時還要考慮線程間的互斥問題。好在C++11
中提供了一個相對簡單的異步接口std::async
,經過這個接口能夠簡單的建立線程並經過std::future
中獲取結果。以往都是本身去封裝線程實現本身的async,如今有線程的跨平臺接口可使用就極大的方便了C++多線程編程。ios
先看一下std::async
的函數原型c++
//(C++11 起) (C++17 前) template< class Function, class... Args> std::future<std::result_of_t<std::decay_t<Function>(std::decay_t<Args>...)>> async( Function&& f, Args&&... args ); //(C++11 起) (C++17 前) template< class Function, class... Args > std::future<std::result_of_t<std::decay_t<Function>(std::decay_t<Args>...)>> async( std::launch policy, Function&& f, Args&&... args );
第一個參數是線程的建立策略,有兩種策略可供選擇:express
std::launch::async
:在調用async就開始建立線程。std::launch::deferred
:延遲加載方式建立線程。調用async時不建立線程,直到調用了future的get或者wait時才建立線程。默認策略是:std::launch::async | std::launch::deferred
也就是兩種策略的合集,具體什麼意思後面詳細再說編程
第二個參數是線程函數api
線程函數可接受function, lambda expression, bind expression, or another function object
多線程
第三個參數是線程函數的參數併發
再也不說明dom
返回值std::future異步
std::future
是一個模板類,它提供了一種訪問異步操做結果的機制。從字面意思上看它表示將來,這個意思就很是貼切,由於她不是當即獲取結果可是能夠在某個時候以同步的方式來獲取結果。咱們能夠經過查詢future的狀態來獲取異步操做的結構。future_status有三種狀態:
示例:
//查詢future的狀態 std::future_status status; do { status = future.wait_for(std::chrono::seconds(1)); if (status == std::future_status::deferred) { std::cout << "deferred" << std::endl; } else if (status == std::future_status::timeout) { std::cout << "timeout" << std::endl; } else if (status == std::future_status::ready) { std::cout << "ready!" << std::endl; } } while (status != std::future_status::ready);
std::future
獲取結果的方式有三種:
介紹完了std::async
的函數原型,那麼它到底該如何使用呢?
std::async
的基本用法:示例連接
#include <iostream> #include <vector> #include <algorithm> #include <numeric> #include <future> #include <string> #include <mutex> std::mutex m; struct X { void foo(int i, const std::string& str) { std::lock_guard<std::mutex> lk(m); std::cout << str << ' ' << i << '\n'; } void bar(const std::string& str) { std::lock_guard<std::mutex> lk(m); std::cout << str << '\n'; } int operator()(int i) { std::lock_guard<std::mutex> lk(m); std::cout << i << '\n'; return i + 10; }}; template <typename RandomIt>int parallel_sum(RandomIt beg, RandomIt end){ auto len = end - beg; if (len < 1000) return std::accumulate(beg, end, 0); RandomIt mid = beg + len/2; auto handle = std::async(std::launch::async, parallel_sum<RandomIt>, mid, end); int sum = parallel_sum(beg, mid); return sum + handle.get(); } int main(){ std::vector<int> v(10000, 1); std::cout << "The sum is " << parallel_sum(v.begin(), v.end()) << '\n'; X x; // 以默認策略調用 x.foo(42, "Hello") : // 可能同時打印 "Hello 42" 或延遲執行 auto a1 = std::async(&X::foo, &x, 42, "Hello"); // 以 deferred 策略調用 x.bar("world!") // 調用 a2.get() 或 a2.wait() 時打印 "world!" auto a2 = std::async(std::launch::deferred, &X::bar, x, "world!"); // 以 async 策略調用 X()(43) : // 同時打印 "43" auto a3 = std::async(std::launch::async, X(), 43); a2.wait(); // 打印 "world!" std::cout << a3.get() << '\n'; // 打印 "53" } // 若 a1 在此點未完成,則 a1 的析構函數在此打印 "Hello 42"
可能的結果
The sum is 10000 43 world! 53 Hello 42
因而可知,std::async
是異步操做作了一個很好的封裝,使咱們不用關注線程建立內部細節,就能方便的獲取異步執行狀態和結果,還能夠指定線程建立策略。
深刻理解線程建立策略
二者策略都很明確,然而該函數的默認策略卻頗有趣,它不是你顯示指定的,也就是第一個函數原型中所用的策略即std::launch::async | std::launch::deferred
,c++標準中給出的說明是:
進行異步執行仍是惰性求值取決於實現
auto future = std::async(func); // 使用默認發射模式執行func
這種調度策略咱們沒有辦法預知函數func是否會在哪一個線程執行,甚至沒法預知會不會被執行,由於func可能會被調度爲推遲執行,即調用get或wait的時候執行,而get或wait是否會被執行或者在哪一個線程執行都沒法預知。
同時這種調度策略的靈活性還會混淆使用thread_local變量,這意味着若是func寫或讀這種線程本地存儲(Thread Local Storage,TLS),預知取到哪一個線程的本地變量是不可能的。
它也影響了基於wait循環中的超時狀況,由於調度策略可能爲deferred
的,調用wait_for或者wait_until會返回值std::launch::deferred。這意味着下面的循環,看起來最終會中止,可是,實際上可能會一直運行:
void func() // f睡眠1秒後返回 { std::this_thread::sleep_for(1); } auto future = std::async(func); // (概念上)異步執行f while(fut.wait_for(100ms) != // 循環直到f執行結束 std::future_status::ready) // 但這可能永遠不會發生 { ... }
爲避免陷入死循環,咱們必須檢查future是否把任務推遲,然而future沒法獲知任務是否被推遲,一個好的技巧就是經過wait_for(0)來獲取future_status是不是deferred:
auto future = std::async(func); // (概念上)異步執行f if (fut.wait_for(0) == std::future_status::deferred) // 若是任務被推遲 { ... // fut使用get或wait來同步調用f } else { // 任務沒有被推遲 while(fut.wait_for(100ms) != std::future_status::ready) { // 不可能無限循環 ... // 任務沒有被推遲也沒有就緒,因此作一些併發的事情直到任務就緒 } ... // fut就緒 }
有人可能會說既然有這麼多缺點爲啥還要用它,由於畢竟咱們考慮的極限狀況下的可能,有時候我不要求它是併發仍是同步執行,也不須要考慮修改那個線程thread_local變量,同時也能接受可能任務永遠不會執行,那麼這種方式就是一種方便且高效的調度策略。
綜上所述,咱們總結出如下幾點:
參考文章: