boost:asio信号量signal_set源码分析及使用

首先我们先看signal_set.hpp,可以看到下面代码

#include <boost/asio/detail/config.hpp>
#include <boost/asio/basic_signal_set.hpp>

namespace boost {
namespace asio {

/// Typedef for the typical usage of a signal set.
typedef basic_signal_set<> signal_set;

} // namespace asio
} // namespace boost

显然,我们使用的signal_set实际上是一个基础模板类basic_signal_set<>
再次跳转basic_signal_set.hpp

构造函数

explicit basic_signal_set(boost::asio::io_service& io_service) : basic_io_object<SignalSetService>(io_service)

basic_signal_set(boost::asio::io_service& io_service, int signal_number_1)
basic_signal_set(boost::asio::io_service& io_service, int signal_number_1, int signal_number_2)
basic_signal_set(boost::asio::io_service& io_service, int signal_number_1, int signal_number_2, int signal_number_3) : basic_io_object<SignalSetService>(io_service)

显而易见,三个构造函数,都接受一个io_service和信号量的值,唯一区别就是信号量的数量不同。
一开始看到,奇怪为什么不弄个可变参数模板呢,不是更好,看到下面也就释然了,因为类signal_set已经提供了add函数来增加信号量,这里构造函数数量1~3
只是为更方便而已,至于参数模板,实际是完全没有必要的。

为什么都要实现两种呢

两个函数:
add向集合中添加信号量
remove删除信号量

void add(int signal_number)
{
    boost::system::error_code ec;
    this->service.add(this->implementation, signal_number, ec);
    boost::asio::detail::throw_error(ec, "add");
}
boost::system::error_code add(int signal_number, boost::system::error_code& ec)
{
    return this->service.add(this->implementation, signal_number, ec);
}
void remove(int signal_number)
boost::system::error_code remove(int signal_number,
boost::system::error_code& ec)

我们很容易发现,两个函数唯一的区别就是对错误的处理的方式b:错误码和异常抛出。
因此我们可以通过对错误码判断和捕获异常来进行错误处理。
我们的程序有同步和异步两种模式,在同步模式下,无论用哪种都可以,但在异步模式下,程序不会抛出异常,所以就只能使用错误码了。

清空和取消的区别

void clear()
boost::system::error_code clear(boost::system::error_code& ec)
void cancel()
boost::system::error_code cancel(boost::system::error_code& ec)

从字面意思我们很容易感觉到他们的区别,何谓清空,清空就是没有了,而取消不代表没有。(ps:光看命名就能猜的八九不离十的代码,可谓好代码)
仔细的看了代码:
clear: 清空(删除)集合中的所有信号量,并删除所有通知队列里的事件,如果集合本身为空,则抛出错误。
cancel:不改变集合中的信号量,向所有与信号有关的操作抛出错误码来终止其操作。

async_wait

template <typename SignalHandler>
BOOST_ASIO_INITFN_RESULT_TYPE(SignalHandler, void (boost::system::error_code, int))
async_wait(BOOST_ASIO_MOVE_ARG(SignalHandler) handler)
{
    // If you get an error on the following line it means that your handler does
    // not meet the documented type requirements for a SignalHandler.
    BOOST_ASIO_SIGNAL_HANDLER_CHECK(SignalHandler, handler) type_check;

    return this->service.async_wait(this->implementation, BOOST_ASIO_MOVE_CAST(SignalHandler)(handler));
}

这个函数很重要,因为我们对signal_set的主要使用要靠这个函数。
该函数接受一个 void (boost::system::error_code, int)) 类型的函数句柄,随后会在所监听的信号发生时调用此函数。
函数内部实现,只有两句话

BOOST_ASIO_SIGNAL_HANDLER_CHECK(SignalHandler, handler) type_check;

对函数进行类型检查,这个宏写的很复杂,看了好一会儿,坦白说,知晓其功能,但不明白每一句的意思,找时间要好好把这里钻个透。

return this->service.async_wait(this->implementation, BOOST_ASIO_MOVE_CAST(SignalHandler)(handler));

尾递归委托下层接口完成任务。

使用例子

//
//  main.cpp
//  AsioServer
//
//  Created by shiyi on 2016/12/10.
//  Copyright © 2016年 shiyi. All rights reserved.
//

#include <iostream>
#include <boost/asio.hpp>
#include <boost/bind.hpp>
#include <boost/thread.hpp>

using namespace boost;

void signal_handler(const boost::system::error_code& err, int signal)
{
    switch (signal) {
        case SIGINT:
            std::cout << "SIGNINT" << std::endl;
            break;
        case SIGTERM:
            std::cout << "SIGNTERM" << std::endl;
            break;
        default:
            break;
    }
}

int main(int argc, const char * argv[]) {

    asio::io_service service;

    asio::signal_set sigset(service, SIGINT, SIGTERM);
    sigset.async_wait(signal_handler);

    boost::system::error_code ec;
    service.run(ec);
    if(ec)
    {
        std::cout << boost::system::system_error(ec).what() << std::endl;
    }
    std::cout << "End" << std::endl;

}
请赐予我钱进的动力吧~
0%