signal.c File Reference

#include <stdlib.h>
#include <stdio.h>
#include <signal.h>
#include <unistd.h>
#include "genC.h"
#include "linear.h"
#include "ri.h"
#include "misc.h"
#include "pipsdbm.h"
#include "pipsmake.h"
#include "top-level.h"

Include dependency graph for signal.c:

Go to the source code of this file.

Functions
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 More...
void	set_pips_timeout (unsigned int delay)
	set pips timeout on delay setting to 0 removes the current timeout. More...
void	set_pips_timeout_from_env (void)
	set pips timeout using PIPS_TIMEOUT environment variable More...
static void	pips_signal_handler (int num)
void	initialize_signal_catcher (void)

Variables
static bool	pips_timeout_set = false

Function Documentation

initialize_signal_catcher()

void initialize_signal_catcher

(

void

)

Definition at line 126 of file signal.c.

{
  // misc signals
  (void) signal(SIGINT,  pips_signal_handler);
  (void) signal(SIGHUP,  pips_signal_handler);
  (void) signal(SIGTERM, pips_signal_handler);
 
  (void) signal(SIGUSR1, pips_signal_handler);
  (void) signal(SIGUSR2, pips_signal_handler);
 
  // timeout handling
  set_pips_timeout_from_env();
}

References pips_signal_handler(), and set_pips_timeout_from_env().

Referenced by pips_main(), and tpips_main().

Here is the call graph for this function:

Here is the caller graph for this function:

pips_signal_handler()

static void pips_signal_handler ( int  num )

static

Definition at line 94 of file signal.c.

{
  user_log("interruption signal %d caught!\n", num);
 
  switch (num)
  {
  case SIGINT:
  case SIGHUP:
  case SIGTERM:
    // BUG: if nothing is in progress (eg tpips prompt), should exit
    user_log("interrupting pipsmake as soon as possible...\n");
    interrupt_pipsmake_asap();
    break;
  case SIGUSR1:
    user_log("interruption for checkpointing...\n");
    // cold blooded: might be quite dangerous for the life of the process.
    // should not enter twice in there... might be convenient anyway.
    checkpoint_workspace();
    break;
  case SIGUSR2:
    user_log("interruption for exiting...\n");
    exit(128 + SIGUSR2);
    break;
  default:
    fprintf(stderr, "[pips_signal_handler] unexpected signal %d\n", num);
    abort();
  }
 
  // must reset handler once raised.
  (void) signal(num, pips_signal_handler);
}

References abort, checkpoint_workspace(), exit, fprintf(), interrupt_pipsmake_asap(), num, and user_log().

Referenced by initialize_signal_catcher().

Here is the call graph for this function:

Here is the caller graph for this function:

pips_timeout_callback()

static void pips_timeout_callback ( const int  delay, _UNUSED_ const char *  function, const char *  file, const int  lineno  )

static

Definition at line 47 of file signal.c.

{
  // nothing fancy can be done on this interrupt...
  pips_log_stop(__func__, file, lineno, user_error_log,
                TIMEOUT_CODE, "timeout after %d seconds", delay);
}

References pips_log_stop(), TIMEOUT_CODE, and user_error_log.

Referenced by set_pips_timeout(), and set_pips_timeout_from_env().

Here is the call graph for this function:

Here is the caller graph for this function:

reset_pips_timeout()

void reset_pips_timeout

(

void

)

signal.c

Definition at line 60 of file signal.c.

{
  if (pips_timeout_set)
    POP_TIMEOUT();
  pips_timeout_set = false;
}

References pips_timeout_set, and POP_TIMEOUT.

Referenced by set_pips_timeout(), and set_pips_timeout_from_env().

Here is the caller graph for this function:

set_pips_timeout()

void set_pips_timeout

(

unsigned int

delay

)

set pips timeout on delay setting to 0 removes the current timeout.

Parameters

delay

elay

Definition at line 70 of file signal.c.

{
  reset_pips_timeout();
  set_timeout_callback(pips_timeout_callback);
 
  if (delay > 0)
  {
    pips_timeout_set = true;
    PUSH_TIMEOUT(delay);
  }
}

References pips_timeout_callback(), pips_timeout_set, PUSH_TIMEOUT, reset_pips_timeout(), and set_timeout_callback().

Here is the call graph for this function:

set_pips_timeout_from_env()

void set_pips_timeout_from_env

(

void

)

set pips timeout using PIPS_TIMEOUT environment variable

Definition at line 84 of file signal.c.

{
  reset_pips_timeout();
  set_timeout_callback(pips_timeout_callback);
 
  pips_timeout_set = PUSH_TIMEOUT_ENV("PIPS_TIMEOUT");
}

References pips_timeout_callback(), pips_timeout_set, PUSH_TIMEOUT_ENV, reset_pips_timeout(), and set_timeout_callback().

Referenced by initialize_signal_catcher().

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

pips_timeout_set

bool pips_timeout_set = false

static

Definition at line 58 of file signal.c.

Referenced by reset_pips_timeout(), set_pips_timeout(), and set_pips_timeout_from_env().