|
| 1 | +import asyncio |
| 2 | +import signal |
| 3 | +from typing import NewType, Mapping, Set, Callable, Optional |
| 4 | + |
| 5 | +SignalHandler = NewType("SignalHandler", Callable[[int, []], None]) |
| 6 | + |
| 7 | + |
| 8 | +class SignalManager: |
| 9 | + """ |
| 10 | + A context manager for managing signal handlers. |
| 11 | +
|
| 12 | + This class works as a context manager, restoring any overwritten |
| 13 | + signal handlers when the context is exited. This only works for signals |
| 14 | + in a synchronous context (ie. hooked by `signal`). |
| 15 | +
|
| 16 | + Parameters |
| 17 | + ---------- |
| 18 | + hook_signals : bool |
| 19 | + If True, the signal manager will overwrite any existing signal handlers |
| 20 | + in either `asyncio` or `signal`. If you already have any signal |
| 21 | + handling in place, you can set this to False and use `trigger_signal` |
| 22 | + to trigger metaflow-related signal handlers. |
| 23 | + event_loop : Optional[asyncio.AbstractEventLoop] |
| 24 | + The event loop to use for handling signals. |
| 25 | + If None, the current running event loop is used, if any. |
| 26 | + """ |
| 27 | + |
| 28 | + hook_signals: bool |
| 29 | + event_loop: Optional[asyncio.AbstractEventLoop] |
| 30 | + signal_map: Mapping[int, Set[SignalHandler]] = dict() |
| 31 | + replaced_signals: Mapping[int, SignalHandler] = dict() |
| 32 | + |
| 33 | + def __init__( |
| 34 | + self, |
| 35 | + hook_signals: bool = True, |
| 36 | + event_loop: Optional[asyncio.AbstractEventLoop] = None, |
| 37 | + ): |
| 38 | + self.hook_signals = hook_signals |
| 39 | + try: |
| 40 | + self.event_loop = event_loop or asyncio.get_running_loop() |
| 41 | + except RuntimeError: |
| 42 | + self.event_loop = None |
| 43 | + |
| 44 | + def __exit__(self, exc_type, exc_value, traceback): |
| 45 | + for sig in self.signal_map: |
| 46 | + self._maybe_remove_signal_handler(sig) |
| 47 | + |
| 48 | + for sig in self.replaced_signals: |
| 49 | + signal.signal(sig, self.replaced_signals[sig]) |
| 50 | + |
| 51 | + def _handle_signal(self, signum, frame): |
| 52 | + for handler in self.signal_map[signum]: |
| 53 | + handler(signum, frame) |
| 54 | + |
| 55 | + def _maybe_add_signal_handler(self, sig): |
| 56 | + if not self.hook_signals: |
| 57 | + return |
| 58 | + |
| 59 | + if self.event_loop is None: |
| 60 | + replaced = signal.signal(sig, self._handle_signal) |
| 61 | + self.replaced_signals[sig] = replaced |
| 62 | + |
| 63 | + else: |
| 64 | + self.event_loop.add_signal_handler( |
| 65 | + sig, lambda: self._handle_signal(sig, None) |
| 66 | + ) |
| 67 | + |
| 68 | + def _maybe_remove_signal_handler(self, sig: int): |
| 69 | + if not self.hook_signals: |
| 70 | + return |
| 71 | + |
| 72 | + if self.event_loop is None: |
| 73 | + signal.signal(sig, self.replaced_signals[sig]) |
| 74 | + del self.replaced_signals[sig] |
| 75 | + else: |
| 76 | + self.event_loop.remove_signal_handler(sig) |
| 77 | + |
| 78 | + def add_signal_handler(self, sig: int, handler: SignalHandler): |
| 79 | + """ |
| 80 | + Add a signal handler for the given signal. |
| 81 | +
|
| 82 | + Parameters |
| 83 | + ---------- |
| 84 | + sig: int |
| 85 | + The signal to handle. |
| 86 | + handler: SignalHandler |
| 87 | + The handler to call when the signal is received. |
| 88 | + """ |
| 89 | + if sig not in self.signal_map: |
| 90 | + self.signal_map[sig] = set() |
| 91 | + self._maybe_add_signal_handler(sig) |
| 92 | + |
| 93 | + self.signal_map[sig].add(handler) |
| 94 | + |
| 95 | + def remove_signal_handler(self, sig: signal.Signals, handler: SignalHandler): |
| 96 | + """ |
| 97 | + Remove a signal handler for the given signal. |
| 98 | +
|
| 99 | + Parameters |
| 100 | + ---------- |
| 101 | + sig: int |
| 102 | + The signal to handle. |
| 103 | + handler: SignalHandler |
| 104 | + The handler to remove. |
| 105 | +
|
| 106 | + Raises |
| 107 | + ------ |
| 108 | + KeyError |
| 109 | + If the signal `sig` is not being handled. |
| 110 | + """ |
| 111 | + if sig not in self.signal_map: |
| 112 | + return |
| 113 | + |
| 114 | + self.signal_map[sig].discard(handler) |
| 115 | + |
| 116 | + def trigger_signal(self, sig: int, frame=None): |
| 117 | + """ |
| 118 | + Trigger a signal handler for the given signal. |
| 119 | +
|
| 120 | + Parameters |
| 121 | + ---------- |
| 122 | + sig : int |
| 123 | + The signal to handle. |
| 124 | + frame : [] (optional) |
| 125 | + The frame to pass to the signal handler. |
| 126 | + Only used in a synchronous context. |
| 127 | + """ |
| 128 | + self._handle_signal(sig, frame) |
0 commit comments