#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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
1.4.5