]> mj.ucw.cz Git - libucw.git/blob - ucw/mainloop.h
Merge branch 'dev-mainloop'
[libucw.git] / ucw / mainloop.h
1 /*
2  *      UCW Library -- Main Loop
3  *
4  *      (c) 2004--2011 Martin Mares <mj@ucw.cz>
5  *
6  *      This software may be freely distributed and used according to the terms
7  *      of the GNU Lesser General Public License.
8  */
9
10 #ifndef _UCW_MAINLOOP_H
11 #define _UCW_MAINLOOP_H
12
13 #include "ucw/clists.h"
14
15 #include <signal.h>
16
17 /***
18  * [[basic]]
19  * Basic operations
20  * ----------------
21  *
22  * First of all, let us take a look at the basic operations with main loop contexts.
23  ***/
24
25 /** The main loop context **/
26 struct main_context {
27   timestamp_t now;                      /* [*] Current time in milliseconds since the UNIX epoch. See main_get_time(). */
28   ucw_time_t now_seconds;               /* [*] Current time in seconds since the epoch. */
29   timestamp_t idle_time;                /* [*] Total time in milliseconds spent by waiting for events. */
30   uns shutdown;                         /* [*] Setting this to nonzero forces the main_loop() function to terminate. */
31   clist file_list;
32   clist file_active_list;
33   clist hook_list;
34   clist hook_done_list;
35   clist process_list;
36   clist signal_list;
37   uns file_cnt;
38   uns single_step;
39 #ifdef CONFIG_UCW_EPOLL
40   int epoll_fd;                         /* File descriptor used for epoll */
41   struct epoll_event *epoll_events;
42   clist file_recalc_list;
43 #else
44   uns poll_table_obsolete;
45   struct pollfd *poll_table;
46   struct main_file **poll_file_table;
47 #endif
48   struct main_timer **timer_table;      /* Growing array containing the heap of timers */
49   sigset_t want_signals;
50   int sig_pipe_send;
51   int sig_pipe_recv;
52   struct main_file *sig_pipe_file;
53   struct main_signal *sigchld_handler;
54 };
55
56 struct main_context *main_new(void);            /** Create a new context. **/
57
58 /**
59  * Delete a context, assuming it does have any event handlers attached. Does nothing if @m is NULL.
60  * It is allowed to call @main_delete() from a hook function of the same context, but you must
61  * never return to the main loop -- e.g., you can exit() the process instead.
62  **/
63 void main_delete(struct main_context *m);
64
65 /**
66  * Delete a context. If there are any event handlers attached, they are deactivated
67  * (but the responsibility to free the memory there were allocated from lies upon you).
68  * If there are any file handlers, the corresponding file descriptors are closed.
69  **/
70 void main_destroy(struct main_context *m);
71
72 /** Switch the current context of the calling thread. Returns the previous current context. **/
73 struct main_context *main_switch_context(struct main_context *m);
74
75 /** Return the current context. Dies if there is none or if the context has been deleted. **/
76 struct main_context *main_current(void);
77
78 /** Initialize the main loop module and create a top-level context. **/
79 void main_init(void);
80
81 /** Deinitialize the main loop module, calling @main_delete() on the top-level context. **/
82 void main_cleanup(void);
83
84 /**
85  * Deinitialize the main loop module, calling @main_destroy() on the top-level context.
86  * This is especially useful in a freshly forked-off child process.
87  **/
88 void main_teardown(void);
89
90 /**
91  * Start the event loop on the current context.
92  * It will watch the provided objects and call callbacks.
93  * Terminates when someone calls @main_shut_down(),
94  * or when all <<hook,hooks>> return <<enum_main_hook_return,`HOOK_DONE`>>
95  * or at last one <<hook,hook>> returns <<enum_main_hook_return,`HOOK_SHUTDOWN`>>.
96  **/
97 void main_loop(void);
98
99 /**
100  * Perform a single iteration of the main loop.
101  * Check if there are any events ready and process them.
102  * If there are none, do not wait.
103  **/
104 void main_step(void);
105
106 /** Ask the main loop to terminate at the nearest occasion. **/
107 static inline void main_shut_down(void)
108 {
109   main_current()->shutdown = 1;
110 }
111
112 /**
113  * Show the current state of a given context (use @main_debug() for the current context).
114  * Available only if LibUCW has been compiled with `CONFIG_DEBUG`.
115  **/
116 void main_debug_context(struct main_context *m);
117
118 static inline void
119 main_debug(void)
120 {
121   main_debug_context(main_current());
122 }
123
124 /***
125  * [[time]]
126  * Timers
127  * ------
128  *
129  * The event loop provides the current time, measured as a 64-bit number
130  * of milliseconds since the system epoch (represented in the type `timestamp_t`).
131  *
132  * You can also register timers, which call a handler function at a given moment.
133  * The handler function must either call @timer_del() to delete the timer, or call
134  * @timer_add() with a different expiration time.
135  ***/
136
137 /**
138  * Get the current timestamp cached in the current context. It is refreshed in every
139  * iteration of the event loop, or explicitly by calling @main_get_time().
140  **/
141 static inline timestamp_t main_get_now(void)
142 {
143   return main_current()->now;
144 }
145
146 /** An analog of @main_get_now() returning the number of seconds since the system epoch. **/
147 static inline ucw_time_t main_get_now_seconds(void)
148 {
149   return main_current()->now_seconds;
150 }
151
152 /**
153  * This is a description of a timer.
154  * You define the handler function and possibly user-defined data you wish
155  * to pass to the handler, and then you invoke @timer_add().
156  **/
157 struct main_timer {
158   cnode n;
159   timestamp_t expires;
160   uns index;
161   void (*handler)(struct main_timer *tm);       /* [*] Function to be called when the timer expires. */
162   void *data;                                   /* [*] Data for use by the handler */
163 };
164
165 /**
166  * Add a new timer into the main loop to be watched and called
167  * when it expires. It can also be used to modify an already running
168  * timer. It is permitted (and usual) to call this function from the
169  * timer's handler itself if you want the timer to trigger again.
170  *
171  * The @expire parameter is absolute, use @timer_add_rel() for a relative version.
172  **/
173 void timer_add(struct main_timer *tm, timestamp_t expires);
174
175 /** Like @timer_add(), but the expiration time is relative to the current time. **/
176 void timer_add_rel(struct main_timer *tm, timestamp_t expires_delta);
177
178 /**
179  * Removes a timer from the active ones. It is permitted (and common) to call
180  * this function from the timer's handler itself if you want to deactivate
181  * the timer.
182  **/
183 void timer_del(struct main_timer *tm);
184
185 /** Tells whether a timer is running. **/
186 static inline int timer_is_active(struct main_timer *tm)
187 {
188   return !!tm->expires;
189 }
190
191 /**
192  * Forces refresh of the current timestamp cached in the active context.
193  * You usually do not need to call this, since it is called every time the
194  * loop polls for events. It is here if you need extra precision or some of the
195  * hooks takes a long time.
196  **/
197 void main_get_time(void);
198
199 /** Show current state of a timer. Available only if LibUCW has been compiled with `CONFIG_DEBUG`. **/
200 void timer_debug(struct main_timer *tm);
201
202 /***
203  * [[hooks]]
204  * Loop hooks
205  * ----------
206  *
207  * The hooks are called whenever the main loop performs an iteration.
208  * You can shutdown the main loop from within them or request an iteration
209  * to happen without sleeping (just poll, no waiting for events).
210  ***/
211
212 /**
213  * A hook. It contains the function to call and some user data.
214  *
215  * The handler() must return one value from
216  * <<enum_main_hook_return,`main_hook_return`>>.
217  *
218  * Fill with the hook and data and pass it to @hook_add().
219  **/
220 struct main_hook {
221   cnode n;
222   int (*handler)(struct main_hook *ho);         /* [*] Hook function; returns HOOK_xxx */
223   void *data;                                   /* [*] For use by the handler */
224 };
225
226 /**
227  * Return value of the hook handler().
228  * Specifies what should happen next.
229  *
230  * - `HOOK_IDLE` -- Let the loop sleep until something happens, call after that.
231  * - `HOOK_RETRY` -- Force the loop to perform another iteration without sleeping.
232  *   This will cause calling of all the hooks again soon.
233  * - `HOOK_DONE` -- The loop will terminate if all hooks return this.
234  * - `HOOK_SHUTDOWN` -- Shuts down the loop.
235  *
236  * The `HOOK_IDLE` and `HOOK_RETRY` constants are also used as return values
237  * of file handlers.
238  **/
239 enum main_hook_return {
240   HOOK_IDLE,
241   HOOK_RETRY,
242   HOOK_DONE = -1,
243   HOOK_SHUTDOWN = -2
244 };
245
246 /**
247  * Inserts a new hook into the loop.
248  * The hook will be scheduled at least once before next sleep.
249  * May be called from inside a hook handler too.
250  **/
251 void hook_add(struct main_hook *ho);
252
253 /**
254  * Removes an existing hook from the loop.
255  * May be called from inside a hook handler (to delete itself or another hook).
256  **/
257 void hook_del(struct main_hook *ho);
258
259 /** Tells if a hook is active (i.e., added). **/
260 static inline int hook_is_active(struct main_hook *ho)
261 {
262   return clist_is_linked(&ho->n);
263 }
264
265 /** Show current state of a hook. Available only if LibUCW has been compiled with `CONFIG_DEBUG`. **/
266 void hook_debug(struct main_hook *ho);
267
268
269 /***
270  * [[file]]
271  * Activity on file descriptors
272  * ----------------------------
273  *
274  * You can ask the main loop to watch a set of file descriptors for activity.
275  * (This is a generalization of the select() and poll() system calls. Internally,
276  * it uses either poll() or the more efficient epoll().)
277  *
278  * You create a <<struct_main_file,`struct main_file`>>, fill in a file descriptor
279  * and pointers to handler functions to be called when the descriptor becomes
280  * ready for reading and/or writing, and call @file_add(). When you need to
281  * modify the handlers (e.g., to set them to NULL if you are no longer interested
282  * in a given event), you should call @file_chg() to notify the main loop about
283  * the changes.
284  *
285  * From within the handler functions, you are allowed to call @file_chg() and even
286  * @file_del().
287  *
288  * The return value of a handler function should be either <<enum_main_hook_return,`HOOK_RETRY`>>
289  * or <<enum_main_hook_return,`HOOK_IDLE`>>. <<enum_main_hook_return,`HOOK_RETRY`>>
290  * signals that the function would like to consume more data immediately
291  * (i.e., it wants to be called again soon, but the event loop can postpone it after
292  * processing other events to avoid starvation). <<enum_main_hook_return,`HOOK_IDLE`>>
293  * tells that the handler wants to be called when the descriptor becomes ready again.
294  *
295  * For backward compatibility, 0 can be used instead of <<enum_main_hook_return,`HOOK_IDLE`>>
296  * and 1 for <<enum_main_hook_return,`HOOK_RETRY`>>.
297  *
298  * If you want to read/write fixed-size blocks of data asynchronously, the
299  * <<blockio,Asynchronous block I/O>> interface could be more convenient.
300  ***/
301
302 /**
303  * This structure describes a file descriptor to be watched and the handlers
304  * to be called when the descriptor is ready for reading and/or writing.
305  **/
306 struct main_file {
307   cnode n;
308   int fd;                                       /* [*] File descriptor */
309   int (*read_handler)(struct main_file *fi);    /* [*] To be called when ready for reading/writing; must call file_chg() afterwards */
310   int (*write_handler)(struct main_file *fi);
311   void *data;                                   /* [*] Data for use by the handlers */
312   uns events;
313 #ifdef CONFIG_UCW_EPOLL
314   uns last_want_events;
315 #else
316   struct pollfd *pollfd;
317 #endif
318 };
319
320 /**
321  * Insert a <<struct_main_file,`main_file`>> structure into the main loop to be
322  * watched for activity. You can call this at any time, even inside a handler
323  * (of course for a different file descriptor than the one of the handler).
324  *
325  * The file descriptor is automatically set to the non-blocking mode.
326  **/
327 void file_add(struct main_file *fi);
328
329 /**
330  * Tell the main loop that the file structure has changed. Call it whenever you
331  * change any of the handlers.
332  *
333  * Can be called only on active files (only the ones added by @file_add()).
334  **/
335 void file_chg(struct main_file *fi);
336
337 /**
338  * Removes a file from the watched set. If you want to close a descriptor,
339  * please use this function first.
340  *
341  * Can be called from a handler.
342  **/
343 void file_del(struct main_file *fi);
344
345 /** Tells if a file is active (i.e., added). **/
346 static inline int file_is_active(struct main_file *fi)
347 {
348   return clist_is_linked(&fi->n);
349 }
350
351 /** Show current state of a file. Available only if LibUCW has been compiled with `CONFIG_DEBUG`. **/
352 void file_debug(struct main_file *fi);
353
354 /***
355  * [[blockio]]
356  * Asynchronous block I/O
357  * ----------------------
358  *
359  * If you are reading or writing fixed-size blocks of data, you can let the
360  * block I/O interface handle the boring routine of handling partial reads
361  * and writes for you.
362  *
363  * You just create <<struct_main_block_io,`struct main_block_io`>> and call
364  * @block_io_add() on it, which sets up some <<struct_main_file,`main_file`>>s internally.
365  * Then you can just call @block_io_read() or @block_io_write() to ask for
366  * reading or writing of a given block. When the operation is finished,
367  * your handler function is called.
368  *
369  * Additionally, the block I/O is equipped with a timer, which can be used
370  * to detect communication timeouts. The timer is not touched internally
371  * (except that it gets added and deleted at the right places), feel free
372  * to adjust it from your handler functions by @block_io_set_timeout().
373  * When the timer expires, the error handler is automatically called with
374  * <<enum_block_io_err_cause,`BIO_ERR_TIMEOUT`>>.
375  ***/
376
377 /** The block I/O structure. **/
378 struct main_block_io {
379   struct main_file file;
380   byte *rbuf;                                   /* Read/write pointers for use by file_read/write */
381   uns rpos, rlen;
382   byte *wbuf;
383   uns wpos, wlen;
384   void (*read_done)(struct main_block_io *bio); /* [*] Called when file_read is finished; rpos < rlen if EOF */
385   void (*write_done)(struct main_block_io *bio);        /* [*] Called when file_write is finished */
386   void (*error_handler)(struct main_block_io *bio, int cause);  /* [*] Handler to call on errors */
387   struct main_timer timer;
388   void *data;                                   /* [*] Data for use by the handlers */
389 };
390
391 /** Activate a block I/O structure. **/
392 void block_io_add(struct main_block_io *bio, int fd);
393
394 /** Deactivate a block I/O structure. **/
395 void block_io_del(struct main_block_io *bio);
396
397 /**
398  * Specifies when or why an error happened. This is passed to the error handler.
399  * `errno` is still set to the original source of error. The only exception
400  * is `BIO_ERR_TIMEOUT`, in which case `errno` is not set and the only possible
401  * cause of it is timeout of the timer associated with the block_io
402  * (see @block_io_set_timeout()).
403  **/
404 enum block_io_err_cause {
405   BIO_ERR_READ,
406   BIO_ERR_WRITE,
407   BIO_ERR_TIMEOUT
408 };
409
410 /**
411  * Ask the main loop to read @len bytes of data from @bio into @buf.
412  * It cancels any previous unfinished read requested in this way.
413  *
414  * When the read is done, the read_done() handler is called. If an EOF occurred,
415  * `rpos < rlen` (eg. not all data were read).
416  *
417  * Can be called from a handler.
418  *
419  * You can use a call with zero @len to cancel the current read, but all read data
420  * will be thrown away.
421  **/
422 void block_io_read(struct main_block_io *bio, void *buf, uns len);
423
424 /**
425  * Request that the main loop writes @len bytes of data from @buf to @bio.
426  * Cancels any previous unfinished write and overwrites `write_handler`.
427  *
428  * When it is written, the write_done() handler is called.
429  *
430  * Can be called from a handler.
431  *
432  * If you call it with zero @len, it will cancel the previous write, but note
433  * that some data may already be written.
434  **/
435 void block_io_write(struct main_block_io *bio, void *buf, uns len);
436
437 /**
438  * Sets a timer for a file @bio. If the timer is not overwritten or disabled
439  * until @expires_delta milliseconds, the file timeouts and error_handler() is called with
440  * <<enum_block_io_err_cause,`BIO_ERR_TIMEOUT`>>. A value of `0` stops the timer.
441  *
442  * Previous setting of the timeout on the same file will be overwritten.
443  *
444  * The use-cases for this are mainly sockets or pipes, when:
445  *
446  * - You want to drop inactive connections (no data comes in or out for a given time, not
447  *   incomplete messages).
448  * - You want to enforce answer in a given time (for example authentication).
449  * - Watching maximum time for a whole connection.
450  **/
451 void block_io_set_timeout(struct main_block_io *bio, timestamp_t expires_delta);
452
453 /** Tells if a @bio is active (i.e., added). **/
454 static inline int block_io_is_active(struct main_block_io *bio)
455 {
456   return file_is_active(&bio->file);
457 }
458
459 /***
460  * [[recordio]]
461  * Asynchronous record I/O
462  * -----------------------
463  *
464  * Record-based I/O is another front-end to the main loop file operations.
465  * Unlike its older cousin `main_block_io`, it is able to process records
466  * of variable length.
467  *
468  * To set it up, you create <<struct_main_rec_io,`struct main_rec_io`>> and call
469  * @rec_io_add() on it, which sets up some <<struct_main_file,`main_file`>>s internally.
470  *
471  * To read data from the file, call @rec_io_start_read() first. Whenever any data
472  * arrive from the file, they are appended to an internal buffer and the `read_handler`
473  * hook is called. The hook checks if the buffer already contains a complete record.
474  * If it is so, it processes the record and returns the number of bytes consumed.
475  * Otherwise, it returns 0 to tell the buffering machinery that more data are needed.
476  * When the read handler decides to destroy the `main_rec_io`, it must return `~0U`.
477  *
478  * On the write side, `main_rec_io` maintains a buffer keeping all data that should
479  * be written to the file. The @rec_io_write() function appends data to this buffer
480  * and it is written on background. A simple flow-control mechanism can be asked
481  * for: when more than `write_throttle_read` data are buffered for writing, reading
482  * is temporarily suspended.
483  *
484  * Additionally, the record I/O is equipped with a timer, which can be used
485  * to detect communication timeouts. The timer is not touched internally
486  * (except that it gets added and deleted at the right places), feel free
487  * to adjust it from your handler functions by @rec_io_set_timeout().
488  *
489  * All important events are passed to the `notify_handler`: errors when
490  * reading or writing, timeouts, the write buffer becoming empty, ... See
491  * <<enum_rec_io_notify_status,`enum rec_io_notify_status`>> for a complete list.
492  ***/
493
494 /** The record I/O structure. **/
495 struct main_rec_io {
496   struct main_file file;
497   byte *read_buf;
498   byte *read_rec_start;                         /* [*] Start of current record */
499   uns read_avail;                               /* [*] How much data is available */
500   uns read_prev_avail;                          /* [*] How much data was available in previous read_handler */
501   uns read_buf_size;                            /* [*] Read buffer size allocated (can be set before rec_io_add()) */
502   uns read_started;                             /* Reading requested by user */
503   uns read_running;                             /* Reading really runs (read_started && not stopped by write_throttle_read) */
504   uns read_rec_max;                             /* [*] Maximum record size (0=unlimited) */
505   clist busy_write_buffers;
506   clist idle_write_buffers;
507   uns write_buf_size;                           /* [*] Write buffer size allocated (can be set before rec_io_add()) */
508   uns write_watermark;                          /* [*] How much data are waiting to be written */
509   uns write_throttle_read;                      /* [*] If more than write_throttle_read bytes are buffered, stop reading; 0=no stopping */
510   uns (*read_handler)(struct main_rec_io *rio); /* [*] Called whenever more bytes are read; returns 0 (want more) or number of bytes eaten */
511   int (*notify_handler)(struct main_rec_io *rio, int status);   /* [*] Called to notify about errors and other events */
512                                                 /* Returns either HOOK_RETRY or HOOK_IDLE. */
513   struct main_timer timer;
514   struct main_hook start_read_hook;             /* Used internally to defer rec_io_start_read() */
515   void *data;                                   /* [*] Data for use by the handlers */
516 };
517
518 /** Activate a record I/O structure. **/
519 void rec_io_add(struct main_rec_io *rio, int fd);
520
521 /** Deactivate a record I/O structure. **/
522 void rec_io_del(struct main_rec_io *rio);
523
524 /**
525  * Start reading.
526  *
527  * When there were some data in the buffer (e.g., because @rec_io_stop_read()
528  * was called from the `read_handler`), it is processed as if it were read
529  * from the file once again. That is, `read_prev_avail` is reset to 0 and
530  * the `read_handler` is called to process all buffered data.
531  ***/
532 void rec_io_start_read(struct main_rec_io *rio);
533
534 /** Stop reading. **/
535 void rec_io_stop_read(struct main_rec_io *rio);
536
537 /** Analogous to @block_io_set_timeout(). **/
538 void rec_io_set_timeout(struct main_rec_io *bio, timestamp_t expires_delta);
539
540 void rec_io_write(struct main_rec_io *rio, void *data, uns len);
541
542 /**
543  * An auxiliary function used for parsing of lines. When called in the @read_handler,
544  * it searches for the end of line character. When a complete line is found, the length
545  * of the line (including the end of line character) is returned. Otherwise, it returns zero.
546  **/
547 uns rec_io_parse_line(struct main_rec_io *rio);
548
549 /**
550  * Specifies what kind of error or other event happened, when the @notify_handler
551  * is called. In case of I/O errors, `errno` is still set.
552  *
553  * Upon @RIO_ERR_READ, @RIO_ERR_RECORD_TOO_LARGE and @RIO_EVENT_EOF, reading is stopped
554  * automatically. Upon @RIO_ERR_WRITE, writing is stopped. Upon @RIO_ERR_TIMEOUT, only the
555  * timer is deactivated.
556  *
557  * In all cases, the notification handler is allowed to call @rec_io_del(), but it
558  * must return @HOOK_IDLE in such cases.
559  **/
560 enum rec_io_notify_status {
561   RIO_ERR_READ = -1,                    /* read() returned an error, errno set */
562   RIO_ERR_WRITE = -2,                   /* write() returned an error, errno set */
563   RIO_ERR_TIMEOUT = -3,                 /* A timeout has occurred */
564   RIO_ERR_RECORD_TOO_LARGE = -4,        /* Read: read_rec_max has been exceeded */
565   RIO_EVENT_ALL_WRITTEN = 1,            /* All buffered data has been written */
566   RIO_EVENT_PART_WRITTEN = 2,           /* Some buffered data has been written, but more remains */
567   RIO_EVENT_EOF = 3,                    /* Read: EOF seen */
568 };
569
570 /** Tells if a @rio is active (i.e., added). **/
571 static inline int rec_io_is_active(struct main_rec_io *rio)
572 {
573   return file_is_active(&rio->file);
574 }
575
576 /***
577  * [[process]]
578  * Child processes
579  * ---------------
580  *
581  * The main loop can watch child processes and notify you,
582  * when some of them terminates.
583  ***/
584
585 /**
586  * Description of a watched process.
587  * You fill in the handler() and `data`.
588  * The rest is set with @process_fork().
589  **/
590 struct main_process {
591   cnode n;
592   int pid;                                      /* Process id (0=not running) */
593   int status;                                   /* Exit status (-1=fork failed) */
594   char status_msg[EXIT_STATUS_MSG_SIZE];
595   void (*handler)(struct main_process *mp);     /* [*] Called when the process exits; process_del done automatically */
596   void *data;                                   /* [*] For use by the handler */
597 };
598
599 /**
600  * Asks the main loop to watch this process.
601  * As it is done automatically in @process_fork(), you need this only
602  * if you removed the process previously by @process_del().
603  **/
604 void process_add(struct main_process *mp);
605
606 /**
607  * Removes the process from the watched set. This is done
608  * automatically, when the process terminates, so you need it only
609  * when you do not want to watch a running process any more.
610  */
611 void process_del(struct main_process *mp);
612
613 /**
614  * Forks and fills the @mp with information about the new process.
615  *
616  * If the fork() succeeds, it:
617  *
618  * - Returns 0 in the child.
619  * - Returns 1 in the parent and calls @process_add() on it.
620  *
621  * In the case of unsuccessful fork(), it:
622  *
623  * - Fills in the `status_msg` and sets `status` to -1.
624  * - Calls the handler() as if the process terminated.
625  * - Returns 1.
626  **/
627 int process_fork(struct main_process *mp);
628
629 /** Tells if a process is active (i.e., added). **/
630 static inline int process_is_active(struct main_process *mp)
631 {
632   return clist_is_linked(&mp->n);
633 }
634
635 /** Show current state of a process. Available only if LibUCW has been compiled with `CONFIG_DEBUG`. **/
636 void process_debug(struct main_process *pr);
637
638 /***
639  * [[signal]]
640  * Synchronous delivery of signals
641  * -------------------------------
642  *
643  * UNIX signals are delivered to processes in an asynchronous way: when a signal
644  * arrives (and it is not blocked), the process is interrupted and the corresponding
645  * signal handler function is called. However, most data structures and even most
646  * system library calls are not safe with respect to interrupts, so most program
647  * using signals contain subtle race conditions and may fail once in a long while.
648  *
649  * To avoid this problem, the event loop can be asked for synchronous delivery
650  * of signals. When a signal registered with @signal_add() arrives, it wakes up
651  * the loop (if it is not already awake) and it is processed in the same way
652  * as all other events.
653  *
654  * When used in a multi-threaded program, the signals are delivered to the thread
655  * which is currently using the particular main loop context. If the context is not
656  * current in any thread, the signals are blocked.
657  *
658  * As usually with UNIX signals, multiple instances of a single signal can be
659  * merged and delivered only once. (Some implementations of the main loop can even
660  * drop a signal completely during very intensive signal traffic, when an internal
661  * signal queue overflows.)
662  ***/
663
664 /** Description of a signal to catch. **/
665 struct main_signal {
666   cnode n;
667   int signum;                                   /* [*] Signal to catch */
668   void (*handler)(struct main_signal *ms);      /* [*] Called when the signal arrives */
669   void *data;                                   /* [*] For use by the handler */
670 };
671
672 /** Request a signal to be caught and delivered synchronously. **/
673 void signal_add(struct main_signal *ms);
674
675 /** Cancel a request for signal catching. **/
676 void signal_del(struct main_signal *ms);
677
678 /** Tells if a signal catcher is active (i.e., added). **/
679 static inline int signal_is_active(struct main_signal *ms)
680 {
681   return clist_is_linked(&ms->n);
682 }
683
684 /** Show current state of a signal catcher. Available only if LibUCW has been compiled with `CONFIG_DEBUG`. **/
685 void signal_debug(struct main_signal *sg);
686
687 #endif