Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2004 PathScale, Inc |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 3 | * Copyright (C) 2004 - 2007 Jeff Dike (jdike@{addtoit,linux.intel}.com) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 4 | * Licensed under the GPL |
| 5 | */ |
| 6 | |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 7 | #include <stdlib.h> |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 8 | #include <stdarg.h> |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 9 | #include <errno.h> |
| 10 | #include <signal.h> |
| 11 | #include <strings.h> |
Gennady Sharapov | cff65c4 | 2006-01-18 17:42:42 -0800 | [diff] [blame] | 12 | #include "os.h" |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 13 | #include "sysdep/barrier.h" |
| 14 | #include "sysdep/sigcontext.h" |
| 15 | #include "user.h" |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 16 | |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 17 | /* |
| 18 | * These are the asynchronous signals. SIGVTALRM and SIGARLM are handled |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 19 | * together under SIGVTALRM_BIT. SIGPROF is excluded because we want to |
| 20 | * be able to profile all of UML, not just the non-critical sections. If |
| 21 | * profiling is not thread-safe, then that is not my problem. We can disable |
| 22 | * profiling when SMP is enabled in that case. |
| 23 | */ |
| 24 | #define SIGIO_BIT 0 |
| 25 | #define SIGIO_MASK (1 << SIGIO_BIT) |
| 26 | |
| 27 | #define SIGVTALRM_BIT 1 |
| 28 | #define SIGVTALRM_MASK (1 << SIGVTALRM_BIT) |
| 29 | |
| 30 | #define SIGALRM_BIT 2 |
| 31 | #define SIGALRM_MASK (1 << SIGALRM_BIT) |
| 32 | |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 33 | /* |
| 34 | * These are used by both the signal handlers and |
Jeff Dike | 53b1733 | 2006-11-02 22:07:22 -0800 | [diff] [blame] | 35 | * block/unblock_signals. I don't want modifications cached in a |
| 36 | * register - they must go straight to memory. |
| 37 | */ |
| 38 | static volatile int signals_enabled = 1; |
| 39 | static volatile int pending = 0; |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 40 | |
Jeff Dike | 4b84c69 | 2006-09-25 23:33:04 -0700 | [diff] [blame] | 41 | void sig_handler(int sig, struct sigcontext *sc) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 42 | { |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 43 | int enabled; |
| 44 | |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 45 | enabled = signals_enabled; |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 46 | if (!enabled && (sig == SIGIO)) { |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 47 | pending |= SIGIO_MASK; |
| 48 | return; |
| 49 | } |
| 50 | |
| 51 | block_signals(); |
| 52 | |
Jeff Dike | 6aa802c | 2007-10-16 01:26:56 -0700 | [diff] [blame] | 53 | sig_handler_common_skas(sig, sc); |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 54 | |
| 55 | set_signals(enabled); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 56 | } |
| 57 | |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 58 | static void real_alarm_handler(int sig, struct sigcontext *sc) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 59 | { |
Jeff Dike | 77bf440 | 2007-10-16 01:26:58 -0700 | [diff] [blame] | 60 | struct uml_pt_regs regs; |
Jeff Dike | 2ea5bc5 | 2007-05-10 22:22:32 -0700 | [diff] [blame] | 61 | |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 62 | if (sc != NULL) |
Jeff Dike | 2ea5bc5 | 2007-05-10 22:22:32 -0700 | [diff] [blame] | 63 | copy_sc(®s, sc); |
Jeff Dike | 77bf440 | 2007-10-16 01:26:58 -0700 | [diff] [blame] | 64 | regs.is_user = 0; |
Jeff Dike | 2ea5bc5 | 2007-05-10 22:22:32 -0700 | [diff] [blame] | 65 | unblock_signals(); |
| 66 | timer_handler(sig, ®s); |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 67 | } |
| 68 | |
Jeff Dike | 4b84c69 | 2006-09-25 23:33:04 -0700 | [diff] [blame] | 69 | void alarm_handler(int sig, struct sigcontext *sc) |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 70 | { |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 71 | int enabled; |
| 72 | |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 73 | enabled = signals_enabled; |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 74 | if (!signals_enabled) { |
| 75 | if (sig == SIGVTALRM) |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 76 | pending |= SIGVTALRM_MASK; |
| 77 | else pending |= SIGALRM_MASK; |
| 78 | |
| 79 | return; |
| 80 | } |
| 81 | |
| 82 | block_signals(); |
| 83 | |
| 84 | real_alarm_handler(sig, sc); |
| 85 | set_signals(enabled); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 86 | } |
| 87 | |
Jeff Dike | 78a26e2 | 2007-10-16 01:27:23 -0700 | [diff] [blame] | 88 | void timer_init(void) |
| 89 | { |
| 90 | set_handler(SIGVTALRM, (__sighandler_t) alarm_handler, |
| 91 | SA_ONSTACK | SA_RESTART, SIGUSR1, SIGIO, SIGWINCH, |
| 92 | SIGALRM, -1); |
| 93 | set_handler(SIGALRM, (__sighandler_t) alarm_handler, |
| 94 | SA_ONSTACK | SA_RESTART, SIGUSR1, SIGIO, SIGWINCH, |
| 95 | SIGALRM, -1); |
| 96 | } |
| 97 | |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 98 | void set_sigstack(void *sig_stack, int size) |
| 99 | { |
| 100 | stack_t stack = ((stack_t) { .ss_flags = 0, |
| 101 | .ss_sp = (__ptr_t) sig_stack, |
| 102 | .ss_size = size - sizeof(void *) }); |
| 103 | |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 104 | if (sigaltstack(&stack, NULL) != 0) |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 105 | panic("enabling signal stack failed, errno = %d\n", errno); |
| 106 | } |
| 107 | |
| 108 | void remove_sigstack(void) |
| 109 | { |
| 110 | stack_t stack = ((stack_t) { .ss_flags = SS_DISABLE, |
| 111 | .ss_sp = NULL, |
| 112 | .ss_size = 0 }); |
| 113 | |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 114 | if (sigaltstack(&stack, NULL) != 0) |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 115 | panic("disabling signal stack failed, errno = %d\n", errno); |
| 116 | } |
| 117 | |
Jeff Dike | 4b84c69 | 2006-09-25 23:33:04 -0700 | [diff] [blame] | 118 | void (*handlers[_NSIG])(int sig, struct sigcontext *sc); |
| 119 | |
Jeff Dike | c14b849 | 2007-05-10 22:22:34 -0700 | [diff] [blame] | 120 | void handle_signal(int sig, struct sigcontext *sc) |
| 121 | { |
Jeff Dike | 508a927 | 2007-09-18 22:46:49 -0700 | [diff] [blame] | 122 | unsigned long pending = 1UL << sig; |
Jeff Dike | c14b849 | 2007-05-10 22:22:34 -0700 | [diff] [blame] | 123 | |
| 124 | do { |
| 125 | int nested, bail; |
| 126 | |
| 127 | /* |
| 128 | * pending comes back with one bit set for each |
| 129 | * interrupt that arrived while setting up the stack, |
| 130 | * plus a bit for this interrupt, plus the zero bit is |
| 131 | * set if this is a nested interrupt. |
| 132 | * If bail is true, then we interrupted another |
| 133 | * handler setting up the stack. In this case, we |
| 134 | * have to return, and the upper handler will deal |
| 135 | * with this interrupt. |
| 136 | */ |
Jeff Dike | 508a927 | 2007-09-18 22:46:49 -0700 | [diff] [blame] | 137 | bail = to_irq_stack(&pending); |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 138 | if (bail) |
Jeff Dike | c14b849 | 2007-05-10 22:22:34 -0700 | [diff] [blame] | 139 | return; |
| 140 | |
| 141 | nested = pending & 1; |
| 142 | pending &= ~1; |
| 143 | |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 144 | while ((sig = ffs(pending)) != 0){ |
Jeff Dike | c14b849 | 2007-05-10 22:22:34 -0700 | [diff] [blame] | 145 | sig--; |
| 146 | pending &= ~(1 << sig); |
| 147 | (*handlers[sig])(sig, sc); |
| 148 | } |
| 149 | |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 150 | /* |
| 151 | * Again, pending comes back with a mask of signals |
Jeff Dike | c14b849 | 2007-05-10 22:22:34 -0700 | [diff] [blame] | 152 | * that arrived while tearing down the stack. If this |
| 153 | * is non-zero, we just go back, set up the stack |
| 154 | * again, and handle the new interrupts. |
| 155 | */ |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 156 | if (!nested) |
Jeff Dike | c14b849 | 2007-05-10 22:22:34 -0700 | [diff] [blame] | 157 | pending = from_irq_stack(nested); |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 158 | } while (pending); |
Jeff Dike | c14b849 | 2007-05-10 22:22:34 -0700 | [diff] [blame] | 159 | } |
| 160 | |
Jeff Dike | 4b84c69 | 2006-09-25 23:33:04 -0700 | [diff] [blame] | 161 | extern void hard_handler(int sig); |
| 162 | |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 163 | void set_handler(int sig, void (*handler)(int), int flags, ...) |
| 164 | { |
| 165 | struct sigaction action; |
| 166 | va_list ap; |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 167 | sigset_t sig_mask; |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 168 | int mask; |
| 169 | |
Jeff Dike | 4b84c69 | 2006-09-25 23:33:04 -0700 | [diff] [blame] | 170 | handlers[sig] = (void (*)(int, struct sigcontext *)) handler; |
| 171 | action.sa_handler = hard_handler; |
| 172 | |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 173 | sigemptyset(&action.sa_mask); |
Jeff Dike | 4b84c69 | 2006-09-25 23:33:04 -0700 | [diff] [blame] | 174 | |
| 175 | va_start(ap, flags); |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 176 | while ((mask = va_arg(ap, int)) != -1) |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 177 | sigaddset(&action.sa_mask, mask); |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 178 | va_end(ap); |
Jeff Dike | 4b84c69 | 2006-09-25 23:33:04 -0700 | [diff] [blame] | 179 | |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 180 | action.sa_flags = flags; |
| 181 | action.sa_restorer = NULL; |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 182 | if (sigaction(sig, &action, NULL) < 0) |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 183 | panic("sigaction failed - errno = %d\n", errno); |
| 184 | |
| 185 | sigemptyset(&sig_mask); |
| 186 | sigaddset(&sig_mask, sig); |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 187 | if (sigprocmask(SIG_UNBLOCK, &sig_mask, NULL) < 0) |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 188 | panic("sigprocmask failed - errno = %d\n", errno); |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 189 | } |
| 190 | |
| 191 | int change_sig(int signal, int on) |
| 192 | { |
| 193 | sigset_t sigset, old; |
| 194 | |
| 195 | sigemptyset(&sigset); |
| 196 | sigaddset(&sigset, signal); |
| 197 | sigprocmask(on ? SIG_UNBLOCK : SIG_BLOCK, &sigset, &old); |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 198 | return !sigismember(&old, signal); |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 199 | } |
| 200 | |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 201 | void block_signals(void) |
| 202 | { |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 203 | signals_enabled = 0; |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 204 | /* |
| 205 | * This must return with signals disabled, so this barrier |
Jeff Dike | 53b1733 | 2006-11-02 22:07:22 -0800 | [diff] [blame] | 206 | * ensures that writes are flushed out before the return. |
| 207 | * This might matter if gcc figures out how to inline this and |
| 208 | * decides to shuffle this code into the caller. |
| 209 | */ |
| 210 | mb(); |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 211 | } |
| 212 | |
| 213 | void unblock_signals(void) |
| 214 | { |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 215 | int save_pending; |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 216 | |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 217 | if (signals_enabled == 1) |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 218 | return; |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 219 | |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 220 | /* |
| 221 | * We loop because the IRQ handler returns with interrupts off. So, |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 222 | * interrupts may have arrived and we need to re-enable them and |
| 223 | * recheck pending. |
| 224 | */ |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 225 | while(1) { |
| 226 | /* |
| 227 | * Save and reset save_pending after enabling signals. This |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 228 | * way, pending won't be changed while we're reading it. |
| 229 | */ |
| 230 | signals_enabled = 1; |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 231 | |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 232 | /* |
| 233 | * Setting signals_enabled and reading pending must |
Jeff Dike | 53b1733 | 2006-11-02 22:07:22 -0800 | [diff] [blame] | 234 | * happen in this order. |
| 235 | */ |
| 236 | mb(); |
| 237 | |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 238 | save_pending = pending; |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 239 | if (save_pending == 0) { |
| 240 | /* |
| 241 | * This must return with signals enabled, so |
Jeff Dike | 53b1733 | 2006-11-02 22:07:22 -0800 | [diff] [blame] | 242 | * this barrier ensures that writes are |
| 243 | * flushed out before the return. This might |
| 244 | * matter if gcc figures out how to inline |
| 245 | * this (unlikely, given its size) and decides |
| 246 | * to shuffle this code into the caller. |
| 247 | */ |
| 248 | mb(); |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 249 | return; |
Jeff Dike | 53b1733 | 2006-11-02 22:07:22 -0800 | [diff] [blame] | 250 | } |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 251 | |
| 252 | pending = 0; |
| 253 | |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 254 | /* |
| 255 | * We have pending interrupts, so disable signals, as the |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 256 | * handlers expect them off when they are called. They will |
| 257 | * be enabled again above. |
| 258 | */ |
| 259 | |
| 260 | signals_enabled = 0; |
| 261 | |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 262 | /* |
| 263 | * Deal with SIGIO first because the alarm handler might |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 264 | * schedule, leaving the pending SIGIO stranded until we come |
| 265 | * back here. |
| 266 | */ |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 267 | if (save_pending & SIGIO_MASK) |
Jeff Dike | 6aa802c | 2007-10-16 01:26:56 -0700 | [diff] [blame] | 268 | sig_handler_common_skas(SIGIO, NULL); |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 269 | |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 270 | if (save_pending & SIGALRM_MASK) |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 271 | real_alarm_handler(SIGALRM, NULL); |
| 272 | |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 273 | if (save_pending & SIGVTALRM_MASK) |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 274 | real_alarm_handler(SIGVTALRM, NULL); |
| 275 | } |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 276 | } |
| 277 | |
| 278 | int get_signals(void) |
| 279 | { |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 280 | return signals_enabled; |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 281 | } |
| 282 | |
| 283 | int set_signals(int enable) |
| 284 | { |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 285 | int ret; |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 286 | if (signals_enabled == enable) |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 287 | return enable; |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 288 | |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 289 | ret = signals_enabled; |
Jeff Dike | ba180fd | 2007-10-16 01:27:00 -0700 | [diff] [blame] | 290 | if (enable) |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 291 | unblock_signals(); |
| 292 | else block_signals(); |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 293 | |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 294 | return ret; |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 295 | } |