Boost并发编程之shared_mutex

本文参考

    shared_mutex即读写锁,不同与我们常用的独占式锁mutex,shared_mutex是共享与独占共存的锁,实现了读写锁的机制,即多个读线程一个写线程,通常用于对于一个共享区域的读操作比较频繁,而写操作比较少的情况。

    读写锁比起mutex具有更高的适用性,具有更高的并行性,可以有多个线程同时占用读模式的读写锁,但是只能有一个线程占用写模式的读写锁,读写锁的基本规则可以总结为“写优先,读共享,交叉互斥“,具体表现为读写锁的三种状态:
        (1)当读写锁是写加锁状态时,在这个锁被解锁之前,所有试图对这个锁加锁的线程都会被阻塞。(交叉互斥)
        (2)当读写锁在读加锁状态时,所有试图以读模式对它进行加锁的线程都可以得到访问权,但是以写模式对它进行加锁的线程将会被阻塞。(读共享,交叉互斥)
        (3)当读写锁在读模式的锁状态时,如果有另外的线程试图以写模式加锁,读写锁通常会阻塞随后的读模式锁的请求,这样可以避免读模式锁长期占用,而等待的写模式锁请求则长期阻塞。(写优先)

注:其实在读者-写者问题中,有读者优先和写者优先两种模式,只是在boost中的shared_mutex默认的实现是写者优先,这其实也是有道理的,因为在我们总是希望读到的数据是最新的,这就得保证写者优先。

    下面通过一个 boost::shared_mutex的应用实例来反应其锁机制,该例子中我们建立两个读者线程,两个写者线程,程序的实际运行结果很直接的反应了shared_mutex应用情况。

#include   
#include   
#include   
using namespace boost;  
  
int g_num = 10;      //全局变量,写者改变该全局变量,读者读该全局变量  
shared_mutex s_mu;   //全局shared_mutex对象  
  
//写线程  
void read_(std::string &str)  
{  
    const char* c = str.c_str();  
    while (1)  
    {  
        {  
            shared_lock m(s_mu);    //读锁定,shared_lock  
            printf("线程%s进入临界区,global_num = %d\n", c, g_num);  
            boost::this_thread::sleep(boost::posix_time::seconds(1));    //sleep 1秒,给足够的时间看其他线程是否能进入临界区  
            printf("线程%s离开临界区...\n", c);  
        }  
        boost::this_thread::sleep(boost::posix_time::seconds(1));   //读线程离开后再slpp 1秒(改变这个值可以看到不一样的效果)  
    }  
}  
  
//读线程  
void writer_(std::string &str)  
{  
    const char* c = str.c_str();  
    while (1)  
    {  
        {  
            unique_lock m(s_mu);    //写锁定,unique_lock  
            ++g_num;  
            printf("线程%s进入临界区,global_num = %d\n", c, g_num);  
            boost::this_thread::sleep(boost::posix_time::seconds(1));    //sleep 1秒,让其他线程有时间进入临界区  
            printf("线程%s离开临界区...\n", c);  
        }  
        boost::this_thread::sleep(boost::posix_time::seconds(2));   //写线程离开后再slpp 2秒,这里比读线程多一秒是因为如果这里也是1秒,那两个写线程一起请求锁时会让读线程饥饿  
    }  
}  
int main()  
{  
    std::string r1 = "read_1";  
    std::string r2 = "read_2";  
    std::string w1 = "writer_1";  
    std::string w2 = "writer_2";  
  
    boost::thread_group tg;  
    tg.create_thread(bind(read_, boost::ref(r1)));   //两个读者  
    tg.create_thread(bind(read_, boost::ref(r2)));  
  
    tg.create_thread(bind(writer_, boost::ref(w1)));  //两个写者  
    tg.create_thread(bind(writer_, boost::ref(w2)));  
    tg.join_all();  
  
    return 0;  
}  
程序运行结果如下:



从运行结果中可以看出,如果是读者获得了shared_mutex,则其他读者可以同时进入临界区,但如果是写者获得了shared_mutex,则其他的写者或读者都不能进入临界区,即同时只有一个写者能进入临界区。