]> mj.ucw.cz Git - libucw.git/blob - ucw/mainloop.h
6f67414afa15c0f59193e9257643ea1a6968e9f7
[libucw.git] / ucw / mainloop.h
1 /*
2  *      UCW Library -- Main Loop
3  *
4  *      (c) 2004--2010 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  * [[conventions]]
19  * Conventions
20  * -----------
21  *
22  * The descriptions of structures contain some fields marked with `[*]`.
23  * These are the only ones that are intended to be manipulated by the user.
24  * The remaining fields serve for internal use only and you must initialize them
25  * to zeroes.
26  *
27  * FIXME: The documentation is outdated.
28  ***/
29
30 struct main_context {
31   timestamp_t now;                      /** [*] Current time in milliseconds since the UNIX epoch. See @main_get_time(). **/
32   ucw_time_t now_seconds;               /** [*] Current time in seconds since the epoch. **/
33   timestamp_t idle_time;                /** [*] Total time in milliseconds spent by waiting for events. **/
34   uns shutdown;                         /** [*] Setting this to nonzero forces the @main_loop() function to terminate. **/
35   clist file_list;
36   clist hook_list;
37   clist hook_done_list;
38   clist process_list;
39   clist signal_list;
40   uns file_cnt;
41   uns poll_table_obsolete;
42   uns poll_table_size;
43   struct pollfd *poll_table;
44   struct main_timer **timer_table;      /* Growing array containing the heap of timers */
45   sigset_t want_signals;
46   int sig_pipe_send;
47   int sig_pipe_recv;
48   struct main_file *sig_pipe_file;
49   struct main_signal *sigchld_handler;
50 };
51
52 struct main_context *main_new(void);
53 void main_delete(struct main_context *m);
54 struct main_context *main_switch_context(struct main_context *m);
55 struct main_context *main_current(void);
56
57 void main_init(void);
58 void main_cleanup(void);
59
60 /**
61  * Start the mainloop.
62  * It will watch the provided objects and call callbacks.
63  * Terminates when someone sets <<var_main_shutdown,`main_shutdown`>>
64  * to nonzero, when all <<hook,hooks>> return
65  * <<enum_main_hook_return,`HOOK_DONE`>> or at last one <<hook,hook>>
66  * returns <<enum_main_hook_return,`HOOK_SHUTDOWN`>>.
67  **/
68 void main_loop(void);
69
70 void main_debug_context(struct main_context *m);
71
72 static inline void
73 main_debug(void)
74 {
75   main_debug_context(main_current());
76 }
77
78 /***
79  * [[time]]
80  * Timers
81  * ------
82  *
83  * This part allows you to get the current time and request
84  * to have your function called when the time comes.
85  ***/
86
87 static inline timestamp_t
88 main_get_now(void)
89 {
90   return main_current()->now;
91 }
92
93 static inline ucw_time_t
94 main_get_now_seconds(void)
95 {
96   return main_current()->now_seconds;
97 }
98
99 static inline void
100 main_shut_down(void)
101 {
102   main_current()->shutdown = 1;
103 }
104
105 /**
106  * This is a description of a timer.
107  * You fill in a handler function, any user-defined data you wish to pass
108  * to the handler, and then you invoke @timer_add().
109  *
110  * The handler() function must either call @timer_del() to delete the timer,
111  * or call @timer_add() with a different expiration time.
112  **/
113 struct main_timer {
114   cnode n;
115   timestamp_t expires;
116   uns index;
117   void (*handler)(struct main_timer *tm);       /* [*] Function to be called when the timer expires. */
118   void *data;                                   /* [*] Data for use by the handler */
119 };
120
121 /**
122  * Adds a new timer into the mainloop to be watched and called
123  * when it expires. It can also be used to modify an already running
124  * timer. It is permitted (and usual) to call this function from the
125  * timer's handler itself if you want the timer to trigger again.
126  *
127  * The @expire parameter is absolute, just add <<var_main_now,`main_now`>> if you need a relative timer.
128  **/
129 void timer_add(struct main_timer *tm, timestamp_t expires);
130
131 void timer_add_rel(struct main_timer *tm, timestamp_t expires_delta);
132
133 /**
134  * Removes a timer from the active ones. It is permitted (and usual) to call
135  * this function from the timer's handler itself if you want to deactivate
136  * the timer.
137  **/
138 void timer_del(struct main_timer *tm);
139
140 /**
141  * Forces refresh of <<var_main_now,`main_now`>>. You do not usually
142  * need to call this, since it is called every time the loop polls for
143  * changes. It is here if you need extra precision or some of the
144  * hooks takes a long time.
145  **/
146 void main_get_time(void);
147
148 /***
149  * [[file]]
150  * Activity on file descriptors
151  * ----------------------------
152  *
153  * You can let the mainloop watch over a set of file descriptors
154  * for a changes.
155  *
156  * It supports two ways of use. With the first one, you provide
157  * low-level handlers for reading and writing (`read_handler` and
158  * `write_handler`). They will be called every time the file descriptor
159  * is ready to be read from or written to.
160  *
161  * Return non-zero if you want to get the handler called again right now (you
162  * handled a block of data and expect more). If you return `0`, the hook will
163  * be called again in the next iteration, if it is still ready to be read/written.
164  *
165  * This way is suitable for listening sockets, interactive connections, where
166  * you need to parse everything that comes right away and similar cases.
167  *
168  * The second way is to ask mainloop to read or write a buffer of data. You
169  * provide a `read_done` or `write_done` handler respectively and call @file_read()
170  * or @file_write(). This is handy for data connections where you need to transfer
171  * data between two endpoints or for binary connections where the size of message
172  * is known in advance.
173  *
174  * It is possible to combine both methods, but it may be tricky to do it right.
175  *
176  * Both ways use `error_handler` to notify you about errors.
177  ***/
178
179 /**
180  * If you want mainloop to watch a file descriptor, fill at last `fd` into this
181  * structure. To get any useful information from the mainloop, provide some handlers
182  * too.
183  *
184  * After that, insert it into the mainloop by calling @file_add().
185  **/
186 struct main_file {
187   cnode n;
188   int fd;                                       /* [*] File descriptor */
189   int (*read_handler)(struct main_file *fi);    /* [*] To be called when ready for reading/writing; must call file_chg() afterwards */
190   int (*write_handler)(struct main_file *fi);
191   void (*error_handler)(struct main_file *fi, int cause);       /* [*] Handler to call on errors */
192   void *data;                                   /* [*] Data for use by the handlers */
193   byte *rbuf;                                   /* Read/write pointers for use by file_read/write */
194   uns rpos, rlen;
195   byte *wbuf;
196   uns wpos, wlen;
197   void (*read_done)(struct main_file *fi);      /* [*] Called when file_read is finished; rpos < rlen if EOF */
198   void (*write_done)(struct main_file *fi);     /* [*] Called when file_write is finished */
199   struct main_timer timer;
200   struct pollfd *pollfd;
201 };
202
203 /**
204  * Specifies when or why an error happened. This is passed to the error handler.
205  * `errno` is still set to the original source of error. The only exception
206  * is `MFERR_TIMEOUT`, in which case `errno` is not set and the only possible
207  * cause of it is timeout on the file descriptor (see @file_set_timeout).
208  **/
209 enum main_file_err_cause {
210   MFERR_READ,
211   MFERR_WRITE,
212   MFERR_TIMEOUT
213 };
214
215 /**
216  * Inserts a <<struct_main_file,`main_file`>> structure into the mainloop to be
217  * watched for activity. You can call this at any time, even inside a handler
218  * (of course for a different file descriptor than the one of the handler).
219  **/
220 void file_add(struct main_file *fi);
221 /**
222  * Tells the mainloop the file has changed its state. Call it whenever you
223  * change any of the handlers.
224  *
225  * Can be called only on active files (only the ones added by @file_add()).
226  **/
227 void file_chg(struct main_file *fi);
228 /**
229  * Removes a file from the watched set. You have to call this on closed files
230  * too, since the mainloop does not handle close in any way.
231  *
232  * Can be called from a handler.
233  **/
234 void file_del(struct main_file *fi);
235 /**
236  * Asks the mainloop to read @len bytes of data from @fi into @buf.
237  * It cancels any previous unfinished read requested this way and overwrites
238  * `read_handler`.
239  *
240  * When the read is done, read_done() handler is called. If an EOF occurred,
241  * `rpos < rlen` (eg. not all data were read).
242  *
243  * Can be called from a handler.
244  *
245  * You can use a call with zero @len to cancel current read, but all read data
246  * will be thrown away.
247  **/
248 void file_read(struct main_file *fi, void *buf, uns len);
249 /**
250  * Requests that the mainloop writes @len bytes of data from @buf to @fi.
251  * Cancels any previous unfinished write and overwrites `write_handler`.
252  *
253  * When it is written, write_done() handler is called.
254  *
255  * Can be called from a handler.
256  *
257  * If you call it with zero @len, it will cancel the previous write, but note
258  * some data may already be written.
259  **/
260 void file_write(struct main_file *fi, void *buf, uns len);
261 /**
262  * Sets a timer for a file @fi. If the timer is not overwritten or disabled
263  * until @expires, the file timeouts and error_handler() is called with
264  * <<enum_main_file_err_cause,`MFERR_TIMEOUT`>>.
265  *
266  * The mainloop does not disable or reset it, when something happens, it just
267  * bundles a timer with the file. If you want to watch for inactivity, it is
268  * your task to reset it whenever your handler is called.
269  *
270  * The @expires parameter is absolute (add <<var_main_now,`main_now`>> if you
271  * need relative). The call and overwrites previously set timeout. Value of `0`
272  * disables the timeout (the <<enum_main_file_err_cause,`MFERR_TIMEOUT`>> will
273  * not trigger).
274  *
275  * The use-cases for this are mainly sockets or pipes, when:
276  *
277  * - You want to drop inactive connections (no data come or go for a given time, not
278  *   incomplete messages).
279  * - You want to enforce answer in a given time (for example authentication).
280  * - You give maximum time for a whole connection.
281  **/
282 void file_set_timeout(struct main_file *fi, timestamp_t expires);
283 /**
284  * Closes all file descriptors known to mainloop. Often used between fork()
285  * and exec().
286  **/
287 void file_close_all(void);
288
289 /***
290  * [[hooks]]
291  * Loop hooks
292  * ----------
293  *
294  * The hooks are called whenever the mainloop perform an iteration.
295  * You can shutdown the mainloop from within them or request an iteration
296  * to happen without sleeping (just poll, no waiting for events).
297  ***/
298
299 /**
300  * A hook. It contains the function to call and some user data.
301  *
302  * The handler() must return one value from
303  * <<enum_main_hook_return,`main_hook_return`>>.
304  *
305  * Fill with the hook and data and pass it to @hook_add().
306  **/
307 struct main_hook {
308   cnode n;
309   int (*handler)(struct main_hook *ho);         /* [*] Hook function; returns HOOK_xxx */
310   void *data;                                   /* [*] For use by the handler */
311 };
312
313 /**
314  * Return value of the hook handler().
315  * Specifies what should happen next.
316  *
317  * - `HOOK_IDLE` -- Let the loop sleep until something happens, call after that.
318  * - `HOOK_RETRY` -- Force the loop to perform another iteration without sleeping.
319  *   This will cause calling of all the hooks again soon.
320  * - `HOOK_DONE` -- The loop will terminate if all hooks return this.
321  * - `HOOK_SHUTDOWN` -- Shuts down the loop.
322  **/
323 enum main_hook_return {
324   HOOK_IDLE,
325   HOOK_RETRY,
326   HOOK_DONE = -1,
327   HOOK_SHUTDOWN = -2
328 };
329
330 /**
331  * Inserts a new hook into the loop.
332  * The hook will be scheduled at least once before next sleep.
333  * May be called from inside a hook handler too.
334  **/
335 void hook_add(struct main_hook *ho);
336 /**
337  * Removes an existing hook from the loop.
338  * May be called from inside a hook handler (to delete itself or other hook).
339  **/
340 void hook_del(struct main_hook *ho);
341
342 /***
343  * [[process]]
344  * Child processes
345  * ---------------
346  *
347  * The main loop can watch child processes and notify you,
348  * when some of them terminates.
349  ***/
350
351 /**
352  * Description of a watched process.
353  * You fill in the handler() and `data`.
354  * The rest is set with @process_fork().
355  **/
356 struct main_process {
357   cnode n;
358   int pid;                                      /* Process id (0=not running) */
359   int status;                                   /* Exit status (-1=fork failed) */
360   char status_msg[EXIT_STATUS_MSG_SIZE];
361   void (*handler)(struct main_process *mp);     /* [*] Called when the process exits; process_del done automatically */
362   void *data;                                   /* [*] For use by the handler */
363 };
364
365 /**
366  * Asks the mainloop to watch this process.
367  * As it is done automatically in @process_fork(), you need this only
368  * if you removed the process previously by @process_del().
369  **/
370 void process_add(struct main_process *mp);
371 /**
372  * Removes the process from the watched set. This is done
373  * automatically, when the process terminates, so you need it only
374  * when you do not want to watch a running process any more.
375  */
376 void process_del(struct main_process *mp);
377 /**
378  * Forks and fills the @mp with information about the new process.
379  *
380  * If the fork() succeeds, it:
381  *
382  * - Returns 0 in the child.
383  * - Returns 1 in the parent and calls @process_add() on it.
384  *
385  * In the case of unsuccessful fork(), it:
386  *
387  * - Fills in the `status_msg` and sets `status` to -1.
388  * - Calls the handler() as if the process terminated.
389  * - Returns 1.
390  **/
391 int process_fork(struct main_process *mp);
392
393 /* FIXME: Docs */
394
395 struct main_signal {
396   cnode n;
397   int signum;
398   void (*handler)(struct main_signal *ms);
399   void *data;
400 };
401
402 void signal_add(struct main_signal *ms);
403 void signal_del(struct main_signal *ms);
404
405 #endif