signal.cpp 名称就代表了文件的内容(c++代码的好处之一是见名知意(当然,指的是高手写的代码每一串字符都具备注释功能,水平菜的人写的代码不存在这个情况)),捕获系统信号,屏蔽掉默认的系统信号处理函数,转发给应用程序进程处理。
目的:让app可以在退出之前,以合理的顺序销毁资源占用,例如用gpl 3d渲染,内存资源,端口资源等。

external/process-cpp-minimal/src/core/posix/signal.cpp:

#include <core/posix/signalable.h>

#include <poll.h>
#include <pthread.h>
#include <sys/eventfd.h>
#include <sys/signalfd.h>

#include <unistd.h>

#include <atomic>

namespace impl
{
// 添加线程信号屏蔽集
void set_thread_signal_mask(::sigset_t* new_mask, ::sigset_t* old_mask)
{
::pthread_sigmask(SIG_BLOCK, new_mask, old_mask);
}

// 添加进程信号屏蔽集
void set_process_signal_mask(::sigset_t* new_mask, ::sigset_t* old_mask)
{
::sigprocmask(SIG_BLOCK, new_mask, old_mask);
}

class SignalTrap : public core::posix::SignalTrap
{
public:
enum class Scope
{
process,
thread
};

enum class State
{
not_running,
running
};

// 构造函数:设置信号屏蔽集
SignalTrap(Scope scope, std::initializer_list<core::posix::Signal> blocked_signals)
: scope(scope),
state(State::not_running),
event_fd(::eventfd(0, EFD_CLOEXEC | EFD_NONBLOCK)) {
if (event_fd == -1)
throw std::system_error(errno, std::system_category());

::sigemptyset(&blocked_signals_mask);

for(auto signal : blocked_signals)
::sigaddset(&blocked_signals_mask, static_cast<int>(signal));

switch (scope)
{
case Scope::process:
set_process_signal_mask(&blocked_signals_mask, &old_signals_mask);
break;
case Scope::thread:
set_thread_signal_mask(&blocked_signals_mask, &old_signals_mask);
break;
default:
break;
}
}

// 析构函数:解除信号屏蔽集
~SignalTrap()
{
switch (scope)
{
case Scope::process:
set_process_signal_mask(&old_signals_mask, nullptr);
break;
case Scope::thread:
set_thread_signal_mask(&old_signals_mask, nullptr);
break;
default:
break;
}

::close(event_fd);
}

bool has(core::posix::Signal signal) override
{
return ::sigismember(&blocked_signals_mask, static_cast<int>(signal));
}

void run() override
{
static constexpr int signal_fd_idx = 0;
static constexpr int event_fd_idx = 1;

static constexpr int signal_info_buffer_size = 5;

if (state.load() == State::running)
throw std::runtime_error("SignalTrap::run can only be run once.");

state.store(State::running);

// Make sure we clean up the signal fd whenever
// we leave the scope of run.
struct Scope
{
~Scope()
{
if (signal_fd != -1)
::close(signal_fd);
}

int signal_fd;
} scope{::signalfd(-1, &blocked_signals_mask, SFD_CLOEXEC | SFD_NONBLOCK)};

if (scope.signal_fd == -1)
throw std::system_error(errno, std::system_category());

pollfd fds[2];
signalfd_siginfo signal_info[signal_info_buffer_size];

for (;;)
{
// 信号集合,poll监控信号
fds[signal_fd_idx] = {scope.signal_fd, POLLIN, 0};
fds[event_fd_idx] = {event_fd, POLLIN, 0};

auto rc = ::poll(fds, 2, -1);

if (rc == -1)
{
if (errno == EINTR)
continue;

break;
}

if (rc == 0)
continue;

// 监控通讯信号:
if (fds[signal_fd_idx].revents & POLLIN)
{
auto result = ::read(scope.signal_fd, signal_info, sizeof(signal_info));

for (unsigned int i = 0; i < result / sizeof(signalfd_siginfo); i++)
{
if (has(static_cast<core::posix::Signal>(signal_info[i].ssi_signo)))
{
// 转发信号
on_signal_raised(
static_cast<core::posix::Signal>(
signal_info[i].ssi_signo));
}
}
}

// 监控退出信号
if (fds[event_fd_idx].revents & POLLIN)
{
std::int64_t value{1};
// Consciously void-ing the return value here.
// Not much we can do about an error.
auto result = ::read(event_fd, &value, sizeof(value));
(void) result;

break;
}
}

state.store(State::not_running);
}

// 退出信号监听进程
void stop() override
{
static const std::int64_t value = {1};
if (sizeof(value) != ::write(event_fd, &value, sizeof(value)))
throw std::system_error(errno, std::system_category());
}

// 信号转移给connect handler
core::Signal<core::posix::Signal>& signal_raised() override
{
return on_signal_raised;
}

private:
Scope scope;
std::atomic<State> state;
int event_fd;
core::Signal<core::posix::Signal> on_signal_raised; // 已经捕获的系统信号
::sigset_t old_signals_mask;
::sigset_t blocked_signals_mask; // 容器,注册需要屏蔽的系统信号
};
}

// 返回进程 系统信号采集器
std::shared_ptr<core::posix::SignalTrap> core::posix::trap_signals_for_process(
std::initializer_list<core::posix::Signal> blocked_signals)
{
return std::make_shared<impl::SignalTrap>(impl::SignalTrap::Scope::process, blocked_signals);
}

// 返回线程 系统信号采集器
std::shared_ptr<core::posix::SignalTrap> core::posix::trap_signals_for_all_subsequent_threads(
std::initializer_list<core::posix::Signal> blocked_signals)
{
return std::make_shared<impl::SignalTrap>(
impl::SignalTrap::Scope::thread,
blocked_signals);
}

经验技巧:
分析代码首要分析数据结构,对c++来说看到一个类,就想到这个类的功能,甚至联想到各个方法的函数名叫什么,想到继承这个类的子类有可能扩展哪些功能,调用该类的业务代码应该存在于什么阶段(启动、传递、解析、打包、注册、调用等地方)。