首页 > 程序人生 > 漫话C++0x(五)—- thread, mutex, condition_variable

漫话C++0x(五)—- thread, mutex, condition_variable

熟悉C++98的朋友,应该都知道,在C++98中没有thread, mutex, condition_variable这些与concurrency相关的特性支持,如果需要写多线程相关程序,都要借助于不同平台上各自提供的api,这样带来的问题就是程序的跨平台移植性比较差,经常要用一大堆的#ifdef WIN32类似的宏来区分不同的平台,搞得程序很难看。C++0x最原始的初衷之一就是为了让C++的功能更加强大,更加方便使用。现如今硬件如此发达,concurrency在程序设计中已经是司空见惯的事情了,如果C++再不支持这些concurrency相关的特性,就真的out了。现在,C++程序员的福音到了,C++0x提供了对thread, mutex, condition_variable这些concurrency相关特性的支持,以后多线程这一块的代码可以完全跨平台了,而且由于C++0x封装的都比较好,代码写起来也十分简洁。下面开始介绍今天的内容。

  • 1. thread
  • 写过多线程程序的朋友,相信对thread本身都不会陌生,这里不对thread本身做太多的说明,以介绍C++0x中提供的thread的用法为主。请大家先看下面的例子:

    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    
    #include < iostream>
    #include < string>
    #include < thread>
     
    class Printer
    {
    public:
        void Print(int id, std::string& name)
        {   
            std::cout < < "id=" << id << ", name=" << name;
        }   
    };
     
    void Hello()
    {
        std::cout << "hello world" << std::endl;
    }
     
    int main()
    {
        Printer p;
        int id = 1;
        std::string name("xiao5ge");
     
        std::thread t1(&Printer::Print, p, id, name);
        std::thread t2(std::bind(&Printer::Print, p, id, name));
        std::thread t3([&]{ p.Print(id, name); }); 
        std::thread t4(Hello);
     
        t4.join();
        t3.join();
        t2.join();
        t1.join();
    }

    下面我们来通过分析上面的例子,来说明一下thread的用法。上面的t1-t4的四个例子,分别是thread的四种构造方式,我们一一来介绍一下:

    • (1)这种方式是通过变参数模板实现的,第一个参数是线程入口函数的地址,后面的参数按函数调用时的参数顺序传入。这里需要说明两点:一是变参模板也是C++0x新增的特性,将会在后面的文章中介绍;二是,类成员函数的第一个参数永远是this,所以这里第一个参数放的是对象本身。
    • (2)这种方式是传入一个std::function对象,bind/function在前一篇中有介绍,不熟悉的朋友可以先看一下C++0x系列的第四篇。
    • (3)这种方式是传入一个lambda表达式,也即一个closure,是比较常用的方式。关于lambda也在上一篇中有介绍。
    • (4)这种方式是最简单,最常用的方式,直接传入一个函数,写过多线程程序的朋友应该对这种方式最为熟悉。

    上面介绍了C++0x thread的基本用法,下面需要再补充几点使用过程需要注意的事项:

    • (1)如果入口函数的参数是以引用或指针形式传入的,需要使用者保证在线程运行过程中,这些参数一直是有效的。同时,如果有多个线程会访问或者修改这些变量,需要使用者做好同步,保证一致性。
    • (2)关于上面提到的几种构造方式,简单的直接用4,复杂的推荐的选择顺序:1->3->2,即变参模板方式->lambda方式->bind方式
    • (3)通常需要等子线程运行完,主线程才退出,所以在主线程中通常需要调各子线程的join()。
  • 2. mutex
  • mutex实现的是“互斥锁”的语义,在多线程的程序中,经常需要通过锁的机制来保证数据的一致性,C++0x提供了下面四种语义的mutex:

    • (1) std::mutex: 普通的互斥锁,不能递归使用
    • (2) std::timed_mutex:带超时的互斥锁,不能递归使用
    • (3) std::recursive_mutex:递归互斥锁
    • (3) std::recursive_timed_mutex:带超时的递归互斥锁

    关于mutex的使用,我们通常建议使用RAII(Resource Acquisition is Initialization)的方式,即在构造的时候lock, 析构的时候unlock, 不建议直接显式的lock/unlock,因为这样比较容易出错。因此,C++0x也提供了两个工具类std::lock_guard和std::unique_lock来辅助我们使用mutex,下面我们通过例子来看一下具体的使用:

    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    
    #include < mutex>
     
    // global vars
    int data = 0;
    std::mutex data_mutex;
     
    // thread 1
    {
        std::lock_guard< std::mutex> locker(data_mutex);
        data = 1;
    }
     
    // thread 2
    {
        std::lock_guard< std::mutex> locker(data_mutex);
        data = 2;
    }

    从上面的例子,相信大家可以对mutex的基本使用方法都应该比较清楚了,由于mutex本身就比较简单,这里不再赘言。说一下std::unique_lock和std::lock_guard的区别,std::lock_guard只允许RAII方式的使用,而std::unique_lock可以在构造之后调用lock/unlock, 更加灵活一些,但使用的时候出错的机率也更大一些,所以如果没有什么特殊的需求,通常推荐尽量使用std::lock_guard.

  • 3. condition_variable
  • 关于condition_variable,它的语义是今天讲的三个内容里面相对复杂一些的,我在之前也写过一篇关于它的文章,不熟悉的朋友可以先阅读一下《条件变量(Condition Variable)详解》这篇文章,先了解一下条件变量,以方便理解后面的内容。我们知道,条件变量主要是用在多线程之间修改了shared_data之后的相互通信,由于条件变量在多线程编程中非常有用,所以C++0x也添加了对条件变量的支持,下面是C++0x提供的两种不同类型的条件变量:

  • (1)condition_variable: 用在std::unique_lock< std::mutex>上wait, 比较高效。
  • (2)condition_variable_any: 可以用在任意mutex上wait, 比较灵活,但效率比condition_variable差一些。

