Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2004 PathScale, Inc |
| 3 | * Licensed under the GPL |
| 4 | */ |
| 5 | |
| 6 | #include <signal.h> |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 7 | #include <stdio.h> |
| 8 | #include <unistd.h> |
| 9 | #include <stdlib.h> |
| 10 | #include <errno.h> |
| 11 | #include <stdarg.h> |
| 12 | #include <string.h> |
| 13 | #include <sys/mman.h> |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 14 | #include "user.h" |
| 15 | #include "signal_kern.h" |
| 16 | #include "sysdep/sigcontext.h" |
Jeff Dike | 53b1733 | 2006-11-02 22:07:22 -0800 | [diff] [blame] | 17 | #include "sysdep/barrier.h" |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 18 | #include "sigcontext.h" |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 19 | #include "mode.h" |
Gennady Sharapov | cff65c4 | 2006-01-18 17:42:42 -0800 | [diff] [blame] | 20 | #include "os.h" |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 21 | |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 22 | /* These are the asynchronous signals. SIGVTALRM and SIGARLM are handled |
| 23 | * together under SIGVTALRM_BIT. SIGPROF is excluded because we want to |
| 24 | * be able to profile all of UML, not just the non-critical sections. If |
| 25 | * profiling is not thread-safe, then that is not my problem. We can disable |
| 26 | * profiling when SMP is enabled in that case. |
| 27 | */ |
| 28 | #define SIGIO_BIT 0 |
| 29 | #define SIGIO_MASK (1 << SIGIO_BIT) |
| 30 | |
| 31 | #define SIGVTALRM_BIT 1 |
| 32 | #define SIGVTALRM_MASK (1 << SIGVTALRM_BIT) |
| 33 | |
| 34 | #define SIGALRM_BIT 2 |
| 35 | #define SIGALRM_MASK (1 << SIGALRM_BIT) |
| 36 | |
Jeff Dike | 53b1733 | 2006-11-02 22:07:22 -0800 | [diff] [blame] | 37 | /* These are used by both the signal handlers and |
| 38 | * block/unblock_signals. I don't want modifications cached in a |
| 39 | * register - they must go straight to memory. |
| 40 | */ |
| 41 | static volatile int signals_enabled = 1; |
| 42 | static volatile int pending = 0; |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 43 | |
Jeff Dike | 4b84c69 | 2006-09-25 23:33:04 -0700 | [diff] [blame] | 44 | void sig_handler(int sig, struct sigcontext *sc) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 45 | { |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 46 | int enabled; |
| 47 | |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 48 | enabled = signals_enabled; |
| 49 | if(!enabled && (sig == SIGIO)){ |
| 50 | pending |= SIGIO_MASK; |
| 51 | return; |
| 52 | } |
| 53 | |
| 54 | block_signals(); |
| 55 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 56 | CHOOSE_MODE_PROC(sig_handler_common_tt, sig_handler_common_skas, |
| 57 | sig, sc); |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 58 | |
| 59 | set_signals(enabled); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 60 | } |
| 61 | |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 62 | static void real_alarm_handler(int sig, struct sigcontext *sc) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 63 | { |
Jeff Dike | 2ea5bc5 | 2007-05-10 22:22:32 -0700 | [diff] [blame^] | 64 | union uml_pt_regs regs; |
| 65 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 66 | if(sig == SIGALRM) |
| 67 | switch_timers(0); |
| 68 | |
Jeff Dike | 2ea5bc5 | 2007-05-10 22:22:32 -0700 | [diff] [blame^] | 69 | if(sc != NULL) |
| 70 | copy_sc(®s, sc); |
| 71 | regs.skas.is_user = 0; |
| 72 | unblock_signals(); |
| 73 | timer_handler(sig, ®s); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 74 | |
| 75 | if(sig == SIGALRM) |
| 76 | switch_timers(1); |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 77 | } |
| 78 | |
Jeff Dike | 4b84c69 | 2006-09-25 23:33:04 -0700 | [diff] [blame] | 79 | void alarm_handler(int sig, struct sigcontext *sc) |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 80 | { |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 81 | int enabled; |
| 82 | |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 83 | enabled = signals_enabled; |
| 84 | if(!signals_enabled){ |
| 85 | if(sig == SIGVTALRM) |
| 86 | pending |= SIGVTALRM_MASK; |
| 87 | else pending |= SIGALRM_MASK; |
| 88 | |
| 89 | return; |
| 90 | } |
| 91 | |
| 92 | block_signals(); |
| 93 | |
| 94 | real_alarm_handler(sig, sc); |
| 95 | set_signals(enabled); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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 | |
| 104 | if(sigaltstack(&stack, NULL) != 0) |
| 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 | |
| 114 | if(sigaltstack(&stack, NULL) != 0) |
| 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 | |
| 120 | extern void hard_handler(int sig); |
| 121 | |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 122 | void set_handler(int sig, void (*handler)(int), int flags, ...) |
| 123 | { |
| 124 | struct sigaction action; |
| 125 | va_list ap; |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 126 | sigset_t sig_mask; |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 127 | int mask; |
| 128 | |
Jeff Dike | 4b84c69 | 2006-09-25 23:33:04 -0700 | [diff] [blame] | 129 | handlers[sig] = (void (*)(int, struct sigcontext *)) handler; |
| 130 | action.sa_handler = hard_handler; |
| 131 | |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 132 | sigemptyset(&action.sa_mask); |
Jeff Dike | 4b84c69 | 2006-09-25 23:33:04 -0700 | [diff] [blame] | 133 | |
| 134 | va_start(ap, flags); |
| 135 | while((mask = va_arg(ap, int)) != -1) |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 136 | sigaddset(&action.sa_mask, mask); |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 137 | va_end(ap); |
Jeff Dike | 4b84c69 | 2006-09-25 23:33:04 -0700 | [diff] [blame] | 138 | |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 139 | action.sa_flags = flags; |
| 140 | action.sa_restorer = NULL; |
| 141 | if(sigaction(sig, &action, NULL) < 0) |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 142 | panic("sigaction failed - errno = %d\n", errno); |
| 143 | |
| 144 | sigemptyset(&sig_mask); |
| 145 | sigaddset(&sig_mask, sig); |
| 146 | if(sigprocmask(SIG_UNBLOCK, &sig_mask, NULL) < 0) |
| 147 | panic("sigprocmask failed - errno = %d\n", errno); |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 148 | } |
| 149 | |
| 150 | int change_sig(int signal, int on) |
| 151 | { |
| 152 | sigset_t sigset, old; |
| 153 | |
| 154 | sigemptyset(&sigset); |
| 155 | sigaddset(&sigset, signal); |
| 156 | sigprocmask(on ? SIG_UNBLOCK : SIG_BLOCK, &sigset, &old); |
| 157 | return(!sigismember(&old, signal)); |
| 158 | } |
| 159 | |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 160 | void block_signals(void) |
| 161 | { |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 162 | signals_enabled = 0; |
Jeff Dike | 53b1733 | 2006-11-02 22:07:22 -0800 | [diff] [blame] | 163 | /* This must return with signals disabled, so this barrier |
| 164 | * ensures that writes are flushed out before the return. |
| 165 | * This might matter if gcc figures out how to inline this and |
| 166 | * decides to shuffle this code into the caller. |
| 167 | */ |
| 168 | mb(); |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 169 | } |
| 170 | |
| 171 | void unblock_signals(void) |
| 172 | { |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 173 | int save_pending; |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 174 | |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 175 | if(signals_enabled == 1) |
| 176 | return; |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 177 | |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 178 | /* We loop because the IRQ handler returns with interrupts off. So, |
| 179 | * interrupts may have arrived and we need to re-enable them and |
| 180 | * recheck pending. |
| 181 | */ |
| 182 | while(1){ |
| 183 | /* Save and reset save_pending after enabling signals. This |
| 184 | * way, pending won't be changed while we're reading it. |
| 185 | */ |
| 186 | signals_enabled = 1; |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 187 | |
Jeff Dike | 53b1733 | 2006-11-02 22:07:22 -0800 | [diff] [blame] | 188 | /* Setting signals_enabled and reading pending must |
| 189 | * happen in this order. |
| 190 | */ |
| 191 | mb(); |
| 192 | |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 193 | save_pending = pending; |
Jeff Dike | 53b1733 | 2006-11-02 22:07:22 -0800 | [diff] [blame] | 194 | if(save_pending == 0){ |
| 195 | /* This must return with signals enabled, so |
| 196 | * this barrier ensures that writes are |
| 197 | * flushed out before the return. This might |
| 198 | * matter if gcc figures out how to inline |
| 199 | * this (unlikely, given its size) and decides |
| 200 | * to shuffle this code into the caller. |
| 201 | */ |
| 202 | mb(); |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 203 | return; |
Jeff Dike | 53b1733 | 2006-11-02 22:07:22 -0800 | [diff] [blame] | 204 | } |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 205 | |
| 206 | pending = 0; |
| 207 | |
| 208 | /* We have pending interrupts, so disable signals, as the |
| 209 | * handlers expect them off when they are called. They will |
| 210 | * be enabled again above. |
| 211 | */ |
| 212 | |
| 213 | signals_enabled = 0; |
| 214 | |
| 215 | /* Deal with SIGIO first because the alarm handler might |
| 216 | * schedule, leaving the pending SIGIO stranded until we come |
| 217 | * back here. |
| 218 | */ |
| 219 | if(save_pending & SIGIO_MASK) |
| 220 | CHOOSE_MODE_PROC(sig_handler_common_tt, |
| 221 | sig_handler_common_skas, SIGIO, NULL); |
| 222 | |
| 223 | if(save_pending & SIGALRM_MASK) |
| 224 | real_alarm_handler(SIGALRM, NULL); |
| 225 | |
| 226 | if(save_pending & SIGVTALRM_MASK) |
| 227 | real_alarm_handler(SIGVTALRM, NULL); |
| 228 | } |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 229 | } |
| 230 | |
| 231 | int get_signals(void) |
| 232 | { |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 233 | return signals_enabled; |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 234 | } |
| 235 | |
| 236 | int set_signals(int enable) |
| 237 | { |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 238 | int ret; |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 239 | if(signals_enabled == enable) |
| 240 | return enable; |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 241 | |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 242 | ret = signals_enabled; |
| 243 | if(enable) |
| 244 | unblock_signals(); |
| 245 | else block_signals(); |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 246 | |
Jeff Dike | 1d7173b | 2006-01-18 17:42:49 -0800 | [diff] [blame] | 247 | return ret; |
Gennady Sharapov | 0805d89 | 2006-01-08 01:01:29 -0800 | [diff] [blame] | 248 | } |