# async()
async()函數是一個簡單任務的”啟動”(launcher)函數,它是本FAQ中唯一一個尚未在標準草案中投票通過的特性。我希望它能在調和兩個略微不同的意見之后最終于10月份獲得通過(記得隨時騷擾你那邊的投票委員,一定要為它投票啊?)。
下邊是一種優于傳統的線程+鎖的并發編程方法示例(譯注:山寨map-reduce哦):
```
template<class T,class V> struct Accum { // 簡單的積函數對象
T* b;
T* e;
V val;
Accum(T* bb, T* ee, const V& v) : b{bb}, e{ee}, val{vv} {}
V operator() ()
{ return std::accumulate(b,e,val); }
};
void comp(vector<double>& v)
// 如果v夠大,則產生很多任務 {
if (v.size()<10000)
return std::accumulate(v.begin(),v.end(),0.0);
auto f0 {async(Accum{&v[0],&v[v.size()/4],0.0})};
auto f1 {async(Accum{&v[v.size()/4],&v[v.size()/2],0.0})};
auto f2 {async(Accum{&v[v.size()/2],&v[v.size()*3/4],0.0})};
auto f3 {async(Accum{&v[v.size()*3/4],&v[v.size()],0.0})};
return f0.get()+f1.get()+f2.get()+f3.get();
}
```
盡管這只是一個簡單的并發編程示例(留意其中的”magic number“),不過我們可沒有使用線程,鎖,緩沖區等概念。f*變量的類型(即async()的返回值)是”std::future”類型。future.get()表示如果有必要的話則等待相應的線程(std::thread)運行結束。async的工作是根據需要來啟動新線程,而future的工作則是等待新線程運行結束。”簡單性”是async/future設計中最重視的一個方面;future一般也可以和線程一起使用,不過不要使用async()來啟動類似I/O操作,操作互斥體(mutex),多任務交互操作等復雜任務。async()背后的理念和range-for statement很類似:簡單事兒簡單做,把復雜的事情留給一般的通用機制來搞定吧。
async()可以啟動一個新線程或者復用一個它認為合適的已有線程(非調用線程即可)(譯注:語義上并發即可,不關心具體的調度策略。和go語義中的goroutines有點像)。后者從用戶視角看更有效一些(只對簡單任務而言)。
參考:
* Standard: ???
* Lawrence Crowl:
[An Asynchronous Call for C++](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2009/n2889.html).
N2889 = 09-0079.
* Herb Sutter :
[A simple async()](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2009/n2901.pdf)
N2901 = 09-0091 .
(翻譯:interma)
- C++11 FAQ中文版 - C++11 FAQ
- Stroustrup先生關于中文版的授權許可郵件
- Stroustrup先生關于C++11 FAQ的一些說明
- 關于C++11的一般性的問題
- 您是如何看待C++11的?
- 什么時候C++0x會成為一部正式的標準呢?
- 編譯器何時將會實現C++11標準呢?
- 我們何時可以用到新的標準庫文件?
- C++0x將提供何種新的語言特性呢?
- C++11會提供哪些新的標準庫文件呢?
- C++0x努力要達到的目標有哪些?
- 指導標準委員會的具體設計目標是什么?
- 在哪里可以找到標準委員會的報告?
- 從哪里可以獲得有關C++11的學術性和技術性的參考資料?
- 還有哪些地方我可以讀到關于 C++0x的資料?
- 有關于C++11的視頻嗎?
- C++0x難學嗎?
- 標準委員會是如何運行的?
- 誰在標準委員會里?
- 實現者應以什么順序提供C++11特性?
- 將會是C++1x嗎?
- 標準中的"concepts"怎么了?
- 有你不喜歡的C++特性嗎?
- 關于獨立的語言特性的問題
- __cplusplus宏
- alignment(對齊方式)
- 屬性(Attributes)
- atomic_operations
- auto – 從初始化中推斷數據類型
- C99功能特性
- 枚舉類——具有類域和強類型的枚舉
- carries_dependency
- 復制和重新拋出異常
- 常量表達式(constexpr)
- decltype – 推斷表達式的數據類型
- 控制默認函數——默認或者禁用
- 控制默認函數——移動(move)或者復制(copy)
- 委托構造函數(Delegating constructors)
- 并發性動態初始化和析構
- noexcept – 阻止異常的傳播與擴散
- 顯式轉換操作符
- 擴展整型
- 外部模板聲明
- 序列for循環語句
- 返回值類型后置語法
- 類成員的內部初始化
- 繼承的構造函數
- 初始化列表
- 內聯命名空間
- Lambda表達式
- 用作模板參數的局部類型
- long long(長長整數類型)
- 內存模型
- 預防窄轉換
- nullptr——空指針標識
- 對重載(override)的控制: override
- 對重載(override)的控制:final
- POD
- 原生字符串標識
- 右角括號
- 右值引用
- Simple SFINAE rule
- 靜態(編譯期)斷言 — static_assert
- 模板別名(正式的名稱為"template typedef")
- 線程本地化存儲 (thread_local)
- unicode字符
- 統一初始化的語法和語義
- (廣義的)聯合體
- 用戶定義數據標識(User-defined literals)
- 可變參數模板(Variadic Templates)
- 關于標準庫的問題
- abandoning_a_process
- 算法方面的改進
- array
- async()
- atomic_operations
- 條件變量(Condition variables)
- 標準庫中容器方面的改進
- std::function 和 std::bind
- std::forward_list
- std::future和std::promise
- 垃圾回收(應用程序二進制接口)
- 無序容器(unordered containers)
- 鎖(locks)
- metaprogramming(元編程)and type traits
- 互斥
- 隨機數的產生
- 正則表達式(regular expressions)
- 具有作用域的內存分配器
- 共享資源的智能指針——shared_ptr
- smart pointers
- 線程(thread)
- 時間工具程序
- 標準庫中的元組(std::tuple)
- unique_ptr
- weak_ptr
- system error