mirror of
https://github.com/tokio-rs/tokio.git
synced 2026-08-28 00:00:11 +02:00
400 lines
14 KiB
Rust
400 lines
14 KiB
Rust
//! Unix-specific types for signal handling.
|
|||
|
|
//!
|
||
|
|
//! This module is only defined on Unix platforms and contains the primary
|
||
|
|
//! `Signal` type for receiving notifications of signals.
|
||
|
|
|
||
|
|
#![cfg(unix)]
|
||
|
|
|
||
|
|
extern crate libc;
|
||
|
|
extern crate mio;
|
||
|
|
extern crate tokio_uds;
|
||
|
|
|
||
|
|
use std::cell::RefCell;
|
||
|
|
use std::io::{self, Write, Read};
|
||
|
|
use std::mem;
|
||
|
|
use std::sync::atomic::{AtomicBool, Ordering};
|
||
|
|
use std::sync::{Once, ONCE_INIT, Mutex};
|
||
|
|
|
||
|
|
use futures::stream::{Stream, Fuse};
|
||
|
|
use futures::{self, Future, Complete, Oneshot, Poll, Async};
|
||
|
|
use self::libc::c_int;
|
||
|
|
use self::tokio_uds::UnixStream;
|
||
|
|
use tokio_core::io::IoFuture;
|
||
|
|
use tokio_core::{LoopHandle, Sender, Receiver, ReadinessStream};
|
||
|
|
|
||
|
|
static INIT: Once = ONCE_INIT;
|
||
|
|
static mut GLOBAL_STATE: *mut GlobalState = 0 as *mut _;
|
||
|
|
|
||
|
|
/// An implementation of `Stream` for receiving a particular type of signal.
|
||
|
|
///
|
||
|
|
/// This structure implements the `Stream` trait and represents notifications
|
||
|
|
/// of the current process receiving a particular signal. The signal being
|
||
|
|
/// listened for is passed to `Signal::new`, and the same signal number is then
|
||
|
|
/// yielded as each element for the stream.
|
||
|
|
///
|
||
|
|
/// In general signal handling on Unix is a pretty tricky topic, and this
|
||
|
|
/// structure is no exception! There are some important limitations to keep in
|
||
|
|
/// mind when using `Signal` streams:
|
||
|
|
///
|
||
|
|
/// * While multiple event loops are supported, the *first* event loop to
|
||
|
|
/// register a signal handler is required to be active to ensure that signals
|
||
|
|
/// for other event loops are delivered. In other words, once an event loop
|
||
|
|
/// registers a signal, it's best to keep it around and running. This is
|
||
|
|
/// normally just a problem for tests, and the "workaround" is to spawn a
|
||
|
|
/// thread in the background at the beginning of the test suite which is
|
||
|
|
/// running an event loop (and listening for a signal).
|
||
|
|
///
|
||
|
|
/// * Signals handling in Unix already necessitates coalescing signals
|
||
|
|
/// together sometimes. This `Signal` stream is also no exception here in
|
||
|
|
/// that it will also coalesce signals. That is, even if the signal handler
|
||
|
|
/// for this process runs multiple times, the `Signal` stream may only return
|
||
|
|
/// one signal notification. Specifically, before `poll` is called, all
|
||
|
|
/// signal notifications are coalesced into one item returned from `poll`.
|
||
|
|
/// Once `poll` has been called, however, a further signal is guaranteed to
|
||
|
|
/// be yielded as an item.
|
||
|
|
///
|
||
|
|
/// * Signal handling in general is relatively inefficient. Although some
|
||
|
|
/// improvements are possible in this crate, it's recommended to not plan on
|
||
|
|
/// having millions of signal channels open.
|
||
|
|
///
|
||
|
|
/// * Currently the "driver task" to process incoming signals never exits.
|
||
|
|
///
|
||
|
|
/// If you've got any questions about this feel free to open an issue on the
|
||
|
|
/// repo, though, as I'd love to chat about this! In other words, I'd love to
|
||
|
|
/// alleviate some of these limitations if possible!
|
||
|
|
pub struct Signal {
|
||
|
|
signum: c_int,
|
||
|
|
reg: ReadinessStream<MyRegistration>,
|
||
|
|
_finished: Complete<()>,
|
||
|
|
}
|
||
|
|
|
||
|
|
struct GlobalState {
|
||
|
|
write: UnixStream,
|
||
|
|
tx: Mutex<Sender<Message>>,
|
||
|
|
signals: [GlobalSignalState; 32],
|
||
|
|
}
|
||
|
|
|
||
|
|
struct GlobalSignalState {
|
||
|
|
ready: AtomicBool,
|
||
|
|
prev: libc::sigaction,
|
||
|
|
}
|
||
|
|
|
||
|
|
enum Message {
|
||
|
|
NewSignal(c_int, Complete<io::Result<Signal>>),
|
||
|
|
}
|
||
|
|
|
||
|
|
struct DriverTask {
|
||
|
|
handle: LoopHandle,
|
||
|
|
read: UnixStream,
|
||
|
|
rx: Fuse<Receiver<Message>>,
|
||
|
|
signals: [SignalState; 32],
|
||
|
|
}
|
||
|
|
|
||
|
|
struct SignalState {
|
||
|
|
registered: bool,
|
||
|
|
tasks: Vec<(RefCell<Oneshot<()>>, mio::SetReadiness)>,
|
||
|
|
}
|
||
|
|
|
||
|
|
impl Signal {
|
||
|
|
/// Creates a new stream which will receive notifications when the current
|
||
|
|
/// process receives the signal `signum`.
|
||
|
|
///
|
||
|
|
/// This function will create a new stream which may be based on the
|
||
|
|
/// event loop handle provided. This function returns a future which will
|
||
|
|
/// then resolve to the signal stream, if successful.
|
||
|
|
///
|
||
|
|
/// The `Signal` stream is an infinite stream which will receive
|
||
|
|
/// notifications whenever a signal is received. More documentation can be
|
||
|
|
/// found on `Signal` itself, but to reiterate:
|
||
|
|
///
|
||
|
|
/// * Signals may be coalesced beyond what the kernel already does.
|
||
|
|
/// * While multiple event loops are supported, the first event loop to
|
||
|
|
/// register a signal handler must be active to deliver signal
|
||
|
|
/// notifications
|
||
|
|
/// * Once a signal handle is registered with the process the underlying
|
||
|
|
/// libc signal handler is never unregistered.
|
||
|
|
///
|
||
|
|
/// A `Signal` stream can be created for a particular signal number
|
||
|
|
/// multiple times. When a signal is received then all the associated
|
||
|
|
/// channels will receive the signal notification.
|
||
|
|
pub fn new(signum: c_int, handle: &LoopHandle) -> IoFuture<Signal> {
|
||
|
|
let mut init = None;
|
||
|
|
INIT.call_once(|| {
|
||
|
|
init = Some(global_init(handle));
|
||
|
|
});
|
||
|
|
let new_signal = futures::lazy(move || {
|
||
|
|
let (tx, rx) = futures::oneshot();
|
||
|
|
let msg = Message::NewSignal(signum, tx);
|
||
|
|
let res = unsafe {
|
||
|
|
(*GLOBAL_STATE).tx.lock().unwrap().send(msg)
|
||
|
|
};
|
||
|
|
res.expect("failed to request a new signal stream, did the \
|
||
|
|
first event loop go away?");
|
||
|
|
rx.then(|r| r.unwrap())
|
||
|
|
});
|
||
|
|
match init {
|
||
|
|
Some(init) => init.and_then(|()| new_signal).boxed(),
|
||
|
|
None => new_signal.boxed(),
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
impl Stream for Signal {
|
||
|
|
type Item = c_int;
|
||
|
|
type Error = io::Error;
|
||
|
|
|
||
|
|
fn poll(&mut self) -> Poll<Option<c_int>, io::Error> {
|
||
|
|
try_ready!(self.reg.poll_read());
|
||
|
|
self.reg.get_ref()
|
||
|
|
.inner.borrow()
|
||
|
|
.as_ref().unwrap().1
|
||
|
|
.set_readiness(mio::Ready::none())
|
||
|
|
.expect("failed to set readiness");
|
||
|
|
Ok(Async::Ready(Some(self.signum)))
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
fn global_init(handle: &LoopHandle) -> IoFuture<()> {
|
||
|
|
let handle = handle.clone();
|
||
|
|
let (tx, rx) = handle.clone().channel();
|
||
|
|
let io = rx.join(UnixStream::pair(handle.clone()));
|
||
|
|
io.map(move |(rx, (read, write))| {
|
||
|
|
unsafe {
|
||
|
|
let state = Box::new(GlobalState {
|
||
|
|
write: write,
|
||
|
|
signals: {
|
||
|
|
fn new() -> GlobalSignalState {
|
||
|
|
GlobalSignalState {
|
||
|
|
ready: AtomicBool::new(false),
|
||
|
|
prev: unsafe { mem::zeroed() },
|
||
|
|
}
|
||
|
|
}
|
||
|
|
[
|
||
|
|
new(), new(), new(), new(), new(), new(), new(), new(),
|
||
|
|
new(), new(), new(), new(), new(), new(), new(), new(),
|
||
|
|
new(), new(), new(), new(), new(), new(), new(), new(),
|
||
|
|
new(), new(), new(), new(), new(), new(), new(), new(),
|
||
|
|
]
|
||
|
|
},
|
||
|
|
tx: Mutex::new(tx.clone()),
|
||
|
|
});
|
||
|
|
GLOBAL_STATE = Box::into_raw(state);
|
||
|
|
|
||
|
|
handle.clone().spawn(|_| {
|
||
|
|
DriverTask {
|
||
|
|
handle: handle,
|
||
|
|
rx: rx.fuse(),
|
||
|
|
read: read,
|
||
|
|
signals: {
|
||
|
|
fn new() -> SignalState {
|
||
|
|
SignalState { registered: false, tasks: Vec::new() }
|
||
|
|
}
|
||
|
|
[
|
||
|
|
new(), new(), new(), new(), new(), new(), new(), new(),
|
||
|
|
new(), new(), new(), new(), new(), new(), new(), new(),
|
||
|
|
new(), new(), new(), new(), new(), new(), new(), new(),
|
||
|
|
new(), new(), new(), new(), new(), new(), new(), new(),
|
||
|
|
]
|
||
|
|
},
|
||
|
|
}
|
||
|
|
});
|
||
|
|
}
|
||
|
|
}).boxed()
|
||
|
|
}
|
||
|
|
|
||
|
|
impl Future for DriverTask {
|
||
|
|
type Item = ();
|
||
|
|
type Error = ();
|
||
|
|
|
||
|
|
fn poll(&mut self) -> Poll<(), ()> {
|
||
|
|
self.check_signal_drops();
|
||
|
|
self.check_messages();
|
||
|
|
self.check_signals();
|
||
|
|
|
||
|
|
// TODO: when to finish this task?
|
||
|
|
Ok(Async::NotReady)
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
impl DriverTask {
|
||
|
|
fn check_signal_drops(&mut self) {
|
||
|
|
for signal in self.signals.iter_mut() {
|
||
|
|
signal.tasks.retain(|task| {
|
||
|
|
!task.0.borrow_mut().poll().is_err()
|
||
|
|
});
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
fn check_messages(&mut self) {
|
||
|
|
loop {
|
||
|
|
// Acquire the next message
|
||
|
|
let message = match self.rx.poll() {
|
||
|
|
Ok(Async::Ready(Some(e))) => e,
|
||
|
|
Ok(Async::Ready(None)) |
|
||
|
|
Ok(Async::NotReady) => break,
|
||
|
|
Err(e) => panic!("error on rx: {}", e),
|
||
|
|
};
|
||
|
|
let (sig, complete) = match message {
|
||
|
|
Message::NewSignal(sig, complete) => (sig, complete),
|
||
|
|
};
|
||
|
|
|
||
|
|
// If the signal's too large, then we return an error, otherwise we
|
||
|
|
// use this index to look at the signal slot.
|
||
|
|
//
|
||
|
|
// If the signal wasn't previously registered then we do so now.
|
||
|
|
let signal = match self.signals.get_mut(sig as usize) {
|
||
|
|
Some(signal) => signal,
|
||
|
|
None => {
|
||
|
|
complete.complete(Err(io::Error::new(io::ErrorKind::Other,
|
||
|
|
"signum too large")));
|
||
|
|
continue
|
||
|
|
}
|
||
|
|
};
|
||
|
|
if !signal.registered {
|
||
|
|
unsafe {
|
||
|
|
let mut new: libc::sigaction = mem::zeroed();
|
||
|
|
new.sa_sigaction = handler as usize;
|
||
|
|
new.sa_flags = libc::SA_RESTART | libc::SA_SIGINFO;
|
||
|
|
let mut prev = mem::zeroed();
|
||
|
|
if libc::sigaction(sig, &new, &mut prev) != 0 {
|
||
|
|
complete.complete(Err(io::Error::last_os_error()));
|
||
|
|
continue
|
||
|
|
}
|
||
|
|
signal.registered = true;
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
// Acquire the (registration, set_readiness) pair by... assuming
|
||
|
|
// we're on the event loop (true because of the spawn above).
|
||
|
|
let reg = MyRegistration { inner: RefCell::new(None) };
|
||
|
|
let mut new = ReadinessStream::new(self.handle.clone(), reg);
|
||
|
|
let reg = match new.poll() {
|
||
|
|
Ok(Async::Ready(reg)) => reg,
|
||
|
|
Ok(Async::NotReady) => panic!("should be on event loop"),
|
||
|
|
Err(e) => {
|
||
|
|
complete.complete(Err(e));
|
||
|
|
continue
|
||
|
|
}
|
||
|
|
};
|
||
|
|
|
||
|
|
// Create the `Signal` to pass back and then also keep a handle to
|
||
|
|
// the `SetReadiness` for ourselves internally.
|
||
|
|
let (tx, rx) = futures::oneshot();
|
||
|
|
let ready = reg.get_ref().inner.borrow_mut().as_mut().unwrap().1.clone();
|
||
|
|
complete.complete(Ok(Signal {
|
||
|
|
signum: sig,
|
||
|
|
reg: reg,
|
||
|
|
_finished: tx,
|
||
|
|
}));
|
||
|
|
signal.tasks.push((RefCell::new(rx), ready));
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
fn check_signals(&mut self) {
|
||
|
|
// Drain all data from the pipe
|
||
|
|
let mut buf = [0; 32];
|
||
|
|
let mut any = false;
|
||
|
|
loop {
|
||
|
|
match self.read.read(&mut buf) {
|
||
|
|
Ok(0) => { // EOF == something happened
|
||
|
|
any = true;
|
||
|
|
break
|
||
|
|
}
|
||
|
|
Ok(..) => any = true, // data read, but keep draining
|
||
|
|
Err(ref e) if e.kind() == io::ErrorKind::WouldBlock => break,
|
||
|
|
Err(e) => panic!("bad read: {}", e),
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
// If nothing happened, no need to check the signals
|
||
|
|
if !any {
|
||
|
|
return
|
||
|
|
}
|
||
|
|
|
||
|
|
for (i, slot) in self.signals.iter().enumerate() {
|
||
|
|
// No need to go farther if we haven't even registered a signal
|
||
|
|
if !slot.registered {
|
||
|
|
continue
|
||
|
|
}
|
||
|
|
|
||
|
|
// See if this signal actually happened since we last checked
|
||
|
|
unsafe {
|
||
|
|
if !(*GLOBAL_STATE).signals[i].ready.swap(false, Ordering::SeqCst) {
|
||
|
|
continue
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
// Wake up all the tasks waiting on this signal
|
||
|
|
for task in slot.tasks.iter() {
|
||
|
|
task.1.set_readiness(mio::Ready::readable())
|
||
|
|
.expect("failed to set readiness");
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
extern fn handler(signum: c_int,
|
||
|
|
info: *mut libc::siginfo_t,
|
||
|
|
ptr: *mut libc::c_void) {
|
||
|
|
type FnSigaction = extern fn(c_int, *mut libc::siginfo_t, *mut libc::c_void);
|
||
|
|
type FnHandler = extern fn(c_int);
|
||
|
|
|
||
|
|
unsafe {
|
||
|
|
let state = match (*GLOBAL_STATE).signals.get(signum as usize) {
|
||
|
|
Some(state) => state,
|
||
|
|
None => return,
|
||
|
|
};
|
||
|
|
|
||
|
|
if !state.ready.swap(true, Ordering::SeqCst) {
|
||
|
|
match (&(*GLOBAL_STATE).write).write(&[1]) {
|
||
|
|
Ok(..) => {}
|
||
|
|
Err(e) => {
|
||
|
|
if e.kind() != io::ErrorKind::WouldBlock {
|
||
|
|
panic!("bad error on write fd: {}", e)
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
let fnptr = state.prev.sa_sigaction;
|
||
|
|
if fnptr == 0 || fnptr == libc::SIG_DFL || fnptr == libc::SIG_IGN {
|
||
|
|
return
|
||
|
|
}
|
||
|
|
if state.prev.sa_flags & libc::SA_SIGINFO == 0 {
|
||
|
|
let action = mem::transmute::<usize, FnHandler>(fnptr);
|
||
|
|
action(signum)
|
||
|
|
} else {
|
||
|
|
let action = mem::transmute::<usize, FnSigaction>(fnptr);
|
||
|
|
action(signum, info, ptr)
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
struct MyRegistration {
|
||
|
|
inner: RefCell<Option<(mio::Registration, mio::SetReadiness)>>,
|
||
|
|
}
|
||
|
|
|
||
|
|
impl mio::Evented for MyRegistration {
|
||
|
|
fn register(&self,
|
||
|
|
poll: &mio::Poll,
|
||
|
|
token: mio::Token,
|
||
|
|
events: mio::Ready,
|
||
|
|
opts: mio::PollOpt) -> io::Result<()> {
|
||
|
|
let reg = mio::Registration::new(poll, token, events, opts);
|
||
|
|
*self.inner.borrow_mut() = Some(reg);
|
||
|
|
Ok(())
|
||
|
|
}
|
||
|
|
|
||
|
|
fn reregister(&self,
|
||
|
|
_poll: &mio::Poll,
|
||
|
|
_token: mio::Token,
|
||
|
|
_events: mio::Ready,
|
||
|
|
_opts: mio::PollOpt) -> io::Result<()> {
|
||
|
|
Ok(())
|
||
|
|
}
|
||
|
|
|
||
|
|
fn deregister(&self, _poll: &mio::Poll) -> io::Result<()> {
|
||
|
|
Ok(())
|
||
|
|
}
|
||
|
|
}
|