Ruby 4.1.0dev (2026-10-09 revision 28c73472f8f4a19bcb64482c1303ac20d8cb383e)
signal.c (28c73472f8f4a19bcb64482c1303ac20d8cb383e)
1/**********************************************************************
2
3 signal.c -
4
5 $Author$
6 created at: Tue Dec 20 10:13:44 JST 1994
7
8 Copyright (C) 1993-2007 Yukihiro Matsumoto
9 Copyright (C) 2000 Network Applied Communication Laboratory, Inc.
10 Copyright (C) 2000 Information-technology Promotion Agency, Japan
11
12**********************************************************************/
13
14#include "ruby/internal/config.h"
15
16#include <errno.h>
17#include <signal.h>
18#include <stdio.h>
19
20#ifdef HAVE_UNISTD_H
21# include <unistd.h>
22#endif
23
24#ifdef HAVE_SYS_UIO_H
25# include <sys/uio.h>
26#endif
27
28#ifdef HAVE_UCONTEXT_H
29# include <ucontext.h>
30#endif
31
32#ifdef HAVE_PTHREAD_H
33# include <pthread.h>
34#endif
35
36#include "debug_counter.h"
37#include "eval_intern.h"
38#include "internal.h"
39#include "internal/error.h"
40#include "internal/eval.h"
41#include "internal/sanitizers.h"
42#include "internal/signal.h"
43#include "internal/string.h"
44#include "internal/thread.h"
45#include "ruby_atomic.h"
46#include "vm_core.h"
47#include "ractor_core.h"
49
50#ifdef NEED_RUBY_ATOMIC_OPS
52ruby_atomic_exchange(rb_atomic_t *ptr, rb_atomic_t val)
53{
54 rb_atomic_t old = *ptr;
55 *ptr = val;
56 return old;
57}
58
60ruby_atomic_compare_and_swap(rb_atomic_t *ptr, rb_atomic_t cmp,
61 rb_atomic_t newval)
62{
63 rb_atomic_t old = *ptr;
64 if (old == cmp) {
65 *ptr = newval;
66 }
67 return old;
68}
69#endif
70
71#define FOREACH_SIGNAL(sig, offset) \
72 for (sig = siglist + (offset); sig < siglist + numberof(siglist); ++sig)
73enum { LONGEST_SIGNAME = 7 }; /* MIGRATE and RETRACT */
74static const struct signals {
75 char signm[LONGEST_SIGNAME + 1];
76 int signo;
77} siglist [] = {
78 {"EXIT", 0},
79#ifdef SIGHUP
80 {"HUP", SIGHUP},
81#endif
82 {"INT", SIGINT},
83#ifdef SIGQUIT
84 {"QUIT", SIGQUIT},
85#endif
86#ifdef SIGILL
87 {"ILL", SIGILL},
88#endif
89#ifdef SIGTRAP
90 {"TRAP", SIGTRAP},
91#endif
92#ifdef SIGABRT
93 {"ABRT", SIGABRT},
94#endif
95#ifdef SIGIOT
96 {"IOT", SIGIOT},
97#endif
98#ifdef SIGEMT
99 {"EMT", SIGEMT},
100#endif
101#ifdef SIGFPE
102 {"FPE", SIGFPE},
103#endif
104#ifdef SIGKILL
105 {"KILL", SIGKILL},
106#endif
107#ifdef SIGBUS
108 {"BUS", SIGBUS},
109#endif
110#ifdef SIGSEGV
111 {"SEGV", SIGSEGV},
112#endif
113#ifdef SIGSYS
114 {"SYS", SIGSYS},
115#endif
116#ifdef SIGPIPE
117 {"PIPE", SIGPIPE},
118#endif
119#ifdef SIGALRM
120 {"ALRM", SIGALRM},
121#endif
122#ifdef SIGTERM
123 {"TERM", SIGTERM},
124#endif
125#ifdef SIGURG
126 {"URG", SIGURG},
127#endif
128#ifdef SIGSTOP
129 {"STOP", SIGSTOP},
130#endif
131#ifdef SIGTSTP
132 {"TSTP", SIGTSTP},
133#endif
134#ifdef SIGCONT
135 {"CONT", SIGCONT},
136#endif
137#ifdef RUBY_SIGCHLD
138 {"CHLD", RUBY_SIGCHLD },
139 {"CLD", RUBY_SIGCHLD },
140#endif
141#ifdef SIGTTIN
142 {"TTIN", SIGTTIN},
143#endif
144#ifdef SIGTTOU
145 {"TTOU", SIGTTOU},
146#endif
147#ifdef SIGIO
148 {"IO", SIGIO},
149#endif
150#ifdef SIGXCPU
151 {"XCPU", SIGXCPU},
152#endif
153#ifdef SIGXFSZ
154 {"XFSZ", SIGXFSZ},
155#endif
156#ifdef SIGVTALRM
157 {"VTALRM", SIGVTALRM},
158#endif
159#ifdef SIGPROF
160 {"PROF", SIGPROF},
161#endif
162#ifdef SIGWINCH
163 {"WINCH", SIGWINCH},
164#endif
165#ifdef SIGUSR1
166 {"USR1", SIGUSR1},
167#endif
168#ifdef SIGUSR2
169 {"USR2", SIGUSR2},
170#endif
171#ifdef SIGLOST
172 {"LOST", SIGLOST},
173#endif
174#ifdef SIGMSG
175 {"MSG", SIGMSG},
176#endif
177#ifdef SIGPWR
178 {"PWR", SIGPWR},
179#endif
180#ifdef SIGPOLL
181 {"POLL", SIGPOLL},
182#endif
183#ifdef SIGDANGER
184 {"DANGER", SIGDANGER},
185#endif
186#ifdef SIGMIGRATE
187 {"MIGRATE", SIGMIGRATE},
188#endif
189#ifdef SIGPRE
190 {"PRE", SIGPRE},
191#endif
192#ifdef SIGGRANT
193 {"GRANT", SIGGRANT},
194#endif
195#ifdef SIGRETRACT
196 {"RETRACT", SIGRETRACT},
197#endif
198#ifdef SIGSOUND
199 {"SOUND", SIGSOUND},
200#endif
201#ifdef SIGINFO
202 {"INFO", SIGINFO},
203#endif
204};
205
206static const char signame_prefix[] = "SIG";
207static const int signame_prefix_len = 3;
208
209static int
210signm2signo(VALUE *sig_ptr, int negative, int exit, int *prefix_ptr)
211{
212 const struct signals *sigs;
213 VALUE vsig = *sig_ptr;
214 const char *nm;
215 long len, nmlen;
216 int prefix = 0;
217
218 if (RB_SYMBOL_P(vsig)) {
219 *sig_ptr = vsig = rb_sym2str(vsig);
220 }
221 else if (!RB_TYPE_P(vsig, T_STRING)) {
222 VALUE str = rb_check_string_type(vsig);
223 if (NIL_P(str)) {
224 rb_raise(rb_eArgError, "bad signal type %s",
225 rb_obj_classname(vsig));
226 }
227 *sig_ptr = vsig = str;
228 }
229
231 RSTRING_GETMEM(vsig, nm, len);
232 if (memchr(nm, '\0', len)) {
233 rb_raise(rb_eArgError, "signal name with null byte");
234 }
235
236 if (len > 0 && nm[0] == '-') {
237 if (!negative)
238 rb_raise(rb_eArgError, "negative signal name: % "PRIsVALUE, vsig);
239 prefix = 1;
240 }
241 else {
242 negative = 0;
243 }
244 if (len >= prefix + signame_prefix_len) {
245 if (memcmp(nm + prefix, signame_prefix, signame_prefix_len) == 0)
246 prefix += signame_prefix_len;
247 }
248 if (len <= (long)prefix) {
249 goto unsupported;
250 }
251
252 if (prefix_ptr) *prefix_ptr = prefix;
253 nmlen = len - prefix;
254 nm += prefix;
255 if (nmlen > LONGEST_SIGNAME) goto unsupported;
256 FOREACH_SIGNAL(sigs, !exit) {
257 if (memcmp(sigs->signm, nm, nmlen) == 0 &&
258 sigs->signm[nmlen] == '\0') {
259 return negative ? -sigs->signo : sigs->signo;
260 }
261 }
262
263 unsupported:
264 if (prefix == signame_prefix_len) {
265 prefix = 0;
266 }
267 else if (prefix > signame_prefix_len) {
268 prefix -= signame_prefix_len;
269 len -= prefix;
270 vsig = rb_str_subseq(vsig, prefix, len);
271 prefix = 0;
272 }
273 else {
274 len -= prefix;
275 vsig = rb_str_subseq(vsig, prefix, len);
276 prefix = signame_prefix_len;
277 }
278 rb_raise(rb_eArgError, "unsupported signal '%.*s%"PRIsVALUE"'",
279 prefix, signame_prefix, vsig);
281}
282
283static const char*
284signo2signm(int no)
285{
286 const struct signals *sigs;
287
288 FOREACH_SIGNAL(sigs, 0) {
289 if (sigs->signo == no)
290 return sigs->signm;
291 }
292 return 0;
293}
294
295/*
296 * call-seq:
297 * Signal.signame(signo) -> string or nil
298 *
299 * Convert signal number to signal name.
300 * Returns +nil+ if the signo is an invalid signal number.
301 *
302 * Signal.trap("INT") { |signo| puts Signal.signame(signo) }
303 * Process.kill("INT", 0)
304 *
305 * <em>produces:</em>
306 *
307 * INT
308 */
309static VALUE
310sig_signame(VALUE recv, VALUE signo)
311{
312 const char *signame = signo2signm(NUM2INT(signo));
313 if (!signame) return Qnil;
314 return rb_str_new_cstr(signame);
315}
316
317const char *
319{
320 return signo2signm(no);
321}
322
323static VALUE
324rb_signo2signm(int signo)
325{
326 const char *const signm = signo2signm(signo);
327 if (signm) {
328 return rb_sprintf("SIG%s", signm);
329 }
330 else {
331 return rb_sprintf("SIG%u", signo);
332 }
333}
334
335/*
336 * call-seq:
337 * SignalException.new(sig_name) -> signal_exception
338 * SignalException.new(sig_number [, name]) -> signal_exception
339 *
340 * Construct a new SignalException object. +sig_name+ should be a known
341 * signal name.
342 */
343
344static VALUE
345esignal_init(int argc, VALUE *argv, VALUE self)
346{
347 int argnum = 1;
348 VALUE sig = Qnil;
349 int signo;
350
351 if (argc > 0) {
352 sig = rb_check_to_integer(argv[0], "to_int");
353 if (!NIL_P(sig)) argnum = 2;
354 else sig = argv[0];
355 }
356 rb_check_arity(argc, 1, argnum);
357 if (argnum == 2) {
358 signo = NUM2INT(sig);
359 if (signo < 0 || signo > NSIG) {
360 rb_raise(rb_eArgError, "invalid signal number (%d)", signo);
361 }
362 if (argc > 1) {
363 sig = argv[1];
364 }
365 else {
366 sig = rb_signo2signm(signo);
367 }
368 }
369 else {
370 int prefix;
371 signo = signm2signo(&sig, FALSE, FALSE, &prefix);
372 if (prefix != signame_prefix_len) {
373 sig = rb_str_append(rb_str_new_cstr("SIG"), sig);
374 }
375 }
376 rb_call_super(1, &sig);
377 rb_ivar_set(self, id_signo, INT2NUM(signo));
378
379 return self;
380}
381
382/*
383 * call-seq:
384 * signal_exception.signo -> num
385 *
386 * Returns a signal number.
387 */
388
389static VALUE
390esignal_signo(VALUE self)
391{
392 return rb_ivar_get(self, id_signo);
393}
394
395/* :nodoc: */
396static VALUE
397interrupt_init(int argc, VALUE *argv, VALUE self)
398{
399 VALUE args[2];
400
401 args[0] = INT2FIX(SIGINT);
402 args[1] = rb_check_arity(argc, 0, 1) ? argv[0] : Qnil;
403 return rb_call_super(2, args);
404}
405
406#if defined(USE_SIGALTSTACK) || defined(_WIN32)
407static void reset_sigmask(int sig);
408#endif
409
410void
412{
413#if USE_DEBUG_COUNTER
414 rb_debug_counter_show_results("killed by signal.");
415#endif
416
417 signal(sig, SIG_DFL);
418#if defined(USE_SIGALTSTACK) || defined(_WIN32)
419 reset_sigmask(sig);
420#endif
421 raise(sig);
422}
423
424static void sighandler(int sig);
425static int signal_ignored(int sig);
426static void signal_enque(int sig);
427
428VALUE
429rb_f_kill(int argc, const VALUE *argv)
430{
431#ifndef HAVE_KILLPG
432#define killpg(pg, sig) kill(-(pg), (sig))
433#endif
434 int sig;
435 int i;
436 VALUE str;
437
439
440 if (FIXNUM_P(argv[0])) {
441 sig = FIX2INT(argv[0]);
442 }
443 else {
444 str = argv[0];
445 sig = signm2signo(&str, TRUE, FALSE, NULL);
446 }
447
448 if (argc <= 1) return INT2FIX(0);
449
450 if (sig < 0) {
451 sig = -sig;
452 for (i=1; i<argc; i++) {
453 if (killpg(NUM2PIDT(argv[i]), sig) < 0)
454 rb_sys_fail(0);
455 }
456 }
457 else {
458 const rb_pid_t self = (GET_THREAD() == GET_VM()->ractor.main_thread) ? getpid() : -1;
459 int wakeup = 0;
460
461 for (i=1; i<argc; i++) {
462 rb_pid_t pid = NUM2PIDT(argv[i]);
463
464 if ((sig != 0) && (self != -1) && (pid == self)) {
465 int t;
466 /*
467 * When target pid is self, many caller assume signal will be
468 * delivered immediately and synchronously.
469 */
470 switch (sig) {
471 case SIGSEGV:
472#ifdef SIGBUS
473 case SIGBUS:
474#endif
475#ifdef SIGKILL
476 case SIGKILL:
477#endif
478#ifdef SIGILL
479 case SIGILL:
480#endif
481#ifdef SIGFPE
482 case SIGFPE:
483#endif
484#ifdef SIGSTOP
485 case SIGSTOP:
486#endif
487 kill(pid, sig);
488 break;
489 default:
490 t = signal_ignored(sig);
491 if (t) {
492 if (t < 0 && kill(pid, sig))
493 rb_sys_fail(0);
494 break;
495 }
496 signal_enque(sig);
497 wakeup = 1;
498 }
499 }
500 else if (kill(pid, sig) < 0) {
501 rb_sys_fail(0);
502 }
503 }
504 if (wakeup) {
505 rb_threadptr_check_signal(GET_VM()->ractor.main_thread);
506 }
507 }
508 rb_thread_execute_interrupts(rb_thread_current());
509
510 return INT2FIX(i-1);
511}
512
513static struct {
514 rb_atomic_t cnt[RUBY_NSIG];
515 rb_atomic_t size;
516} signal_buff;
517
518#define sighandler_t ruby_sighandler_t
519
520#ifdef USE_SIGALTSTACK
521typedef void ruby_sigaction_t(int, siginfo_t*, void*);
522#define SIGINFO_ARG , siginfo_t *info, void *ctx
523#define SIGINFO_CTX ctx
524#else
525typedef void ruby_sigaction_t(int);
526#define SIGINFO_ARG
527#define SIGINFO_CTX 0
528#endif
529
530#ifdef USE_SIGALTSTACK
531/* XXX: BSD_vfprintf() uses >1500B stack and x86-64 need >5KiB stack. */
532#define RUBY_SIGALTSTACK_SIZE (16*1024)
533
534static int
535rb_sigaltstack_size(void)
536{
537 int size = RUBY_SIGALTSTACK_SIZE;
538
539#ifdef MINSIGSTKSZ
540 {
541 int minsigstksz = (int)MINSIGSTKSZ;
542 if (size < minsigstksz)
543 size = minsigstksz;
544 }
545#endif
546#if defined(HAVE_SYSCONF) && defined(_SC_PAGE_SIZE)
547 {
548 int pagesize;
549 pagesize = (int)sysconf(_SC_PAGE_SIZE);
550 if (size < pagesize)
551 size = pagesize;
552 }
553#endif
554
555 return size;
556}
557
558static int rb_sigaltstack_size_value = 0;
559
560void *
561rb_allocate_sigaltstack(void)
562{
563 void *altstack;
564 if (!rb_sigaltstack_size_value) {
565 rb_sigaltstack_size_value = rb_sigaltstack_size();
566 }
567 altstack = malloc(rb_sigaltstack_size_value);
568 if (!altstack) rb_memerror();
569 return altstack;
570}
571
572/* alternate stack for SIGSEGV */
573void *
574rb_register_sigaltstack(void *altstack)
575{
576 stack_t newSS, oldSS;
577
578 newSS.ss_size = rb_sigaltstack_size_value;
579 newSS.ss_sp = altstack;
580 newSS.ss_flags = 0;
581
582 sigaltstack(&newSS, &oldSS); /* ignore error. */
583
584 return newSS.ss_sp;
585}
586#endif /* USE_SIGALTSTACK */
587
588#ifdef POSIX_SIGNAL
589static sighandler_t
590ruby_signal(int signum, sighandler_t handler)
591{
592 struct sigaction sigact, old;
593
594#if 0
595 rb_trap_accept_nativethreads[signum] = 0;
596#endif
597
598 sigemptyset(&sigact.sa_mask);
599#if defined(USE_SIGALTSTACK) && !defined(__wasm__)
600 if (handler == SIG_IGN || handler == SIG_DFL) {
601 sigact.sa_handler = handler;
602 sigact.sa_flags = 0;
603 }
604 else {
605 sigact.sa_sigaction = (ruby_sigaction_t*)handler;
606 sigact.sa_flags = SA_SIGINFO;
607 }
608#else
609 sigact.sa_handler = handler;
610 sigact.sa_flags = 0;
611#endif
612
613 switch (signum) {
614#if defined(SA_ONSTACK) && defined(USE_SIGALTSTACK)
615 case SIGSEGV:
616#ifdef SIGBUS
617 case SIGBUS:
618#endif
619 sigact.sa_flags |= SA_ONSTACK;
620 break;
621#endif
622 }
623 (void)VALGRIND_MAKE_MEM_DEFINED(&old, sizeof(old));
624 if (sigaction(signum, &sigact, &old) < 0) {
625 return SIG_ERR;
626 }
627 if (old.sa_flags & SA_SIGINFO)
628 handler = (sighandler_t)old.sa_sigaction;
629 else
630 handler = old.sa_handler;
631 ASSUME(handler != SIG_ERR);
632 return handler;
633}
634
635sighandler_t
636ruby_posix_signal(int signum, sighandler_t handler)
637{
638 return ruby_signal(signum, handler);
639}
640
641#elif defined _WIN32
642static inline sighandler_t
643ruby_signal(int signum, sighandler_t handler)
644{
645 if (signum == SIGKILL) {
646 errno = EINVAL;
647 return SIG_ERR;
648 }
649 return signal(signum, handler);
650}
651
652#else /* !POSIX_SIGNAL */
653#define ruby_signal(sig,handler) (/* rb_trap_accept_nativethreads[(sig)] = 0,*/ signal((sig),(handler)))
654#if 0 /* def HAVE_NATIVETHREAD */
655static sighandler_t
656ruby_nativethread_signal(int signum, sighandler_t handler)
657{
658 sighandler_t old;
659
660 old = signal(signum, handler);
661 rb_trap_accept_nativethreads[signum] = 1;
662 return old;
663}
664#endif
665#endif
666
667#if !defined(POSIX_SIGNAL) && !defined(SIG_GET)
668static rb_nativethread_lock_t sig_check_lock;
669#endif
670
671static int
672signal_ignored(int sig)
673{
674 sighandler_t func;
675#ifdef POSIX_SIGNAL
676 struct sigaction old;
677 (void)VALGRIND_MAKE_MEM_DEFINED(&old, sizeof(old));
678 if (sigaction(sig, NULL, &old) < 0) return FALSE;
679 func = old.sa_handler;
680#elif defined SIG_GET
681 // https://learn.microsoft.com/en-us/cpp/c-runtime-library/signal-action-constants
682 // SIG_GET: Returns the current value of the signal.
683 func = signal(sig, SIG_GET);
684#else
685 sighandler_t old;
686 rb_native_mutex_lock(&sig_check_lock);
687 old = signal(sig, SIG_DFL);
688 signal(sig, old);
689 rb_native_mutex_unlock(&sig_check_lock);
690 func = old;
691#endif
692 if (func == SIG_IGN) return 1;
693 return func == sighandler ? 0 : -1;
694}
695
696static void
697signal_enque(int sig)
698{
699 ATOMIC_INC(signal_buff.cnt[sig]);
700 ATOMIC_INC(signal_buff.size);
701}
702
703static void
704sighandler(int sig)
705{
706 int old_errnum = errno;
707
708 signal_enque(sig);
709 rb_thread_wakeup_timer_thread(sig);
710
711#if !defined(BSD_SIGNAL) && !defined(POSIX_SIGNAL)
712 ruby_signal(sig, sighandler);
713#endif
714
715 errno = old_errnum;
716}
717
718int
719rb_signal_buff_size(void)
720{
721 return RUBY_ATOMIC_LOAD(signal_buff.size);
722}
723
724static void
725rb_disable_interrupt(void)
726{
727#ifdef HAVE_PTHREAD_SIGMASK
728 sigset_t mask;
729 sigfillset(&mask);
730 pthread_sigmask(SIG_SETMASK, &mask, NULL);
731#endif
732}
733
734static void
735rb_enable_interrupt(void)
736{
737#ifdef HAVE_PTHREAD_SIGMASK
738 sigset_t mask;
739 sigemptyset(&mask);
740 pthread_sigmask(SIG_SETMASK, &mask, NULL);
741#endif
742}
743
744int
745rb_get_next_signal(void)
746{
747 int i, sig = 0;
748
749 if (rb_signal_buff_size() != 0) {
750 for (i=1; i<RUBY_NSIG; i++) {
751 if (signal_buff.cnt[i] > 0) {
752 ATOMIC_DEC(signal_buff.cnt[i]);
753 ATOMIC_DEC(signal_buff.size);
754 sig = i;
755 break;
756 }
757 }
758 }
759 return sig;
760}
761
762#if defined SIGSEGV || defined SIGBUS || defined SIGILL || defined SIGFPE
763static const char *received_signal;
764# define clear_received_signal() do { \
765 if (GET_VM() != NULL) rb_gc_local_enable(); \
766 received_signal = 0; \
767} while (0)
768#else
769# define clear_received_signal() ((void)0)
770#endif
771
772#if defined(USE_SIGALTSTACK) || defined(_WIN32)
773# if !(defined(HAVE_UCONTEXT_H) && (defined __i386__ || defined __x86_64__ || defined __amd64__))
774# elif defined __HAIKU__
775# define USE_UCONTEXT_REG 1
776# elif defined __linux__
777# define USE_UCONTEXT_REG 1
778# elif defined __APPLE__
779# define USE_UCONTEXT_REG 1
780# elif defined __FreeBSD__
781# define USE_UCONTEXT_REG 1
782# endif
783#if defined(HAVE_PTHREAD_SIGMASK)
784# define ruby_sigunmask pthread_sigmask
785#elif defined(HAVE_SIGPROCMASK)
786# define ruby_sigunmask sigprocmask
787#endif
788static void
789reset_sigmask(int sig)
790{
791#if defined(ruby_sigunmask)
792 sigset_t mask;
793#endif
794 clear_received_signal();
795#if defined(ruby_sigunmask)
796 sigemptyset(&mask);
797 sigaddset(&mask, sig);
798 if (ruby_sigunmask(SIG_UNBLOCK, &mask, NULL)) {
799 rb_bug_errno(STRINGIZE(ruby_sigunmask)":unblock", errno);
800 }
801#endif
802}
803
804# ifdef USE_UCONTEXT_REG
805static void
806check_stack_overflow(int sig, const uintptr_t addr, const ucontext_t *ctx)
807{
808 const DEFINE_MCONTEXT_PTR(mctx, ctx);
809# if defined __linux__
810# if defined REG_RSP
811 const greg_t sp = mctx->gregs[REG_RSP];
812 const greg_t bp = mctx->gregs[REG_RBP];
813# else
814 const greg_t sp = mctx->gregs[REG_ESP];
815 const greg_t bp = mctx->gregs[REG_EBP];
816# endif
817# elif defined __APPLE__
818# define MCTX_SS_REG(reg) __ss.__##reg
819# if defined(__LP64__)
820 const uintptr_t sp = mctx->MCTX_SS_REG(rsp);
821 const uintptr_t bp = mctx->MCTX_SS_REG(rbp);
822# else
823 const uintptr_t sp = mctx->MCTX_SS_REG(esp);
824 const uintptr_t bp = mctx->MCTX_SS_REG(ebp);
825# endif
826# elif defined __FreeBSD__
827# if defined(__amd64__)
828 const __register_t sp = mctx->mc_rsp;
829 const __register_t bp = mctx->mc_rbp;
830# else
831 const __register_t sp = mctx->mc_esp;
832 const __register_t bp = mctx->mc_ebp;
833# endif
834# elif defined __HAIKU__
835# if defined(__amd64__)
836 const unsigned long sp = mctx->rsp;
837 const unsigned long bp = mctx->rbp;
838# else
839 const unsigned long sp = mctx->esp;
840 const unsigned long bp = mctx->ebp;
841# endif
842# endif
843 enum {pagesize = 4096};
844 const uintptr_t sp_page = (uintptr_t)sp / pagesize;
845 const uintptr_t bp_page = (uintptr_t)bp / pagesize;
846 const uintptr_t fault_page = addr / pagesize;
847
848 /* SP in ucontext is not decremented yet when `push` failed, so
849 * the fault page can be the next. */
850 if (sp_page == fault_page || sp_page == fault_page + 1 ||
851 (sp_page <= fault_page && fault_page <= bp_page)) {
852 rb_execution_context_t *ec = GET_EC();
853 ruby_stack_overflow_critical_level crit = rb_stack_overflow_signal;
854 int uplevel = roomof(pagesize, sizeof(*ec->tag)) / 2; /* XXX: heuristic */
855 while ((uintptr_t)ec->tag->buf / pagesize <= fault_page + 1) {
856 /* drop the last tag if it is close to the fault,
857 * otherwise it can cause stack overflow again at the same
858 * place. */
859 if (!ec->tag->prev || !--uplevel) {
860 crit = rb_stack_overflow_fatal;
861 break;
862 }
863 rb_vm_tag_jmpbuf_deinit(&ec->tag->buf);
864 ec->tag = ec->tag->prev;
865 }
866 reset_sigmask(sig);
867 rb_ec_stack_overflow(ec, crit);
868 }
869}
870# else
871static void
872check_stack_overflow(int sig, const void *addr)
873{
874 int ruby_stack_overflowed_p(const rb_thread_t *, const void *);
875 rb_execution_context_t *ec = rb_current_execution_context(false);
876 if (!ec) return;
877 rb_thread_t *th = rb_ec_thread_ptr(ec);
878 if (ruby_stack_overflowed_p(th, addr)) {
879 reset_sigmask(sig);
880 rb_ec_stack_overflow(th->ec, 1);
881 }
882}
883# endif
884
885# ifdef _WIN32
886# define CHECK_STACK_OVERFLOW() check_stack_overflow(sig, 0)
887# else
888# define FAULT_ADDRESS info->si_addr
889# ifdef USE_UCONTEXT_REG
890# define CHECK_STACK_OVERFLOW_() check_stack_overflow(sig, (uintptr_t)FAULT_ADDRESS, ctx)
891# else
892# define CHECK_STACK_OVERFLOW_() check_stack_overflow(sig, FAULT_ADDRESS)
893# endif
894
895/* Only the si_code values whose siginfo_t carries a sender pid; SI_TIMER and
896 * SI_SIGIO overlay si_tid/si_band at si_pid's offset. */
897static bool
898is_user_generated(const siginfo_t *info)
899{
900 int code = info->si_code;
901 if (code == SI_USER) return true;
902# ifdef SI_QUEUE
903 if (code == SI_QUEUE) return true;
904# endif
905# ifdef SI_TKILL
906 if (code == SI_TKILL) return true;
907# endif
908 return code == 0;
909}
910
911static const char *
912signal_sender_message(const siginfo_t *info)
913{
914 /* check_reserved_signal_ lets only the first fatal signal get this far. */
915 static char buf[64];
916
917 if (info && is_user_generated(info)) {
918 rb_pid_t pid = info->si_pid;
919 if (pid == getpid()) return "";
920 /* si_pid is 0 when the sender is not visible in our PID namespace. */
921 if (pid == 0) return " (sent by another process)";
922 snprintf(buf, sizeof(buf), " (sent by pid %"PRI_PIDT_PREFIX"d)", pid);
923 return buf;
924 }
925 return "";
926}
927
928# define MESSAGE_FAULT_ADDRESS " at %p%s", FAULT_ADDRESS, signal_sender_message(info)
929# define SIGNAL_FROM_USER_P() ((info)->si_code == SI_USER)
930# define CHECK_STACK_OVERFLOW() (SIGNAL_FROM_USER_P() ? (void)0 : CHECK_STACK_OVERFLOW_())
931# endif
932#else
933# define CHECK_STACK_OVERFLOW() (void)0
934#endif
935#ifndef MESSAGE_FAULT_ADDRESS
936# define MESSAGE_FAULT_ADDRESS
937#endif
938
939#if defined SIGSEGV || defined SIGBUS || defined SIGILL || defined SIGFPE
940NOINLINE(static void check_reserved_signal_(const char *name, size_t name_len, int signo));
941/* noinine to reduce stack usage in signal handers */
942
943#define check_reserved_signal(name) check_reserved_signal_(name, sizeof(name)-1, sig)
944
945#ifdef SIGBUS
946
947static sighandler_t default_sigbus_handler;
948NORETURN(static ruby_sigaction_t sigbus);
949
950static void
951sigbus(int sig SIGINFO_ARG)
952{
953 check_reserved_signal("BUS");
954/*
955 * Mac OS X makes KERN_PROTECTION_FAILURE when thread touch guard page.
956 * and it's delivered as SIGBUS instead of SIGSEGV to userland. It's crazy
957 * wrong IMHO. but anyway we have to care it. Sigh.
958 */
959 /* Seems Linux also delivers SIGBUS. */
960#if defined __APPLE__ || defined __linux__
961 CHECK_STACK_OVERFLOW();
962#endif
963 rb_bug_for_fatal_signal(default_sigbus_handler, sig, SIGINFO_CTX, "Bus Error" MESSAGE_FAULT_ADDRESS);
964}
965#endif
966
967#ifdef SIGSEGV
968
969static sighandler_t default_sigsegv_handler;
970NORETURN(static ruby_sigaction_t sigsegv);
971
972static void
973sigsegv(int sig SIGINFO_ARG)
974{
975 check_reserved_signal("SEGV");
976 CHECK_STACK_OVERFLOW();
977 rb_bug_for_fatal_signal(default_sigsegv_handler, sig, SIGINFO_CTX, "Segmentation fault" MESSAGE_FAULT_ADDRESS);
978}
979#endif
980
981#ifdef SIGABRT
982
983static sighandler_t default_sigabrt_handler;
984NORETURN(static ruby_sigaction_t sigabrt);
985
986static void
987sigabrt(int sig SIGINFO_ARG)
988{
989 check_reserved_signal("ABRT");
990 CHECK_STACK_OVERFLOW();
991 rb_bug_for_fatal_signal(default_sigabrt_handler, sig, SIGINFO_CTX, "Aborted" MESSAGE_FAULT_ADDRESS);
992}
993#endif
994
995#ifdef SIGILL
996
997static sighandler_t default_sigill_handler;
998NORETURN(static ruby_sigaction_t sigill);
999
1000static void
1001sigill(int sig SIGINFO_ARG)
1002{
1003 check_reserved_signal("ILL");
1004#if defined __APPLE__ || defined __linux__
1005 CHECK_STACK_OVERFLOW();
1006#endif
1007 rb_bug_for_fatal_signal(default_sigill_handler, sig, SIGINFO_CTX, "Illegal instruction" MESSAGE_FAULT_ADDRESS);
1008}
1009#endif
1010
1011#ifndef __sun
1012NORETURN(static void ruby_abort(void));
1013#endif
1014
1015static void
1016ruby_abort(void)
1017{
1018#ifdef __sun
1019 /* Solaris's abort() is async signal unsafe. Of course, it is not
1020 * POSIX compliant.
1021 */
1022 raise(SIGABRT);
1023#else
1024 abort();
1025#endif
1026}
1027
1028static void
1029check_reserved_signal_(const char *name, size_t name_len, int signo)
1030{
1031 const char *prev = ATOMIC_PTR_EXCHANGE(received_signal, name);
1032
1033 if (prev) {
1034 ssize_t RB_UNUSED_VAR(err);
1035 static const int stderr_fd = 2;
1036#define NOZ(name, str) RBIMPL_ATTR_NONSTRING() name[sizeof(str)-1] = str
1037 static const char NOZ(msg1, " received in ");
1038 static const char NOZ(msg2, " handler\n");
1039
1040#ifdef HAVE_WRITEV
1041 struct iovec iov[4];
1042 int i = 0;
1043# define W(str, len) \
1044 iov[i++] = (struct iovec){.iov_base = (void *)(str), .iov_len = (len)}
1045#else
1046# define W(str, len) err = write(stderr_fd, (str), (len))
1047#endif
1048
1049#if __has_feature(address_sanitizer) || \
1050 __has_feature(memory_sanitizer) || \
1051 defined(HAVE_VALGRIND_MEMCHECK_H)
1052# define SANITIZING true
1053#else
1054# define SANITIZING false
1055#endif
1056
1057#ifdef SIGABRT
1058// Avoid infinite loop when already aborting
1059# define RECURSIVE (signo == SIGABRT)
1060#else
1061# define RECURSIVE false
1062#endif
1063 if (SANITIZING || RECURSIVE) ruby_signal(signo, SIG_DFL);
1064# undef SANITIZING
1065# undef RECURSIVE
1066 W(name, name_len);
1067 W(msg1, sizeof(msg1));
1068 W(prev, strlen(prev));
1069 W(msg2, sizeof(msg2));
1070# undef W
1071#ifdef HAVE_WRITEV
1072 err = writev(stderr_fd, iov, i);
1073#endif
1074 ruby_abort();
1075 }
1076
1077 if (GET_VM() != NULL) {
1078 rb_gc_local_disable_no_rest();
1079 }
1080}
1081#endif
1082
1083#if defined SIGPIPE || defined SIGSYS
1084static void
1085sig_do_nothing(int sig)
1086{
1087}
1088#endif
1089
1090static int
1091signal_exec(VALUE cmd, int sig)
1092{
1093 rb_execution_context_t *ec = GET_EC();
1094 volatile rb_atomic_t old_interrupt_mask = ec->interrupt_mask;
1095 enum ruby_tag_type state;
1096
1097 /*
1098 * workaround the following race:
1099 * 1. signal_enque queues signal for execution
1100 * 2. user calls trap(sig, "IGNORE"), setting SIG_IGN
1101 * 3. rb_signal_exec runs on queued signal
1102 */
1103 if (IMMEDIATE_P(cmd))
1104 return FALSE;
1105
1106 ec->interrupt_mask |= TRAP_INTERRUPT_MASK;
1107 EC_PUSH_TAG(ec);
1108 if ((state = EC_EXEC_TAG()) == TAG_NONE) {
1109 VALUE signum = INT2NUM(sig);
1110 rb_eval_cmd_call_kw(cmd, 1, &signum, RB_NO_KEYWORDS);
1111 }
1112 EC_POP_TAG();
1113 ec = GET_EC();
1114 ec->interrupt_mask = old_interrupt_mask;
1115
1116 if (state) {
1117 /* XXX: should be replaced with rb_threadptr_pending_interrupt_enque() */
1118 EC_JUMP_TAG(ec, state);
1119 }
1120 return TRUE;
1121}
1122
1123void
1124rb_vm_trap_exit(rb_vm_t *vm)
1125{
1126 VALUE trap_exit = vm->trap_list.cmd[0];
1127
1128 if (trap_exit) {
1129 vm->trap_list.cmd[0] = 0;
1130 signal_exec(trap_exit, 0);
1131 }
1132}
1133
1134/* returns true if a trap handler was run, false otherwise */
1135int
1136rb_signal_exec(rb_thread_t *th, int sig)
1137{
1138 rb_vm_t *vm = GET_VM();
1139 VALUE cmd = vm->trap_list.cmd[sig];
1140
1141 if (cmd == 0) {
1142 switch (sig) {
1143 case SIGINT:
1144 rb_threadptr_interrupt_raise(th);
1145 break;
1146#ifdef SIGHUP
1147 case SIGHUP:
1148#endif
1149#ifdef SIGQUIT
1150 case SIGQUIT:
1151#endif
1152#ifdef SIGTERM
1153 case SIGTERM:
1154#endif
1155#ifdef SIGALRM
1156 case SIGALRM:
1157#endif
1158#ifdef SIGUSR1
1159 case SIGUSR1:
1160#endif
1161#ifdef SIGUSR2
1162 case SIGUSR2:
1163#endif
1164 rb_threadptr_signal_raise(th, sig);
1165 break;
1166 }
1167 }
1168 else if (UNDEF_P(cmd)) {
1169 rb_threadptr_signal_exit(th);
1170 }
1171 else {
1172 return signal_exec(cmd, sig);
1173 }
1174 return FALSE;
1175}
1176
1177static sighandler_t
1178default_handler(int sig)
1179{
1180 sighandler_t func;
1181 switch (sig) {
1182 case SIGINT:
1183#ifdef SIGHUP
1184 case SIGHUP:
1185#endif
1186#ifdef SIGQUIT
1187 case SIGQUIT:
1188#endif
1189#ifdef SIGTERM
1190 case SIGTERM:
1191#endif
1192#ifdef SIGALRM
1193 case SIGALRM:
1194#endif
1195#ifdef SIGUSR1
1196 case SIGUSR1:
1197#endif
1198#ifdef SIGUSR2
1199 case SIGUSR2:
1200#endif
1201#ifdef RUBY_SIGCHLD
1202 case RUBY_SIGCHLD:
1203#endif
1204 func = sighandler;
1205 break;
1206#ifdef SIGBUS
1207 case SIGBUS:
1208 func = (sighandler_t)sigbus;
1209 break;
1210#endif
1211#ifdef SIGSEGV
1212 case SIGSEGV:
1213 func = (sighandler_t)sigsegv;
1214 break;
1215#endif
1216#ifdef SIGPIPE
1217 case SIGPIPE:
1218 func = sig_do_nothing;
1219 break;
1220#endif
1221#ifdef SIGSYS
1222 case SIGSYS:
1223 func = sig_do_nothing;
1224 break;
1225#endif
1226 default:
1227 func = SIG_DFL;
1228 break;
1229 }
1230
1231 return func;
1232}
1233
1234static sighandler_t
1235trap_handler(VALUE *cmd, int sig)
1236{
1237 sighandler_t func = sighandler;
1238 VALUE command;
1239
1240 if (NIL_P(*cmd)) {
1241 func = SIG_IGN;
1242 }
1243 else {
1244 command = rb_check_string_type(*cmd);
1245 if (NIL_P(command) && SYMBOL_P(*cmd)) {
1246 command = rb_sym2str(*cmd);
1247 if (!command) rb_raise(rb_eArgError, "bad handler");
1248 }
1249 if (!NIL_P(command)) {
1250 const char *cptr;
1251 long len;
1252 StringValue(command);
1253 *cmd = command;
1254 RSTRING_GETMEM(command, cptr, len);
1255 switch (len) {
1256 sig_ign:
1257 func = SIG_IGN;
1258 *cmd = Qtrue;
1259 break;
1260 sig_dfl:
1261 func = default_handler(sig);
1262 *cmd = 0;
1263 break;
1264 case 0:
1265 goto sig_ign;
1266 break;
1267 case 14:
1268 if (memcmp(cptr, "SYSTEM_DEFAULT", 14) == 0) {
1269 func = SIG_DFL;
1270 *cmd = 0;
1271 }
1272 break;
1273 case 7:
1274 if (memcmp(cptr, "SIG_IGN", 7) == 0) {
1275 goto sig_ign;
1276 }
1277 else if (memcmp(cptr, "SIG_DFL", 7) == 0) {
1278 goto sig_dfl;
1279 }
1280 else if (memcmp(cptr, "DEFAULT", 7) == 0) {
1281 goto sig_dfl;
1282 }
1283 break;
1284 case 6:
1285 if (memcmp(cptr, "IGNORE", 6) == 0) {
1286 goto sig_ign;
1287 }
1288 break;
1289 case 4:
1290 if (memcmp(cptr, "EXIT", 4) == 0) {
1291 *cmd = Qundef;
1292 }
1293 break;
1294 }
1295 }
1296 }
1297
1298 return func;
1299}
1300
1301static int
1302trap_signm(VALUE vsig)
1303{
1304 int sig = -1;
1305
1306 if (FIXNUM_P(vsig)) {
1307 sig = FIX2INT(vsig);
1308 if (sig < 0 || sig >= NSIG) {
1309 rb_raise(rb_eArgError, "invalid signal number (%d)", sig);
1310 }
1311 }
1312 else {
1313 sig = signm2signo(&vsig, FALSE, TRUE, NULL);
1314 }
1315 return sig;
1316}
1317
1318static VALUE
1319trap(int sig, sighandler_t func, VALUE command)
1320{
1321 sighandler_t oldfunc;
1322 VALUE oldcmd;
1323 rb_vm_t *vm = GET_VM();
1324
1325 /*
1326 * Be careful. ruby_signal() and trap_list.cmd[sig] must be changed
1327 * atomically. In current implementation, we only need to don't call
1328 * RUBY_VM_CHECK_INTS().
1329 */
1330 if (sig == 0) {
1331 oldfunc = SIG_ERR;
1332 }
1333 else {
1334 oldfunc = ruby_signal(sig, func);
1335 if (oldfunc == SIG_ERR) rb_sys_fail_str(rb_signo2signm(sig));
1336 }
1337 oldcmd = vm->trap_list.cmd[sig];
1338 switch (oldcmd) {
1339 case 0:
1340 case Qtrue:
1341 if (oldfunc == SIG_IGN) oldcmd = rb_str_new2("IGNORE");
1342 else if (oldfunc == SIG_DFL) oldcmd = rb_str_new2("SYSTEM_DEFAULT");
1343 else if (oldfunc == sighandler) oldcmd = rb_str_new2("DEFAULT");
1344 else oldcmd = Qnil;
1345 break;
1346 case Qnil:
1347 break;
1348 case Qundef:
1349 oldcmd = rb_str_new2("EXIT");
1350 break;
1351 }
1352
1353 ACCESS_ONCE(VALUE, vm->trap_list.cmd[sig]) = command;
1354
1355 return oldcmd;
1356}
1357
1358static int
1359reserved_signal_p(int signo)
1360{
1361/* Synchronous signal can't deliver to main thread */
1362#ifdef SIGSEGV
1363 if (signo == SIGSEGV)
1364 return 1;
1365#endif
1366#ifdef SIGBUS
1367 if (signo == SIGBUS)
1368 return 1;
1369#endif
1370#ifdef SIGILL
1371 if (signo == SIGILL)
1372 return 1;
1373#endif
1374#ifdef SIGFPE
1375 if (signo == SIGFPE)
1376 return 1;
1377#endif
1378
1379/* used ubf internal see thread_pthread.c. */
1380#ifdef SIGVTALRM
1381 if (signo == SIGVTALRM)
1382 return 1;
1383#endif
1384
1385 return 0;
1386}
1387
1388/*
1389 * call-seq:
1390 * Signal.trap(signal, command) -> obj
1391 * Signal.trap(signal) { ... } -> obj
1392 *
1393 * Specifies the handling of signals. Returns the previous handler for
1394 * the given signal.
1395 *
1396 * Argument +signal+ is a signal name (a string or symbol such
1397 * as +SIGALRM+ or +SIGUSR1+) or an integer signal number. When +signal+
1398 * is a string or symbol, the leading characters +SIG+ may be omitted.
1399 *
1400 * Argument +command+ or block provided specifies code to be run when the
1401 * signal is raised.
1402 *
1403 * Argument +command+ may also be a string or symbol with the following special
1404 * values:
1405 *
1406 * - +IGNORE+, +SIG_IGN+: the signal will be ignored.
1407 * - +DEFAULT+, +SIG_DFL+: Ruby's default handler will be invoked.
1408 * - +EXIT+: the process will be terminated by the signal.
1409 * - +SYSTEM_DEFAULT+: the operating system's default handler will be invoked.
1410 *
1411 * The special signal name +EXIT+ or signal number zero will be
1412 * invoked just prior to program termination:
1413 *
1414 * Signal.trap(0, proc { puts "Terminating: #{$$}" })
1415 * Signal.trap("CLD") { puts "Child died" }
1416 * fork && Process.wait
1417 *
1418 * Outputs:
1419 *
1420 * Terminating: 27461
1421 * Child died
1422 * Terminating: 27460
1423 */
1424static VALUE
1425sig_trap(int argc, VALUE *argv, VALUE _)
1426{
1427 int sig;
1428 sighandler_t func;
1429 VALUE cmd;
1430
1431 rb_check_arity(argc, 1, 2);
1432
1433 sig = trap_signm(argv[0]);
1434 if (reserved_signal_p(sig)) {
1435 const char *name = signo2signm(sig);
1436 if (name)
1437 rb_raise(rb_eArgError, "can't trap reserved signal: SIG%s", name);
1438 else
1439 rb_raise(rb_eArgError, "can't trap reserved signal: %d", sig);
1440 }
1441
1442 if (argc == 1) {
1443 cmd = rb_block_proc();
1444 func = sighandler;
1445 }
1446 else {
1447 cmd = argv[1];
1448 func = trap_handler(&cmd, sig);
1449 }
1450
1451 if (rb_obj_is_proc(cmd) &&
1452 !rb_ractor_main_p() && !rb_ractor_shareable_p(cmd)) {
1453 cmd = rb_proc_isolate(cmd);
1454 }
1455
1456 return trap(sig, func, cmd);
1457}
1458
1459/*
1460 * call-seq:
1461 * Signal.list -> a_hash
1462 *
1463 * Returns a list of signal names mapped to the corresponding
1464 * underlying signal numbers.
1465 *
1466 * Signal.list #=> {"EXIT"=>0, "HUP"=>1, "INT"=>2, "QUIT"=>3, "ILL"=>4, "TRAP"=>5, "IOT"=>6, "ABRT"=>6, "FPE"=>8, "KILL"=>9, "BUS"=>7, "SEGV"=>11, "SYS"=>31, "PIPE"=>13, "ALRM"=>14, "TERM"=>15, "URG"=>23, "STOP"=>19, "TSTP"=>20, "CONT"=>18, "CHLD"=>17, "CLD"=>17, "TTIN"=>21, "TTOU"=>22, "IO"=>29, "XCPU"=>24, "XFSZ"=>25, "VTALRM"=>26, "PROF"=>27, "WINCH"=>28, "USR1"=>10, "USR2"=>12, "PWR"=>30, "POLL"=>29}
1467 */
1468static VALUE
1469sig_list(VALUE _)
1470{
1471 VALUE h = rb_hash_new();
1472 const struct signals *sigs;
1473
1474 FOREACH_SIGNAL(sigs, 0) {
1475 rb_hash_aset(h, rb_fstring_cstr(sigs->signm), INT2FIX(sigs->signo));
1476 }
1477 return h;
1478}
1479
1480#define INSTALL_SIGHANDLER(cond, signame, signum) do { \
1481 static const char failed[] = "failed to install "signame" handler"; \
1482 if (!(cond)) break; \
1483 if (reserved_signal_p(signum)) rb_bug(failed); \
1484 perror(failed); \
1485 } while (0)
1486
1487static int
1488install_sighandler_core(int signum, sighandler_t handler, sighandler_t *old_handler)
1489{
1490 sighandler_t old;
1491
1492 old = ruby_signal(signum, handler);
1493 if (old == SIG_ERR) return -1;
1494 if (old_handler) {
1495 *old_handler = (old == SIG_DFL || old == SIG_IGN) ? 0 : old;
1496 }
1497 else {
1498 /* signal handler should be inherited during exec. */
1499 if (old != SIG_DFL) {
1500 ruby_signal(signum, old);
1501 }
1502 }
1503 return 0;
1504}
1505
1506# define install_sighandler(signum, handler) \
1507 INSTALL_SIGHANDLER(install_sighandler_core(signum, handler, NULL), #signum, signum)
1508# define force_install_sighandler(signum, handler, old_handler) \
1509 INSTALL_SIGHANDLER(install_sighandler_core(signum, handler, old_handler), #signum, signum)
1510
1511void
1513{
1514 sighandler_t oldfunc;
1515
1516 oldfunc = ruby_signal(SIGINT, SIG_IGN);
1517 if (oldfunc == sighandler) {
1518 ruby_signal(SIGINT, SIG_DFL);
1519 }
1520}
1521
1522int ruby_enable_coredump = 0;
1523
1524/*
1525 * Many operating systems allow signals to be sent to running
1526 * processes. Some signals have a defined effect on the process, while
1527 * others may be trapped at the code level and acted upon. For
1528 * example, your process may trap the USR1 signal and use it to toggle
1529 * debugging, and may use TERM to initiate a controlled shutdown.
1530 *
1531 * pid = fork do
1532 * Signal.trap("USR1") do
1533 * $debug = !$debug
1534 * puts "Debug now: #$debug"
1535 * end
1536 * Signal.trap("TERM") do
1537 * puts "Terminating..."
1538 * shutdown()
1539 * end
1540 * # . . . do some work . . .
1541 * end
1542 *
1543 * Process.detach(pid)
1544 *
1545 * # Controlling program:
1546 * Process.kill("USR1", pid)
1547 * # ...
1548 * Process.kill("USR1", pid)
1549 * # ...
1550 * Process.kill("TERM", pid)
1551 *
1552 * <em>produces:</em>
1553 * Debug now: true
1554 * Debug now: false
1555 * Terminating...
1556 *
1557 * The list of available signal names and their interpretation is
1558 * system dependent. Signal delivery semantics may also vary between
1559 * systems; in particular signal delivery may not always be reliable.
1560 */
1561void
1562Init_signal(void)
1563{
1564 VALUE mSignal = rb_define_module("Signal");
1565
1566 rb_define_global_function("trap", sig_trap, -1);
1567 rb_define_module_function(mSignal, "trap", sig_trap, -1);
1568 rb_define_module_function(mSignal, "list", sig_list, 0);
1569 rb_define_module_function(mSignal, "signame", sig_signame, 1);
1570
1571 rb_define_method(rb_eSignal, "initialize", esignal_init, -1);
1572 rb_define_method(rb_eSignal, "signo", esignal_signo, 0);
1573 rb_alias(rb_eSignal, rb_intern_const("signm"), rb_intern_const("message"));
1574 rb_define_method(rb_eInterrupt, "initialize", interrupt_init, -1);
1575#if !defined(POSIX_SIGNAL) && !defined(SIG_GET)
1576 rb_native_mutex_initialize(&sig_check_lock);
1577#endif
1578
1579 // It should be ready to call rb_signal_exec()
1580 VM_ASSERT(GET_THREAD()->pending_interrupt_queue);
1581
1582 /* At this time, there is no subthread. Then sigmask guarantee atomics. */
1583 rb_disable_interrupt();
1584
1585 install_sighandler(SIGINT, sighandler);
1586#ifdef SIGHUP
1587 install_sighandler(SIGHUP, sighandler);
1588#endif
1589#ifdef SIGQUIT
1590 install_sighandler(SIGQUIT, sighandler);
1591#endif
1592#ifdef SIGTERM
1593 install_sighandler(SIGTERM, sighandler);
1594#endif
1595#ifdef SIGALRM
1596 install_sighandler(SIGALRM, sighandler);
1597#endif
1598#ifdef SIGUSR1
1599 install_sighandler(SIGUSR1, sighandler);
1600#endif
1601#ifdef SIGUSR2
1602 install_sighandler(SIGUSR2, sighandler);
1603#endif
1604
1605 if (!ruby_enable_coredump) {
1606#ifdef SIGBUS
1607 force_install_sighandler(SIGBUS, (sighandler_t)sigbus, &default_sigbus_handler);
1608#endif
1609#ifdef SIGILL
1610 force_install_sighandler(SIGILL, (sighandler_t)sigill, &default_sigill_handler);
1611#endif
1612#ifdef SIGSEGV
1613 RB_ALTSTACK_INIT(GET_VM()->main_altstack, rb_allocate_sigaltstack());
1614 force_install_sighandler(SIGSEGV, (sighandler_t)sigsegv, &default_sigsegv_handler);
1615#endif
1616
1617#ifdef SIGABRT
1618 force_install_sighandler(SIGABRT, (sighandler_t)sigabrt, &default_sigabrt_handler);
1619#endif
1620 }
1621#ifdef SIGPIPE
1622 install_sighandler(SIGPIPE, sig_do_nothing);
1623#endif
1624#ifdef SIGSYS
1625 install_sighandler(SIGSYS, sig_do_nothing);
1626#endif
1627
1628#ifdef RUBY_SIGCHLD
1629 install_sighandler(RUBY_SIGCHLD, sighandler);
1630#endif
1631
1632 rb_enable_interrupt();
1633}
1634
1635void
1636rb_signal_atfork(void)
1637{
1638#if defined(HAVE_WORKING_FORK) && !defined(POSIX_SIGNAL) && !defined(SIG_GET)
1639 rb_native_mutex_initialize(&sig_check_lock);
1640#endif
1641}
std::atomic< unsigned > rb_atomic_t
Type that is eligible for atomic operations.
Definition atomic.h:69
#define RUBY_ATOMIC_LOAD(var)
Atomic load.
Definition atomic.h:175
#define rb_define_method(klass, mid, func, arity)
Defines klass#mid.
#define rb_define_module_function(klass, mid, func, arity)
Defines klass#mid and makes it a module function.
#define rb_define_global_function(mid, func, arity)
Defines rb_mKernel #mid.
#define rb_str_new2
Old name of rb_str_new_cstr.
Definition string.h:1700
#define T_STRING
Old name of RUBY_T_STRING.
Definition value_type.h:78
#define Qundef
Old name of RUBY_Qundef.
#define INT2FIX
Old name of RB_INT2FIX.
Definition long.h:48
#define UNREACHABLE_RETURN
Old name of RBIMPL_UNREACHABLE_RETURN.
Definition assume.h:29
#define FIX2INT
Old name of RB_FIX2INT.
Definition int.h:41
#define ASSUME
Old name of RBIMPL_ASSUME.
Definition assume.h:27
#define Qtrue
Old name of RUBY_Qtrue.
#define NUM2INT
Old name of RB_NUM2INT.
Definition int.h:44
#define INT2NUM
Old name of RB_INT2NUM.
Definition int.h:43
#define Qnil
Old name of RUBY_Qnil.
#define NIL_P
Old name of RB_NIL_P.
#define IMMEDIATE_P
Old name of RB_IMMEDIATE_P.
#define FIXNUM_P
Old name of RB_FIXNUM_P.
#define SYMBOL_P
Old name of RB_SYMBOL_P.
Definition value_type.h:88
void ruby_sig_finalize(void)
Clear signal handlers.
Definition signal.c:1512
VALUE rb_eInterrupt
Interrupt exception.
Definition error.c:1451
void rb_bug_errno(const char *mesg, int errno_arg)
This is a wrapper of rb_bug() which automatically constructs appropriate message from the passed errn...
Definition error.c:1177
VALUE rb_eSignal
SignalException exception.
Definition error.c:1452
VALUE rb_check_to_integer(VALUE val, const char *mid)
Identical to rb_check_convert_type(), except the return value type is fixed to rb_cInteger.
Definition object.c:3316
VALUE rb_call_super(int argc, const VALUE *argv)
This resembles ruby's super.
Definition vm_eval.c:363
#define UNLIMITED_ARGUMENTS
This macro is used in conjunction with rb_check_arity().
Definition error.h:35
static int rb_check_arity(int argc, int min, int max)
Ensures that the passed integer is in the passed range.
Definition error.h:284
VALUE rb_block_proc(void)
Constructs a Proc object from implicitly passed components.
Definition proc.c:1580
VALUE rb_obj_is_proc(VALUE recv)
Queries if the given object is a proc.
Definition proc.c:386
void ruby_default_signal(int sig)
Pretends as if there was no custom signal handler.
Definition signal.c:411
const char * ruby_signal_name(int signo)
Queries the name of the signal.
Definition signal.c:318
VALUE rb_f_kill(int argc, const VALUE *argv)
Sends a signal ("kills") to processes.
Definition signal.c:429
VALUE rb_str_append(VALUE dst, VALUE src)
Identical to rb_str_buf_append(), except it converts the right hand side before concatenating.
Definition string.c:3913
VALUE rb_str_subseq(VALUE str, long beg, long len)
Identical to rb_str_substr(), except the numbers are interpreted as byte offsets instead of character...
Definition string.c:3266
void rb_must_asciicompat(VALUE obj)
Asserts that the given string's encoding is (Ruby's definition of) ASCII compatible.
Definition string.c:2862
VALUE rb_check_string_type(VALUE obj)
Try converting an object to its stringised representation using its to_str method,...
Definition string.c:3047
#define rb_str_new_cstr(str)
Identical to rb_str_new, except it assumes the passed pointer is a pointer to a C string.
Definition string.h:1539
VALUE rb_thread_current(void)
Obtains the "current" thread.
Definition thread.c:3480
VALUE rb_ivar_set(VALUE obj, ID name, VALUE val)
Identical to rb_iv_set(), except it accepts the name as an ID instead of a C string.
Definition variable.c:2141
VALUE rb_ivar_get(VALUE obj, ID name)
Identical to rb_iv_get(), except it accepts the name as an ID instead of a C string.
Definition variable.c:1641
void rb_alias(VALUE klass, ID dst, ID src)
Resembles alias.
Definition vm_method.c:3037
static ID rb_intern_const(const char *str)
This is a "tiny optimisation" over rb_intern().
Definition symbol.h:285
VALUE rb_sym2str(VALUE symbol)
Obtain a frozen string representation of a symbol (not including the leading colon).
Definition symbol.c:1148
int len
Length of the buffer.
Definition io.h:8
static bool rb_ractor_shareable_p(VALUE obj)
Queries if multiple Ractors can share the passed object or not.
Definition ractor.h:269
Defines RBIMPL_ATTR_NONSTRING.
#define PRI_PIDT_PREFIX
A rb_sprintf() format prefix to be used for a pid_t parameter.
Definition pid_t.h:38
#define NUM2PIDT
Converts an instance of rb_cNumeric into C's pid_t.
Definition pid_t.h:33
#define StringValue(v)
Ensures that the parameter object is a String.
Definition rstring.h:66
#define RSTRING_GETMEM(str, ptrvar, lenvar)
Convenient macro to obtain the contents and length at once.
Definition rstring.h:450
const char * rb_obj_classname(VALUE obj)
Queries the name of the class of the passed object.
Definition variable.c:533
#define errno
Ractor-aware version of errno.
Definition ruby.h:388
#define RB_NO_KEYWORDS
Do not pass keywords.
Definition scan_args.h:69
#define _(args)
This was a transition path from K&R to ANSI.
Definition stdarg.h:35
Definition win32.h:196
void rb_native_mutex_lock(rb_nativethread_lock_t *lock)
Just another name of rb_nativethread_lock_lock.
void rb_native_mutex_initialize(rb_nativethread_lock_t *lock)
Just another name of rb_nativethread_lock_initialize.
void rb_native_mutex_unlock(rb_nativethread_lock_t *lock)
Just another name of rb_nativethread_lock_unlock.
uintptr_t VALUE
Type that represents a Ruby object.
Definition value.h:40
static bool RB_SYMBOL_P(VALUE obj)
Queries if the object is an instance of rb_cSymbol.
Definition value_type.h:307
static bool RB_TYPE_P(VALUE obj, enum ruby_value_type t)
Queries if the given object is of given type.
Definition value_type.h:376