=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/parse/glob.c,v retrieving revision 1.46 retrieving revision 1.98 diff -u -p -r1.46 -r1.98 --- OpenXM_contrib2/asir2000/parse/glob.c 2004/02/09 08:23:30 1.46 +++ OpenXM_contrib2/asir2000/parse/glob.c 2018/03/27 06:29:19 1.98 @@ -45,20 +45,18 @@ * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. * - * $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.45 2004/02/05 08:28:53 noro Exp $ + * $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.97 2017/08/30 09:40:30 ohara Exp $ */ #include "ca.h" #include "al.h" #include "parse.h" #include "ox.h" -#if defined(PARI) -#include "genpari.h" -#endif -#if !defined(VISUAL) && !defined(_PA_RISC1_1) && !defined(linux) && !defined(SYSV) && !defined(__CYGWIN__) && !defined(__INTERIX) +#include +#if !defined(VISUAL) && !defined(__MINGW32__) && !defined(_PA_RISC1_1) && !defined(linux) && !defined(SYSV) && !defined(__CYGWIN__) && !defined(__INTERIX) && !defined(__FreeBSD__) #include #endif -#if defined(VISUAL) +#if defined(VISUAL) || defined(__MINGW32__) #include #include #else @@ -71,20 +69,20 @@ #include #endif -#if defined(VISUAL) +#if defined(VISUAL) || defined(__MINGW32__) #define HISTORY asir_history #endif #define MAXHIST 100 -extern int GC_free_space_divisor; -extern int GC_free_space_numerator; extern FILE *asir_out; INFILE asir_infile; JMP_BUF main_env,debug_env,timer_env,exec_env; -int little_endian,debug_mode; +int little_endian,debug_mode,no_debug_on_error; char *asir_libdir; +char *asir_contrib_dir; +char *asir_private_dir; char *asir_pager; NODE usrf,sysf,noargsysf,ubinf,parif; @@ -98,10 +96,12 @@ FUNC parse_targetf; FILE *ox_istream,*ox_ostream; int do_server_in_X11; Obj LastVal; +LIST LastStackTrace; char LastError[BUFSIZ]; int timer_is_set; +NODE current_option; +NODE user_int_handler, user_quit_handler; - struct oV oVAR[] = { {"x",0,0}, {"y",0,0}, {"z",0,0}, {"u",0,0}, {"v",0,0}, {"w",0,0}, {"p",0,0}, {"q",0,0}, @@ -123,11 +123,13 @@ struct oVL oVLIST[52]; VL CO = oVLIST; VL ALG; +VL LASTCO; -struct oVS oGPVS,oAPVS,oEPVS; +struct oVS oGPVS,oAPVS,oEPVS,oPPVS; VS GPVS = &oGPVS; VS APVS = &oAPVS; VS EPVS = &oEPVS; +VS PPVS = &oPPVS; VS CPVS,MPVS; NODE MODULE_LIST; @@ -143,7 +145,7 @@ struct oF oF_TRUE,oF_FALSE; F F_TRUE = &oF_TRUE; F F_FALSE = &oF_FALSE; -#if defined(VISUAL) +#if defined(VISUAL) || defined(__MINGW32__) char cppname[BUFSIZ] = "c:\\asir\\stdlib\\cpp "; #else char cppname[BUFSIZ] = "/lib/cpp "; @@ -161,10 +163,12 @@ void glob_init() { VR(&oVLIST[i]) = &oVAR[i]; NEXT(&oVLIST[i]) = &oVLIST[i+1]; } VR(&oVLIST[i]) = &oVAR[i]; NEXT(&oVLIST[i]) = 0; - reallocarray((char **)&GPVS->va,(int *)&GPVS->asize,(int *)&GPVS->n,(int)sizeof(struct oPV)); - reallocarray((char **)&APVS->va,(int *)&APVS->asize,(int *)&APVS->n,(int)sizeof(struct oPV)); + LASTCO = &oVLIST[i]; + asir_reallocarray((char **)&GPVS->va,(int *)&GPVS->asize,(int *)&GPVS->n,(int)sizeof(struct oPV)); + asir_reallocarray((char **)&APVS->va,(int *)&APVS->asize,(int *)&APVS->n,(int)sizeof(struct oPV)); + asir_reallocarray((char **)&PPVS->va,(int *)&PPVS->asize,(int *)&PPVS->n,(int)sizeof(struct oPV)); CPVS = GPVS; - MKNODE(ONENODE,mkfnode(1,I_FORMULA,ONE),0); + MKNODE(ONENODE,mkfnode(1,I_FORMULA,ONE),NULLP); OID(F_TRUE)=O_F; FOP(F_TRUE)=AL_TRUE; F_TRUE->arg.dummy = 0; OID(F_FALSE)=O_F; FOP(F_FALSE)=AL_FALSE; F_FALSE->arg.dummy = 0; OID(Symbol_grlex) = O_SYMBOL; Symbol_grlex->name = "@grlex"; @@ -188,12 +192,13 @@ void notdef(VL vl,Obj a,Obj b,Obj *c) error("undefined arithmetic operation."); } +int disable_debugger; int do_asirrc; int do_file; char *do_filename; int do_message; +int do_terse; int do_fep; -int read_exec_file; int asir_setenv; static int buserr_sav; static char asir_history[BUFSIZ]; @@ -209,20 +214,36 @@ void ExitAsir() { /* * status = 1 abnormal termination (error() etc.) * status = 2 normal termination (end(), quit() etc.) + * status = 3 absolute termination */ void asir_terminate(int status) { int t; + NODE n; - if ( read_exec_file ) { - t = read_exec_file; - read_exec_file = 0; - if ( t == 1 ) - LONGJMP(main_env,status); - else - LONGJMP(exec_env,status); - } else { + /* called from engine in Windows */ + if ( status == 3 ) asir_infile = 0; + + if ( asir_infile && asir_infile->ready_for_longjmp ) + LONGJMP(asir_infile->jmpbuf,status); + else { + if ( user_quit_handler ) { + if ( !do_terse ) { + fprintf(stderr,"Calling the registered quit callbacks..."); +#if defined(__MINGW32__) + fflush(stderr); +#endif + } + for ( n = user_quit_handler; n; n = NEXT(n) ) + bevalf((FUNC)BDY(n),0); + if ( !do_terse ) { + fprintf(stderr, "done.\n"); +#if defined(__MINGW32__) + fflush(stderr); +#endif + } + } tty_reset(); #if defined(MPI) if ( !mpi_myid ) @@ -230,7 +251,7 @@ void asir_terminate(int status) mpi_finalize(); #else #if defined(SIGPIPE) - signal(SIGPIPE,SIG_IGN); + set_signal(SIGPIPE,SIG_IGN); #endif close_allconnections(); #endif @@ -258,13 +279,14 @@ void param_init() { Obj user_defined_prompt; void prompt() { - if ( !do_quiet && !do_fep && asir_infile->fp == stdin ) + if ( !do_quiet && !do_fep && asir_infile->fp == stdin ) { fprintf(asir_out,"[%d] ",APVS->n); - else if ( do_quiet && user_defined_prompt + fflush(asir_out); + } else if ( do_quiet && user_defined_prompt && OID(user_defined_prompt)==O_STR) { fprintf(asir_out,BDY((STRING)user_defined_prompt),APVS->n); + fflush(asir_out); } - fflush(asir_out); } void sprompt(char *ptr) @@ -272,7 +294,7 @@ void sprompt(char *ptr) sprintf(ptr,"[%d] ",APVS->n); } -#if !defined(VISUAL) +#if !defined(VISUAL) && !defined(__MINGW32__) static int which(char *prog, char *path, char *buf, size_t size) { char *tok; @@ -305,7 +327,20 @@ static int which(char *prog, char *path, char *buf, si void cppname_init() { -#if !defined(VISUAL) +#if !defined(VISUAL) && !defined(__MINGW32__) + char *oxhome; + char oxcpp[BUFSIZ]; +#define OXCPP "/bin/ox_cpp" + + if ( oxhome = getenv("OpenXM_HOME") ) { + if ( strlen(oxhome)+strlen(OXCPP) 0 ) { if ( !strcmp(*av,"-heap") && (ac >= 2) ) { @@ -329,21 +368,31 @@ void process_args(int ac,char **av) GC_expand_hp(atoi(*(av+1))); av += 2; ac -= 2; } else if ( !strcmp(*av,"-adj") && (ac >= 2) ) { char *slash; - slash = strrchr(*(av+1),'/'); if ( slash ) { *slash = 0; - GC_free_space_numerator = atoi(slash+1); + nm = atoi(slash+1); + }else { + nm = 1; } - GC_free_space_divisor = atoi(*(av+1)); + dv = atoi(*(av+1)); + Risa_GC_set_adj(nm,dv); av += 2; ac -= 2; } else if ( !strcmp(*av,"-cpp") && (ac >= 2) ) { strcpy(cppname,*(av+1)); av += 2; ac -= 2; + } else if ( !strcmp(*av,"-d") && (ac >= 2) ) { +#if defined(VISUAL) && defined(VISUAL_CONSOLE) + disable_debugger=0; +#endif + av += 2; ac -= 2; } else if ( !strcmp(*av,"-f") && (ac >= 2) ) { do_quiet = 1; in_fp = fopen(*(av+1),"r"); if ( !in_fp ) { - fprintf(stderr,"%s does not exist!",*(av+1)); + fprintf(stderr,"%s does not exist!\n",*(av+1)); +#if defined(__MINGW32__) + fflush(stderr); +#endif asir_terminate(1); } do_file = 1; @@ -363,7 +412,7 @@ void process_args(int ac,char **av) void GC_set_max_heap_size(int); GC_set_max_heap_size(atoi(*(av+1))); av += 2; ac -= 2; -#if !defined(VISUAL) +#if !defined(VISUAL) && !defined(__MINGW32__) } else if ( !strcmp(*av,"-display") && (ac >= 2) ) { strcpy(displayname,*(av+1)); av += 2; ac -= 2; #endif @@ -371,14 +420,11 @@ void process_args(int ac,char **av) } else if ( !strcmp(*av,"-fep") ) { do_fep = 1; av++; ac--; #endif -#if defined(PARI) - } else if ( !strcmp(*av,"-paristack") ) { - extern int paristack; - - paristack = atoi(*(av+1)); av += 2; ac -= 2; -#endif } else { fprintf(stderr,"%s : unknown option.\n",*av); +#if defined(__MINGW32__) + fflush(stderr); +#endif asir_terminate(1); } } @@ -395,50 +441,67 @@ void process_args(int ac,char **av) #endif } -#include +#if defined(HAVE_SIGACTION) +void (*set_signal(int sig, void (*handler)(int)))(int) +{ + struct sigaction act; + struct sigaction oldact; + if (handler == SIG_IGN || handler == SIG_DFL) { + return signal(sig,handler); + } + act.sa_handler=handler; + act.sa_flags=0; + act.sa_flags |= SA_RESTART; + sigemptyset(&act.sa_mask); + sigaction(sig,&act,&oldact); + return oldact.sa_handler; +} +#endif void sig_init() { -#if !defined(VISUAL) - signal(SIGINT,int_handler); +#if !defined(VISUAL) && !defined(__MINGW32__) + set_signal(SIGINT,int_handler); #else void register_ctrlc_handler(); register_ctrlc_handler(); #endif - signal(SIGSEGV,segv_handler); + set_signal(SIGSEGV,segv_handler); #if defined(SIGFPE) - signal(SIGFPE,fpe_handler); + set_signal(SIGFPE,fpe_handler); #endif #if defined(SIGPIPE) - signal(SIGPIPE,pipe_handler); + set_signal(SIGPIPE,pipe_handler); #endif #if defined(SIGILL) - signal(SIGILL,ill_handler); + set_signal(SIGILL,ill_handler); #endif -#if !defined(VISUAL) - signal(SIGBUS,bus_handler); +#if !defined(VISUAL) && !defined(__MINGW32__) + set_signal(SIGBUS,bus_handler); #endif } static void (*old_int)(int); void asir_save_handler() { - old_int = signal(SIGINT,SIG_IGN); - signal(SIGINT,old_int); + old_int = set_signal(SIGINT,SIG_IGN); + set_signal(SIGINT,old_int); } void asir_set_handler() { - signal(SIGINT,int_handler); + set_signal(SIGINT,int_handler); } void asir_reset_handler() { - signal(SIGINT,old_int); + set_signal(SIGINT,old_int); } +extern int I_am_server; + void resetenv(char *s) { extern FILE *outfile; @@ -447,21 +510,21 @@ void resetenv(char *s) while ( NEXT(asir_infile) ) closecurrentinput(); resetpvs(); -#if !defined(VISUAL) +#if !defined(VISUAL) && !defined(__MINGW32__) if ( do_server_in_X11 ) #endif show_debug_window(0); #if defined(VISUAL_LIB) w_noflush_stderr(0); #endif - asir_out = stdout; -#if defined(PARI) - pari_outfile = stdout; +#if defined(__MINGW32__) + fflush(stderr); #endif + asir_out = stdout; /* restore states */ reset_engine(); reset_io(); -#if !defined(VISUAL) +#if !defined(VISUAL) && !defined(__MINGW32__) reset_timer(); #endif LONGJMP(main_env,1); @@ -472,25 +535,32 @@ void fatal(int n) resetenv("return to toplevel"); } -FUNC registered_handler; extern int ox_int_received, critical_when_signal; +extern int in_gc, caught_intr; +extern int ox_get_pari_result; void int_handler(int sig) { extern NODE PVSS; + NODE t; - if ( do_file ) { + if ( do_file || disable_debugger ) { + LEAVE_SIGNAL_CS_ALL; ExitAsir(); } - if ( critical_when_signal ) { + if ( !ox_get_pari_result && critical_when_signal ) { ox_int_received = 1; return; } -#if defined(VISUAL) + if ( in_gc ) { + caught_intr = 1; + return; + } +#if defined(VISUAL) || defined(__MINGW32__) suspend_timer(); #endif - signal(SIGINT,SIG_IGN); -#if !defined(VISUAL) + set_signal(SIGINT,SIG_IGN); +#if !defined(VISUAL) && !defined(__MINGW32__) if ( do_server_in_X11 ) { debug(PVSS?((VS)BDY(PVSS))->usrf->f.usrf->body:0); restore_handler(); @@ -511,16 +581,25 @@ void int_handler(int sig) fprintf(stderr,"interrupt ?(q/t/c/d/u/w/?) "); fflush(stderr); buf[0] = '\n'; - while ( buf[0] == '\n' ) + while ( !feof(stdin) && buf[0] == '\n' ) fgets(buf,BUFSIZ,stdin); + if ( feof(stdin) ) { + clearerr(stdin); + continue; + } switch ( c = buf[0] ) { case 'q': while ( 1 ) { fprintf(stderr,"Abort this session? (y or n) "); fflush(stderr); fgets(buf,BUFSIZ,stdin); if ( !strncmp(buf,"y",1) ) { - read_exec_file = 0; - fprintf(stderr,"Bye\n"); asir_terminate(1); + fprintf(stderr,"Bye\n"); +#if defined(__MINGW32__) + fflush(stderr); +#endif + /* for terminating myself */ + asir_infile = 0; + asir_terminate(1); } else if ( !strncmp(buf,"n",1) ) { restore_handler(); return; @@ -543,18 +622,26 @@ void int_handler(int sig) debug_mode = 0; restore_handler(); if ( c == 'u' ) { - if ( registered_handler ) { - fprintf(stderr, - "Calling the registered exception handler..."); - bevalf(registered_handler,0); - fprintf(stderr, "done.\n"); + if ( user_int_handler ) { + if ( !do_terse ) { + fprintf(stderr, + "Calling the registered exception callbacks..."); +#if defined(__MINGW32__) + fflush(stderr); +#endif + } + for ( t = user_int_handler; t; t = NEXT(t) ) + bevalf((FUNC)BDY(t),0); + if ( !do_terse ) { + fprintf(stderr, "done.\n"); +#if defined(__MINGW32__) + fflush(stderr); +#endif + } } } - if ( read_exec_file ) { - read_exec_file = 0; - resetenv("initialization aborted; return to toplevel"); - } else - resetenv("return to toplevel"); + LEAVE_SIGNAL_CS_ALL; + resetenv("return to toplevel"); break; case 'd': #if 0 @@ -567,9 +654,13 @@ void int_handler(int sig) restore_handler(); return; break; case 'w': - showpos(); break; + showpos(); + break; case '?': fprintf(stderr, "q:quit t:toplevel c:continue d:debug u:call registered handler w:where\n"); +#if defined(__MINGW32__) + fflush(stderr); +#endif break; default: break; @@ -578,18 +669,18 @@ void int_handler(int sig) } void restore_handler() { -#if defined(VISUAL) +#if defined(VISUAL) || defined(__MINGW32__) resume_timer(); #endif #if defined(SIGINT) - signal(SIGINT,int_handler); + set_signal(SIGINT,int_handler); #endif } void segv_handler(int sig) { #if defined(SIGSEGV) - signal(SIGSEGV,segv_handler); + set_signal_for_restart(SIGSEGV,segv_handler); error("internal error (SEGV)"); #endif } @@ -597,21 +688,32 @@ void segv_handler(int sig) void ill_handler(int sig) { #if defined(SIGILL) - signal(SIGILL,ill_handler); + set_signal_for_restart(SIGILL,ill_handler); error("illegal instruction (ILL)"); #endif } +#if defined(__DARWIN__) +#define SIGNAL_FOR_TIMER SIGALRM +#define ITIMER_TYPE ITIMER_REAL +#else +#define SIGNAL_FOR_TIMER SIGVTALRM +#define ITIMER_TYPE ITIMER_VIRTUAL +#endif + void alrm_handler(int sig) { fprintf(stderr,"interval timer expired (VTALRM)\n"); +#if defined(__MINGW32__) + fflush(stderr); +#endif LONGJMP(timer_env,1); } void bus_handler(int sig) { #if defined(SIGBUS) - signal(SIGBUS,bus_handler); + set_signal_for_restart(SIGBUS,bus_handler); error("internal error (BUS ERROR)"); #endif } @@ -619,7 +721,7 @@ void bus_handler(int sig) void fpe_handler(int sig) { #if defined(SIGFPE) - signal(SIGFPE,fpe_handler); + set_signal_for_restart(SIGFPE,fpe_handler); error("internal error (FPE)"); #endif } @@ -627,7 +729,7 @@ void fpe_handler(int sig) void pipe_handler(int sig) { #if defined(SIGPIPE) - signal(SIGPIPE,pipe_handler); + set_signal_for_restart(SIGPIPE,pipe_handler); end_critical(); error("internal error (BROKEN PIPE)"); #endif @@ -652,16 +754,20 @@ void set_lasterror(char *s) } SNODE error_snode; +int error_in_timer; void error(char *s) { SNODE *snp=0; -#if !defined(VISUAL) - if ( timer_is_set ) - alrm_handler(SIGVTALRM); +#if !defined(VISUAL) && !defined(__MINGW32__) + if ( !error_in_timer && timer_is_set ) + alrm_handler(SIGNAL_FOR_TIMER); #endif fprintf(stderr,"%s\n",s); +#if defined(__MINGW32__) + fflush(stderr); +#endif set_lasterror(s); if ( CPVS != GPVS ) { if ( CPVS && CPVS->usrf && CPVS->usrf->f.usrf ) @@ -683,22 +789,25 @@ void error(char *s) if ( debug_mode ) LONGJMP(debug_env,1); if ( CPVS != GPVS ) - if ( do_server_in_X11 || isatty(0) ) + if ( !no_debug_on_error && (do_server_in_X11 || isatty(0)) ) bp(error_snode); - if ( read_exec_file ) - read_exec_file = 0; + if ( I_am_server ) + showpos_to_list(&LastStackTrace); resetenv("return to toplevel"); } -void toplevel(char *s) +void goto_toplevel(char *s) { SNODE *snp=0; -#if !defined(VISUAL) +#if !defined(VISUAL) && !defined(__MINGW32__) if ( timer_is_set ) - alrm_handler(SIGVTALRM); + alrm_handler(SIGNAL_FOR_TIMER); #endif fprintf(stderr,"%s\n",s); +#if defined(__MINGW32__) + fflush(stderr); +#endif if ( do_file ) { char errbuf[BUFSIZ*5]; /* sufficient to store stack information ? */ @@ -706,12 +815,10 @@ void toplevel(char *s) showpos_to_string(errbuf+strlen(errbuf)); ExitAsir(); } - if ( read_exec_file ) - read_exec_file = 0; resetenv("return to toplevel"); } -#if !defined(VISUAL) +#if !defined(VISUAL) && !defined(__MINGW32__) #include void set_timer(int interval) @@ -722,8 +829,8 @@ void set_timer(int interval) it.it_interval.tv_usec = 0; it.it_value.tv_sec = interval; it.it_value.tv_usec = 0; - setitimer(ITIMER_VIRTUAL,&it,0); - signal(SIGVTALRM,alrm_handler); + setitimer(ITIMER_TYPE,&it,0); + set_signal(SIGNAL_FOR_TIMER,alrm_handler); timer_is_set = 1; } @@ -735,8 +842,8 @@ void reset_timer() it.it_interval.tv_usec = 0; it.it_value.tv_sec = 0; it.it_value.tv_usec = 0; - setitimer(ITIMER_VIRTUAL,&it,0); - signal(SIGVTALRM,SIG_IGN); + setitimer(ITIMER_TYPE,&it,0); + set_signal(SIGNAL_FOR_TIMER,SIG_IGN); timer_is_set = 0; } #endif @@ -744,24 +851,114 @@ void reset_timer() unsigned int get_asir_version(); char *get_asir_distribution(); -void copyright() { +char *get_gcversion() +{ + return "GC 7.2 copyright 1988-2012, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n"; +} + +char *get_pariversion() +{ + return ""; +} + +char *get_intervalversion() +{ #if defined(INTERVAL) - printf("This is Risa/Asir + Interval Arithmetic, Version %d (%s Distribution).\n", - get_asir_version(), get_asir_distribution()); + return " + Interval Arithmetic"; #else - printf("This is Risa/Asir, Version %d (%s Distribution).\n", - get_asir_version(), get_asir_distribution()); + return ""; #endif - printf("Copyright (C) 1994-2000, all rights reserved, FUJITSU LABORATORIES LIMITED.\n"); - printf("Copyright 2000-2003, Risa/Asir committers, http://www.openxm.org/.\n"); - printf("GC 6.2(alpha6) copyright 1988-2003, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n"); -#if PARI -#if 0 - printf("PARI 2.2.4, copyright (C) 2002 The PARI Group.\n"); -#endif - printf("PARI 2.0.17, copyright 1989-1999, C. Batut, K. Belabas, D. Bernardi,\n"); - printf(" H. Cohen and M. Olivier.\n"); -#endif } +void copyright() +{ + char *scopyright(); + fputs(scopyright(), stdout); +} +char *scopyright() +{ + static char *notice; + char *s1, *s2, *s3, *s4; + int d, len; + char *format = "This is Risa/Asir%s, Version %d (%s Distribution).\nCopyright (C) 1994-2000, all rights reserved, FUJITSU LABORATORIES LIMITED.\nCopyright 2000-2007, Risa/Asir committers, http://www.openxm.org/.\n%s%s"; + if (!notice) { + s1 = get_intervalversion(); + s2 = get_asir_distribution(); + s3 = get_gcversion(); + s4 = get_pariversion(); + d = get_asir_version(); + len = (strlen(format)-8)+strlen(s1)+strlen(s2)+strlen(s3)+strlen(s4)+sizeof(int)*3; + notice = MALLOC(len+1); + sprintf(notice, format, s1, d, s2, s3, s4); + } + return notice; +} + +#if defined(VISUAL) || defined(__MINGW32__) +int recv_intr; + +static CRITICAL_SECTION signal_cs; +static int initialized_signal_cs; +static int signal_cs_count; + +static void init_signal_cs() +{ + if (!initialized_signal_cs) { + InitializeCriticalSection(&signal_cs); + initialized_signal_cs=1; + signal_cs_count=0; + } +} + +void try_enter_signal_cs() +{ + init_signal_cs(); + if(TryEnterCriticalSection(&signal_cs)) { + signal_cs_count++; + } +} + +void enter_signal_cs() +{ + init_signal_cs(); + EnterCriticalSection(&signal_cs); + signal_cs_count++; +} + +void leave_signal_cs() +{ + init_signal_cs(); + if(signal_cs_count>0) { + LeaveCriticalSection(&signal_cs); + signal_cs_count--; + } +} + +void leave_signal_cs_all() +{ + if (!initialized_signal_cs) { + init_signal_cs(); + } + while(signal_cs_count>0) { + LeaveCriticalSection(&signal_cs); + signal_cs_count--; + } +} + +void check_intr() +{ + extern int recv_intr; + enter_signal_cs(); + if ( recv_intr ) { + if ( recv_intr == 1 ) { + recv_intr = 0; + int_handler(SIGINT); + } else { + recv_intr = 0; + ox_usr1_handler(0); + } + } + leave_signal_cs_all(); +} +#endif