很高兴c++11的标准库可以#include <thread>了。boost早就提供了类似功能。这时候考虑下开发商、物业公司联合阻碍成立业主委员会的借口之一:
会妨碍事情的正常进展,推断也许他们也是c++的长期使用者:)
1、pthread_xx的封装
stl提供了(目前)五个头文件以支持多线程:atomic(提供原子操作功能)、thread(线程模型封装)、mutex(互斥量)、condition_variable(条件变量)、future
只使用win32的c++程序员可能对提供的线程库感觉很陌生。事实上,它看起来的确是pthread_xx的c++封装。如果对pthread不熟悉的话,可以参考https://computing.llnl.gov/tutorials/pthreads/
即便如此,在windows下创建一个默认参数的线程已经变得如此简单了:
#include <iostream> #include <thread> using namespace std; void thread_1() { cout << "hello from thread_1" << endl; } int main(int argc, char **argv) { thread t1(thread_1); /** join()相当于调用了两个函数:WaitForSingleObject、CloseHandle,事实上,在vc12中也是这么实现的 */ t1.join(); return 0; }
由于在thread的构造函数中调用了bind,线程函数的原型也简单,不用严格写成 void* (*FUN)(void*)的形式了。
甚至可以调用c++的成员函数:
#include <iostream> #include <thread> using namespace std; class thread_c { public: void thread_1() { cout << "hello from class member function" << endl; } }; int main(int argc, char **argv) { thread t1(&thread_c::thread_1, thread_c()); t1.join(); return 0; }
没错,封装后的thread class也丢失了一些系统级特性,比如,创建线城时你没法设置参数,习惯使用CREATE_SUSPENDED 参数调用_beginthread的windows开发者可能会特别不习惯。要实现诸如等待的运行方式,mutex、condition_variable这两个头文件就能用上了:
#include <iostream> #include <thread> #include <chrono> #include <mutex> #include <condition_variable> using namespace std; condition_variable cv; mutex mtx; void thread_1() { unique_lock<mutex> ulock(mtx); cv.wait(ulock); cout << "hello from thread_1" << endl; } int main(int argc, char **argv) { thread t1(thread_1); this_thread::sleep_for(chrono::seconds(1)); cv.notify_one(); t1.join(); return 0; }
condition_variable头文件对应了pthread_cond_xx一簇函数的功能实现。condition_variable::wait接受一个unique_lock<mutex>& 类型的参数。需要注意的是,
所有的wait成员函数调用都必须使用同一个"mutex"对象来构造unique_lock(可以由std::unique_lock::mutex()函数返回)pthread_cond_wait的解释要比stl的库
文档上对wait函数的解释清楚。mutex对象对条件对象进行保护,调用者把锁住的互斥量传递给wait函数,wait函数把调用线程放到等待条件的线程列表上,然后对
互斥量解锁(试想如果没有这个机制,多个线程同时对条件对象调用wait)。开始等待条件发生。当wait()函数返回的时候,互斥量又要被锁住。
2、future
此头文件实现了对指定数据提供者提供的数据进行异步访问的机制。里面包含的及个重点类:
future 能从作为供给源的对象或者函数获取值,如果是不同线程,则同步此操作
promise 保存能被future对象获取的值
#include <iostream> // std::cout #include <functional> // std::ref #include <thread> // std::thread #include <future> // std::promise, std::future #include <string> using std::string; class thread_c { public: void print_int(std::future<string>& fut) { std::cout << "value: " << fut.get() << '\n'; } }; int main() { std::promise<string> prom; std::future<string> fut = prom.get_future(); thread_c thread_obj; std::thread th1(&thread_c::print_int, thread_obj, std::ref(fut)); prom.set_value("hello future !"); th1.join(); return 0; }
来显式将一个future对象转变成shared_future
#include <iostream> // std::cout #include <functional> // std::ref #include <thread> // std::thread #include <future> // std::promise, std::future #include <string> using std::string; class thread_c { public: ~thread_c() { std::cout << "thread_c object destructed." << std::endl; } public: void print_int(std::shared_future<string>& fut) { std::cout << "value: " << fut.get() << '\n'; } }; int main() { std::promise<string> prom; std::shared_future<string> fut = prom.get_future(); thread_c thread_obj; const int thread_num = 10; std::thread threads[thread_num]; for (int i = 0; i < thread_num; i++) { threads[i] = (std::thread(&thread_c::print_int, std::ref(thread_obj), std::ref(fut)) ); } prom.set_value("hello future !"); // c++11支持的for语法 for (auto& th : threads) th.join(); return 0; }
3、atomic 提供原子操作实现。里面就两个类aotmic、atomic_flag,好像没啥好说的
4、几个函数
std::call_once 包含在mutex中,看名字也知道,它能保证某个操作只进行一次
#include <iostream> #include <functional> #include <thread> #include <future> #include <string> using std::string; class thread_c { protected: std::once_flag _once_flag; public: void thread_fun(int thread_no) { std::this_thread::sleep_for(std::chrono::microseconds(1000000)); std::call_once(_once_flag, std::bind(&thread_c::once_func, this, thread_no)); } protected: void once_func(int x) { std::cout << "called by thread " << x << std::endl; } }; int main() { thread_c thread_obj; const int thread_num = 10; std::thread threads[thread_num]; for (int i = 0; i < thread_num; i++) { threads[i] = std::thread(&thread_c::thread_fun, std::ref(thread_obj), i+1) ; } for (auto& th : threads) th.join(); return 0; }
std::async 包含在future中。它能异步执行某个函数,将结果以future对象的形式返回
#include <iostream> #include <functional> #include <thread> #include <future> using std::cout; using std::endl; class thread_c { public: int thread_fun(int num) { cout << "calculating....." << endl; int count = num; for (int i = 0; i < num; i++) { count++; } cout << "end calculate" << endl; return count; } }; int main() { thread_c thread_obj; std::future<int> ret = std::async(std::bind(&thread_c::thread_fun, &thread_obj, 10000)); cout << "async get value = " << ret.get() << endl; return 0; }
以上代码在visual studio 2013编译,gcc-4.9.2对c++11提供了完整的支持。如果两个编译都没安装,可以使用c++的在线编译器