一、创建一个线程

创建线程

boost::thread myThread(threadFun);

需要注意的是:参数可以是函数对象或者函数指针。并且这个函数无参数,并返回void类型

当一个thread执行完成时,这个子线程就会消失。注意这个线程对象不会消失,它仍然是一个还处在它的生存期的C++对象。同理,当对一个堆上的线程对象的指针调用delete时候,线程对象被销毁,操作系统的线程并不能保证就消失。

放弃时间片

boost::thread::yield();

当前线程放弃余下的时间片。

等待一个线程

myThread.join();

调用这个方法的线程进入wait状态,直到myThread代表的线程完成为止。如果它不结束的话,join方法就不会返回。join是一个等待子线程结束的最好的方法。如果主程序不调用join方法而直接结束,它的子线程有可能没有执行完成,但是所有的子线程也随之退出。不调用join方法,主线程就不会等待它的子线程。

 #include <iostream>
#include <boost/thread/thread.hpp>
#include <boost/thread/xtime.hpp> struct MyThreadFunc {
void operator( )( ) {
// Do something long-running...
}
} threadFun; int main( ) { boost::thread myThread(threadFun); // Create a thread that starts
// running threadFun boost::thread::yield( ); // Give up the main thread's timeslice
// so the child thread can get some work
// done. // Go do some other work... myThread.join( ); // The current (i.e., main) thread will wait
// for myThread to finish before it returns }

线程组

如果你需要创建几个线程,考虑使用一个线程组对象thread_group来组织它们。一个thread_group对象可以使用多种方法管理线程。首先,可以使用一个指向动态创建的线程对象的指针作为参数来调用add_thread方法,将这个线程加入线程组。也可以直接使用线程组类的create_thread方法,可不先创建线程而直接把线程加入到线程组中。

当线程组对象的析构函数被调用时,它将删除(delete)所有这些通过add_thread方法加入的线程指针。所以,只能将堆上的线程对象指针通过add_thread方法加入线程组。remove_thread方法从线程组删除某个线程的指针,但是我们仍需负责把线程本身内存释放掉。

线程组对象的成员方法join_all方法等待线程组中所有线程结束,才返回。

 boost::thread_group grp;
boost::thread *p = new boost::thread(threadFun);
grp.add_thread(p);
//do something...
grp.remove_thread(p); grp.create_thread(threadFun);
grp.create_thread(threadFun); //Now there are two threads in grp grp.join_all(); //Wait for all threads to finish

二、使资源是线程安全的

    保证同一时刻多个线程不会同时修改同一个共享资源,那么这个程序是线程安全的,或者是串行化访问资源的。可以使用mutex类来控制线程的并发问题。

 #include <iostream>
#include <boost/thread/thread.hpp>
#include <string> // A simple queue class; don't do this, use std::queue
template<typename T>
class Queue {
public:
Queue( ) {}
~Queue( ) {} void enqueue(const T& x) {
// Lock the mutex for this queue
boost::mutex::scoped_lock lock(mutex_);
list_.push_back(x);
// A scoped_lock is automatically destroyed (and thus unlocked)
// when it goes out of scope
} T dequeue( ) {
boost::mutex::scoped_lock lock(mutex_); if (list_.empty( ))
throw "empty!"; // This leaves the current scope, so the
T tmp = list_.front( ); // lock is released
list_.pop_front( );
return(tmp);
} // Again: when scope ends, mutex_ is unlocked private:
std::list<T> list_;
boost::mutex mutex_;
}; Queue<std::string> queueOfStrings; void sendSomething( ) {
std::string s;
for (int i = ; i < ; ++i) {
queueOfStrings.enqueue("Cyrus");
}
} void recvSomething( ) {
std::string s; for (int i = ; i < ; ++i) {
try {s = queueOfStrings.dequeue( );}
catch(...) {}
}
} int main( ) {
boost::thread thr1(sendSomething);
boost::thread thr2(recvSomething); thr1.join( );
thr2.join( );
}

mutex对象本身并不知道它代表什么,它仅仅是被多个消费者线程使用的资源访问的锁定解锁标志。在某个时刻,只有一个线程可以锁定这个mutex对象,这就阻止了同一时刻有多个线程并发访问共享资源。一个mutex就是一个简单的信号机制。

给mutex加解锁有多种策略,最简单的是使用scoped_lock类,它使用一个mutex参数来构造,并一直锁定这个mutex直到对象被销毁。如果这个正在被构造的mutex已经被别的线程锁定的话,当前线程就会进入wait状态,直到这个锁被解开。

三、读写锁

mutex有一个美中不足,它不区分读和写。线程如果只是进行读操作,mutex强制线程串行化访问资源,效率低。而且这种操作不需要排他性访问。基于这个原因,Boost线程库提供了read_write_mutex

 #include <iostream>
#include <boost/thread/thread.hpp>
#include <boost/thread/read_write_mutex.hpp>
#include <string> template<typename T>
class Queue {
public:
Queue( ) : // Use a read/write mutex and give writers priority
rwMutex_(boost::read_write_scheduling_policy::writer_priority){}
~Queue( ) {} void enqueue(const T& x) {
// Use a r/w lock since enqueue updates the state
boost::read_write_mutex::scoped_write_lock writeLock(rwMutex_);
list_.push_back(x);
} T dequeue( ) {
// Again, use a write lock
boost::read_write_mutex::scoped_write_lock writeLock(rwMutex_); if (list_.empty( ))
throw "empty!";
T tmp = list_.front( );
list_.pop_front( );
return(tmp);
} T getFront( ) {
// This is a read-only operation, so you only need a read lock
boost::read_write_mutex::scoped_read_lock readLock(rwMutex_);
if (list_.empty( ))
throw "empty!";
return(list_.front( ));
} private:
std::list<T> list_;
boost::read_write_mutex rwMutex_;
}; Queue<std::string> queueOfStrings; void sendSomething( ) {
std::string s; for (int i = ; i < ; ++i) {
queueOfStrings.enqueue("Cyrus");
}
} void checkTheFront( ) {
std::string s; for (int i = ; i < ; ++i) {
try {s = queueOfStrings.getFront( );}
catch(...) {}
}
} int main( ) { boost::thread thr1(sendSomething);
boost::thread_group grp; grp.create_thread(checkTheFront);
grp.create_thread(checkTheFront);
grp.create_thread(checkTheFront);
grp.create_thread(checkTheFront); thr1.join( );
grp.join_all( );
}

注意Queue的构造函数中队读写锁rwMutex的初始化。同一时刻,可能有多个读写线程要锁定一个read_write_mutex,而这些锁的调度策略依赖于构造这个mutex时选定的调度策略。Boost库中提供了四种调度策略:

1)reader_priority:等待读锁的线程优先于等待写锁的线程

