lib/fatal-signal.c

   1 /*
   2  * Copyright (c) 2008, 2009, 2010, 2011, 2012, 2013 Nicira, Inc.
   3  *
   4  * Licensed under the Apache License, Version 2.0 (the "License");
   5  * you may not use this file except in compliance with the License.
   6  * You may obtain a copy of the License at:
   7  *
   8  *     http://www.apache.org/licenses/LICENSE-2.0
   9  *
  10  * Unless required by applicable law or agreed to in writing, software
  11  * distributed under the License is distributed on an "AS IS" BASIS,
  12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  13  * See the License for the specific language governing permissions and
  14  * limitations under the License.
  15  */
  16 #include <config.h>
  17 #include "fatal-signal.h"
  18 #include <errno.h>
  19 #include <signal.h>
  20 #include <stdbool.h>
  21 #include <stdio.h>
  22 #include <stdint.h>
  23 #include <stdlib.h>
  24 #include <string.h>
  25 #include <unistd.h>
  26 #include "ovs-thread.h"
  27 #include "poll-loop.h"
  28 #include "shash.h"
  29 #include "sset.h"
  30 #include "signals.h"
  31 #include "socket-util.h"
  32 #include "util.h"
  33 #include "vlog.h"
  34
  35 #include "type-props.h"
  36
  37 #ifndef SIG_ATOMIC_MAX
  38 #define SIG_ATOMIC_MAX TYPE_MAXIMUM(sig_atomic_t)
  39 #endif
  40
  41 VLOG_DEFINE_THIS_MODULE(fatal_signal);
  42
  43 /* Signals to catch. */
  44 #ifndef _WIN32
  45 static const int fatal_signals[] = { SIGTERM, SIGINT, SIGHUP, SIGALRM };
  46 #else
  47 static const int fatal_signals[] = { SIGTERM };
  48 #endif
  49
  50 /* Hooks to call upon catching a signal */
  51 struct hook {
  52     void (*hook_cb)(void *aux);
  53     void (*cancel_cb)(void *aux);
  54     void *aux;
  55     bool run_at_exit;
  56 };
  57 #define MAX_HOOKS 32
  58 static struct hook hooks[MAX_HOOKS];
  59 static size_t n_hooks;
  60
  61 static int signal_fds[2];
  62 static HANDLE wevent;
  63 static volatile sig_atomic_t stored_sig_nr = SIG_ATOMIC_MAX;
  64
  65 static struct ovs_mutex mutex;
  66
  67 static void call_hooks(int sig_nr);
  68 #ifdef _WIN32
  69 static BOOL WINAPI ConsoleHandlerRoutine(DWORD dwCtrlType);
  70 #endif
  71
  72 /* Initializes the fatal signal handling module.  Calling this function is
  73  * optional, because calling any other function in the module will also
  74  * initialize it.  However, in a multithreaded program, the module must be
  75  * initialized while the process is still single-threaded. */
  76 void
  77 fatal_signal_init(void)
  78 {
  79     static bool inited = false;
  80
  81     if (!inited) {
  82         size_t i;
  83
  84         assert_single_threaded();
  85         inited = true;
  86
  87         ovs_mutex_init_recursive(&mutex);
  88 #ifndef _WIN32
  89         xpipe_nonblocking(signal_fds);
  90 #else
  91         wevent = CreateEvent(NULL, TRUE, FALSE, NULL);
  92         if (!wevent) {
  93             char *msg_buf = ovs_lasterror_to_string();
  94             VLOG_FATAL("Failed to create a event (%s).", msg_buf);
  95         }
  96
  97         /* Register a function to handle Ctrl+C. */
  98         SetConsoleCtrlHandler(ConsoleHandlerRoutine, true);
  99 #endif
 100
 101         for (i = 0; i < ARRAY_SIZE(fatal_signals); i++) {
 102             int sig_nr = fatal_signals[i];
 103 #ifndef _WIN32
 104             struct sigaction old_sa;
 105
 106             xsigaction(sig_nr, NULL, &old_sa);
 107             if (old_sa.sa_handler == SIG_DFL
 108                 && signal(sig_nr, fatal_signal_handler) == SIG_ERR) {
 109                 VLOG_FATAL("signal failed (%s)", ovs_strerror(errno));
 110             }
 111 #else
 112             if (signal(sig_nr, fatal_signal_handler) == SIG_ERR) {
 113                 VLOG_FATAL("signal failed (%s)", ovs_strerror(errno));
 114             }
 115 #endif
 116         }
 117         atexit(fatal_signal_atexit_handler);
 118     }
 119 }
 120
 121 /* Registers 'hook_cb' to be called from inside poll_block() following a fatal
 122  * signal.  'hook_cb' does not need to be async-signal-safe.  In a
 123  * multithreaded program 'hook_cb' might be called from any thread, with
 124  * threads other than the one running 'hook_cb' in unknown states.
 125  *
 126  * If 'run_at_exit' is true, 'hook_cb' is also called during normal process
 127  * termination, e.g. when exit() is called or when main() returns.
 128  *
 129  * If the current process forks, fatal_signal_fork() may be called to clear the
 130  * parent process's fatal signal hooks, so that 'hook_cb' is only called when
 131  * the child terminates, not when the parent does.  When fatal_signal_fork() is
 132  * called, it calls the 'cancel_cb' function if it is nonnull, passing 'aux',
 133  * to notify that the hook has been canceled.  This allows the hook to free
 134  * memory, etc. */
 135 void
 136 fatal_signal_add_hook(void (*hook_cb)(void *aux), void (*cancel_cb)(void *aux),
 137                       void *aux, bool run_at_exit)
 138 {
 139     fatal_signal_init();
 140
 141     ovs_mutex_lock(&mutex);
 142     ovs_assert(n_hooks < MAX_HOOKS);
 143     hooks[n_hooks].hook_cb = hook_cb;
 144     hooks[n_hooks].cancel_cb = cancel_cb;
 145     hooks[n_hooks].aux = aux;
 146     hooks[n_hooks].run_at_exit = run_at_exit;
 147     n_hooks++;
 148     ovs_mutex_unlock(&mutex);
 149 }
 150
 151 /* Handles fatal signal number 'sig_nr'.
 152  *
 153  * Ordinarily this is the actual signal handler.  When other code needs to
 154  * handle one of our signals, however, it can register for that signal and, if
 155  * and when necessary, call this function to do fatal signal processing for it
 156  * and terminate the process.  Currently only timeval.c does this, for SIGALRM.
 157  * (It is not important whether the other code sets up its signal handler
 158  * before or after this file, because this file will only set up a signal
 159  * handler in the case where the signal has its default handling.)  */
 160 void
 161 fatal_signal_handler(int sig_nr)
 162 {
 163 #ifndef _WIN32
 164     ignore(write(signal_fds[1], "", 1));
 165 #else
 166     SetEvent(wevent);
 167 #endif
 168     stored_sig_nr = sig_nr;
 169 }
 170
 171 /* Check whether a fatal signal has occurred and, if so, call the fatal signal
 172  * hooks and exit.
 173  *
 174  * This function is called automatically by poll_block(), but specialized
 175  * programs that may not always call poll_block() on a regular basis should
 176  * also call it periodically.  (Therefore, any function with "block" in its
 177  * name should call fatal_signal_run() each time it is called, either directly
 178  * or through poll_block(), because such functions can only used by specialized
 179  * programs that can afford to block outside their main loop around
 180  * poll_block().)
 181  */
 182 void
 183 fatal_signal_run(void)
 184 {
 185     sig_atomic_t sig_nr;
 186
 187     fatal_signal_init();
 188
 189     sig_nr = stored_sig_nr;
 190     if (sig_nr != SIG_ATOMIC_MAX) {
 191         char namebuf[SIGNAL_NAME_BUFSIZE];
 192
 193         ovs_mutex_lock(&mutex);
 194
 195 #ifndef _WIN32
 196         VLOG_WARN("terminating with signal %d (%s)",
 197                   (int)sig_nr, signal_name(sig_nr, namebuf, sizeof namebuf));
 198 #else
 199         VLOG_WARN("terminating with signal %d", (int)sig_nr);
 200 #endif
 201         call_hooks(sig_nr);
 202         fflush(stderr);
 203
 204         /* Re-raise the signal with the default handling so that the program
 205          * termination status reflects that we were killed by this signal */
 206         signal(sig_nr, SIG_DFL);
 207         raise(sig_nr);
 208
 209         ovs_mutex_unlock(&mutex);
 210         OVS_NOT_REACHED();
 211     }
 212 }
 213
 214 void
 215 fatal_signal_wait(void)
 216 {
 217     fatal_signal_init();
 218     poll_fd_wait_event(signal_fds[0], wevent, POLLIN);
 219 }
 220
 221 void
 222 fatal_ignore_sigpipe(void)
 223 {
 224 #ifndef _WIN32
 225     signal(SIGPIPE, SIG_IGN);
 226 #endif
 227 }
 228
 229 void
 230 fatal_signal_atexit_handler(void)
 231 {
 232     call_hooks(0);
 233 }
 234
 235 static void
 236 call_hooks(int sig_nr)
 237 {
 238     static volatile sig_atomic_t recurse = 0;
 239     if (!recurse) {
 240         size_t i;
 241
 242         recurse = 1;
 243
 244         for (i = 0; i < n_hooks; i++) {
 245             struct hook *h = &hooks[i];
 246             if (sig_nr || h->run_at_exit) {
 247                 h->hook_cb(h->aux);
 248             }
 249         }
 250     }
 251 }
 252
 253 #ifdef _WIN32
 254 BOOL WINAPI ConsoleHandlerRoutine(DWORD dwCtrlType)
 255 {
 256     stored_sig_nr = SIGINT;
 257     SetEvent(wevent);
 258     return true;
 259 }
 260 #endif
 261 \f
 262 /* Files to delete on exit. */
 263 static struct sset files = SSET_INITIALIZER(&files);
 264
 265 /* Has a hook function been registered with fatal_signal_add_hook() (and not
 266  * cleared by fatal_signal_fork())? */
 267 static bool added_hook;
 268
 269 static void unlink_files(void *aux);
 270 static void cancel_files(void *aux);
 271 static void do_unlink_files(void);
 272
 273 /* Registers 'file' to be unlinked when the program terminates via exit() or a
 274  * fatal signal. */
 275 void
 276 fatal_signal_add_file_to_unlink(const char *file)
 277 {
 278     fatal_signal_init();
 279
 280     ovs_mutex_lock(&mutex);
 281     if (!added_hook) {
 282         added_hook = true;
 283         fatal_signal_add_hook(unlink_files, cancel_files, NULL, true);
 284     }
 285
 286     sset_add(&files, file);
 287     ovs_mutex_unlock(&mutex);
 288 }
 289
 290 /* Unregisters 'file' from being unlinked when the program terminates via
 291  * exit() or a fatal signal. */
 292 void
 293 fatal_signal_remove_file_to_unlink(const char *file)
 294 {
 295     fatal_signal_init();
 296
 297     ovs_mutex_lock(&mutex);
 298     sset_find_and_delete(&files, file);
 299     ovs_mutex_unlock(&mutex);
 300 }
 301
 302 /* Like fatal_signal_remove_file_to_unlink(), but also unlinks 'file'.
 303  * Returns 0 if successful, otherwise a positive errno value. */
 304 int
 305 fatal_signal_unlink_file_now(const char *file)
 306 {
 307     int error;
 308
 309     fatal_signal_init();
 310
 311     ovs_mutex_lock(&mutex);
 312
 313     error = unlink(file) ? errno : 0;
 314     if (error) {
 315         VLOG_WARN("could not unlink \"%s\" (%s)", file, ovs_strerror(error));
 316     }
 317
 318     fatal_signal_remove_file_to_unlink(file);
 319
 320     ovs_mutex_unlock(&mutex);
 321
 322     return error;
 323 }
 324
 325 static void
 326 unlink_files(void *aux OVS_UNUSED)
 327 {
 328     do_unlink_files();
 329 }
 330
 331 static void
 332 cancel_files(void *aux OVS_UNUSED)
 333 {
 334     sset_clear(&files);
 335     added_hook = false;
 336 }
 337
 338 static void
 339 do_unlink_files(void)
 340 {
 341     const char *file;
 342
 343     SSET_FOR_EACH (file, &files) {
 344         unlink(file);
 345     }
 346 }
 347 \f
 348 /* Clears all of the fatal signal hooks without executing them.  If any of the
 349  * hooks passed a 'cancel_cb' function to fatal_signal_add_hook(), then those
 350  * functions will be called, allowing them to free resources, etc.
 351  *
 352  * Following a fork, one of the resulting processes can call this function to
 353  * allow it to terminate without calling the hooks registered before calling
 354  * this function.  New hooks registered after calling this function will take
 355  * effect normally. */
 356 void
 357 fatal_signal_fork(void)
 358 {
 359     size_t i;
 360
 361     assert_single_threaded();
 362
 363     for (i = 0; i < n_hooks; i++) {
 364         struct hook *h = &hooks[i];
 365         if (h->cancel_cb) {
 366             h->cancel_cb(h->aux);
 367         }
 368     }
 369     n_hooks = 0;
 370
 371     /* Raise any signals that we have already received with the default
 372      * handler. */
 373     if (stored_sig_nr != SIG_ATOMIC_MAX) {
 374         raise(stored_sig_nr);
 375     }
 376 }
 377
 378 #ifndef _WIN32
 379 /* Blocks all fatal signals and returns previous signal mask into
 380  * 'prev_mask'. */
 381 void
 382 fatal_signal_block(sigset_t *prev_mask)
 383 {
 384     int i;
 385     sigset_t block_mask;
 386
 387     sigemptyset(&block_mask);
 388     for (i = 0; i < ARRAY_SIZE(fatal_signals); i++) {
 389         int sig_nr = fatal_signals[i];
 390         sigaddset(&block_mask, sig_nr);
 391     }
 392     xpthread_sigmask(SIG_BLOCK, &block_mask, prev_mask);
 393 }
 394 #endif