First cut at signal handling support.

* Makefile (OBJS-y): Include signal.o if have_posix_sigs is "y".

* configure (have_posix_sigs): New variable, set by detecting POSIX
signal stuff.

* dep.mk: Regenerated.

* arith.c, debug.c, eval.c, filter.c, hash.c, match.c, parser.y,
parser.l, rand.c, regex.c, syslog.c, txr.c, utf8.c: Include new
signal.h header, now required by unwind, and the <signal.h> system
header.

* eval.c (exit_wrap): New function.
(eval_init): New functions registered as intrinsics: exit_wrap,
set_sig_handler, get_sig_handler, sig_check.

* gc.c (release): Unused functions removed.

* gc.h (release): Declaration removed.

* lib.c (init): Call sig_init.

* stream.c (set_putc, se_getc, se_fflush): New static functions.
(stdio_put_char_callback, stdio_get_char_callback, stdio_put_byte,
stdio_flush, stdio_get_byte): Use new functions to enable
signals when blocked on I/O.
(tail_strategy): Allow signals across sleep.
(pipev_close): Allow signals across waitpid.
(se_pclose): New static function.
(pipe_close): Use new function to enable signals across pclose.

* unwind.c (uw_unwind_to_exit_point): use extended_longjmp instead of
longjmp.

* unwind.h (struct uw_block, struct uw_catch): jb member changes from
jmp_buf to extended_jmp_buf.
(uw_block_begin, uw_simple_catch_begin, uw_catch_begin): Use
extended_setjmp instead of setjmp.

* signal.c: New file.

* signal.h: New file.

1 files changed, 23 insertions, 23 deletions

diff --git a/unwind.h b/unwind.h
index 358debfe..884f0451 100644
--- a/unwind.h
+++ b/unwind.h
@@ -44,7 +44,7 @@ struct uw_block {
   val tag;
   val result;
   val protocol;
-  jmp_buf jb;
+  extended_jmp_buf jb;
 };
 
 struct uw_dynamic_env {
@@ -63,7 +63,7 @@ struct uw_catch {
   val exception;
   uw_frame_t *cont;
   int visible;
-  jmp_buf jb;
+  extended_jmp_buf jb;
 };
 
 struct uw_debug {
@@ -126,14 +126,14 @@ noreturn val type_mismatch(val, ...);
     return VAL;                                 \
   } while (0)
 
-#define uw_block_begin(TAG, RESULTVAR)  \
-  obj_t *RESULTVAR = nil;               \
-  do {                                  \
-    uw_frame_t uw_blk;                  \
-    uw_push_block(&uw_blk, TAG);        \
-    if (setjmp(uw_blk.bl.jb)) {         \
-      RESULTVAR = uw_blk.bl.result;     \
-    } else {                            \
+#define uw_block_begin(TAG, RESULTVAR)          \
+  obj_t *RESULTVAR = nil;                       \
+  do {                                          \
+    uw_frame_t uw_blk;                          \
+    uw_push_block(&uw_blk, TAG);                \
+    if (extended_setjmp(uw_blk.bl.jb)) {        \
+      RESULTVAR = uw_blk.bl.result;             \
+    } else {                                    \
       typedef int uw_d_u_m_m_y
 
 #define uw_block_end                    \
@@ -150,21 +150,21 @@ noreturn val type_mismatch(val, ...);
     uw_pop_frame(&uw_env);              \
   } while (0)
 
-#define uw_simple_catch_begin           \
-  do {                                  \
-    uw_frame_t uw_catch;                \
-    uw_push_catch(&uw_catch, nil);      \
-    switch (setjmp(uw_catch.ca.jb)) {   \
+#define uw_simple_catch_begin                   \
+  do {                                          \
+    uw_frame_t uw_catch;                        \
+    uw_push_catch(&uw_catch, nil);              \
+    switch (extended_setjmp(uw_catch.ca.jb)) {  \
     case 0:
 
-#define uw_catch_begin(MATCHES, SYMVAR, \
-                       EXCVAR)          \
-  obj_t *SYMVAR = nil;                  \
-  obj_t *EXCVAR = nil;                  \
-  do {                                  \
-    uw_frame_t uw_catch;                \
-    uw_push_catch(&uw_catch, MATCHES);  \
-    switch (setjmp(uw_catch.ca.jb)) {   \
+#define uw_catch_begin(MATCHES, SYMVAR,         \
+                       EXCVAR)                  \
+  obj_t *SYMVAR = nil;                          \
+  obj_t *EXCVAR = nil;                          \
+  do {                                          \
+    uw_frame_t uw_catch;                        \
+    uw_push_catch(&uw_catch, MATCHES);          \
+    switch (extended_setjmp(uw_catch.ca.jb)) {  \
     case 0:
 
 #define uw_catch(SYMVAR, EXCVAR)        \