2)writer_priority:等待写锁的线程优先于等待读锁的线程

3)alternating_single_read:在读锁和写锁之间交替

4)alternating_many_reads:在读锁和写锁之间交替,这个策略将在两个写锁之间使得所有的在这个queue上挂起的读锁都被允许。

选择使用哪种策略要慎重,因为使用前两种的话可能会导致某些锁始终不能成功,出现饿死的现象。

死锁、饿死和竞态条件

1)死锁,是涉及至少2个线程和2个资源的情况。线程A和B,资源X和Y。A锁定了X,而B锁定了Y。此时A和B有彼此想要对方的资源,死锁就出现了。

  死锁的预防有两种方法。一种是,通过小心的按照一定的顺序对不同的mutex来加锁。另一种是,使用Boost提供的try_mutex互斥量和scoped_try_lock。或者使用时间锁。scoped_try_lock对try_mutex加锁时,可能成功,也可能失败,但不会阻塞。时间锁则有一个超时时间。

 bool dequeue(T& x)
{
boost::try_mutex::scope_try_lock lock(tryMutex_);
if(!lock.locked())
return false;
else{
if (list_.empty())
throw "empty!";
x = list_.front();
list_.pop_front();
return true;
}
}
private:
boost::try_mutex tryMutex_;

  2)饿死,如果你正在使用write_priority策略,并且你有很多创建写锁的线程,那么读锁的线程就可能饿死。

3)竞态条件,

 if(q.getFront() == "Cyrus"){
str = q.dequeue();
//....
}

这个代码在单线程环境中工作很好,因为q在第一行和第二行代码之间不会被修改。多线程环境中则会出现问题。此为竞态条件。解决的方法是为Queue添加一个成员函数dequeueIfEquals,在函数执行过程中始终锁定互斥量。

四、从一个线程中给另一个线程发送通知

当需要线程等待某个事物时,可以创建一个condition对象,然后通过这个对象来通知那些等待的线程。

 #include <iostream>
