25 #include "pips_config.h"
104 user_log(
"interrupting pipsmake as soon as possible...\n");
108 user_log(
"interruption for checkpointing...\n");
114 user_log(
"interruption for exiting...\n");
118 fprintf(stderr,
"[pips_signal_handler] unexpected signal %d\n",
num);
void user_log(const char *format,...)
void pips_log_stop(const char *function, const char *file, const int lineno, const pips_log_t tag, const int code, const string format,...)
quick log and stop, called on timeout this must not invoke malloc as it may still held locks if inter...
#define PUSH_TIMEOUT_ENV(env)
#define PUSH_TIMEOUT(delay)
void set_timeout_callback(timeout_callback_f)
void checkpoint_workspace(void)
checkpoint the current workspace, i.e.
void interrupt_pipsmake_asap()
misc.c
int fprintf()
test sc_min : ce test s'appelle par : programme fichier1.data fichier2.data ...
void initialize_signal_catcher(void)
static void pips_timeout_callback(const int delay, _UNUSED_ const char *function, const char *file, const int lineno)
void reset_pips_timeout(void)
signal.c
static bool pips_timeout_set
void set_pips_timeout_from_env(void)
set pips timeout using PIPS_TIMEOUT environment variable
void set_pips_timeout(unsigned int delay)
set pips timeout on delay setting to 0 removes the current timeout.
static void pips_signal_handler(int num)