下面我们通过例子来看看,条件变量在C++0x中的使用方式:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
// global
std::atomic< bool> is_finish(false);
std::mutex finish_mutex;
std::condition_variable finish_cond;
 
// thread 1
{
    std::unique< std::mutex> locker(finish_mutex);
 
    // 1. loop wait
    while (!is_finish)
    {   
        finish_cond.wait(locker);
    }   
 
    // 2. wait until prediction is true, loop inside
    finish_cond.wait(locker, []{ return is_finish; }); 
 
    // 3. wait until eithor prediction is true or timeout
    finish_cond.wait(locker, std::chrono::seconds(1),
            []{ return is_finish; }); 
}
 
// thread 2
{
    is_finish = true;
 
    // 1. notify one of the waiter
    finish_cond.notify_one();
 
    // 2. notify all the waiter
    finish_cond.notify_all();
}

上面的例子,基本覆盖了C++0x提供的条件变量的主要用法。下面我们来一一分析一下,帮助大家更好的理解:

  • (1)关于wait,有三种基本的用法:第1种是在指定的条件上循环等待,直到条件为真notify时才会继续执行后面的逻辑;第2种用法语义上和第1种是一样的,但是不是用户做显式的loop等待,用户传入一个需要满足的条件的closure, wait一直等到这个条件为真被notify时才会返回继续执行下面的逻辑,可以理解为这时候,在wait内部有一个loop;第3 种用法,加了一个超时的语义,wait一直等到条件为真或者超时,被notify时才会返回继续执行下面的逻辑。
  • (2)关于notify, 有两种:第1种是notify_one, 只唤醒一个在wait的线程; 第2种是notify_all,唤醒所有在wait的线程,相当于一个broadcast的语义。

以上即是今天的主要内容,希望对正在学习C++0x的朋友有所帮助,荣幸之至!

  1. 2011年11月6日15:42 | #1

    和boost库差不多

  2. 2011年11月6日16:45 | #2

    是的,很多特性是从boost过来的 @exmorning

  3. beyondbright
    2011年11月6日21:08 | #3

    研究的这么深入啊~

  4. 2011年11月7日00:08 | #4

    呵呵,现在咱俩是隔“行”如隔山了,你搞的那个东西,我都不会,也觉得很深入,一样的道理。@beyondbright

  5. beyondbright
    2011年11月8日01:01 | #5

    额,我这是木有办法啊。。。过两天可能得研究在android上开发。。。

  6. 2011年11月8日12:37 | #6

    手机市场前景不错,可以好好搞搞。@beyondbright

  1. 本文目前尚无任何 trackbacks 和 pingbacks.
您必须在 登录 后才能发布评论.