#include "timer_defs_xsb.h"
#include "context.h"
#include "setjmp_xsb.h"
#include "thread_xsb.h"
#include "flags_xsb.h"
Data Structures | |
struct | xsb_timeout_info |
struct | xsb_timeout |
Defines | |
#define | NORMAL_TERMINATION -1 |
#define | TIMED_OUT 1 |
#define | STILL_WAITING 0 |
#define | SETALARM (signal(SIGALRM, xsb_timer_handler)) |
#define | TURNOFFALARM alarm(0); |
#define | CHECK_TIMER_SET ((int)pflags[SYS_TIMER] > 0) |
#define | NOTIFY_PARENT_THREAD(timeout) ; |
#define | SET_TIMER alarm((int)pflags[SYS_TIMER]) |
#define | OP_TIMED_OUT (sigsetjmp(xsb_timer_env,1) != 0) |
Typedefs | |
typedef xsb_timeout_info | xsbTimeoutInfo |
typedef xsb_timeout | xsbTimeout |
Functions | |
int | make_timed_call (CTXTdeclc xsbTimeout *, void(*)(xsbTimeout *)) |
void | xsb_timer_handler (int signo) |
Variables | |
sigjmp_buf | xsb_timer_env |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|