]> git.llucax.com Git - software/libev.git/blob - ev.pod
c162b216f66b3d563389785ddc096ccc41c17139
[software/libev.git] / ev.pod
1 =head1 NAME
2
3 libev - a high performance full-featured event loop written in C
4
5 =head1 SYNOPSIS
6
7   #include <ev.h>
8
9 =head1 DESCRIPTION
10
11 Libev is an event loop: you register interest in certain events (such as a
12 file descriptor being readable or a timeout occuring), and it will manage
13 these event sources and provide your program with events.
14
15 To do this, it must take more or less complete control over your process
16 (or thread) by executing the I<event loop> handler, and will then
17 communicate events via a callback mechanism.
18
19 You register interest in certain events by registering so-called I<event
20 watchers>, which are relatively small C structures you initialise with the
21 details of the event, and then hand it over to libev by I<starting> the
22 watcher.
23
24 =head1 FEATURES
25
26 Libev supports select, poll, the linux-specific epoll and the bsd-specific
27 kqueue mechanisms for file descriptor events, relative timers, absolute
28 timers with customised rescheduling, signal events, process status change
29 events (related to SIGCHLD), and event watchers dealing with the event
30 loop mechanism itself (idle, prepare and check watchers). It also is quite
31 fast (see this L<benchmark|http://libev.schmorp.de/bench.html> comparing
32 it to libevent for example).
33
34 =head1 CONVENTIONS
35
36 Libev is very configurable. In this manual the default configuration
37 will be described, which supports multiple event loops. For more info
38 about various configuration options please have a look at the file
39 F<README.embed> in the libev distribution. If libev was configured without
40 support for multiple event loops, then all functions taking an initial
41 argument of name C<loop> (which is always of type C<struct ev_loop *>)
42 will not have this argument.
43
44 =head1 TIME REPRESENTATION
45
46 Libev represents time as a single floating point number, representing the
47 (fractional) number of seconds since the (POSIX) epoch (somewhere near
48 the beginning of 1970, details are complicated, don't ask). This type is
49 called C<ev_tstamp>, which is what you should use too. It usually aliases
50 to the double type in C.
51
52 =head1 GLOBAL FUNCTIONS
53
54 These functions can be called anytime, even before initialising the
55 library in any way.
56
57 =over 4
58
59 =item ev_tstamp ev_time ()
60
61 Returns the current time as libev would use it.
62
63 =item int ev_version_major ()
64
65 =item int ev_version_minor ()
66
67 You can find out the major and minor version numbers of the library
68 you linked against by calling the functions C<ev_version_major> and
69 C<ev_version_minor>. If you want, you can compare against the global
70 symbols C<EV_VERSION_MAJOR> and C<EV_VERSION_MINOR>, which specify the
71 version of the library your program was compiled against.
72
73 Usually, it's a good idea to terminate if the major versions mismatch,
74 as this indicates an incompatible change.  Minor versions are usually
75 compatible to older versions, so a larger minor version alone is usually
76 not a problem.
77
78 =item ev_set_allocator (void *(*cb)(void *ptr, long size))
79
80 Sets the allocation function to use (the prototype is similar to the
81 realloc C function, the semantics are identical). It is used to allocate
82 and free memory (no surprises here). If it returns zero when memory
83 needs to be allocated, the library might abort or take some potentially
84 destructive action. The default is your system realloc function.
85
86 You could override this function in high-availability programs to, say,
87 free some memory if it cannot allocate memory, to use a special allocator,
88 or even to sleep a while and retry until some memory is available.
89
90 =item ev_set_syserr_cb (void (*cb)(const char *msg));
91
92 Set the callback function to call on a retryable syscall error (such
93 as failed select, poll, epoll_wait). The message is a printable string
94 indicating the system call or subsystem causing the problem. If this
95 callback is set, then libev will expect it to remedy the sitution, no
96 matter what, when it returns. That is, libev will generally retry the
97 requested operation, or, if the condition doesn't go away, do bad stuff
98 (such as abort).
99
100 =back
101
102 =head1 FUNCTIONS CONTROLLING THE EVENT LOOP
103
104 An event loop is described by a C<struct ev_loop *>. The library knows two
105 types of such loops, the I<default> loop, which supports signals and child
106 events, and dynamically created loops which do not.
107
108 If you use threads, a common model is to run the default event loop
109 in your main thread (or in a separate thread) and for each thread you
110 create, you also create another event loop. Libev itself does no locking
111 whatsoever, so if you mix calls to the same event loop in different
112 threads, make sure you lock (this is usually a bad idea, though, even if
113 done correctly, because it's hideous and inefficient).
114
115 =over 4
116
117 =item struct ev_loop *ev_default_loop (unsigned int flags)
118
119 This will initialise the default event loop if it hasn't been initialised
120 yet and return it. If the default loop could not be initialised, returns
121 false. If it already was initialised it simply returns it (and ignores the
122 flags).
123
124 If you don't know what event loop to use, use the one returned from this
125 function.
126
127 The flags argument can be used to specify special behaviour or specific
128 backends to use, and is usually specified as 0 (or EVFLAG_AUTO).
129
130 It supports the following flags:
131
132 =over 4
133
134 =item C<EVFLAG_AUTO>
135
136 The default flags value. Use this if you have no clue (it's the right
137 thing, believe me).
138
139 =item C<EVFLAG_NOENV>
140
141 If this flag bit is ored into the flag value (or the program runs setuid
142 or setgid) then libev will I<not> look at the environment variable
143 C<LIBEV_FLAGS>. Otherwise (the default), this environment variable will
144 override the flags completely if it is found in the environment. This is
145 useful to try out specific backends to test their performance, or to work
146 around bugs.
147
148 =item C<EVMETHOD_SELECT>  (portable select backend)
149
150 =item C<EVMETHOD_POLL>    (poll backend, available everywhere except on windows)
151
152 =item C<EVMETHOD_EPOLL>   (linux only)
153
154 =item C<EVMETHOD_KQUEUE>  (some bsds only)
155
156 =item C<EVMETHOD_DEVPOLL> (solaris 8 only)
157
158 =item C<EVMETHOD_PORT>    (solaris 10 only)
159
160 If one or more of these are ored into the flags value, then only these
161 backends will be tried (in the reverse order as given here). If one are
162 specified, any backend will do.
163
164 =back
165
166 =item struct ev_loop *ev_loop_new (unsigned int flags)
167
168 Similar to C<ev_default_loop>, but always creates a new event loop that is
169 always distinct from the default loop. Unlike the default loop, it cannot
170 handle signal and child watchers, and attempts to do so will be greeted by
171 undefined behaviour (or a failed assertion if assertions are enabled).
172
173 =item ev_default_destroy ()
174
175 Destroys the default loop again (frees all memory and kernel state
176 etc.). This stops all registered event watchers (by not touching them in
177 any way whatsoever, although you cannot rely on this :).
178
179 =item ev_loop_destroy (loop)
180
181 Like C<ev_default_destroy>, but destroys an event loop created by an
182 earlier call to C<ev_loop_new>.
183
184 =item ev_default_fork ()
185
186 This function reinitialises the kernel state for backends that have
187 one. Despite the name, you can call it anytime, but it makes most sense
188 after forking, in either the parent or child process (or both, but that
189 again makes little sense).
190
191 You I<must> call this function after forking if and only if you want to
192 use the event library in both processes. If you just fork+exec, you don't
193 have to call it.
194
195 The function itself is quite fast and it's usually not a problem to call
196 it just in case after a fork. To make this easy, the function will fit in
197 quite nicely into a call to C<pthread_atfork>:
198
199     pthread_atfork (0, 0, ev_default_fork);
200
201 =item ev_loop_fork (loop)
202
203 Like C<ev_default_fork>, but acts on an event loop created by
204 C<ev_loop_new>. Yes, you have to call this on every allocated event loop
205 after fork, and how you do this is entirely your own problem.
206
207 =item unsigned int ev_method (loop)
208
209 Returns one of the C<EVMETHOD_*> flags indicating the event backend in
210 use.
211
212 =item ev_tstamp ev_now (loop)
213
214 Returns the current "event loop time", which is the time the event loop
215 got events and started processing them. This timestamp does not change
216 as long as callbacks are being processed, and this is also the base time
217 used for relative timers. You can treat it as the timestamp of the event
218 occuring (or more correctly, the mainloop finding out about it).
219
220 =item ev_loop (loop, int flags)
221
222 Finally, this is it, the event handler. This function usually is called
223 after you initialised all your watchers and you want to start handling
224 events.
225
226 If the flags argument is specified as 0, it will not return until either
227 no event watchers are active anymore or C<ev_unloop> was called.
228
229 A flags value of C<EVLOOP_NONBLOCK> will look for new events, will handle
230 those events and any outstanding ones, but will not block your process in
231 case there are no events and will return after one iteration of the loop.
232
233 A flags value of C<EVLOOP_ONESHOT> will look for new events (waiting if
234 neccessary) and will handle those and any outstanding ones. It will block
235 your process until at least one new event arrives, and will return after
236 one iteration of the loop.
237
238 This flags value could be used to implement alternative looping
239 constructs, but the C<prepare> and C<check> watchers provide a better and
240 more generic mechanism.
241
242 =item ev_unloop (loop, how)
243
244 Can be used to make a call to C<ev_loop> return early (but only after it
245 has processed all outstanding events). The C<how> argument must be either
246 C<EVUNLOOP_ONCE>, which will make the innermost C<ev_loop> call return, or
247 C<EVUNLOOP_ALL>, which will make all nested C<ev_loop> calls return.
248
249 =item ev_ref (loop)
250
251 =item ev_unref (loop)
252
253 Ref/unref can be used to add or remove a reference count on the event
254 loop: Every watcher keeps one reference, and as long as the reference
255 count is nonzero, C<ev_loop> will not return on its own. If you have
256 a watcher you never unregister that should not keep C<ev_loop> from
257 returning, ev_unref() after starting, and ev_ref() before stopping it. For
258 example, libev itself uses this for its internal signal pipe: It is not
259 visible to the libev user and should not keep C<ev_loop> from exiting if
260 no event watchers registered by it are active. It is also an excellent
261 way to do this for generic recurring timers or from within third-party
262 libraries. Just remember to I<unref after start> and I<ref before stop>.
263
264 =back
265
266 =head1 ANATOMY OF A WATCHER
267
268 A watcher is a structure that you create and register to record your
269 interest in some event. For instance, if you want to wait for STDIN to
270 become readable, you would create an C<ev_io> watcher for that:
271
272   static void my_cb (struct ev_loop *loop, struct ev_io *w, int revents)
273   {
274     ev_io_stop (w);
275     ev_unloop (loop, EVUNLOOP_ALL);
276   }
277
278   struct ev_loop *loop = ev_default_loop (0);
279   struct ev_io stdin_watcher;
280   ev_init (&stdin_watcher, my_cb);
281   ev_io_set (&stdin_watcher, STDIN_FILENO, EV_READ);
282   ev_io_start (loop, &stdin_watcher);
283   ev_loop (loop, 0);
284
285 As you can see, you are responsible for allocating the memory for your
286 watcher structures (and it is usually a bad idea to do this on the stack,
287 although this can sometimes be quite valid).
288
289 Each watcher structure must be initialised by a call to C<ev_init
290 (watcher *, callback)>, which expects a callback to be provided. This
291 callback gets invoked each time the event occurs (or, in the case of io
292 watchers, each time the event loop detects that the file descriptor given
293 is readable and/or writable).
294
295 Each watcher type has its own C<< ev_<type>_set (watcher *, ...) >> macro
296 with arguments specific to this watcher type. There is also a macro
297 to combine initialisation and setting in one call: C<< ev_<type>_init
298 (watcher *, callback, ...) >>.
299
300 To make the watcher actually watch out for events, you have to start it
301 with a watcher-specific start function (C<< ev_<type>_start (loop, watcher
302 *) >>), and you can stop watching for events at any time by calling the
303 corresponding stop function (C<< ev_<type>_stop (loop, watcher *) >>.
304
305 As long as your watcher is active (has been started but not stopped) you
306 must not touch the values stored in it. Most specifically you must never
307 reinitialise it or call its set method.
308
309 You can check whether an event is active by calling the C<ev_is_active
310 (watcher *)> macro. To see whether an event is outstanding (but the
311 callback for it has not been called yet) you can use the C<ev_is_pending
312 (watcher *)> macro.
313
314 Each and every callback receives the event loop pointer as first, the
315 registered watcher structure as second, and a bitset of received events as
316 third argument.
317
318 The received events usually include a single bit per event type received
319 (you can receive multiple events at the same time). The possible bit masks
320 are:
321
322 =over 4
323
324 =item C<EV_READ>
325
326 =item C<EV_WRITE>
327
328 The file descriptor in the C<ev_io> watcher has become readable and/or
329 writable.
330
331 =item C<EV_TIMEOUT>
332
333 The C<ev_timer> watcher has timed out.
334
335 =item C<EV_PERIODIC>
336
337 The C<ev_periodic> watcher has timed out.
338
339 =item C<EV_SIGNAL>
340
341 The signal specified in the C<ev_signal> watcher has been received by a thread.
342
343 =item C<EV_CHILD>
344
345 The pid specified in the C<ev_child> watcher has received a status change.
346
347 =item C<EV_IDLE>
348
349 The C<ev_idle> watcher has determined that you have nothing better to do.
350
351 =item C<EV_PREPARE>
352
353 =item C<EV_CHECK>
354
355 All C<ev_prepare> watchers are invoked just I<before> C<ev_loop> starts
356 to gather new events, and all C<ev_check> watchers are invoked just after
357 C<ev_loop> has gathered them, but before it invokes any callbacks for any
358 received events. Callbacks of both watcher types can start and stop as
359 many watchers as they want, and all of them will be taken into account
360 (for example, a C<ev_prepare> watcher might start an idle watcher to keep
361 C<ev_loop> from blocking).
362
363 =item C<EV_ERROR>
364
365 An unspecified error has occured, the watcher has been stopped. This might
366 happen because the watcher could not be properly started because libev
367 ran out of memory, a file descriptor was found to be closed or any other
368 problem. You best act on it by reporting the problem and somehow coping
369 with the watcher being stopped.
370
371 Libev will usually signal a few "dummy" events together with an error,
372 for example it might indicate that a fd is readable or writable, and if
373 your callbacks is well-written it can just attempt the operation and cope
374 with the error from read() or write(). This will not work in multithreaded
375 programs, though, so beware.
376
377 =back
378
379 =head2 ASSOCIATING CUSTOM DATA WITH A WATCHER
380
381 Each watcher has, by default, a member C<void *data> that you can change
382 and read at any time, libev will completely ignore it. This can be used
383 to associate arbitrary data with your watcher. If you need more data and
384 don't want to allocate memory and store a pointer to it in that data
385 member, you can also "subclass" the watcher type and provide your own
386 data:
387
388   struct my_io
389   {
390     struct ev_io io;
391     int otherfd;
392     void *somedata;
393     struct whatever *mostinteresting;
394   }
395
396 And since your callback will be called with a pointer to the watcher, you
397 can cast it back to your own type:
398
399   static void my_cb (struct ev_loop *loop, struct ev_io *w_, int revents)
400   {
401     struct my_io *w = (struct my_io *)w_;
402     ...
403   }
404
405 More interesting and less C-conformant ways of catsing your callback type
406 have been omitted....
407
408
409 =head1 WATCHER TYPES
410
411 This section describes each watcher in detail, but will not repeat
412 information given in the last section.
413
414 =head2 C<ev_io> - is this file descriptor readable or writable
415
416 I/O watchers check whether a file descriptor is readable or writable
417 in each iteration of the event loop (This behaviour is called
418 level-triggering because you keep receiving events as long as the
419 condition persists. Remember you can stop the watcher if you don't want to
420 act on the event and neither want to receive future events).
421
422 In general you can register as many read and/or write event watchers oer
423 fd as you want (as long as you don't confuse yourself). Setting all file
424 descriptors to non-blocking mode is also usually a good idea (but not
425 required if you know what you are doing).
426
427 You have to be careful with dup'ed file descriptors, though. Some backends
428 (the linux epoll backend is a notable example) cannot handle dup'ed file
429 descriptors correctly if you register interest in two or more fds pointing
430 to the same file/socket etc. description (that is, they share the same
431 underlying "file open").
432
433 If you must do this, then force the use of a known-to-be-good backend
434 (at the time of this writing, this includes only EVMETHOD_SELECT and
435 EVMETHOD_POLL).
436
437 =over 4
438
439 =item ev_io_init (ev_io *, callback, int fd, int events)
440
441 =item ev_io_set (ev_io *, int fd, int events)
442
443 Configures an C<ev_io> watcher. The fd is the file descriptor to rceeive
444 events for and events is either C<EV_READ>, C<EV_WRITE> or C<EV_READ |
445 EV_WRITE> to receive the given events.
446
447 =back
448
449 =head2 C<ev_timer> - relative and optionally recurring timeouts
450
451 Timer watchers are simple relative timers that generate an event after a
452 given time, and optionally repeating in regular intervals after that.
453
454 The timers are based on real time, that is, if you register an event that
455 times out after an hour and you reset your system clock to last years
456 time, it will still time out after (roughly) and hour. "Roughly" because
457 detecting time jumps is hard, and soem inaccuracies are unavoidable (the
458 monotonic clock option helps a lot here).
459
460 The relative timeouts are calculated relative to the C<ev_now ()>
461 time. This is usually the right thing as this timestamp refers to the time
462 of the event triggering whatever timeout you are modifying/starting.  If
463 you suspect event processing to be delayed and you *need* to base the timeout
464 on the current time, use something like this to adjust for this:
465
466    ev_timer_set (&timer, after + ev_now () - ev_time (), 0.);
467
468 =over 4
469
470 =item ev_timer_init (ev_timer *, callback, ev_tstamp after, ev_tstamp repeat)
471
472 =item ev_timer_set (ev_timer *, ev_tstamp after, ev_tstamp repeat)
473
474 Configure the timer to trigger after C<after> seconds. If C<repeat> is
475 C<0.>, then it will automatically be stopped. If it is positive, then the
476 timer will automatically be configured to trigger again C<repeat> seconds
477 later, again, and again, until stopped manually.
478
479 The timer itself will do a best-effort at avoiding drift, that is, if you
480 configure a timer to trigger every 10 seconds, then it will trigger at
481 exactly 10 second intervals. If, however, your program cannot keep up with
482 the timer (because it takes longer than those 10 seconds to do stuff) the
483 timer will not fire more than once per event loop iteration.
484
485 =item ev_timer_again (loop)
486
487 This will act as if the timer timed out and restart it again if it is
488 repeating. The exact semantics are:
489
490 If the timer is started but nonrepeating, stop it.
491
492 If the timer is repeating, either start it if necessary (with the repeat
493 value), or reset the running timer to the repeat value.
494
495 This sounds a bit complicated, but here is a useful and typical
496 example: Imagine you have a tcp connection and you want a so-called idle
497 timeout, that is, you want to be called when there have been, say, 60
498 seconds of inactivity on the socket. The easiest way to do this is to
499 configure an C<ev_timer> with after=repeat=60 and calling ev_timer_again each
500 time you successfully read or write some data. If you go into an idle
501 state where you do not expect data to travel on the socket, you can stop
502 the timer, and again will automatically restart it if need be.
503
504 =back
505
506 =head2 C<ev_periodic> - to cron or not to cron
507
508 Periodic watchers are also timers of a kind, but they are very versatile
509 (and unfortunately a bit complex).
510
511 Unlike C<ev_timer>'s, they are not based on real time (or relative time)
512 but on wallclock time (absolute time). You can tell a periodic watcher
513 to trigger "at" some specific point in time. For example, if you tell a
514 periodic watcher to trigger in 10 seconds (by specifiying e.g. c<ev_now ()
515 + 10.>) and then reset your system clock to the last year, then it will
516 take a year to trigger the event (unlike an C<ev_timer>, which would trigger
517 roughly 10 seconds later and of course not if you reset your system time
518 again).
519
520 They can also be used to implement vastly more complex timers, such as
521 triggering an event on eahc midnight, local time.
522
523 =over 4
524
525 =item ev_periodic_init (ev_periodic *, callback, ev_tstamp at, ev_tstamp interval, reschedule_cb)
526
527 =item ev_periodic_set (ev_periodic *, ev_tstamp after, ev_tstamp repeat, reschedule_cb)
528
529 Lots of arguments, lets sort it out... There are basically three modes of
530 operation, and we will explain them from simplest to complex:
531
532
533 =over 4
534
535 =item * absolute timer (interval = reschedule_cb = 0)
536
537 In this configuration the watcher triggers an event at the wallclock time
538 C<at> and doesn't repeat. It will not adjust when a time jump occurs,
539 that is, if it is to be run at January 1st 2011 then it will run when the
540 system time reaches or surpasses this time.
541
542 =item * non-repeating interval timer (interval > 0, reschedule_cb = 0)
543
544 In this mode the watcher will always be scheduled to time out at the next
545 C<at + N * interval> time (for some integer N) and then repeat, regardless
546 of any time jumps.
547
548 This can be used to create timers that do not drift with respect to system
549 time:
550
551    ev_periodic_set (&periodic, 0., 3600., 0);
552
553 This doesn't mean there will always be 3600 seconds in between triggers,
554 but only that the the callback will be called when the system time shows a
555 full hour (UTC), or more correctly, when the system time is evenly divisible
556 by 3600.
557
558 Another way to think about it (for the mathematically inclined) is that
559 C<ev_periodic> will try to run the callback in this mode at the next possible
560 time where C<time = at (mod interval)>, regardless of any time jumps.
561
562 =item * manual reschedule mode (reschedule_cb = callback)
563
564 In this mode the values for C<interval> and C<at> are both being
565 ignored. Instead, each time the periodic watcher gets scheduled, the
566 reschedule callback will be called with the watcher as first, and the
567 current time as second argument.
568
569 NOTE: I<This callback MUST NOT stop or destroy any periodic watcher,
570 ever, or make any event loop modifications>. If you need to stop it,
571 return C<now + 1e30> (or so, fudge fudge) and stop it afterwards (e.g. by
572 starting a prepare watcher).
573
574 Its prototype is C<ev_tstamp (*reschedule_cb)(struct ev_periodic *w,
575 ev_tstamp now)>, e.g.:
576
577    static ev_tstamp my_rescheduler (struct ev_periodic *w, ev_tstamp now)
578    {
579      return now + 60.;
580    }
581
582 It must return the next time to trigger, based on the passed time value
583 (that is, the lowest time value larger than to the second argument). It
584 will usually be called just before the callback will be triggered, but
585 might be called at other times, too.
586
587 NOTE: I<< This callback must always return a time that is later than the
588 passed C<now> value >>. Not even C<now> itself will do, it I<must> be larger.
589
590 This can be used to create very complex timers, such as a timer that
591 triggers on each midnight, local time. To do this, you would calculate the
592 next midnight after C<now> and return the timestamp value for this. How
593 you do this is, again, up to you (but it is not trivial, which is the main
594 reason I omitted it as an example).
595
596 =back
597
598 =item ev_periodic_again (loop, ev_periodic *)
599
600 Simply stops and restarts the periodic watcher again. This is only useful
601 when you changed some parameters or the reschedule callback would return
602 a different time than the last time it was called (e.g. in a crond like
603 program when the crontabs have changed).
604
605 =back
606
607 =head2 C<ev_signal> - signal me when a signal gets signalled
608
609 Signal watchers will trigger an event when the process receives a specific
610 signal one or more times. Even though signals are very asynchronous, libev
611 will try it's best to deliver signals synchronously, i.e. as part of the
612 normal event processing, like any other event.
613
614 You can configure as many watchers as you like per signal. Only when the
615 first watcher gets started will libev actually register a signal watcher
616 with the kernel (thus it coexists with your own signal handlers as long
617 as you don't register any with libev). Similarly, when the last signal
618 watcher for a signal is stopped libev will reset the signal handler to
619 SIG_DFL (regardless of what it was set to before).
620
621 =over 4
622
623 =item ev_signal_init (ev_signal *, callback, int signum)
624
625 =item ev_signal_set (ev_signal *, int signum)
626
627 Configures the watcher to trigger on the given signal number (usually one
628 of the C<SIGxxx> constants).
629
630 =back
631
632 =head2 C<ev_child> - wait for pid status changes
633
634 Child watchers trigger when your process receives a SIGCHLD in response to
635 some child status changes (most typically when a child of yours dies).
636
637 =over 4
638
639 =item ev_child_init (ev_child *, callback, int pid)
640
641 =item ev_child_set (ev_child *, int pid)
642
643 Configures the watcher to wait for status changes of process C<pid> (or
644 I<any> process if C<pid> is specified as C<0>). The callback can look
645 at the C<rstatus> member of the C<ev_child> watcher structure to see
646 the status word (use the macros from C<sys/wait.h> and see your systems
647 C<waitpid> documentation). The C<rpid> member contains the pid of the
648 process causing the status change.
649
650 =back
651
652 =head2 C<ev_idle> - when you've got nothing better to do
653
654 Idle watchers trigger events when there are no other events are pending
655 (prepare, check and other idle watchers do not count). That is, as long
656 as your process is busy handling sockets or timeouts (or even signals,
657 imagine) it will not be triggered. But when your process is idle all idle
658 watchers are being called again and again, once per event loop iteration -
659 until stopped, that is, or your process receives more events and becomes
660 busy.
661
662 The most noteworthy effect is that as long as any idle watchers are
663 active, the process will not block when waiting for new events.
664
665 Apart from keeping your process non-blocking (which is a useful
666 effect on its own sometimes), idle watchers are a good place to do
667 "pseudo-background processing", or delay processing stuff to after the
668 event loop has handled all outstanding events.
669
670 =over 4
671
672 =item ev_idle_init (ev_signal *, callback)
673
674 Initialises and configures the idle watcher - it has no parameters of any
675 kind. There is a C<ev_idle_set> macro, but using it is utterly pointless,
676 believe me.
677
678 =back
679
680 =head2 C<ev_prepare> and C<ev_check> - customise your event loop
681
682 Prepare and check watchers are usually (but not always) used in tandem:
683 prepare watchers get invoked before the process blocks and check watchers
684 afterwards.
685
686 Their main purpose is to integrate other event mechanisms into libev. This
687 could be used, for example, to track variable changes, implement your own
688 watchers, integrate net-snmp or a coroutine library and lots more.
689
690 This is done by examining in each prepare call which file descriptors need
691 to be watched by the other library, registering C<ev_io> watchers for
692 them and starting an C<ev_timer> watcher for any timeouts (many libraries
693 provide just this functionality). Then, in the check watcher you check for
694 any events that occured (by checking the pending status of all watchers
695 and stopping them) and call back into the library. The I/O and timer
696 callbacks will never actually be called (but must be valid nevertheless,
697 because you never know, you know?).
698
699 As another example, the Perl Coro module uses these hooks to integrate
700 coroutines into libev programs, by yielding to other active coroutines
701 during each prepare and only letting the process block if no coroutines
702 are ready to run (it's actually more complicated: it only runs coroutines
703 with priority higher than or equal to the event loop and one coroutine
704 of lower priority, but only once, using idle watchers to keep the event
705 loop from blocking if lower-priority coroutines are active, thus mapping
706 low-priority coroutines to idle/background tasks).
707
708 =over 4
709
710 =item ev_prepare_init (ev_prepare *, callback)
711
712 =item ev_check_init (ev_check *, callback)
713
714 Initialises and configures the prepare or check watcher - they have no
715 parameters of any kind. There are C<ev_prepare_set> and C<ev_check_set>
716 macros, but using them is utterly, utterly and completely pointless.
717
718 =back
719
720 =head1 OTHER FUNCTIONS
721
722 There are some other functions of possible interest. Described. Here. Now.
723
724 =over 4
725
726 =item ev_once (loop, int fd, int events, ev_tstamp timeout, callback)
727
728 This function combines a simple timer and an I/O watcher, calls your
729 callback on whichever event happens first and automatically stop both
730 watchers. This is useful if you want to wait for a single event on an fd
731 or timeout without having to allocate/configure/start/stop/free one or
732 more watchers yourself.
733
734 If C<fd> is less than 0, then no I/O watcher will be started and events
735 is being ignored. Otherwise, an C<ev_io> watcher for the given C<fd> and
736 C<events> set will be craeted and started.
737
738 If C<timeout> is less than 0, then no timeout watcher will be
739 started. Otherwise an C<ev_timer> watcher with after = C<timeout> (and
740 repeat = 0) will be started. While C<0> is a valid timeout, it is of
741 dubious value.
742
743 The callback has the type C<void (*cb)(int revents, void *arg)> and gets
744 passed an C<revents> set like normal event callbacks (a combination of
745 C<EV_ERROR>, C<EV_READ>, C<EV_WRITE> or C<EV_TIMEOUT>) and the C<arg>
746 value passed to C<ev_once>:
747
748   static void stdin_ready (int revents, void *arg)
749   {
750     if (revents & EV_TIMEOUT)
751       /* doh, nothing entered */;
752     else if (revents & EV_READ)
753       /* stdin might have data for us, joy! */;
754   }
755
756   ev_once (STDIN_FILENO, EV_READ, 10., stdin_ready, 0);
757
758 =item ev_feed_event (loop, watcher, int events)
759
760 Feeds the given event set into the event loop, as if the specified event
761 had happened for the specified watcher (which must be a pointer to an
762 initialised but not necessarily started event watcher).
763
764 =item ev_feed_fd_event (loop, int fd, int revents)
765
766 Feed an event on the given fd, as if a file descriptor backend detected
767 the given events it.
768
769 =item ev_feed_signal_event (loop, int signum)
770
771 Feed an event as if the given signal occured (loop must be the default loop!).
772
773 =back
774
775 =head1 LIBEVENT EMULATION
776
777 TBD.
778
779 =head1 C++ SUPPORT
780
781 TBD.
782
783 =head1 AUTHOR
784
785 Marc Lehmann <libev@schmorp.de>.
786