#include <boost/thread/thread.hpp>
#include <boost/thread/condition.hpp>
#include <boost/thread/mutex.hpp>
#include <list>
#include <string> class Request { /*...*/ }; // A simple job queue class; don't do this, use std::queue
template<typename T>
class JobQueue {
public:
JobQueue( ) {}
~JobQueue( ) {} void submitJob(const T& x) {
boost::mutex::scoped_lock lock(mutex_);
list_.push_back(x);
workToBeDone_.notify_one( );
} T getJob( ) {
boost::mutex::scoped_lock lock(mutex_); workToBeDone_.wait(lock); // Wait until this condition is
// satisfied, then lock the mutex
T tmp = list_.front( );
list_.pop_front( );
return(tmp);
} private:
std::list<T> list_;
boost::mutex mutex_;
boost::condition workToBeDone_;
}; JobQueue<Request> myJobQueue; void boss( ) {
for (;;) {
// Get the request from somewhere
Request req;
myJobQueue.submitJob(req);
}
} void worker( ) {
for (;;) {
Request r(myJobQueue.getJob( ));
// Do something with the job...
}
} int main( ) {
boost::thread thr1(boss);
boost::thread thr2(worker);
boost::thread thr3(worker); thr1.join( );
thr2.join( );
thr3.join( );
}

boost::mutex::scoped_lock lock(mutex_);

workToBeDone_.wait(lock);

这两行代码,第一行锁定这个mutex对象。第二行代码解开这个mutex上的锁,然后进行等待或者休眠,直到它的条件得到了满足。这个mutex互斥对象的解锁让其他的线程能够使用这个mutex对象,它们中的某个需要设置这个等待条件,之后通知另外的线程。

notify_all函数,通知那些所有正在等待某个条件变为真的线程,那些线程随后进入运行状态。wait方法做两件事情:它一直等待直到有人在它正等待的condition上调用notify_one或notify_all,然后它就试图锁定相关的mutex。当调用的是notify_all时,尽管多个等待的线程都尽量去获得下一个锁,但谁将获得依赖于这个mutex的类型和使用的优先策略。

一个condition对象能让消费者线程休眠,因此在还没有碰到一个condition时处理器可以去处理别的事情。例如一个web服务器使用一个工作线程池来处理进来的请求。当没有需求进来时,让这些子线程处于等待状态比让它们循环的查询或者睡眠然后偶尔唤醒来检查这个队列,要好很多。

五、只初始化一次共享资源

 #include <iostream>
#include <boost/thread/thread.hpp>
#include <boost/thread/once.hpp> // Some sort of connection class that should only be initialized once
struct Conn {
static void init( ) {++i_;}
static boost::once_flag init_;
static int i_;
// ...
}; int Conn::i_ = ;
boost::once_flag Conn::init_ = BOOST_ONCE_INIT; void worker( ) {
boost::call_once(Conn::init, Conn::init_);
// Do the real work...
} Conn c; // You probably don't want to use a global, so see the
// next Recipe int main( ) { boost::thread_group grp; for (int i = ; i < ; ++i)
grp.create_thread(worker); grp.join_all( ); std::cout << c.i_ << '\n'; // c.i_ = 1
}

一个共享资源不得不在某个地方被初始化,并且你希望第一次使用这个资源的线程来完成初始化工作。一个once_flag类型和call_once函数能够保证多个线程不会重复的初始化同一个对象。首先,必须使用BOOST_ONCE_INIT宏来初始化这个once_flag对象。boost::once_flag Conn::init_ = BOOST_ONCE_INIT; 之后调用call_once函数,boost::call_once(Conn::init, Conn::init_); 第一个形参是希望被执行一次的初始化函数的地址。

六、给线程函数传递一个参数

 #include <iostream>
#include <string>
#include <functional>
#include <boost/thread/thread.hpp> // A typedef to make the declarations below easier to read
typedef void (*WorkerFunPtr)(const std::string&); template<typename FunT, // The type of the function being called
typename ParamT> // The type of its parameter
struct Adapter {
Adapter(FunT f, ParamT& p) : // Construct this adapter and set the
f_(f), p_(&p) {} // members to the function and its arg void operator( )( ) { // This just calls the function with its arg
f_(*p_);
}
private:
FunT f_;
ParamT* p_; // Use the parameter's address to avoid extra copying
}; void worker(const std::string& s) {
std::cout << s << '\n';
} int main( ) { std::string s1 = "This is the first thread!";
std::string s2 = "This is the second thread!"; boost::thread thr1(Adapter<WorkerFunPtr, std::string>(worker, s1));
boost::thread thr2(Adapter<WorkerFunPtr, std::string>(worker, s2)); thr1.join( );
thr2.join( );
}

使用这个函数适配器类模板,你就可以给线程函数传递参数了。如果你需要传递多个参数,仅需要在这个适配器中增加另一个类型和成员变量。

原文链接: http://www.cnblogs.com/younes/archive/2010/06/06/1752745.html

