version 1.8, 2000/07/20 14:17:55
|
version 1.51, 2012/07/20 19:34:27
|
Line 1
|
Line 1
|
/* signal handling |
/* signal handling |
|
|
Copyright (C) 1995,1996,1997,1998 Free Software Foundation, Inc. |
Copyright (C) 1995,1996,1997,1998,2000,2003,2006,2007,2011 Free Software Foundation, Inc. |
|
|
This file is part of Gforth. |
This file is part of Gforth. |
|
|
Gforth is free software; you can redistribute it and/or |
Gforth is free software; you can redistribute it and/or |
modify it under the terms of the GNU General Public License |
modify it under the terms of the GNU General Public License |
as published by the Free Software Foundation; either version 2 |
as published by the Free Software Foundation, either version 3 |
of the License, or (at your option) any later version. |
of the License, or (at your option) any later version. |
|
|
This program is distributed in the hope that it will be useful, |
This program is distributed in the hope that it will be useful, |
Line 15
|
Line 15
|
GNU General Public License for more details. |
GNU General Public License for more details. |
|
|
You should have received a copy of the GNU General Public License |
You should have received a copy of the GNU General Public License |
along with this program; if not, write to the Free Software |
along with this program; if not, see http://www.gnu.org/licenses/. |
Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. |
|
|
|
*/ |
*/ |
|
|
|
|
#define _GNU_SOURCE |
#include "config.h" |
|
#include "forth.h" |
#include <stdio.h> |
#include <stdio.h> |
#include <setjmp.h> |
#include <setjmp.h> |
#include <string.h> |
#include <string.h> |
Line 30
|
Line 29
|
#if !defined(apollo) && !defined(MSDOS) |
#if !defined(apollo) && !defined(MSDOS) |
#include <sys/ioctl.h> |
#include <sys/ioctl.h> |
#endif |
#endif |
/* #include <asm/signal.h> */ |
#include <sys/types.h> |
#include <signal.h> |
#include <signal.h> |
#include "config.h" |
#include <termios.h> |
#include "forth.h" |
|
#include "io.h" |
#include "io.h" |
|
|
|
#ifdef HAS_DEBUG |
|
extern int debug; |
|
# define debugp(x...) do { if (debug) fprintf(x); } while (0) |
|
#else |
|
# define perror(x...) |
|
# define fprintf(x...) |
|
# define debugp(x...) |
|
#endif |
|
|
|
#ifndef HAVE_STACK_T |
|
/* Darwin uses "struct sigaltstack" instead of "stack_t" */ |
|
typedef struct sigaltstack stack_t; |
|
#endif |
|
|
#define DEFAULTCOLS 80 |
#define DEFAULTCOLS 80 |
#if defined(MSDOS) || defined (_WIN32) |
#if defined(MSDOS) || defined (_WIN32) || defined (__CYGWIN__) |
#define DEFAULTROWS 25 |
#define DEFAULTROWS 25 |
#else |
#else |
#define DEFAULTROWS 24 |
#define DEFAULTROWS 24 |
Line 52 UCell rows=DEFAULTROWS;
|
Line 63 UCell rows=DEFAULTROWS;
|
/* systems that don't have SA_NODEFER hopefully don't block anyway */ |
/* systems that don't have SA_NODEFER hopefully don't block anyway */ |
#endif |
#endif |
|
|
|
#ifndef SA_ONSTACK |
|
#define SA_ONSTACK 0 |
|
#endif |
|
|
#ifdef SA_SIGINFO |
#ifdef SA_SIGINFO |
void install_signal_handler(int sig, void (*handler)(int, siginfo_t *, void *)) |
void install_signal_handler(int sig, void (*handler)(int, siginfo_t *, void *)) |
/* installs three-argument signal handler for sig */ |
/* installs three-argument signal handler for sig */ |
Line 60 void install_signal_handler(int sig, voi
|
Line 75 void install_signal_handler(int sig, voi
|
|
|
action.sa_sigaction=handler; |
action.sa_sigaction=handler; |
sigemptyset(&action.sa_mask); |
sigemptyset(&action.sa_mask); |
action.sa_flags=SA_RESTART|SA_NODEFER|SA_SIGINFO; /* pass siginfo */ |
action.sa_flags=SA_RESTART|SA_NODEFER|SA_SIGINFO|SA_ONSTACK; /* pass siginfo */ |
sigaction(sig, &action, NULL); |
sigaction(sig, &action, NULL); |
} |
} |
#endif |
#endif |
|
|
typedef void Sigfunc(int); |
|
|
|
Sigfunc *bsd_signal(int signo, Sigfunc *func) |
Sigfunc *bsd_signal(int signo, Sigfunc *func) |
{ |
{ |
struct sigaction act, oact; |
struct sigaction act, oact; |
|
|
act.sa_handler=func; |
act.sa_handler=func; |
sigemptyset(&act.sa_mask); |
sigemptyset(&act.sa_mask); |
act.sa_flags=SA_NODEFER; |
act.sa_flags=SA_NODEFER; /* SA_ONSTACK does not work for graceful_exit */ |
if (sigaction(signo,&act,&oact) < 0) |
if (sigaction(signo,&act,&oact) < 0) |
return SIG_ERR; |
return SIG_ERR; |
else |
else |
Line 88 graceful_exit (int sig)
|
Line 101 graceful_exit (int sig)
|
exit (0x80|sig); |
exit (0x80|sig); |
} |
} |
|
|
jmp_buf throw_jmp_buf; |
PER_THREAD jmp_buf * throw_jmp_handler; |
|
|
|
void throw(int code) |
|
{ |
|
debugp(stderr,"\nthrow code %d to %p\n", code, *throw_jmp_handler); |
|
longjmp(*throw_jmp_handler,code); /* !! or use siglongjmp ? */ |
|
} |
|
|
static void |
static void |
signal_throw(int sig) |
signal_throw(int sig) |
{ |
{ |
int code; |
int code; |
|
debugp(stderr,"\ncaught signal %d\n", sig); |
|
|
switch (sig) { |
switch (sig) { |
case SIGINT: code=-28; break; |
case SIGINT: code=-28; break; |
Line 102 signal_throw(int sig)
|
Line 122 signal_throw(int sig)
|
case SIGBUS: code=-23; break; |
case SIGBUS: code=-23; break; |
#endif |
#endif |
case SIGSEGV: code=-9; break; |
case SIGSEGV: code=-9; break; |
|
#ifdef SIGPIPE |
|
case SIGPIPE: code=-2049; break; |
|
#endif |
default: code=-256-sig; break; |
default: code=-256-sig; break; |
} |
} |
longjmp(throw_jmp_buf,code); /* !! or use siglongjmp ? */ |
#ifdef __CYGWIN__ |
|
/* the SA_NODEFER apparently does not work on Cygwin 1.3.18(0.69/3/2) */ |
|
{ |
|
sigset_t emptyset; |
|
sigemptyset(&emptyset); |
|
sigprocmask(SIG_SETMASK, &emptyset, NULL); |
|
} |
|
#endif |
|
throw(code); |
} |
} |
|
|
#ifdef SA_SIGINFO |
#ifdef SA_SIGINFO |
|
static void |
|
sigaction_throw(int sig, siginfo_t *info, void *_) |
|
{ |
|
debugp(stderr,"\nsigaction_throw %d %p %p\n", sig, info, _); |
|
signal_throw(sig); |
|
} |
|
|
static void fpe_handler(int sig, siginfo_t *info, void *_) |
static void fpe_handler(int sig, siginfo_t *info, void *_) |
/* handler for SIGFPE */ |
/* handler for SIGFPE */ |
{ |
{ |
int code; |
int code; |
|
|
|
debugp(stderr,"\nfpe_handler %d %x %x\n", sig, info, _); |
|
|
switch(info->si_code) { |
switch(info->si_code) { |
case FPE_INTDIV: code=-10; break; /* integer divide by zero */ |
#ifdef FPE_INTDIV |
case FPE_INTOVF: code=-11; break; /* integer overflow */ |
case FPE_INTDIV: code=BALL_DIVZERO; break; |
|
#endif |
|
#ifdef FPE_INTOVF |
|
case FPE_INTOVF: code=BALL_RESULTRANGE; break; /* integer overflow */ |
|
#endif |
|
#ifdef FPE_FLTDIV |
case FPE_FLTDIV: code=-42; break; /* floating point divide by zero */ |
case FPE_FLTDIV: code=-42; break; /* floating point divide by zero */ |
|
#endif |
|
#ifdef FPE_FLTOVF |
case FPE_FLTOVF: code=-43; break; /* floating point overflow */ |
case FPE_FLTOVF: code=-43; break; /* floating point overflow */ |
|
#endif |
|
#ifdef FPE_FLTUND |
case FPE_FLTUND: code=-54; break; /* floating point underflow */ |
case FPE_FLTUND: code=-54; break; /* floating point underflow */ |
|
#endif |
|
#ifdef FPE_FLTRES |
case FPE_FLTRES: code=-41; break; /* floating point inexact result */ |
case FPE_FLTRES: code=-41; break; /* floating point inexact result */ |
|
#endif |
|
#if 0 /* defined by Unix95, but unnecessary */ |
case FPE_FLTINV: /* invalid floating point operation */ |
case FPE_FLTINV: /* invalid floating point operation */ |
case FPE_FLTSUB: /* subscript out of range */ |
case FPE_FLTSUB: /* subscript out of range */ |
|
#endif |
default: code=-55; break; |
default: code=-55; break; |
} |
} |
longjmp(throw_jmp_buf,code); |
throw(code); |
} |
} |
|
|
|
|
Line 138 static void fpe_handler(int sig, siginfo
|
Line 192 static void fpe_handler(int sig, siginfo
|
#define JUSTOVER(addr1,addr2) (((UCell)((addr1)-(addr2)))<SPILLAGE) |
#define JUSTOVER(addr1,addr2) (((UCell)((addr1)-(addr2)))<SPILLAGE) |
|
|
#define NEXTPAGE(addr) ((Address)((((UCell)(addr)-1)&-pagesize)+pagesize)) |
#define NEXTPAGE(addr) ((Address)((((UCell)(addr)-1)&-pagesize)+pagesize)) |
|
#define NEXTPAGE2(addr) ((Address)((((UCell)(addr)-1)&-pagesize)+2*pagesize)) |
|
#define NEXTPAGE3(addr) ((Address)((((UCell)(addr)-1)&-pagesize)+3*pagesize)) |
|
|
static void segv_handler(int sig, siginfo_t *info, void *_) |
static void segv_handler(int sig, siginfo_t *info, void *_) |
{ |
{ |
int code=-9; |
int code=-9; |
Address addr=info->si_addr; |
Address addr=info->si_addr; |
ImageHeader *h=gforth_header; |
|
|
|
if (JUSTUNDER(addr, h->data_stack_base)) |
debugp(stderr,"\nsegv_handler %d %p %p @%p\n", sig, info, _, addr); |
|
|
|
if (JUSTUNDER(addr, NEXTPAGE3(gforth_UP))) |
code=-3; |
code=-3; |
else if (JUSTOVER(addr, NEXTPAGE(h->data_stack_base+h->data_stack_size))) |
else if (JUSTOVER(addr, NEXTPAGE(gforth_UP->sp0))) |
code=-4; |
code=-4; |
else if (JUSTUNDER(addr, h->return_stack_base)) |
else if (JUSTUNDER(addr, NEXTPAGE2(gforth_UP->sp0))) |
code=-5; |
code=-5; |
else if (JUSTOVER(addr, NEXTPAGE(h->return_stack_base+h->return_stack_size))) |
else if (JUSTOVER(addr, NEXTPAGE(gforth_UP->rp0))) |
code=-6; |
code=-6; |
else if (JUSTUNDER(addr, h->fp_stack_base)) |
else if (JUSTUNDER(addr, NEXTPAGE2(gforth_UP->rp0))) |
code=-44; |
code=-44; |
else if (JUSTOVER(addr, NEXTPAGE(h->fp_stack_base+h->fp_stack_size))) |
else if (JUSTOVER(addr, NEXTPAGE(gforth_UP->fp0))) |
code=-45; |
code=-45; |
longjmp(throw_jmp_buf,code); |
throw(code); |
} |
} |
|
|
#endif /* defined(SA_SIGINFO) */ |
#endif /* defined(SA_SIGINFO) */ |
|
|
#ifdef SIGCONT |
#ifdef SIGCONT |
static void termprep (int sig) |
static void termprep(int sig) |
{ |
{ |
bsd_signal(sig,termprep); |
bsd_signal(sig,termprep); |
terminal_prepped=0; |
terminal_prepped=0; |
Line 174 void get_winsize()
|
Line 231 void get_winsize()
|
{ |
{ |
#ifdef TIOCGWINSZ |
#ifdef TIOCGWINSZ |
struct winsize size; |
struct winsize size; |
|
size.ws_row = size.ws_col = 0; |
|
|
if (ioctl (1, TIOCGWINSZ, (char *) &size) >= 0) { |
if (ioctl (1, TIOCGWINSZ, (char *) &size) >= 0) { |
rows = size.ws_row; |
rows = size.ws_row; |
Line 183 void get_winsize()
|
Line 241 void get_winsize()
|
char *s; |
char *s; |
if ((s=getenv("LINES"))) { |
if ((s=getenv("LINES"))) { |
rows=atoi(s); |
rows=atoi(s); |
if (rows==0) |
|
rows=DEFAULTROWS; |
|
} |
} |
if ((s=getenv("COLUMNS"))) { |
if ((s=getenv("COLUMNS"))) { |
rows=atoi(s); |
rows=atoi(s); |
if (rows==0) |
|
cols=DEFAULTCOLS; |
|
} |
} |
#endif |
#endif |
|
if (rows==0) |
|
rows=DEFAULTROWS; |
|
if (cols==0) |
|
cols=DEFAULTCOLS; |
} |
} |
|
|
#ifdef SIGWINCH |
#ifdef SIGWINCH |
Line 277 void install_signal_handlers(void)
|
Line 335 void install_signal_handlers(void)
|
}; |
}; |
#endif |
#endif |
|
|
|
static short async_sigs_to_throw [] = { |
|
#ifdef SIGINT |
|
SIGINT, |
|
#endif |
|
#ifdef SIGALRM |
|
SIGALRM, |
|
#endif |
|
#ifdef SIGPOLL |
|
SIGPOLL, |
|
#endif |
|
#ifdef SIGPROF |
|
SIGPROF, |
|
#endif |
|
#ifdef SIGURG |
|
SIGURG, |
|
#endif |
|
#ifdef SIGPIPE |
|
SIGPIPE, |
|
#endif |
|
#ifdef SIGUSR1 |
|
SIGUSR1, |
|
#endif |
|
#ifdef SIGUSR2 |
|
SIGUSR2, |
|
#endif |
|
#ifdef SIGVTALRM |
|
SIGVTALRM, |
|
#endif |
|
#ifdef SIGXFSZ |
|
SIGXFSZ, |
|
#endif |
|
}; |
|
|
static short sigs_to_throw [] = { |
static short sigs_to_throw [] = { |
#ifdef SIGBREAK |
#ifdef SIGBREAK |
SIGBREAK, |
SIGBREAK, |
#endif |
#endif |
#ifdef SIGINT |
|
SIGINT, |
|
#endif |
|
#ifdef SIGILL |
#ifdef SIGILL |
SIGILL, |
SIGILL, |
#endif |
#endif |
Line 299 void install_signal_handlers(void)
|
Line 387 void install_signal_handlers(void)
|
#ifdef SIGSEGV |
#ifdef SIGSEGV |
SIGSEGV, |
SIGSEGV, |
#endif |
#endif |
#ifdef SIGALRM |
|
SIGALRM, |
|
#endif |
|
#ifdef SIGPIPE |
|
SIGPIPE, |
|
#endif |
|
#ifdef SIGPOLL |
|
SIGPOLL, |
|
#endif |
|
#ifdef SIGPROF |
|
SIGPROF, |
|
#endif |
|
#ifdef SIGBUS |
#ifdef SIGBUS |
SIGBUS, |
SIGBUS, |
#endif |
#endif |
Line 320 void install_signal_handlers(void)
|
Line 396 void install_signal_handlers(void)
|
#ifdef SIGTRAP |
#ifdef SIGTRAP |
SIGTRAP, |
SIGTRAP, |
#endif |
#endif |
#ifdef SIGURG |
|
SIGURG, |
|
#endif |
|
#ifdef SIGUSR1 |
|
SIGUSR1, |
|
#endif |
|
#ifdef SIGUSR2 |
|
SIGUSR2, |
|
#endif |
|
#ifdef SIGVTALRM |
|
SIGVTALRM, |
|
#endif |
|
#ifdef SIGXFSZ |
|
SIGXFSZ, |
|
#endif |
|
}; |
}; |
|
|
static short sigs_to_quit [] = { |
static short sigs_to_quit [] = { |
#ifdef SIGQUIT |
#ifdef SIGQUIT |
SIGQUIT, |
SIGQUIT, |
Line 355 void install_signal_handlers(void)
|
Line 417 void install_signal_handlers(void)
|
}; |
}; |
int i; |
int i; |
void (*throw_handler)() = die_on_signal ? graceful_exit : signal_throw; |
void (*throw_handler)() = die_on_signal ? graceful_exit : signal_throw; |
|
#if 0 |
|
/* sigaltstack is now called by gforth_stacks() */ |
|
#if defined(SIGSTKSZ) |
|
stack_t sigstack; |
|
int sas_retval=-1; |
|
|
|
sigstack.ss_size=SIGSTKSZ; |
|
/* Actually the stack should only be ss_size large, and according to |
|
SUSv2 ss_sp should point to the start of the stack, but |
|
unfortunately Irix 6.5 (at least) expects ss_sp to point to the |
|
end, so we work around this issue by accomodating everyone. */ |
|
if ((sigstack.ss_sp = gforth_alloc(sigstack.ss_size*2)) != NULL) { |
|
sigstack.ss_sp += sigstack.ss_size; |
|
sigstack.ss_flags=0; |
|
sas_retval=sigaltstack(&sigstack,(stack_t *)0); |
|
} |
|
#if defined(HAS_FILE) || !defined(STANDALONE) |
|
debugp(stderr,"sigaltstack: %s\n",strerror(sas_retval)); |
|
#endif |
|
#endif |
|
#endif |
|
|
#define DIM(X) (sizeof (X) / sizeof *(X)) |
#define DIM(X) (sizeof (X) / sizeof *(X)) |
/* |
/* |
Line 363 void install_signal_handlers(void)
|
Line 446 void install_signal_handlers(void)
|
*/ |
*/ |
for (i = 0; i < DIM (sigs_to_throw); i++) |
for (i = 0; i < DIM (sigs_to_throw); i++) |
bsd_signal(sigs_to_throw[i], throw_handler); |
bsd_signal(sigs_to_throw[i], throw_handler); |
|
for (i = 0; i < DIM (async_sigs_to_throw); i++) |
|
bsd_signal(async_sigs_to_throw[i], |
|
ignore_async_signals ? SIG_IGN : throw_handler); |
for (i = 0; i < DIM (sigs_to_quit); i++) |
for (i = 0; i < DIM (sigs_to_quit); i++) |
bsd_signal(sigs_to_quit [i], graceful_exit); |
bsd_signal(sigs_to_quit [i], graceful_exit); |
#ifdef SA_SIGINFO |
#ifdef SA_SIGINFO |
install_signal_handler(SIGFPE, fpe_handler); |
if (!die_on_signal) { |
install_signal_handler(SIGSEGV, segv_handler); |
#ifdef SIGFPE |
|
install_signal_handler(SIGFPE, fpe_handler); |
|
#endif |
|
#ifdef SIGSEGV |
|
install_signal_handler(SIGSEGV, segv_handler); |
|
#endif |
|
/* use SA_ONSTACK for all signals that could come from executing |
|
wrong code */ |
|
#ifdef SIGILL |
|
install_signal_handler(SIGILL, sigaction_throw); |
#endif |
#endif |
|
#ifdef SIGBUS |
|
install_signal_handler(SIGBUS, sigaction_throw); |
|
#endif |
|
#ifdef SIGTRAP |
|
install_signal_handler(SIGTRAP, sigaction_throw); |
|
#endif |
|
} |
|
#endif /* defined(SA_SIGINFO) */ |
#ifdef SIGCONT |
#ifdef SIGCONT |
bsd_signal(SIGCONT, termprep); |
bsd_signal(SIGCONT, termprep); |
#endif |
#endif |