version 1.2, 2018/10/01 07:48:01 |
version 1.4, 2019/07/25 05:57:56 |
|
|
/* $OpenXM: OpenXM_contrib2/asir2018/parse/gc_risa.c,v 1.1 2018/09/19 05:45:08 noro Exp $ */ |
/* $OpenXM: OpenXM_contrib2/asir2018/parse/gc_risa.c,v 1.3 2019/03/27 05:34:47 noro Exp $ */ |
|
|
#if defined(VISUAL) || defined(__MINGW32__) |
#if defined(VISUAL) || defined(__MINGW32__) |
#include "private/gcconfig.h" |
#include "private/gcconfig.h" |
|
|
#endif |
#endif |
#endif |
#endif |
#include "gc.h" |
#include "gc.h" |
|
#include <stdio.h> |
|
#include <stdlib.h> |
#include <time.h> |
#include <time.h> |
#include <signal.h> |
#include <signal.h> |
|
|
Line 23 void check_caught_intr() |
|
Line 25 void check_caught_intr() |
|
int_handler(SIGINT); |
int_handler(SIGINT); |
} else if ( caught_intr == 2 ) { |
} else if ( caught_intr == 2 ) { |
caught_intr = 0; |
caught_intr = 0; |
|
fprintf(stderr,"entering reset mode...\n"); |
ox_usr1_handler(SIGUSR1); |
ox_usr1_handler(SIGUSR1); |
} |
} |
} |
} |
|
|
void *Risa_GC_malloc(size_t d) |
void *Risa_GC_malloc(size_t d) |
Line 256 void Risa_GC_get_adj(int *nm, int *dn) { |
|
Line 259 void Risa_GC_get_adj(int *nm, int *dn) { |
|
void Risa_GC_set_adj(int nm, int dn) { |
void Risa_GC_set_adj(int nm, int dn) { |
GC_set_free_space_divisor(dn/nm); |
GC_set_free_space_divisor(dn/nm); |
} |
} |
|
#endif |
double GC_get_gctime() { |
double GC_get_gctime() { |
return 0.0; |
return 0.0; |
} |
} |
#endif |
|
|
|
#if defined(MSWIN32) && !defined(VISUAL) && !defined(__MINGW32__) |
#if defined(MSWIN32) && !defined(VISUAL) && !defined(__MINGW32__) |
#include <signal.h> |
#include <signal.h> |