Boost线程详解的更多相关文章

  1. 通用线程:POSIX 线程详解,第 3 部分 条件互斥量(pthread_cond_t)

    使用条件变量提高效率 本文是 POSIX 线程三部曲系列的最后一部分,Daniel 将详细讨论如何使用条件变量.条件变量是 POSIX 线程结构,可以让您在遇到某些条件时“唤醒”线程.可以将它们看作是 ...

  2. “全栈2019”Java多线程第二十五章:生产者与消费者线程详解

    难度 初级 学习时间 10分钟 适合人群 零基础 开发语言 Java 开发环境 JDK v11 IntelliJ IDEA v2018.3 文章原文链接 "全栈2019"Java多 ...

  3. python线程详解

    #线程状态 #线程同步(锁)#多线程的优势在于可以同时运行多个任务,至少感觉起来是这样,但是当线程需要共享数据时,可能存在数据不同步的问题. #threading模块#常用方法:'''threadin ...

  4. 通用线程:POSIX 线程详解,第 3 部分

    通用线程:POSIX 线程详解,第 3 部分 使用条件变量提高效率 Daniel Robbins, 总裁兼 CEO, Gentoo Technologies, Inc. 简介: 本文是 POSIX 线 ...

  5. POSIX 线程详解(经典必看)

    http://www.cnblogs.com/sunminmin/p/4479952.html 总共三部分: 第一部分:POSIX 线程详解                               ...

  6. mysql后台线程详解

    1.mysql后台线程 mysql后台线程主要用于维持服务器的正常运行和完成用户提交的任务,主要包括:master thread,read thread,write thread,redo log t ...

  7. Python进阶----线程基础,开启线程的方式(类和函数),线程VS进程,线程的方法,守护线程,详解互斥锁,递归锁,信号量

    Python进阶----线程基础,开启线程的方式(类和函数),线程VS进程,线程的方法,守护线程,详解互斥锁,递归锁,信号量 一丶线程的理论知识 什么是线程:    1.线程是一堆指令,是操作系统调度 ...

  8. KafkaProducer Sender 线程详解(含详细的执行流程图)

    目录 1.Sender 线程详解 2.RecordAccumulator 核心方法详解 温馨提示:本文基于 Kafka 2.2.1 版本. 上文 <源码分析 Kafka 消息发送流程> 已 ...

  9. Boost 安装详解

    一 Linux(redhat)篇 1.1 获取boost库 解压tar -zxvf boost_1.48.0.tar.gz 进入解压目录cd boost_1_48_0 1.2 编译安装 使用下面的命令 ...

随机推荐

  1. matlab读写图片,读取图像序列,读取AVI视频

    介绍使用matlab读写图片,读取图像序列,读取AVI视频的方法: 一.读写图像 使用matlab读一幅图像,并另存 % Filename: ImageReadWrite clc; clear; i ...

  2. C++关于变量初始化的琐记

    #include <iostream> using namespace std; class Base{ virtual void func1() { cout<<" ...

  3. Proxool抛出的警告 was active for 365172 milliseconds and has been removed automaticaly

    WARN cetDB:149 - #0005 was active for 365172 milliseconds and has been removed automaticaly. The Thr ...

  4. 模拟admin组件自己开发stark组件之自定义list_display,反向解析url

    反向解析 在上一篇文章中,我们创建好了stark这个组件,一个应用一个表有四个默认的url,那么我们如何区别这些url,因为可能会有重复现象(本组件不会,因为前面拼接了应用名,表明,肯定唯一),概念请 ...

  5. var与Javascript变量隐式声明

    在JavaScript中,var用来声明变量,但是这个语法并不严格要求,很多时修改,我们可以直接使用一个变量而不用var声明它.var x = "XX"; y ="xxx ...

  6. java之IO整理(中)

    一:打印流/*System.out.println()重定向输出*/ /*public static void main(String[] args) { System.out.println(&qu ...

  7. 【C++】

    C++声明function后面加上等于0(=0)何解? https://zhidao.baidu.com/question/1446181256925153340.html

  8. 【转】C#事件、委托、回调的用法与区别

    原文地址:http://blog.csdn.net/huang9012/article/details/38753305 事件包括:事件发送者.事件接收者和事件处理程序.关于事件,我们首要知道的是事件 ...

  9. EMMA 覆盖率工具

    1. EMMA 介绍 EMMA 是一个开源.面向 Java 程序测试覆盖率收集和报告工具.它通过对编译后的 Java 字节码文件进行插装,在测试执行过程中收集覆盖率信息,并通过支持多种报表格式对覆盖率 ...

  10. 读<分布式一致性原理>初识zookeeper

    zookeeper是什么 zookeeper是一个典型的分布式数据一致性的解决方案,分布式应用程序可以基于它实现诸如:数据发布/订阅,负载均衡,命名服务,分布式协调/通知 ,集群管理,Master选举 ...