ViewVC Help
View File | Revision Log | Show Annotations | Download File
/cvs/libev/ev.3
(Generate patch)

Comparing libev/ev.3 (file contents):
Revision 1.56 by root, Sat Dec 22 05:47:57 2007 UTC vs.
Revision 1.67 by root, Fri May 23 16:43:45 2008 UTC

1.\" Automatically generated by Pod::Man v1.37, Pod::Parser v1.35 1.\" Automatically generated by Pod::Man 2.16 (Pod::Simple 3.05)
2.\" 2.\"
3.\" Standard preamble: 3.\" Standard preamble:
4.\" ======================================================================== 4.\" ========================================================================
5.de Sh \" Subsection heading 5.de Sh \" Subsection heading
6.br 6.br
23.ft R 23.ft R
24.fi 24.fi
25.. 25..
26.\" Set up some character translations and predefined strings. \*(-- will 26.\" Set up some character translations and predefined strings. \*(-- will
27.\" give an unbreakable dash, \*(PI will give pi, \*(L" will give a left 27.\" give an unbreakable dash, \*(PI will give pi, \*(L" will give a left
28.\" double quote, and \*(R" will give a right double quote. | will give a 28.\" double quote, and \*(R" will give a right double quote. \*(C+ will
29.\" real vertical bar. \*(C+ will give a nicer C++. Capital omega is used to 29.\" give a nicer C++. Capital omega is used to do unbreakable dashes and
30.\" do unbreakable dashes and therefore won't be available. \*(C` and \*(C' 30.\" therefore won't be available. \*(C` and \*(C' expand to `' in nroff,
31.\" expand to `' in nroff, nothing in troff, for use with C<>. 31.\" nothing in troff, for use with C<>.
32.tr \(*W-|\(bv\*(Tr 32.tr \(*W-
33.ds C+ C\v'-.1v'\h'-1p'\s-2+\h'-1p'+\s0\v'.1v'\h'-1p' 33.ds C+ C\v'-.1v'\h'-1p'\s-2+\h'-1p'+\s0\v'.1v'\h'-1p'
34.ie n \{\ 34.ie n \{\
35. ds -- \(*W- 35. ds -- \(*W-
36. ds PI pi 36. ds PI pi
37. if (\n(.H=4u)&(1m=24u) .ds -- \(*W\h'-12u'\(*W\h'-12u'-\" diablo 10 pitch 37. if (\n(.H=4u)&(1m=24u) .ds -- \(*W\h'-12u'\(*W\h'-12u'-\" diablo 10 pitch
46. ds PI \(*p 46. ds PI \(*p
47. ds L" `` 47. ds L" ``
48. ds R" '' 48. ds R" ''
49'br\} 49'br\}
50.\" 50.\"
51.\" Escape single quotes in literal strings from groff's Unicode transform.
52.ie \n(.g .ds Aq \(aq
53.el .ds Aq '
54.\"
51.\" If the F register is turned on, we'll generate index entries on stderr for 55.\" If the F register is turned on, we'll generate index entries on stderr for
52.\" titles (.TH), headers (.SH), subsections (.Sh), items (.Ip), and index 56.\" titles (.TH), headers (.SH), subsections (.Sh), items (.Ip), and index
53.\" entries marked with X<> in POD. Of course, you'll have to process the 57.\" entries marked with X<> in POD. Of course, you'll have to process the
54.\" output yourself in some meaningful fashion. 58.\" output yourself in some meaningful fashion.
55.if \nF \{\ 59.ie \nF \{\
56. de IX 60. de IX
57. tm Index:\\$1\t\\n%\t"\\$2" 61. tm Index:\\$1\t\\n%\t"\\$2"
58.. 62..
59. nr % 0 63. nr % 0
60. rr F 64. rr F
61.\} 65.\}
62.\" 66.el \{\
63.\" For nroff, turn off justification. Always turn off hyphenation; it makes 67. de IX
64.\" way too many mistakes in technical documents. 68..
65.hy 0 69.\}
66.if n .na
67.\" 70.\"
68.\" Accent mark definitions (@(#)ms.acc 1.5 88/02/08 SMI; from UCB 4.2). 71.\" Accent mark definitions (@(#)ms.acc 1.5 88/02/08 SMI; from UCB 4.2).
69.\" Fear. Run. Save yourself. No user-serviceable parts. 72.\" Fear. Run. Save yourself. No user-serviceable parts.
70. \" fudge factors for nroff and troff 73. \" fudge factors for nroff and troff
71.if n \{\ 74.if n \{\
126. ds Ae AE 129. ds Ae AE
127.\} 130.\}
128.rm #[ #] #H #V #F C 131.rm #[ #] #H #V #F C
129.\" ======================================================================== 132.\" ========================================================================
130.\" 133.\"
131.IX Title "EV 1" 134.IX Title "LIBEV 3"
132.TH EV 1 "2007-12-22" "perl v5.8.8" "User Contributed Perl Documentation" 135.TH LIBEV 3 "2008-05-22" "libev-3.41" "libev - high perfromance full featured event loop"
136.\" For nroff, turn off justification. Always turn off hyphenation; it makes
137.\" way too many mistakes in technical documents.
138.if n .ad l
139.nh
133.SH "NAME" 140.SH "NAME"
134libev \- a high performance full\-featured event loop written in C 141libev \- a high performance full\-featured event loop written in C
135.SH "SYNOPSIS" 142.SH "SYNOPSIS"
136.IX Header "SYNOPSIS" 143.IX Header "SYNOPSIS"
137.Vb 1 144.Vb 1
138\& #include <ev.h> 145\& #include <ev.h>
139.Ve 146.Ve
140.SH "EXAMPLE PROGRAM" 147.Sh "\s-1EXAMPLE\s0 \s-1PROGRAM\s0"
141.IX Header "EXAMPLE PROGRAM" 148.IX Subsection "EXAMPLE PROGRAM"
142.Vb 1 149.Vb 2
150\& // a single header file is required
143\& #include <ev.h> 151\& #include <ev.h>
144.Ve 152\&
145.PP 153\& // every watcher type has its own typedef\*(Aqd struct
146.Vb 2 154\& // with the name ev_<type>
147\& ev_io stdin_watcher; 155\& ev_io stdin_watcher;
148\& ev_timer timeout_watcher; 156\& ev_timer timeout_watcher;
149.Ve 157\&
150.PP 158\& // all watcher callbacks have a similar signature
151.Vb 8
152\& /* called when data readable on stdin */ 159\& // this callback is called when data is readable on stdin
153\& static void 160\& static void
154\& stdin_cb (EV_P_ struct ev_io *w, int revents) 161\& stdin_cb (EV_P_ struct ev_io *w, int revents)
155\& { 162\& {
156\& /* puts ("stdin ready"); */ 163\& puts ("stdin ready");
157\& ev_io_stop (EV_A_ w); /* just a syntax example */ 164\& // for one\-shot events, one must manually stop the watcher
158\& ev_unloop (EV_A_ EVUNLOOP_ALL); /* leave all loop calls */ 165\& // with its corresponding stop function.
166\& ev_io_stop (EV_A_ w);
167\&
168\& // this causes all nested ev_loop\*(Aqs to stop iterating
169\& ev_unloop (EV_A_ EVUNLOOP_ALL);
159\& } 170\& }
160.Ve 171\&
161.PP 172\& // another callback, this time for a time\-out
162.Vb 6
163\& static void 173\& static void
164\& timeout_cb (EV_P_ struct ev_timer *w, int revents) 174\& timeout_cb (EV_P_ struct ev_timer *w, int revents)
165\& { 175\& {
166\& /* puts ("timeout"); */ 176\& puts ("timeout");
167\& ev_unloop (EV_A_ EVUNLOOP_ONE); /* leave one loop call */ 177\& // this causes the innermost ev_loop to stop iterating
178\& ev_unloop (EV_A_ EVUNLOOP_ONE);
168\& } 179\& }
169.Ve 180\&
170.PP
171.Vb 4
172\& int 181\& int
173\& main (void) 182\& main (void)
174\& { 183\& {
184\& // use the default event loop unless you have special needs
175\& struct ev_loop *loop = ev_default_loop (0); 185\& struct ev_loop *loop = ev_default_loop (0);
176.Ve 186\&
177.PP
178.Vb 3
179\& /* initialise an io watcher, then start it */ 187\& // initialise an io watcher, then start it
188\& // this one will watch for stdin to become readable
180\& ev_io_init (&stdin_watcher, stdin_cb, /*STDIN_FILENO*/ 0, EV_READ); 189\& ev_io_init (&stdin_watcher, stdin_cb, /*STDIN_FILENO*/ 0, EV_READ);
181\& ev_io_start (loop, &stdin_watcher); 190\& ev_io_start (loop, &stdin_watcher);
182.Ve 191\&
183.PP 192\& // initialise a timer watcher, then start it
184.Vb 3
185\& /* simple non-repeating 5.5 second timeout */ 193\& // simple non\-repeating 5.5 second timeout
186\& ev_timer_init (&timeout_watcher, timeout_cb, 5.5, 0.); 194\& ev_timer_init (&timeout_watcher, timeout_cb, 5.5, 0.);
187\& ev_timer_start (loop, &timeout_watcher); 195\& ev_timer_start (loop, &timeout_watcher);
188.Ve 196\&
189.PP 197\& // now wait for events to arrive
190.Vb 2
191\& /* loop till timeout or data ready */
192\& ev_loop (loop, 0); 198\& ev_loop (loop, 0);
193.Ve 199\&
194.PP 200\& // unloop was called, so exit
195.Vb 2
196\& return 0; 201\& return 0;
197\& } 202\& }
198.Ve 203.Ve
199.SH "DESCRIPTION" 204.SH "DESCRIPTION"
200.IX Header "DESCRIPTION" 205.IX Header "DESCRIPTION"
201The newest version of this document is also available as a html-formatted 206The newest version of this document is also available as an html-formatted
202web page you might find easier to navigate when reading it for the first 207web page you might find easier to navigate when reading it for the first
203time: <http://cvs.schmorp.de/libev/ev.html>. 208time: <http://pod.tst.eu/http://cvs.schmorp.de/libev/ev.pod>.
204.PP 209.PP
205Libev is an event loop: you register interest in certain events (such as a 210Libev is an event loop: you register interest in certain events (such as a
206file descriptor being readable or a timeout occurring), and it will manage 211file descriptor being readable or a timeout occurring), and it will manage
207these event sources and provide your program with events. 212these event sources and provide your program with events.
208.PP 213.PP
212.PP 217.PP
213You register interest in certain events by registering so-called \fIevent 218You register interest in certain events by registering so-called \fIevent
214watchers\fR, which are relatively small C structures you initialise with the 219watchers\fR, which are relatively small C structures you initialise with the
215details of the event, and then hand it over to libev by \fIstarting\fR the 220details of the event, and then hand it over to libev by \fIstarting\fR the
216watcher. 221watcher.
217.SH "FEATURES" 222.Sh "\s-1FEATURES\s0"
218.IX Header "FEATURES" 223.IX Subsection "FEATURES"
219Libev supports \f(CW\*(C`select\*(C'\fR, \f(CW\*(C`poll\*(C'\fR, the Linux-specific \f(CW\*(C`epoll\*(C'\fR, the 224Libev supports \f(CW\*(C`select\*(C'\fR, \f(CW\*(C`poll\*(C'\fR, the Linux-specific \f(CW\*(C`epoll\*(C'\fR, the
220BSD-specific \f(CW\*(C`kqueue\*(C'\fR and the Solaris-specific event port mechanisms 225BSD-specific \f(CW\*(C`kqueue\*(C'\fR and the Solaris-specific event port mechanisms
221for file descriptor events (\f(CW\*(C`ev_io\*(C'\fR), the Linux \f(CW\*(C`inotify\*(C'\fR interface 226for file descriptor events (\f(CW\*(C`ev_io\*(C'\fR), the Linux \f(CW\*(C`inotify\*(C'\fR interface
222(for \f(CW\*(C`ev_stat\*(C'\fR), relative timers (\f(CW\*(C`ev_timer\*(C'\fR), absolute timers 227(for \f(CW\*(C`ev_stat\*(C'\fR), relative timers (\f(CW\*(C`ev_timer\*(C'\fR), absolute timers
223with customised rescheduling (\f(CW\*(C`ev_periodic\*(C'\fR), synchronous signals 228with customised rescheduling (\f(CW\*(C`ev_periodic\*(C'\fR), synchronous signals
228(\f(CW\*(C`ev_fork\*(C'\fR). 233(\f(CW\*(C`ev_fork\*(C'\fR).
229.PP 234.PP
230It also is quite fast (see this 235It also is quite fast (see this
231benchmark comparing it to libevent 236benchmark comparing it to libevent
232for example). 237for example).
233.SH "CONVENTIONS" 238.Sh "\s-1CONVENTIONS\s0"
234.IX Header "CONVENTIONS" 239.IX Subsection "CONVENTIONS"
235Libev is very configurable. In this manual the default configuration will 240Libev is very configurable. In this manual the default (and most common)
236be described, which supports multiple event loops. For more info about 241configuration will be described, which supports multiple event loops. For
237various configuration options please have a look at \fB\s-1EMBED\s0\fR section in 242more info about various configuration options please have a look at
238this manual. If libev was configured without support for multiple event 243\&\fB\s-1EMBED\s0\fR section in this manual. If libev was configured without support
239loops, then all functions taking an initial argument of name \f(CW\*(C`loop\*(C'\fR 244for multiple event loops, then all functions taking an initial argument of
240(which is always of type \f(CW\*(C`struct ev_loop *\*(C'\fR) will not have this argument. 245name \f(CW\*(C`loop\*(C'\fR (which is always of type \f(CW\*(C`struct ev_loop *\*(C'\fR) will not have
241.SH "TIME REPRESENTATION" 246this argument.
247.Sh "\s-1TIME\s0 \s-1REPRESENTATION\s0"
242.IX Header "TIME REPRESENTATION" 248.IX Subsection "TIME REPRESENTATION"
243Libev represents time as a single floating point number, representing the 249Libev represents time as a single floating point number, representing the
244(fractional) number of seconds since the (\s-1POSIX\s0) epoch (somewhere near 250(fractional) number of seconds since the (\s-1POSIX\s0) epoch (somewhere near
245the beginning of 1970, details are complicated, don't ask). This type is 251the beginning of 1970, details are complicated, don't ask). This type is
246called \f(CW\*(C`ev_tstamp\*(C'\fR, which is what you should use too. It usually aliases 252called \f(CW\*(C`ev_tstamp\*(C'\fR, which is what you should use too. It usually aliases
247to the \f(CW\*(C`double\*(C'\fR type in C, and when you need to do any calculations on 253to the \f(CW\*(C`double\*(C'\fR type in C, and when you need to do any calculations on
248it, you should treat it as some floatingpoint value. Unlike the name 254it, you should treat it as some floatingpoint value. Unlike the name
249component \f(CW\*(C`stamp\*(C'\fR might indicate, it is also used for time differences 255component \f(CW\*(C`stamp\*(C'\fR might indicate, it is also used for time differences
250throughout libev. 256throughout libev.
257.SH "ERROR HANDLING"
258.IX Header "ERROR HANDLING"
259Libev knows three classes of errors: operating system errors, usage errors
260and internal errors (bugs).
261.PP
262When libev catches an operating system error it cannot handle (for example
263a syscall indicating a condition libev cannot fix), it calls the callback
264set via \f(CW\*(C`ev_set_syserr_cb\*(C'\fR, which is supposed to fix the problem or
265abort. The default is to print a diagnostic message and to call \f(CW\*(C`abort
266()\*(C'\fR.
267.PP
268When libev detects a usage error such as a negative timer interval, then
269it will print a diagnostic message and abort (via the \f(CW\*(C`assert\*(C'\fR mechanism,
270so \f(CW\*(C`NDEBUG\*(C'\fR will disable this checking): these are programming errors in
271the libev caller and need to be fixed there.
272.PP
273Libev also has a few internal error-checking \f(CW\*(C`assert\*(C'\fRions, and also has
274extensive consistency checking code. These do not trigger under normal
275circumstances, as they indicate either a bug in libev or worse.
251.SH "GLOBAL FUNCTIONS" 276.SH "GLOBAL FUNCTIONS"
252.IX Header "GLOBAL FUNCTIONS" 277.IX Header "GLOBAL FUNCTIONS"
253These functions can be called anytime, even before initialising the 278These functions can be called anytime, even before initialising the
254library in any way. 279library in any way.
255.IP "ev_tstamp ev_time ()" 4 280.IP "ev_tstamp ev_time ()" 4
256.IX Item "ev_tstamp ev_time ()" 281.IX Item "ev_tstamp ev_time ()"
257Returns the current time as libev would use it. Please note that the 282Returns the current time as libev would use it. Please note that the
258\&\f(CW\*(C`ev_now\*(C'\fR function is usually faster and also often returns the timestamp 283\&\f(CW\*(C`ev_now\*(C'\fR function is usually faster and also often returns the timestamp
259you actually want to know. 284you actually want to know.
260.IP "void ev_sleep (ev_tstamp interval)" 4 285.IP "ev_sleep (ev_tstamp interval)" 4
261.IX Item "void ev_sleep (ev_tstamp interval)" 286.IX Item "ev_sleep (ev_tstamp interval)"
262Sleep for the given interval: The current thread will be blocked until 287Sleep for the given interval: The current thread will be blocked until
263either it is interrupted or the given time interval has passed. Basically 288either it is interrupted or the given time interval has passed. Basically
264this is a subsecond-resolution \f(CW\*(C`sleep ()\*(C'\fR. 289this is a subsecond-resolution \f(CW\*(C`sleep ()\*(C'\fR.
265.IP "int ev_version_major ()" 4 290.IP "int ev_version_major ()" 4
266.IX Item "int ev_version_major ()" 291.IX Item "int ev_version_major ()"
313(assuming you know what you are doing). This is the set of backends that 338(assuming you know what you are doing). This is the set of backends that
314libev will probe for if you specify no backends explicitly. 339libev will probe for if you specify no backends explicitly.
315.IP "unsigned int ev_embeddable_backends ()" 4 340.IP "unsigned int ev_embeddable_backends ()" 4
316.IX Item "unsigned int ev_embeddable_backends ()" 341.IX Item "unsigned int ev_embeddable_backends ()"
317Returns the set of backends that are embeddable in other event loops. This 342Returns the set of backends that are embeddable in other event loops. This
318is the theoretical, all\-platform, value. To find which backends 343is the theoretical, all-platform, value. To find which backends
319might be supported on the current system, you would need to look at 344might be supported on the current system, you would need to look at
320\&\f(CW\*(C`ev_embeddable_backends () & ev_supported_backends ()\*(C'\fR, likewise for 345\&\f(CW\*(C`ev_embeddable_backends () & ev_supported_backends ()\*(C'\fR, likewise for
321recommended ones. 346recommended ones.
322.Sp 347.Sp
323See the description of \f(CW\*(C`ev_embed\*(C'\fR watchers for more info. 348See the description of \f(CW\*(C`ev_embed\*(C'\fR watchers for more info.
324.IP "ev_set_allocator (void *(*cb)(void *ptr, long size))" 4 349.IP "ev_set_allocator (void *(*cb)(void *ptr, long size))" 4
325.IX Item "ev_set_allocator (void *(*cb)(void *ptr, long size))" 350.IX Item "ev_set_allocator (void *(*cb)(void *ptr, long size))"
326Sets the allocation function to use (the prototype is similar \- the 351Sets the allocation function to use (the prototype is similar \- the
327semantics is identical \- to the realloc C function). It is used to 352semantics are identical to the \f(CW\*(C`realloc\*(C'\fR C89/SuS/POSIX function). It is
328allocate and free memory (no surprises here). If it returns zero when 353used to allocate and free memory (no surprises here). If it returns zero
329memory needs to be allocated, the library might abort or take some 354when memory needs to be allocated (\f(CW\*(C`size != 0\*(C'\fR), the library might abort
330potentially destructive action. The default is your system realloc 355or take some potentially destructive action.
331function. 356.Sp
357Since some systems (at least OpenBSD and Darwin) fail to implement
358correct \f(CW\*(C`realloc\*(C'\fR semantics, libev will use a wrapper around the system
359\&\f(CW\*(C`realloc\*(C'\fR and \f(CW\*(C`free\*(C'\fR functions by default.
332.Sp 360.Sp
333You could override this function in high-availability programs to, say, 361You could override this function in high-availability programs to, say,
334free some memory if it cannot allocate memory, to use a special allocator, 362free some memory if it cannot allocate memory, to use a special allocator,
335or even to sleep a while and retry until some memory is available. 363or even to sleep a while and retry until some memory is available.
336.Sp 364.Sp
337Example: Replace the libev allocator with one that waits a bit and then 365Example: Replace the libev allocator with one that waits a bit and then
338retries). 366retries (example requires a standards-compliant \f(CW\*(C`realloc\*(C'\fR).
339.Sp 367.Sp
340.Vb 6 368.Vb 6
341\& static void * 369\& static void *
342\& persistent_realloc (void *ptr, size_t size) 370\& persistent_realloc (void *ptr, size_t size)
343\& { 371\& {
344\& for (;;) 372\& for (;;)
345\& { 373\& {
346\& void *newptr = realloc (ptr, size); 374\& void *newptr = realloc (ptr, size);
347.Ve 375\&
348.Sp
349.Vb 2
350\& if (newptr) 376\& if (newptr)
351\& return newptr; 377\& return newptr;
352.Ve 378\&
353.Sp
354.Vb 3
355\& sleep (60); 379\& sleep (60);
356\& } 380\& }
357\& } 381\& }
358.Ve 382\&
359.Sp
360.Vb 2
361\& ... 383\& ...
362\& ev_set_allocator (persistent_realloc); 384\& ev_set_allocator (persistent_realloc);
363.Ve 385.Ve
364.IP "ev_set_syserr_cb (void (*cb)(const char *msg));" 4 386.IP "ev_set_syserr_cb (void (*cb)(const char *msg));" 4
365.IX Item "ev_set_syserr_cb (void (*cb)(const char *msg));" 387.IX Item "ev_set_syserr_cb (void (*cb)(const char *msg));"
378\& fatal_error (const char *msg) 400\& fatal_error (const char *msg)
379\& { 401\& {
380\& perror (msg); 402\& perror (msg);
381\& abort (); 403\& abort ();
382\& } 404\& }
383.Ve 405\&
384.Sp
385.Vb 2
386\& ... 406\& ...
387\& ev_set_syserr_cb (fatal_error); 407\& ev_set_syserr_cb (fatal_error);
388.Ve 408.Ve
389.SH "FUNCTIONS CONTROLLING THE EVENT LOOP" 409.SH "FUNCTIONS CONTROLLING THE EVENT LOOP"
390.IX Header "FUNCTIONS CONTROLLING THE EVENT LOOP" 410.IX Header "FUNCTIONS CONTROLLING THE EVENT LOOP"
391An event loop is described by a \f(CW\*(C`struct ev_loop *\*(C'\fR. The library knows two 411An event loop is described by a \f(CW\*(C`struct ev_loop *\*(C'\fR. The library knows two
392types of such loops, the \fIdefault\fR loop, which supports signals and child 412types of such loops, the \fIdefault\fR loop, which supports signals and child
393events, and dynamically created loops which do not. 413events, and dynamically created loops which do not.
394.PP
395If you use threads, a common model is to run the default event loop
396in your main thread (or in a separate thread) and for each thread you
397create, you also create another event loop. Libev itself does no locking
398whatsoever, so if you mix calls to the same event loop in different
399threads, make sure you lock (this is usually a bad idea, though, even if
400done correctly, because it's hideous and inefficient).
401.IP "struct ev_loop *ev_default_loop (unsigned int flags)" 4 414.IP "struct ev_loop *ev_default_loop (unsigned int flags)" 4
402.IX Item "struct ev_loop *ev_default_loop (unsigned int flags)" 415.IX Item "struct ev_loop *ev_default_loop (unsigned int flags)"
403This will initialise the default event loop if it hasn't been initialised 416This will initialise the default event loop if it hasn't been initialised
404yet and return it. If the default loop could not be initialised, returns 417yet and return it. If the default loop could not be initialised, returns
405false. If it already was initialised it simply returns it (and ignores the 418false. If it already was initialised it simply returns it (and ignores the
406flags. If that is troubling you, check \f(CW\*(C`ev_backend ()\*(C'\fR afterwards). 419flags. If that is troubling you, check \f(CW\*(C`ev_backend ()\*(C'\fR afterwards).
407.Sp 420.Sp
408If you don't know what event loop to use, use the one returned from this 421If you don't know what event loop to use, use the one returned from this
409function. 422function.
423.Sp
424Note that this function is \fInot\fR thread-safe, so if you want to use it
425from multiple threads, you have to lock (note also that this is unlikely,
426as loops cannot bes hared easily between threads anyway).
427.Sp
428The default loop is the only loop that can handle \f(CW\*(C`ev_signal\*(C'\fR and
429\&\f(CW\*(C`ev_child\*(C'\fR watchers, and to do this, it always registers a handler
430for \f(CW\*(C`SIGCHLD\*(C'\fR. If this is a problem for your app you can either
431create a dynamic loop with \f(CW\*(C`ev_loop_new\*(C'\fR that doesn't do that, or you
432can simply overwrite the \f(CW\*(C`SIGCHLD\*(C'\fR signal handler \fIafter\fR calling
433\&\f(CW\*(C`ev_default_init\*(C'\fR.
410.Sp 434.Sp
411The flags argument can be used to specify special behaviour or specific 435The flags argument can be used to specify special behaviour or specific
412backends to use, and is usually specified as \f(CW0\fR (or \f(CW\*(C`EVFLAG_AUTO\*(C'\fR). 436backends to use, and is usually specified as \f(CW0\fR (or \f(CW\*(C`EVFLAG_AUTO\*(C'\fR).
413.Sp 437.Sp
414The following flags are supported: 438The following flags are supported:
435enabling this flag. 459enabling this flag.
436.Sp 460.Sp
437This works by calling \f(CW\*(C`getpid ()\*(C'\fR on every iteration of the loop, 461This works by calling \f(CW\*(C`getpid ()\*(C'\fR on every iteration of the loop,
438and thus this might slow down your event loop if you do a lot of loop 462and thus this might slow down your event loop if you do a lot of loop
439iterations and little real work, but is usually not noticeable (on my 463iterations and little real work, but is usually not noticeable (on my
440Linux system for example, \f(CW\*(C`getpid\*(C'\fR is actually a simple 5\-insn sequence 464GNU/Linux system for example, \f(CW\*(C`getpid\*(C'\fR is actually a simple 5\-insn sequence
441without a syscall and thus \fIvery\fR fast, but my Linux system also has 465without a syscall and thus \fIvery\fR fast, but my GNU/Linux system also has
442\&\f(CW\*(C`pthread_atfork\*(C'\fR which is even faster). 466\&\f(CW\*(C`pthread_atfork\*(C'\fR which is even faster).
443.Sp 467.Sp
444The big advantage of this flag is that you can forget about fork (and 468The big advantage of this flag is that you can forget about fork (and
445forget about forgetting to tell libev about forking) when you use this 469forget about forgetting to tell libev about forking) when you use this
446flag. 470flag.
451.el .IP "\f(CWEVBACKEND_SELECT\fR (value 1, portable select backend)" 4 475.el .IP "\f(CWEVBACKEND_SELECT\fR (value 1, portable select backend)" 4
452.IX Item "EVBACKEND_SELECT (value 1, portable select backend)" 476.IX Item "EVBACKEND_SELECT (value 1, portable select backend)"
453This is your standard \fIselect\fR\|(2) backend. Not \fIcompletely\fR standard, as 477This is your standard \fIselect\fR\|(2) backend. Not \fIcompletely\fR standard, as
454libev tries to roll its own fd_set with no limits on the number of fds, 478libev tries to roll its own fd_set with no limits on the number of fds,
455but if that fails, expect a fairly low limit on the number of fds when 479but if that fails, expect a fairly low limit on the number of fds when
456using this backend. It doesn't scale too well (O(highest_fd)), but its usually 480using this backend. It doesn't scale too well (O(highest_fd)), but its
457the fastest backend for a low number of fds. 481usually the fastest backend for a low number of (low-numbered :) fds.
482.Sp
483To get good performance out of this backend you need a high amount of
484parallelity (most of the file descriptors should be busy). If you are
485writing a server, you should \f(CW\*(C`accept ()\*(C'\fR in a loop to accept as many
486connections as possible during one iteration. You might also want to have
487a look at \f(CW\*(C`ev_set_io_collect_interval ()\*(C'\fR to increase the amount of
488readiness notifications you get per iteration.
458.ie n .IP """EVBACKEND_POLL"" (value 2, poll backend, available everywhere except on windows)" 4 489.ie n .IP """EVBACKEND_POLL"" (value 2, poll backend, available everywhere except on windows)" 4
459.el .IP "\f(CWEVBACKEND_POLL\fR (value 2, poll backend, available everywhere except on windows)" 4 490.el .IP "\f(CWEVBACKEND_POLL\fR (value 2, poll backend, available everywhere except on windows)" 4
460.IX Item "EVBACKEND_POLL (value 2, poll backend, available everywhere except on windows)" 491.IX Item "EVBACKEND_POLL (value 2, poll backend, available everywhere except on windows)"
461And this is your standard \fIpoll\fR\|(2) backend. It's more complicated than 492And this is your standard \fIpoll\fR\|(2) backend. It's more complicated
462select, but handles sparse fds better and has no artificial limit on the 493than select, but handles sparse fds better and has no artificial
463number of fds you can use (except it will slow down considerably with a 494limit on the number of fds you can use (except it will slow down
464lot of inactive fds). It scales similarly to select, i.e. O(total_fds). 495considerably with a lot of inactive fds). It scales similarly to select,
496i.e. O(total_fds). See the entry for \f(CW\*(C`EVBACKEND_SELECT\*(C'\fR, above, for
497performance tips.
465.ie n .IP """EVBACKEND_EPOLL"" (value 4, Linux)" 4 498.ie n .IP """EVBACKEND_EPOLL"" (value 4, Linux)" 4
466.el .IP "\f(CWEVBACKEND_EPOLL\fR (value 4, Linux)" 4 499.el .IP "\f(CWEVBACKEND_EPOLL\fR (value 4, Linux)" 4
467.IX Item "EVBACKEND_EPOLL (value 4, Linux)" 500.IX Item "EVBACKEND_EPOLL (value 4, Linux)"
468For few fds, this backend is a bit little slower than poll and select, 501For few fds, this backend is a bit little slower than poll and select,
469but it scales phenomenally better. While poll and select usually scale 502but it scales phenomenally better. While poll and select usually scale
470like O(total_fds) where n is the total number of fds (or the highest fd), 503like O(total_fds) where n is the total number of fds (or the highest fd),
471epoll scales either O(1) or O(active_fds). The epoll design has a number 504epoll scales either O(1) or O(active_fds). The epoll design has a number
472of shortcomings, such as silently dropping events in some hard-to-detect 505of shortcomings, such as silently dropping events in some hard-to-detect
473cases and rewiring a syscall per fd change, no fork support and bad 506cases and requiring a syscall per fd change, no fork support and bad
474support for dup: 507support for dup.
475.Sp 508.Sp
476While stopping, setting and starting an I/O watcher in the same iteration 509While stopping, setting and starting an I/O watcher in the same iteration
477will result in some caching, there is still a syscall per such incident 510will result in some caching, there is still a syscall per such incident
478(because the fd could point to a different file description now), so its 511(because the fd could point to a different file description now), so its
479best to avoid that. Also, \f(CW\*(C`dup ()\*(C'\fR'ed file descriptors might not work 512best to avoid that. Also, \f(CW\*(C`dup ()\*(C'\fR'ed file descriptors might not work
480very well if you register events for both fds. 513very well if you register events for both fds.
481.Sp 514.Sp
482Please note that epoll sometimes generates spurious notifications, so you 515Please note that epoll sometimes generates spurious notifications, so you
483need to use non-blocking I/O or other means to avoid blocking when no data 516need to use non-blocking I/O or other means to avoid blocking when no data
484(or space) is available. 517(or space) is available.
518.Sp
519Best performance from this backend is achieved by not unregistering all
520watchers for a file descriptor until it has been closed, if possible, i.e.
521keep at least one watcher active per fd at all times.
522.Sp
523While nominally embeddeble in other event loops, this feature is broken in
524all kernel versions tested so far.
485.ie n .IP """EVBACKEND_KQUEUE"" (value 8, most \s-1BSD\s0 clones)" 4 525.ie n .IP """EVBACKEND_KQUEUE"" (value 8, most \s-1BSD\s0 clones)" 4
486.el .IP "\f(CWEVBACKEND_KQUEUE\fR (value 8, most \s-1BSD\s0 clones)" 4 526.el .IP "\f(CWEVBACKEND_KQUEUE\fR (value 8, most \s-1BSD\s0 clones)" 4
487.IX Item "EVBACKEND_KQUEUE (value 8, most BSD clones)" 527.IX Item "EVBACKEND_KQUEUE (value 8, most BSD clones)"
488Kqueue deserves special mention, as at the time of this writing, it 528Kqueue deserves special mention, as at the time of this writing, it
489was broken on \fIall\fR BSDs (usually it doesn't work with anything but 529was broken on all BSDs except NetBSD (usually it doesn't work reliably
490sockets and pipes, except on Darwin, where of course it's completely 530with anything but sockets and pipes, except on Darwin, where of course
491useless. On NetBSD, it seems to work for all the \s-1FD\s0 types I tested, so it
492is used by default there). For this reason it's not being \*(L"autodetected\*(R" 531it's completely useless). For this reason it's not being \*(L"autodetected\*(R"
493unless you explicitly specify it explicitly in the flags (i.e. using 532unless you explicitly specify it explicitly in the flags (i.e. using
494\&\f(CW\*(C`EVBACKEND_KQUEUE\*(C'\fR) or libev was compiled on a known-to-be-good (\-enough) 533\&\f(CW\*(C`EVBACKEND_KQUEUE\*(C'\fR) or libev was compiled on a known-to-be-good (\-enough)
495system like NetBSD. 534system like NetBSD.
496.Sp 535.Sp
536You still can embed kqueue into a normal poll or select backend and use it
537only for sockets (after having made sure that sockets work with kqueue on
538the target platform). See \f(CW\*(C`ev_embed\*(C'\fR watchers for more info.
539.Sp
497It scales in the same way as the epoll backend, but the interface to the 540It scales in the same way as the epoll backend, but the interface to the
498kernel is more efficient (which says nothing about its actual speed, 541kernel is more efficient (which says nothing about its actual speed, of
499of course). While stopping, setting and starting an I/O watcher does 542course). While stopping, setting and starting an I/O watcher does never
500never cause an extra syscall as with epoll, it still adds up to two event 543cause an extra syscall as with \f(CW\*(C`EVBACKEND_EPOLL\*(C'\fR, it still adds up to
501changes per incident, support for \f(CW\*(C`fork ()\*(C'\fR is very bad and it drops fds 544two event changes per incident, support for \f(CW\*(C`fork ()\*(C'\fR is very bad and it
502silently in similarly hard-to-detetc cases. 545drops fds silently in similarly hard-to-detect cases.
546.Sp
547This backend usually performs well under most conditions.
548.Sp
549While nominally embeddable in other event loops, this doesn't work
550everywhere, so you might need to test for this. And since it is broken
551almost everywhere, you should only use it when you have a lot of sockets
552(for which it usually works), by embedding it into another event loop
553(e.g. \f(CW\*(C`EVBACKEND_SELECT\*(C'\fR or \f(CW\*(C`EVBACKEND_POLL\*(C'\fR) and using it only for
554sockets.
503.ie n .IP """EVBACKEND_DEVPOLL"" (value 16, Solaris 8)" 4 555.ie n .IP """EVBACKEND_DEVPOLL"" (value 16, Solaris 8)" 4
504.el .IP "\f(CWEVBACKEND_DEVPOLL\fR (value 16, Solaris 8)" 4 556.el .IP "\f(CWEVBACKEND_DEVPOLL\fR (value 16, Solaris 8)" 4
505.IX Item "EVBACKEND_DEVPOLL (value 16, Solaris 8)" 557.IX Item "EVBACKEND_DEVPOLL (value 16, Solaris 8)"
506This is not implemented yet (and might never be). 558This is not implemented yet (and might never be, unless you send me an
559implementation). According to reports, \f(CW\*(C`/dev/poll\*(C'\fR only supports sockets
560and is not embeddable, which would limit the usefulness of this backend
561immensely.
507.ie n .IP """EVBACKEND_PORT"" (value 32, Solaris 10)" 4 562.ie n .IP """EVBACKEND_PORT"" (value 32, Solaris 10)" 4
508.el .IP "\f(CWEVBACKEND_PORT\fR (value 32, Solaris 10)" 4 563.el .IP "\f(CWEVBACKEND_PORT\fR (value 32, Solaris 10)" 4
509.IX Item "EVBACKEND_PORT (value 32, Solaris 10)" 564.IX Item "EVBACKEND_PORT (value 32, Solaris 10)"
510This uses the Solaris 10 event port mechanism. As with everything on Solaris, 565This uses the Solaris 10 event port mechanism. As with everything on Solaris,
511it's really slow, but it still scales very well (O(active_fds)). 566it's really slow, but it still scales very well (O(active_fds)).
512.Sp 567.Sp
513Please note that solaris event ports can deliver a lot of spurious 568Please note that solaris event ports can deliver a lot of spurious
514notifications, so you need to use non-blocking I/O or other means to avoid 569notifications, so you need to use non-blocking I/O or other means to avoid
515blocking when no data (or space) is available. 570blocking when no data (or space) is available.
571.Sp
572While this backend scales well, it requires one system call per active
573file descriptor per loop iteration. For small and medium numbers of file
574descriptors a \*(L"slow\*(R" \f(CW\*(C`EVBACKEND_SELECT\*(C'\fR or \f(CW\*(C`EVBACKEND_POLL\*(C'\fR backend
575might perform better.
576.Sp
577On the positive side, ignoring the spurious readiness notifications, this
578backend actually performed to specification in all tests and is fully
579embeddable, which is a rare feat among the OS-specific backends.
516.ie n .IP """EVBACKEND_ALL""" 4 580.ie n .IP """EVBACKEND_ALL""" 4
517.el .IP "\f(CWEVBACKEND_ALL\fR" 4 581.el .IP "\f(CWEVBACKEND_ALL\fR" 4
518.IX Item "EVBACKEND_ALL" 582.IX Item "EVBACKEND_ALL"
519Try all backends (even potentially broken ones that wouldn't be tried 583Try all backends (even potentially broken ones that wouldn't be tried
520with \f(CW\*(C`EVFLAG_AUTO\*(C'\fR). Since this is a mask, you can do stuff such as 584with \f(CW\*(C`EVFLAG_AUTO\*(C'\fR). Since this is a mask, you can do stuff such as
521\&\f(CW\*(C`EVBACKEND_ALL & ~EVBACKEND_KQUEUE\*(C'\fR. 585\&\f(CW\*(C`EVBACKEND_ALL & ~EVBACKEND_KQUEUE\*(C'\fR.
586.Sp
587It is definitely not recommended to use this flag.
522.RE 588.RE
523.RS 4 589.RS 4
524.Sp 590.Sp
525If one or more of these are ored into the flags value, then only these 591If one or more of these are ored into the flags value, then only these
526backends will be tried (in the reverse order as given here). If none are 592backends will be tried (in the reverse order as listed here). If none are
527specified, most compiled-in backend will be tried, usually in reverse 593specified, all backends in \f(CW\*(C`ev_recommended_backends ()\*(C'\fR will be tried.
528order of their flag values :)
529.Sp 594.Sp
530The most typical usage is like this: 595The most typical usage is like this:
531.Sp 596.Sp
532.Vb 2 597.Vb 2
533\& if (!ev_default_loop (0)) 598\& if (!ev_default_loop (0))
553.IX Item "struct ev_loop *ev_loop_new (unsigned int flags)" 618.IX Item "struct ev_loop *ev_loop_new (unsigned int flags)"
554Similar to \f(CW\*(C`ev_default_loop\*(C'\fR, but always creates a new event loop that is 619Similar to \f(CW\*(C`ev_default_loop\*(C'\fR, but always creates a new event loop that is
555always distinct from the default loop. Unlike the default loop, it cannot 620always distinct from the default loop. Unlike the default loop, it cannot
556handle signal and child watchers, and attempts to do so will be greeted by 621handle signal and child watchers, and attempts to do so will be greeted by
557undefined behaviour (or a failed assertion if assertions are enabled). 622undefined behaviour (or a failed assertion if assertions are enabled).
623.Sp
624Note that this function \fIis\fR thread-safe, and the recommended way to use
625libev with threads is indeed to create one loop per thread, and using the
626default loop in the \*(L"main\*(R" or \*(L"initial\*(R" thread.
558.Sp 627.Sp
559Example: Try to create a event loop that uses epoll and nothing else. 628Example: Try to create a event loop that uses epoll and nothing else.
560.Sp 629.Sp
561.Vb 3 630.Vb 3
562\& struct ev_loop *epoller = ev_loop_new (EVBACKEND_EPOLL | EVFLAG_NOENV); 631\& struct ev_loop *epoller = ev_loop_new (EVBACKEND_EPOLL | EVFLAG_NOENV);
585.IX Item "ev_loop_destroy (loop)" 654.IX Item "ev_loop_destroy (loop)"
586Like \f(CW\*(C`ev_default_destroy\*(C'\fR, but destroys an event loop created by an 655Like \f(CW\*(C`ev_default_destroy\*(C'\fR, but destroys an event loop created by an
587earlier call to \f(CW\*(C`ev_loop_new\*(C'\fR. 656earlier call to \f(CW\*(C`ev_loop_new\*(C'\fR.
588.IP "ev_default_fork ()" 4 657.IP "ev_default_fork ()" 4
589.IX Item "ev_default_fork ()" 658.IX Item "ev_default_fork ()"
659This function sets a flag that causes subsequent \f(CW\*(C`ev_loop\*(C'\fR iterations
590This function reinitialises the kernel state for backends that have 660to reinitialise the kernel state for backends that have one. Despite the
591one. Despite the name, you can call it anytime, but it makes most sense 661name, you can call it anytime, but it makes most sense after forking, in
592after forking, in either the parent or child process (or both, but that 662the child process (or both child and parent, but that again makes little
593again makes little sense). 663sense). You \fImust\fR call it in the child before using any of the libev
664functions, and it will only take effect at the next \f(CW\*(C`ev_loop\*(C'\fR iteration.
594.Sp 665.Sp
595You \fImust\fR call this function in the child process after forking if and 666On the other hand, you only need to call this function in the child
596only if you want to use the event library in both processes. If you just 667process if and only if you want to use the event library in the child. If
597fork+exec, you don't have to call it. 668you just fork+exec, you don't have to call it at all.
598.Sp 669.Sp
599The function itself is quite fast and it's usually not a problem to call 670The function itself is quite fast and it's usually not a problem to call
600it just in case after a fork. To make this easy, the function will fit in 671it just in case after a fork. To make this easy, the function will fit in
601quite nicely into a call to \f(CW\*(C`pthread_atfork\*(C'\fR: 672quite nicely into a call to \f(CW\*(C`pthread_atfork\*(C'\fR:
602.Sp 673.Sp
603.Vb 1 674.Vb 1
604\& pthread_atfork (0, 0, ev_default_fork); 675\& pthread_atfork (0, 0, ev_default_fork);
605.Ve 676.Ve
606.Sp
607At the moment, \f(CW\*(C`EVBACKEND_SELECT\*(C'\fR and \f(CW\*(C`EVBACKEND_POLL\*(C'\fR are safe to use
608without calling this function, so if you force one of those backends you
609do not need to care.
610.IP "ev_loop_fork (loop)" 4 677.IP "ev_loop_fork (loop)" 4
611.IX Item "ev_loop_fork (loop)" 678.IX Item "ev_loop_fork (loop)"
612Like \f(CW\*(C`ev_default_fork\*(C'\fR, but acts on an event loop created by 679Like \f(CW\*(C`ev_default_fork\*(C'\fR, but acts on an event loop created by
613\&\f(CW\*(C`ev_loop_new\*(C'\fR. Yes, you have to call this on every allocated event loop 680\&\f(CW\*(C`ev_loop_new\*(C'\fR. Yes, you have to call this on every allocated event loop
614after fork, and how you do this is entirely your own problem. 681after fork, and how you do this is entirely your own problem.
682.IP "int ev_is_default_loop (loop)" 4
683.IX Item "int ev_is_default_loop (loop)"
684Returns true when the given loop actually is the default loop, false otherwise.
615.IP "unsigned int ev_loop_count (loop)" 4 685.IP "unsigned int ev_loop_count (loop)" 4
616.IX Item "unsigned int ev_loop_count (loop)" 686.IX Item "unsigned int ev_loop_count (loop)"
617Returns the count of loop iterations for the loop, which is identical to 687Returns the count of loop iterations for the loop, which is identical to
618the number of times libev did poll for new events. It starts at \f(CW0\fR and 688the number of times libev did poll for new events. It starts at \f(CW0\fR and
619happily wraps around with enough iterations. 689happily wraps around with enough iterations.
659libev watchers. However, a pair of \f(CW\*(C`ev_prepare\*(C'\fR/\f(CW\*(C`ev_check\*(C'\fR watchers is 729libev watchers. However, a pair of \f(CW\*(C`ev_prepare\*(C'\fR/\f(CW\*(C`ev_check\*(C'\fR watchers is
660usually a better approach for this kind of thing. 730usually a better approach for this kind of thing.
661.Sp 731.Sp
662Here are the gory details of what \f(CW\*(C`ev_loop\*(C'\fR does: 732Here are the gory details of what \f(CW\*(C`ev_loop\*(C'\fR does:
663.Sp 733.Sp
664.Vb 19 734.Vb 10
665\& - Before the first iteration, call any pending watchers. 735\& \- Before the first iteration, call any pending watchers.
666\& * If there are no active watchers (reference count is zero), return. 736\& * If EVFLAG_FORKCHECK was used, check for a fork.
667\& - Queue all prepare watchers and then call all outstanding watchers. 737\& \- If a fork was detected, queue and call all fork watchers.
738\& \- Queue and call all prepare watchers.
668\& - If we have been forked, recreate the kernel state. 739\& \- If we have been forked, recreate the kernel state.
669\& - Update the kernel state with all outstanding changes. 740\& \- Update the kernel state with all outstanding changes.
670\& - Update the "event loop time". 741\& \- Update the "event loop time".
671\& - Calculate for how long to block. 742\& \- Calculate for how long to sleep or block, if at all
743\& (active idle watchers, EVLOOP_NONBLOCK or not having
744\& any active watchers at all will result in not sleeping).
745\& \- Sleep if the I/O and timer collect interval say so.
672\& - Block the process, waiting for any events. 746\& \- Block the process, waiting for any events.
673\& - Queue all outstanding I/O (fd) events. 747\& \- Queue all outstanding I/O (fd) events.
674\& - Update the "event loop time" and do time jump handling. 748\& \- Update the "event loop time" and do time jump handling.
675\& - Queue all outstanding timers. 749\& \- Queue all outstanding timers.
676\& - Queue all outstanding periodics. 750\& \- Queue all outstanding periodics.
677\& - If no events are pending now, queue all idle watchers. 751\& \- If no events are pending now, queue all idle watchers.
678\& - Queue all check watchers. 752\& \- Queue all check watchers.
679\& - Call all queued watchers in reverse order (i.e. check watchers first). 753\& \- Call all queued watchers in reverse order (i.e. check watchers first).
680\& Signals and child watchers are implemented as I/O watchers, and will 754\& Signals and child watchers are implemented as I/O watchers, and will
681\& be handled here by queueing them when their watcher gets executed. 755\& be handled here by queueing them when their watcher gets executed.
682\& - If ev_unloop has been called or EVLOOP_ONESHOT or EVLOOP_NONBLOCK 756\& \- If ev_unloop has been called, or EVLOOP_ONESHOT or EVLOOP_NONBLOCK
683\& were used, return, otherwise continue with step *. 757\& were used, or there are no active watchers, return, otherwise
758\& continue with step *.
684.Ve 759.Ve
685.Sp 760.Sp
686Example: Queue some jobs and then loop until no events are outsanding 761Example: Queue some jobs and then loop until no events are outstanding
687anymore. 762anymore.
688.Sp 763.Sp
689.Vb 4 764.Vb 4
690\& ... queue jobs here, make sure they register event watchers as long 765\& ... queue jobs here, make sure they register event watchers as long
691\& ... as they still have work to do (even an idle watcher will do..) 766\& ... as they still have work to do (even an idle watcher will do..)
696.IX Item "ev_unloop (loop, how)" 771.IX Item "ev_unloop (loop, how)"
697Can be used to make a call to \f(CW\*(C`ev_loop\*(C'\fR return early (but only after it 772Can be used to make a call to \f(CW\*(C`ev_loop\*(C'\fR return early (but only after it
698has processed all outstanding events). The \f(CW\*(C`how\*(C'\fR argument must be either 773has processed all outstanding events). The \f(CW\*(C`how\*(C'\fR argument must be either
699\&\f(CW\*(C`EVUNLOOP_ONE\*(C'\fR, which will make the innermost \f(CW\*(C`ev_loop\*(C'\fR call return, or 774\&\f(CW\*(C`EVUNLOOP_ONE\*(C'\fR, which will make the innermost \f(CW\*(C`ev_loop\*(C'\fR call return, or
700\&\f(CW\*(C`EVUNLOOP_ALL\*(C'\fR, which will make all nested \f(CW\*(C`ev_loop\*(C'\fR calls return. 775\&\f(CW\*(C`EVUNLOOP_ALL\*(C'\fR, which will make all nested \f(CW\*(C`ev_loop\*(C'\fR calls return.
776.Sp
777This \*(L"unloop state\*(R" will be cleared when entering \f(CW\*(C`ev_loop\*(C'\fR again.
701.IP "ev_ref (loop)" 4 778.IP "ev_ref (loop)" 4
702.IX Item "ev_ref (loop)" 779.IX Item "ev_ref (loop)"
703.PD 0 780.PD 0
704.IP "ev_unref (loop)" 4 781.IP "ev_unref (loop)" 4
705.IX Item "ev_unref (loop)" 782.IX Item "ev_unref (loop)"
711returning, \fIev_unref()\fR after starting, and \fIev_ref()\fR before stopping it. For 788returning, \fIev_unref()\fR after starting, and \fIev_ref()\fR before stopping it. For
712example, libev itself uses this for its internal signal pipe: It is not 789example, libev itself uses this for its internal signal pipe: It is not
713visible to the libev user and should not keep \f(CW\*(C`ev_loop\*(C'\fR from exiting if 790visible to the libev user and should not keep \f(CW\*(C`ev_loop\*(C'\fR from exiting if
714no event watchers registered by it are active. It is also an excellent 791no event watchers registered by it are active. It is also an excellent
715way to do this for generic recurring timers or from within third-party 792way to do this for generic recurring timers or from within third-party
716libraries. Just remember to \fIunref after start\fR and \fIref before stop\fR. 793libraries. Just remember to \fIunref after start\fR and \fIref before stop\fR
794(but only if the watcher wasn't active before, or was active before,
795respectively).
717.Sp 796.Sp
718Example: Create a signal watcher, but keep it from keeping \f(CW\*(C`ev_loop\*(C'\fR 797Example: Create a signal watcher, but keep it from keeping \f(CW\*(C`ev_loop\*(C'\fR
719running when nothing else is active. 798running when nothing else is active.
720.Sp 799.Sp
721.Vb 4 800.Vb 4
729.Sp 808.Sp
730.Vb 2 809.Vb 2
731\& ev_ref (loop); 810\& ev_ref (loop);
732\& ev_signal_stop (loop, &exitsig); 811\& ev_signal_stop (loop, &exitsig);
733.Ve 812.Ve
734.IP "ev_set_io_collect_interval (ev_tstamp interval)" 4 813.IP "ev_set_io_collect_interval (loop, ev_tstamp interval)" 4
735.IX Item "ev_set_io_collect_interval (ev_tstamp interval)" 814.IX Item "ev_set_io_collect_interval (loop, ev_tstamp interval)"
736.PD 0 815.PD 0
737.IP "ev_set_timeout_collect_interval (ev_tstamp interval)" 4 816.IP "ev_set_timeout_collect_interval (loop, ev_tstamp interval)" 4
738.IX Item "ev_set_timeout_collect_interval (ev_tstamp interval)" 817.IX Item "ev_set_timeout_collect_interval (loop, ev_tstamp interval)"
739.PD 818.PD
740These advanced functions influence the time that libev will spend waiting 819These advanced functions influence the time that libev will spend waiting
741for events. Both are by default \f(CW0\fR, meaning that libev will try to 820for events. Both are by default \f(CW0\fR, meaning that libev will try to
742invoke timer/periodic callbacks and I/O callbacks with minimum latency. 821invoke timer/periodic callbacks and I/O callbacks with minimum latency.
743.Sp 822.Sp
752overhead for the actual polling but can deliver many events at once. 831overhead for the actual polling but can deliver many events at once.
753.Sp 832.Sp
754By setting a higher \fIio collect interval\fR you allow libev to spend more 833By setting a higher \fIio collect interval\fR you allow libev to spend more
755time collecting I/O events, so you can handle more events per iteration, 834time collecting I/O events, so you can handle more events per iteration,
756at the cost of increasing latency. Timeouts (both \f(CW\*(C`ev_periodic\*(C'\fR and 835at the cost of increasing latency. Timeouts (both \f(CW\*(C`ev_periodic\*(C'\fR and
757\&\f(CW\*(C`ev_timer\*(C'\fR) will be not affected. 836\&\f(CW\*(C`ev_timer\*(C'\fR) will be not affected. Setting this to a non-null value will
837introduce an additional \f(CW\*(C`ev_sleep ()\*(C'\fR call into most loop iterations.
758.Sp 838.Sp
759Likewise, by setting a higher \fItimeout collect interval\fR you allow libev 839Likewise, by setting a higher \fItimeout collect interval\fR you allow libev
760to spend more time collecting timeouts, at the expense of increased 840to spend more time collecting timeouts, at the expense of increased
761latency (the watcher callback will be called later). \f(CW\*(C`ev_io\*(C'\fR watchers 841latency (the watcher callback will be called later). \f(CW\*(C`ev_io\*(C'\fR watchers
762will not be affected. 842will not be affected. Setting this to a non-null value will not introduce
843any overhead in libev.
763.Sp 844.Sp
764Many programs can usually benefit by setting the io collect interval to 845Many (busy) programs can usually benefit by setting the io collect
765a value near \f(CW0.1\fR or so, which is often enough for interactive servers 846interval to a value near \f(CW0.1\fR or so, which is often enough for
766(of course not for games), likewise for timeouts. It usually doesn't make 847interactive servers (of course not for games), likewise for timeouts. It
767much sense to set it to a lower value than \f(CW0.01\fR, as this approsaches 848usually doesn't make much sense to set it to a lower value than \f(CW0.01\fR,
768the timing granularity of most systems. 849as this approsaches the timing granularity of most systems.
850.IP "ev_loop_verify (loop)" 4
851.IX Item "ev_loop_verify (loop)"
852This function only does something when \f(CW\*(C`EV_VERIFY\*(C'\fR support has been
853compiled in. It tries to go through all internal structures and checks
854them for validity. If anything is found to be inconsistent, it will print
855an error message to standard error and call \f(CW\*(C`abort ()\*(C'\fR.
856.Sp
857This can be used to catch bugs inside libev itself: under normal
858circumstances, this function will never abort as of course libev keeps its
859data structures consistent.
769.SH "ANATOMY OF A WATCHER" 860.SH "ANATOMY OF A WATCHER"
770.IX Header "ANATOMY OF A WATCHER" 861.IX Header "ANATOMY OF A WATCHER"
771A watcher is a structure that you create and register to record your 862A watcher is a structure that you create and register to record your
772interest in some event. For instance, if you want to wait for \s-1STDIN\s0 to 863interest in some event. For instance, if you want to wait for \s-1STDIN\s0 to
773become readable, you would create an \f(CW\*(C`ev_io\*(C'\fR watcher for that: 864become readable, you would create an \f(CW\*(C`ev_io\*(C'\fR watcher for that:
776\& static void my_cb (struct ev_loop *loop, struct ev_io *w, int revents) 867\& static void my_cb (struct ev_loop *loop, struct ev_io *w, int revents)
777\& { 868\& {
778\& ev_io_stop (w); 869\& ev_io_stop (w);
779\& ev_unloop (loop, EVUNLOOP_ALL); 870\& ev_unloop (loop, EVUNLOOP_ALL);
780\& } 871\& }
781.Ve 872\&
782.PP
783.Vb 6
784\& struct ev_loop *loop = ev_default_loop (0); 873\& struct ev_loop *loop = ev_default_loop (0);
785\& struct ev_io stdin_watcher; 874\& struct ev_io stdin_watcher;
786\& ev_init (&stdin_watcher, my_cb); 875\& ev_init (&stdin_watcher, my_cb);
787\& ev_io_set (&stdin_watcher, STDIN_FILENO, EV_READ); 876\& ev_io_set (&stdin_watcher, STDIN_FILENO, EV_READ);
788\& ev_io_start (loop, &stdin_watcher); 877\& ev_io_start (loop, &stdin_watcher);
876.ie n .IP """EV_FORK""" 4 965.ie n .IP """EV_FORK""" 4
877.el .IP "\f(CWEV_FORK\fR" 4 966.el .IP "\f(CWEV_FORK\fR" 4
878.IX Item "EV_FORK" 967.IX Item "EV_FORK"
879The event loop has been resumed in the child process after fork (see 968The event loop has been resumed in the child process after fork (see
880\&\f(CW\*(C`ev_fork\*(C'\fR). 969\&\f(CW\*(C`ev_fork\*(C'\fR).
970.ie n .IP """EV_ASYNC""" 4
971.el .IP "\f(CWEV_ASYNC\fR" 4
972.IX Item "EV_ASYNC"
973The given async watcher has been asynchronously notified (see \f(CW\*(C`ev_async\*(C'\fR).
881.ie n .IP """EV_ERROR""" 4 974.ie n .IP """EV_ERROR""" 4
882.el .IP "\f(CWEV_ERROR\fR" 4 975.el .IP "\f(CWEV_ERROR\fR" 4
883.IX Item "EV_ERROR" 976.IX Item "EV_ERROR"
884An unspecified error has occured, the watcher has been stopped. This might 977An unspecified error has occured, the watcher has been stopped. This might
885happen because the watcher could not be properly started because libev 978happen because the watcher could not be properly started because libev
1049In this case getting the pointer to \f(CW\*(C`my_biggy\*(C'\fR is a bit more complicated, 1142In this case getting the pointer to \f(CW\*(C`my_biggy\*(C'\fR is a bit more complicated,
1050you need to use \f(CW\*(C`offsetof\*(C'\fR: 1143you need to use \f(CW\*(C`offsetof\*(C'\fR:
1051.PP 1144.PP
1052.Vb 1 1145.Vb 1
1053\& #include <stddef.h> 1146\& #include <stddef.h>
1054.Ve 1147\&
1055.PP
1056.Vb 6
1057\& static void 1148\& static void
1058\& t1_cb (EV_P_ struct ev_timer *w, int revents) 1149\& t1_cb (EV_P_ struct ev_timer *w, int revents)
1059\& { 1150\& {
1060\& struct my_biggy big = (struct my_biggy * 1151\& struct my_biggy big = (struct my_biggy *
1061\& (((char *)w) - offsetof (struct my_biggy, t1)); 1152\& (((char *)w) \- offsetof (struct my_biggy, t1));
1062\& } 1153\& }
1063.Ve 1154\&
1064.PP
1065.Vb 6
1066\& static void 1155\& static void
1067\& t2_cb (EV_P_ struct ev_timer *w, int revents) 1156\& t2_cb (EV_P_ struct ev_timer *w, int revents)
1068\& { 1157\& {
1069\& struct my_biggy big = (struct my_biggy * 1158\& struct my_biggy big = (struct my_biggy *
1070\& (((char *)w) - offsetof (struct my_biggy, t2)); 1159\& (((char *)w) \- offsetof (struct my_biggy, t2));
1071\& } 1160\& }
1072.Ve 1161.Ve
1073.SH "WATCHER TYPES" 1162.SH "WATCHER TYPES"
1074.IX Header "WATCHER TYPES" 1163.IX Header "WATCHER TYPES"
1075This section describes each watcher in detail, but will not repeat 1164This section describes each watcher in detail, but will not repeat
1098In general you can register as many read and/or write event watchers per 1187In general you can register as many read and/or write event watchers per
1099fd as you want (as long as you don't confuse yourself). Setting all file 1188fd as you want (as long as you don't confuse yourself). Setting all file
1100descriptors to non-blocking mode is also usually a good idea (but not 1189descriptors to non-blocking mode is also usually a good idea (but not
1101required if you know what you are doing). 1190required if you know what you are doing).
1102.PP 1191.PP
1103You have to be careful with dup'ed file descriptors, though. Some backends
1104(the linux epoll backend is a notable example) cannot handle dup'ed file
1105descriptors correctly if you register interest in two or more fds pointing
1106to the same underlying file/socket/etc. description (that is, they share
1107the same underlying \*(L"file open\*(R").
1108.PP
1109If you must do this, then force the use of a known-to-be-good backend 1192If you must do this, then force the use of a known-to-be-good backend
1110(at the time of this writing, this includes only \f(CW\*(C`EVBACKEND_SELECT\*(C'\fR and 1193(at the time of this writing, this includes only \f(CW\*(C`EVBACKEND_SELECT\*(C'\fR and
1111\&\f(CW\*(C`EVBACKEND_POLL\*(C'\fR). 1194\&\f(CW\*(C`EVBACKEND_POLL\*(C'\fR).
1112.PP 1195.PP
1113Another thing you have to watch out for is that it is quite easy to 1196Another thing you have to watch out for is that it is quite easy to
1114receive \*(L"spurious\*(R" readyness notifications, that is your callback might 1197receive \*(L"spurious\*(R" readiness notifications, that is your callback might
1115be called with \f(CW\*(C`EV_READ\*(C'\fR but a subsequent \f(CW\*(C`read\*(C'\fR(2) will actually block 1198be called with \f(CW\*(C`EV_READ\*(C'\fR but a subsequent \f(CW\*(C`read\*(C'\fR(2) will actually block
1116because there is no data. Not only are some backends known to create a 1199because there is no data. Not only are some backends known to create a
1117lot of those (for example solaris ports), it is very easy to get into 1200lot of those (for example solaris ports), it is very easy to get into
1118this situation even with a relatively standard program structure. Thus 1201this situation even with a relatively standard program structure. Thus
1119it is best to always use non-blocking I/O: An extra \f(CW\*(C`read\*(C'\fR(2) returning 1202it is best to always use non-blocking I/O: An extra \f(CW\*(C`read\*(C'\fR(2) returning
1149.PP 1232.PP
1150\fIThe special problem of dup'ed file descriptors\fR 1233\fIThe special problem of dup'ed file descriptors\fR
1151.IX Subsection "The special problem of dup'ed file descriptors" 1234.IX Subsection "The special problem of dup'ed file descriptors"
1152.PP 1235.PP
1153Some backends (e.g. epoll), cannot register events for file descriptors, 1236Some backends (e.g. epoll), cannot register events for file descriptors,
1154but only events for the underlying file descriptions. That menas when you 1237but only events for the underlying file descriptions. That means when you
1155have \f(CW\*(C`dup ()\*(C'\fR'ed file descriptors and register events for them, only one 1238have \f(CW\*(C`dup ()\*(C'\fR'ed file descriptors or weirder constellations, and register
1156file descriptor might actually receive events. 1239events for them, only one file descriptor might actually receive events.
1157.PP 1240.PP
1158There is no workaorund possible except not registering events 1241There is no workaround possible except not registering events
1159for potentially \f(CW\*(C`dup ()\*(C'\fR'ed file descriptors or to resort to 1242for potentially \f(CW\*(C`dup ()\*(C'\fR'ed file descriptors, or to resort to
1160\&\f(CW\*(C`EVBACKEND_SELECT\*(C'\fR or \f(CW\*(C`EVBACKEND_POLL\*(C'\fR. 1243\&\f(CW\*(C`EVBACKEND_SELECT\*(C'\fR or \f(CW\*(C`EVBACKEND_POLL\*(C'\fR.
1161.PP 1244.PP
1162\fIThe special problem of fork\fR 1245\fIThe special problem of fork\fR
1163.IX Subsection "The special problem of fork" 1246.IX Subsection "The special problem of fork"
1164.PP 1247.PP
1168.PP 1251.PP
1169To support fork in your programs, you either have to call 1252To support fork in your programs, you either have to call
1170\&\f(CW\*(C`ev_default_fork ()\*(C'\fR or \f(CW\*(C`ev_loop_fork ()\*(C'\fR after a fork in the child, 1253\&\f(CW\*(C`ev_default_fork ()\*(C'\fR or \f(CW\*(C`ev_loop_fork ()\*(C'\fR after a fork in the child,
1171enable \f(CW\*(C`EVFLAG_FORKCHECK\*(C'\fR, or resort to \f(CW\*(C`EVBACKEND_SELECT\*(C'\fR or 1254enable \f(CW\*(C`EVFLAG_FORKCHECK\*(C'\fR, or resort to \f(CW\*(C`EVBACKEND_SELECT\*(C'\fR or
1172\&\f(CW\*(C`EVBACKEND_POLL\*(C'\fR. 1255\&\f(CW\*(C`EVBACKEND_POLL\*(C'\fR.
1256.PP
1257\fIThe special problem of \s-1SIGPIPE\s0\fR
1258.IX Subsection "The special problem of SIGPIPE"
1259.PP
1260While not really specific to libev, it is easy to forget about \s-1SIGPIPE:\s0
1261when reading from a pipe whose other end has been closed, your program
1262gets send a \s-1SIGPIPE\s0, which, by default, aborts your program. For most
1263programs this is sensible behaviour, for daemons, this is usually
1264undesirable.
1265.PP
1266So when you encounter spurious, unexplained daemon exits, make sure you
1267ignore \s-1SIGPIPE\s0 (and maybe make sure you log the exit status of your daemon
1268somewhere, as that would have given you a big clue).
1173.PP 1269.PP
1174\fIWatcher-Specific Functions\fR 1270\fIWatcher-Specific Functions\fR
1175.IX Subsection "Watcher-Specific Functions" 1271.IX Subsection "Watcher-Specific Functions"
1176.IP "ev_io_init (ev_io *, callback, int fd, int events)" 4 1272.IP "ev_io_init (ev_io *, callback, int fd, int events)" 4
1177.IX Item "ev_io_init (ev_io *, callback, int fd, int events)" 1273.IX Item "ev_io_init (ev_io *, callback, int fd, int events)"
1187The file descriptor being watched. 1283The file descriptor being watched.
1188.IP "int events [read\-only]" 4 1284.IP "int events [read\-only]" 4
1189.IX Item "int events [read-only]" 1285.IX Item "int events [read-only]"
1190The events being watched. 1286The events being watched.
1191.PP 1287.PP
1288\fIExamples\fR
1289.IX Subsection "Examples"
1290.PP
1192Example: Call \f(CW\*(C`stdin_readable_cb\*(C'\fR when \s-1STDIN_FILENO\s0 has become, well 1291Example: Call \f(CW\*(C`stdin_readable_cb\*(C'\fR when \s-1STDIN_FILENO\s0 has become, well
1193readable, but only once. Since it is likely line\-buffered, you could 1292readable, but only once. Since it is likely line-buffered, you could
1194attempt to read a whole line in the callback. 1293attempt to read a whole line in the callback.
1195.PP 1294.PP
1196.Vb 6 1295.Vb 6
1197\& static void 1296\& static void
1198\& stdin_readable_cb (struct ev_loop *loop, struct ev_io *w, int revents) 1297\& stdin_readable_cb (struct ev_loop *loop, struct ev_io *w, int revents)
1199\& { 1298\& {
1200\& ev_io_stop (loop, w); 1299\& ev_io_stop (loop, w);
1201\& .. read from stdin here (or from w->fd) and haqndle any I/O errors 1300\& .. read from stdin here (or from w\->fd) and haqndle any I/O errors
1202\& } 1301\& }
1203.Ve 1302\&
1204.PP
1205.Vb 6
1206\& ... 1303\& ...
1207\& struct ev_loop *loop = ev_default_init (0); 1304\& struct ev_loop *loop = ev_default_init (0);
1208\& struct ev_io stdin_readable; 1305\& struct ev_io stdin_readable;
1209\& ev_io_init (&stdin_readable, stdin_readable_cb, STDIN_FILENO, EV_READ); 1306\& ev_io_init (&stdin_readable, stdin_readable_cb, STDIN_FILENO, EV_READ);
1210\& ev_io_start (loop, &stdin_readable); 1307\& ev_io_start (loop, &stdin_readable);
1215.IX Subsection "ev_timer - relative and optionally repeating timeouts" 1312.IX Subsection "ev_timer - relative and optionally repeating timeouts"
1216Timer watchers are simple relative timers that generate an event after a 1313Timer watchers are simple relative timers that generate an event after a
1217given time, and optionally repeating in regular intervals after that. 1314given time, and optionally repeating in regular intervals after that.
1218.PP 1315.PP
1219The timers are based on real time, that is, if you register an event that 1316The timers are based on real time, that is, if you register an event that
1220times out after an hour and you reset your system clock to last years 1317times out after an hour and you reset your system clock to january last
1221time, it will still time out after (roughly) and hour. \*(L"Roughly\*(R" because 1318year, it will still time out after (roughly) and hour. \*(L"Roughly\*(R" because
1222detecting time jumps is hard, and some inaccuracies are unavoidable (the 1319detecting time jumps is hard, and some inaccuracies are unavoidable (the
1223monotonic clock option helps a lot here). 1320monotonic clock option helps a lot here).
1224.PP 1321.PP
1225The relative timeouts are calculated relative to the \f(CW\*(C`ev_now ()\*(C'\fR 1322The relative timeouts are calculated relative to the \f(CW\*(C`ev_now ()\*(C'\fR
1226time. This is usually the right thing as this timestamp refers to the time 1323time. This is usually the right thing as this timestamp refers to the time
1227of the event triggering whatever timeout you are modifying/starting. If 1324of the event triggering whatever timeout you are modifying/starting. If
1228you suspect event processing to be delayed and you \fIneed\fR to base the timeout 1325you suspect event processing to be delayed and you \fIneed\fR to base the timeout
1229on the current time, use something like this to adjust for this: 1326on the current time, use something like this to adjust for this:
1230.PP 1327.PP
1231.Vb 1 1328.Vb 1
1232\& ev_timer_set (&timer, after + ev_now () - ev_time (), 0.); 1329\& ev_timer_set (&timer, after + ev_now () \- ev_time (), 0.);
1233.Ve 1330.Ve
1234.PP 1331.PP
1235The callback is guarenteed to be invoked only when its timeout has passed, 1332The callback is guarenteed to be invoked only after its timeout has passed,
1236but if multiple timers become ready during the same loop iteration then 1333but if multiple timers become ready during the same loop iteration then
1237order of execution is undefined. 1334order of execution is undefined.
1238.PP 1335.PP
1239\fIWatcher-Specific Functions and Data Members\fR 1336\fIWatcher-Specific Functions and Data Members\fR
1240.IX Subsection "Watcher-Specific Functions and Data Members" 1337.IX Subsection "Watcher-Specific Functions and Data Members"
1242.IX Item "ev_timer_init (ev_timer *, callback, ev_tstamp after, ev_tstamp repeat)" 1339.IX Item "ev_timer_init (ev_timer *, callback, ev_tstamp after, ev_tstamp repeat)"
1243.PD 0 1340.PD 0
1244.IP "ev_timer_set (ev_timer *, ev_tstamp after, ev_tstamp repeat)" 4 1341.IP "ev_timer_set (ev_timer *, ev_tstamp after, ev_tstamp repeat)" 4
1245.IX Item "ev_timer_set (ev_timer *, ev_tstamp after, ev_tstamp repeat)" 1342.IX Item "ev_timer_set (ev_timer *, ev_tstamp after, ev_tstamp repeat)"
1246.PD 1343.PD
1247Configure the timer to trigger after \f(CW\*(C`after\*(C'\fR seconds. If \f(CW\*(C`repeat\*(C'\fR is 1344Configure the timer to trigger after \f(CW\*(C`after\*(C'\fR seconds. If \f(CW\*(C`repeat\*(C'\fR
1248\&\f(CW0.\fR, then it will automatically be stopped. If it is positive, then the 1345is \f(CW0.\fR, then it will automatically be stopped once the timeout is
1249timer will automatically be configured to trigger again \f(CW\*(C`repeat\*(C'\fR seconds 1346reached. If it is positive, then the timer will automatically be
1250later, again, and again, until stopped manually. 1347configured to trigger again \f(CW\*(C`repeat\*(C'\fR seconds later, again, and again,
1348until stopped manually.
1251.Sp 1349.Sp
1252The timer itself will do a best-effort at avoiding drift, that is, if you 1350The timer itself will do a best-effort at avoiding drift, that is, if
1253configure a timer to trigger every 10 seconds, then it will trigger at 1351you configure a timer to trigger every 10 seconds, then it will normally
1254exactly 10 second intervals. If, however, your program cannot keep up with 1352trigger at exactly 10 second intervals. If, however, your program cannot
1255the timer (because it takes longer than those 10 seconds to do stuff) the 1353keep up with the timer (because it takes longer than those 10 seconds to
1256timer will not fire more than once per event loop iteration. 1354do stuff) the timer will not fire more than once per event loop iteration.
1257.IP "ev_timer_again (loop)" 4 1355.IP "ev_timer_again (loop, ev_timer *)" 4
1258.IX Item "ev_timer_again (loop)" 1356.IX Item "ev_timer_again (loop, ev_timer *)"
1259This will act as if the timer timed out and restart it again if it is 1357This will act as if the timer timed out and restart it again if it is
1260repeating. The exact semantics are: 1358repeating. The exact semantics are:
1261.Sp 1359.Sp
1262If the timer is pending, its pending status is cleared. 1360If the timer is pending, its pending status is cleared.
1263.Sp 1361.Sp
1281.Sp 1379.Sp
1282.Vb 8 1380.Vb 8
1283\& ev_timer_init (timer, callback, 0., 5.); 1381\& ev_timer_init (timer, callback, 0., 5.);
1284\& ev_timer_again (loop, timer); 1382\& ev_timer_again (loop, timer);
1285\& ... 1383\& ...
1286\& timer->again = 17.; 1384\& timer\->again = 17.;
1287\& ev_timer_again (loop, timer); 1385\& ev_timer_again (loop, timer);
1288\& ... 1386\& ...
1289\& timer->again = 10.; 1387\& timer\->again = 10.;
1290\& ev_timer_again (loop, timer); 1388\& ev_timer_again (loop, timer);
1291.Ve 1389.Ve
1292.Sp 1390.Sp
1293This is more slightly efficient then stopping/starting the timer each time 1391This is more slightly efficient then stopping/starting the timer each time
1294you want to modify its timeout value. 1392you want to modify its timeout value.
1296.IX Item "ev_tstamp repeat [read-write]" 1394.IX Item "ev_tstamp repeat [read-write]"
1297The current \f(CW\*(C`repeat\*(C'\fR value. Will be used each time the watcher times out 1395The current \f(CW\*(C`repeat\*(C'\fR value. Will be used each time the watcher times out
1298or \f(CW\*(C`ev_timer_again\*(C'\fR is called and determines the next timeout (if any), 1396or \f(CW\*(C`ev_timer_again\*(C'\fR is called and determines the next timeout (if any),
1299which is also when any modifications are taken into account. 1397which is also when any modifications are taken into account.
1300.PP 1398.PP
1399\fIExamples\fR
1400.IX Subsection "Examples"
1401.PP
1301Example: Create a timer that fires after 60 seconds. 1402Example: Create a timer that fires after 60 seconds.
1302.PP 1403.PP
1303.Vb 5 1404.Vb 5
1304\& static void 1405\& static void
1305\& one_minute_cb (struct ev_loop *loop, struct ev_timer *w, int revents) 1406\& one_minute_cb (struct ev_loop *loop, struct ev_timer *w, int revents)
1306\& { 1407\& {
1307\& .. one minute over, w is actually stopped right here 1408\& .. one minute over, w is actually stopped right here
1308\& } 1409\& }
1309.Ve 1410\&
1310.PP
1311.Vb 3
1312\& struct ev_timer mytimer; 1411\& struct ev_timer mytimer;
1313\& ev_timer_init (&mytimer, one_minute_cb, 60., 0.); 1412\& ev_timer_init (&mytimer, one_minute_cb, 60., 0.);
1314\& ev_timer_start (loop, &mytimer); 1413\& ev_timer_start (loop, &mytimer);
1315.Ve 1414.Ve
1316.PP 1415.PP
1321\& static void 1420\& static void
1322\& timeout_cb (struct ev_loop *loop, struct ev_timer *w, int revents) 1421\& timeout_cb (struct ev_loop *loop, struct ev_timer *w, int revents)
1323\& { 1422\& {
1324\& .. ten seconds without any activity 1423\& .. ten seconds without any activity
1325\& } 1424\& }
1326.Ve 1425\&
1327.PP
1328.Vb 4
1329\& struct ev_timer mytimer; 1426\& struct ev_timer mytimer;
1330\& ev_timer_init (&mytimer, timeout_cb, 0., 10.); /* note, only repeat used */ 1427\& ev_timer_init (&mytimer, timeout_cb, 0., 10.); /* note, only repeat used */
1331\& ev_timer_again (&mytimer); /* start timer */ 1428\& ev_timer_again (&mytimer); /* start timer */
1332\& ev_loop (loop, 0); 1429\& ev_loop (loop, 0);
1333.Ve 1430\&
1334.PP
1335.Vb 3
1336\& // and in some piece of code that gets executed on any "activity": 1431\& // and in some piece of code that gets executed on any "activity":
1337\& // reset the timeout to start ticking again at 10 seconds 1432\& // reset the timeout to start ticking again at 10 seconds
1338\& ev_timer_again (&mytimer); 1433\& ev_timer_again (&mytimer);
1339.Ve 1434.Ve
1340.ie n .Sh """ev_periodic"" \- to cron or not to cron?" 1435.ie n .Sh """ev_periodic"" \- to cron or not to cron?"
1343Periodic watchers are also timers of a kind, but they are very versatile 1438Periodic watchers are also timers of a kind, but they are very versatile
1344(and unfortunately a bit complex). 1439(and unfortunately a bit complex).
1345.PP 1440.PP
1346Unlike \f(CW\*(C`ev_timer\*(C'\fR's, they are not based on real time (or relative time) 1441Unlike \f(CW\*(C`ev_timer\*(C'\fR's, they are not based on real time (or relative time)
1347but on wallclock time (absolute time). You can tell a periodic watcher 1442but on wallclock time (absolute time). You can tell a periodic watcher
1348to trigger \*(L"at\*(R" some specific point in time. For example, if you tell a 1443to trigger after some specific point in time. For example, if you tell a
1349periodic watcher to trigger in 10 seconds (by specifiying e.g. \f(CW\*(C`ev_now () 1444periodic watcher to trigger in 10 seconds (by specifiying e.g. \f(CW\*(C`ev_now ()
1350+ 10.\*(C'\fR) and then reset your system clock to the last year, then it will 1445+ 10.\*(C'\fR, that is, an absolute time not a delay) and then reset your system
1446clock to january of the previous year, then it will take more than year
1351take a year to trigger the event (unlike an \f(CW\*(C`ev_timer\*(C'\fR, which would trigger 1447to trigger the event (unlike an \f(CW\*(C`ev_timer\*(C'\fR, which would still trigger
1352roughly 10 seconds later). 1448roughly 10 seconds later as it uses a relative timeout).
1353.PP 1449.PP
1354They can also be used to implement vastly more complex timers, such as 1450\&\f(CW\*(C`ev_periodic\*(C'\fRs can also be used to implement vastly more complex timers,
1355triggering an event on each midnight, local time or other, complicated, 1451such as triggering an event on each \*(L"midnight, local time\*(R", or other
1356rules. 1452complicated, rules.
1357.PP 1453.PP
1358As with timers, the callback is guarenteed to be invoked only when the 1454As with timers, the callback is guarenteed to be invoked only when the
1359time (\f(CW\*(C`at\*(C'\fR) has been passed, but if multiple periodic timers become ready 1455time (\f(CW\*(C`at\*(C'\fR) has passed, but if multiple periodic timers become ready
1360during the same loop iteration then order of execution is undefined. 1456during the same loop iteration then order of execution is undefined.
1361.PP 1457.PP
1362\fIWatcher-Specific Functions and Data Members\fR 1458\fIWatcher-Specific Functions and Data Members\fR
1363.IX Subsection "Watcher-Specific Functions and Data Members" 1459.IX Subsection "Watcher-Specific Functions and Data Members"
1364.IP "ev_periodic_init (ev_periodic *, callback, ev_tstamp at, ev_tstamp interval, reschedule_cb)" 4 1460.IP "ev_periodic_init (ev_periodic *, callback, ev_tstamp at, ev_tstamp interval, reschedule_cb)" 4
1368.IX Item "ev_periodic_set (ev_periodic *, ev_tstamp after, ev_tstamp repeat, reschedule_cb)" 1464.IX Item "ev_periodic_set (ev_periodic *, ev_tstamp after, ev_tstamp repeat, reschedule_cb)"
1369.PD 1465.PD
1370Lots of arguments, lets sort it out... There are basically three modes of 1466Lots of arguments, lets sort it out... There are basically three modes of
1371operation, and we will explain them from simplest to complex: 1467operation, and we will explain them from simplest to complex:
1372.RS 4 1468.RS 4
1469.IP "\(bu" 4
1373.IP "* absolute timer (at = time, interval = reschedule_cb = 0)" 4 1470absolute timer (at = time, interval = reschedule_cb = 0)
1374.IX Item "absolute timer (at = time, interval = reschedule_cb = 0)" 1471.Sp
1375In this configuration the watcher triggers an event at the wallclock time 1472In this configuration the watcher triggers an event after the wallclock
1376\&\f(CW\*(C`at\*(C'\fR and doesn't repeat. It will not adjust when a time jump occurs, 1473time \f(CW\*(C`at\*(C'\fR has passed and doesn't repeat. It will not adjust when a time
1377that is, if it is to be run at January 1st 2011 then it will run when the 1474jump occurs, that is, if it is to be run at January 1st 2011 then it will
1378system time reaches or surpasses this time. 1475run when the system time reaches or surpasses this time.
1476.IP "\(bu" 4
1379.IP "* non-repeating interval timer (at = offset, interval > 0, reschedule_cb = 0)" 4 1477repeating interval timer (at = offset, interval > 0, reschedule_cb = 0)
1380.IX Item "non-repeating interval timer (at = offset, interval > 0, reschedule_cb = 0)" 1478.Sp
1381In this mode the watcher will always be scheduled to time out at the next 1479In this mode the watcher will always be scheduled to time out at the next
1382\&\f(CW\*(C`at + N * interval\*(C'\fR time (for some integer N, which can also be negative) 1480\&\f(CW\*(C`at + N * interval\*(C'\fR time (for some integer N, which can also be negative)
1383and then repeat, regardless of any time jumps. 1481and then repeat, regardless of any time jumps.
1384.Sp 1482.Sp
1385This can be used to create timers that do not drift with respect to system 1483This can be used to create timers that do not drift with respect to system
1386time: 1484time, for example, here is a \f(CW\*(C`ev_periodic\*(C'\fR that triggers each hour, on
1485the hour:
1387.Sp 1486.Sp
1388.Vb 1 1487.Vb 1
1389\& ev_periodic_set (&periodic, 0., 3600., 0); 1488\& ev_periodic_set (&periodic, 0., 3600., 0);
1390.Ve 1489.Ve
1391.Sp 1490.Sp
1398\&\f(CW\*(C`ev_periodic\*(C'\fR will try to run the callback in this mode at the next possible 1497\&\f(CW\*(C`ev_periodic\*(C'\fR will try to run the callback in this mode at the next possible
1399time where \f(CW\*(C`time = at (mod interval)\*(C'\fR, regardless of any time jumps. 1498time where \f(CW\*(C`time = at (mod interval)\*(C'\fR, regardless of any time jumps.
1400.Sp 1499.Sp
1401For numerical stability it is preferable that the \f(CW\*(C`at\*(C'\fR value is near 1500For numerical stability it is preferable that the \f(CW\*(C`at\*(C'\fR value is near
1402\&\f(CW\*(C`ev_now ()\*(C'\fR (the current time), but there is no range requirement for 1501\&\f(CW\*(C`ev_now ()\*(C'\fR (the current time), but there is no range requirement for
1403this value. 1502this value, and in fact is often specified as zero.
1503.Sp
1504Note also that there is an upper limit to how often a timer can fire (cpu
1505speed for example), so if \f(CW\*(C`interval\*(C'\fR is very small then timing stability
1506will of course detoriate. Libev itself tries to be exact to be about one
1507millisecond (if the \s-1OS\s0 supports it and the machine is fast enough).
1508.IP "\(bu" 4
1404.IP "* manual reschedule mode (at and interval ignored, reschedule_cb = callback)" 4 1509manual reschedule mode (at and interval ignored, reschedule_cb = callback)
1405.IX Item "manual reschedule mode (at and interval ignored, reschedule_cb = callback)" 1510.Sp
1406In this mode the values for \f(CW\*(C`interval\*(C'\fR and \f(CW\*(C`at\*(C'\fR are both being 1511In this mode the values for \f(CW\*(C`interval\*(C'\fR and \f(CW\*(C`at\*(C'\fR are both being
1407ignored. Instead, each time the periodic watcher gets scheduled, the 1512ignored. Instead, each time the periodic watcher gets scheduled, the
1408reschedule callback will be called with the watcher as first, and the 1513reschedule callback will be called with the watcher as first, and the
1409current time as second argument. 1514current time as second argument.
1410.Sp 1515.Sp
1411\&\s-1NOTE:\s0 \fIThis callback \s-1MUST\s0 \s-1NOT\s0 stop or destroy any periodic watcher, 1516\&\s-1NOTE:\s0 \fIThis callback \s-1MUST\s0 \s-1NOT\s0 stop or destroy any periodic watcher,
1412ever, or make any event loop modifications\fR. If you need to stop it, 1517ever, or make \s-1ANY\s0 event loop modifications whatsoever\fR.
1413return \f(CW\*(C`now + 1e30\*(C'\fR (or so, fudge fudge) and stop it afterwards (e.g. by 1518.Sp
1519If you need to stop it, return \f(CW\*(C`now + 1e30\*(C'\fR (or so, fudge fudge) and stop
1414starting an \f(CW\*(C`ev_prepare\*(C'\fR watcher, which is legal). 1520it afterwards (e.g. by starting an \f(CW\*(C`ev_prepare\*(C'\fR watcher, which is the
1521only event loop modification you are allowed to do).
1415.Sp 1522.Sp
1416Its prototype is \f(CW\*(C`ev_tstamp (*reschedule_cb)(struct ev_periodic *w, 1523The callback prototype is \f(CW\*(C`ev_tstamp (*reschedule_cb)(struct ev_periodic
1417ev_tstamp now)\*(C'\fR, e.g.: 1524*w, ev_tstamp now)\*(C'\fR, e.g.:
1418.Sp 1525.Sp
1419.Vb 4 1526.Vb 4
1420\& static ev_tstamp my_rescheduler (struct ev_periodic *w, ev_tstamp now) 1527\& static ev_tstamp my_rescheduler (struct ev_periodic *w, ev_tstamp now)
1421\& { 1528\& {
1422\& return now + 60.; 1529\& return now + 60.;
1426It must return the next time to trigger, based on the passed time value 1533It must return the next time to trigger, based on the passed time value
1427(that is, the lowest time value larger than to the second argument). It 1534(that is, the lowest time value larger than to the second argument). It
1428will usually be called just before the callback will be triggered, but 1535will usually be called just before the callback will be triggered, but
1429might be called at other times, too. 1536might be called at other times, too.
1430.Sp 1537.Sp
1431\&\s-1NOTE:\s0 \fIThis callback must always return a time that is later than the 1538\&\s-1NOTE:\s0 \fIThis callback must always return a time that is higher than or
1432passed \f(CI\*(C`now\*(C'\fI value\fR. Not even \f(CW\*(C`now\*(C'\fR itself will do, it \fImust\fR be larger. 1539equal to the passed \f(CI\*(C`now\*(C'\fI value\fR.
1433.Sp 1540.Sp
1434This can be used to create very complex timers, such as a timer that 1541This can be used to create very complex timers, such as a timer that
1435triggers on each midnight, local time. To do this, you would calculate the 1542triggers on \*(L"next midnight, local time\*(R". To do this, you would calculate the
1436next midnight after \f(CW\*(C`now\*(C'\fR and return the timestamp value for this. How 1543next midnight after \f(CW\*(C`now\*(C'\fR and return the timestamp value for this. How
1437you do this is, again, up to you (but it is not trivial, which is the main 1544you do this is, again, up to you (but it is not trivial, which is the main
1438reason I omitted it as an example). 1545reason I omitted it as an example).
1439.RE 1546.RE
1440.RS 4 1547.RS 4
1443.IX Item "ev_periodic_again (loop, ev_periodic *)" 1550.IX Item "ev_periodic_again (loop, ev_periodic *)"
1444Simply stops and restarts the periodic watcher again. This is only useful 1551Simply stops and restarts the periodic watcher again. This is only useful
1445when you changed some parameters or the reschedule callback would return 1552when you changed some parameters or the reschedule callback would return
1446a different time than the last time it was called (e.g. in a crond like 1553a different time than the last time it was called (e.g. in a crond like
1447program when the crontabs have changed). 1554program when the crontabs have changed).
1555.IP "ev_tstamp ev_periodic_at (ev_periodic *)" 4
1556.IX Item "ev_tstamp ev_periodic_at (ev_periodic *)"
1557When active, returns the absolute time that the watcher is supposed to
1558trigger next.
1448.IP "ev_tstamp offset [read\-write]" 4 1559.IP "ev_tstamp offset [read\-write]" 4
1449.IX Item "ev_tstamp offset [read-write]" 1560.IX Item "ev_tstamp offset [read-write]"
1450When repeating, this contains the offset value, otherwise this is the 1561When repeating, this contains the offset value, otherwise this is the
1451absolute point in time (the \f(CW\*(C`at\*(C'\fR value passed to \f(CW\*(C`ev_periodic_set\*(C'\fR). 1562absolute point in time (the \f(CW\*(C`at\*(C'\fR value passed to \f(CW\*(C`ev_periodic_set\*(C'\fR).
1452.Sp 1563.Sp
1460.IP "ev_tstamp (*reschedule_cb)(struct ev_periodic *w, ev_tstamp now) [read\-write]" 4 1571.IP "ev_tstamp (*reschedule_cb)(struct ev_periodic *w, ev_tstamp now) [read\-write]" 4
1461.IX Item "ev_tstamp (*reschedule_cb)(struct ev_periodic *w, ev_tstamp now) [read-write]" 1572.IX Item "ev_tstamp (*reschedule_cb)(struct ev_periodic *w, ev_tstamp now) [read-write]"
1462The current reschedule callback, or \f(CW0\fR, if this functionality is 1573The current reschedule callback, or \f(CW0\fR, if this functionality is
1463switched off. Can be changed any time, but changes only take effect when 1574switched off. Can be changed any time, but changes only take effect when
1464the periodic timer fires or \f(CW\*(C`ev_periodic_again\*(C'\fR is being called. 1575the periodic timer fires or \f(CW\*(C`ev_periodic_again\*(C'\fR is being called.
1465.IP "ev_tstamp at [read\-only]" 4 1576.PP
1466.IX Item "ev_tstamp at [read-only]" 1577\fIExamples\fR
1467When active, contains the absolute time that the watcher is supposed to 1578.IX Subsection "Examples"
1468trigger next.
1469.PP 1579.PP
1470Example: Call a callback every hour, or, more precisely, whenever the 1580Example: Call a callback every hour, or, more precisely, whenever the
1471system clock is divisible by 3600. The callback invocation times have 1581system clock is divisible by 3600. The callback invocation times have
1472potentially a lot of jittering, but good long-term stability. 1582potentially a lot of jittering, but good long-term stability.
1473.PP 1583.PP
1475\& static void 1585\& static void
1476\& clock_cb (struct ev_loop *loop, struct ev_io *w, int revents) 1586\& clock_cb (struct ev_loop *loop, struct ev_io *w, int revents)
1477\& { 1587\& {
1478\& ... its now a full hour (UTC, or TAI or whatever your clock follows) 1588\& ... its now a full hour (UTC, or TAI or whatever your clock follows)
1479\& } 1589\& }
1480.Ve 1590\&
1481.PP
1482.Vb 3
1483\& struct ev_periodic hourly_tick; 1591\& struct ev_periodic hourly_tick;
1484\& ev_periodic_init (&hourly_tick, clock_cb, 0., 3600., 0); 1592\& ev_periodic_init (&hourly_tick, clock_cb, 0., 3600., 0);
1485\& ev_periodic_start (loop, &hourly_tick); 1593\& ev_periodic_start (loop, &hourly_tick);
1486.Ve 1594.Ve
1487.PP 1595.PP
1488Example: The same as above, but use a reschedule callback to do it: 1596Example: The same as above, but use a reschedule callback to do it:
1489.PP 1597.PP
1490.Vb 1 1598.Vb 1
1491\& #include <math.h> 1599\& #include <math.h>
1492.Ve 1600\&
1493.PP
1494.Vb 5
1495\& static ev_tstamp 1601\& static ev_tstamp
1496\& my_scheduler_cb (struct ev_periodic *w, ev_tstamp now) 1602\& my_scheduler_cb (struct ev_periodic *w, ev_tstamp now)
1497\& { 1603\& {
1498\& return fmod (now, 3600.) + 3600.; 1604\& return fmod (now, 3600.) + 3600.;
1499\& } 1605\& }
1500.Ve 1606\&
1501.PP
1502.Vb 1
1503\& ev_periodic_init (&hourly_tick, clock_cb, 0., 0., my_scheduler_cb); 1607\& ev_periodic_init (&hourly_tick, clock_cb, 0., 0., my_scheduler_cb);
1504.Ve 1608.Ve
1505.PP 1609.PP
1506Example: Call a callback every hour, starting now: 1610Example: Call a callback every hour, starting now:
1507.PP 1611.PP
1523first watcher gets started will libev actually register a signal watcher 1627first watcher gets started will libev actually register a signal watcher
1524with the kernel (thus it coexists with your own signal handlers as long 1628with the kernel (thus it coexists with your own signal handlers as long
1525as you don't register any with libev). Similarly, when the last signal 1629as you don't register any with libev). Similarly, when the last signal
1526watcher for a signal is stopped libev will reset the signal handler to 1630watcher for a signal is stopped libev will reset the signal handler to
1527\&\s-1SIG_DFL\s0 (regardless of what it was set to before). 1631\&\s-1SIG_DFL\s0 (regardless of what it was set to before).
1632.PP
1633If possible and supported, libev will install its handlers with
1634\&\f(CW\*(C`SA_RESTART\*(C'\fR behaviour enabled, so syscalls should not be unduly
1635interrupted. If you have a problem with syscalls getting interrupted by
1636signals you can block all signals in an \f(CW\*(C`ev_check\*(C'\fR watcher and unblock
1637them in an \f(CW\*(C`ev_prepare\*(C'\fR watcher.
1528.PP 1638.PP
1529\fIWatcher-Specific Functions and Data Members\fR 1639\fIWatcher-Specific Functions and Data Members\fR
1530.IX Subsection "Watcher-Specific Functions and Data Members" 1640.IX Subsection "Watcher-Specific Functions and Data Members"
1531.IP "ev_signal_init (ev_signal *, callback, int signum)" 4 1641.IP "ev_signal_init (ev_signal *, callback, int signum)" 4
1532.IX Item "ev_signal_init (ev_signal *, callback, int signum)" 1642.IX Item "ev_signal_init (ev_signal *, callback, int signum)"
1537Configures the watcher to trigger on the given signal number (usually one 1647Configures the watcher to trigger on the given signal number (usually one
1538of the \f(CW\*(C`SIGxxx\*(C'\fR constants). 1648of the \f(CW\*(C`SIGxxx\*(C'\fR constants).
1539.IP "int signum [read\-only]" 4 1649.IP "int signum [read\-only]" 4
1540.IX Item "int signum [read-only]" 1650.IX Item "int signum [read-only]"
1541The signal the watcher watches out for. 1651The signal the watcher watches out for.
1652.PP
1653\fIExamples\fR
1654.IX Subsection "Examples"
1655.PP
1656Example: Try to exit cleanly on \s-1SIGINT\s0 and \s-1SIGTERM\s0.
1657.PP
1658.Vb 5
1659\& static void
1660\& sigint_cb (struct ev_loop *loop, struct ev_signal *w, int revents)
1661\& {
1662\& ev_unloop (loop, EVUNLOOP_ALL);
1663\& }
1664\&
1665\& struct ev_signal signal_watcher;
1666\& ev_signal_init (&signal_watcher, sigint_cb, SIGINT);
1667\& ev_signal_start (loop, &sigint_cb);
1668.Ve
1542.ie n .Sh """ev_child"" \- watch out for process status changes" 1669.ie n .Sh """ev_child"" \- watch out for process status changes"
1543.el .Sh "\f(CWev_child\fP \- watch out for process status changes" 1670.el .Sh "\f(CWev_child\fP \- watch out for process status changes"
1544.IX Subsection "ev_child - watch out for process status changes" 1671.IX Subsection "ev_child - watch out for process status changes"
1545Child watchers trigger when your process receives a \s-1SIGCHLD\s0 in response to 1672Child watchers trigger when your process receives a \s-1SIGCHLD\s0 in response to
1546some child status changes (most typically when a child of yours dies). 1673some child status changes (most typically when a child of yours dies). It
1674is permissible to install a child watcher \fIafter\fR the child has been
1675forked (which implies it might have already exited), as long as the event
1676loop isn't entered (or is continued from a watcher).
1677.PP
1678Only the default event loop is capable of handling signals, and therefore
1679you can only rgeister child watchers in the default event loop.
1680.PP
1681\fIProcess Interaction\fR
1682.IX Subsection "Process Interaction"
1683.PP
1684Libev grabs \f(CW\*(C`SIGCHLD\*(C'\fR as soon as the default event loop is
1685initialised. This is necessary to guarantee proper behaviour even if
1686the first child watcher is started after the child exits. The occurance
1687of \f(CW\*(C`SIGCHLD\*(C'\fR is recorded asynchronously, but child reaping is done
1688synchronously as part of the event loop processing. Libev always reaps all
1689children, even ones not watched.
1690.PP
1691\fIOverriding the Built-In Processing\fR
1692.IX Subsection "Overriding the Built-In Processing"
1693.PP
1694Libev offers no special support for overriding the built-in child
1695processing, but if your application collides with libev's default child
1696handler, you can override it easily by installing your own handler for
1697\&\f(CW\*(C`SIGCHLD\*(C'\fR after initialising the default loop, and making sure the
1698default loop never gets destroyed. You are encouraged, however, to use an
1699event-based approach to child reaping and thus use libev's support for
1700that, so other libev users can use \f(CW\*(C`ev_child\*(C'\fR watchers freely.
1547.PP 1701.PP
1548\fIWatcher-Specific Functions and Data Members\fR 1702\fIWatcher-Specific Functions and Data Members\fR
1549.IX Subsection "Watcher-Specific Functions and Data Members" 1703.IX Subsection "Watcher-Specific Functions and Data Members"
1550.IP "ev_child_init (ev_child *, callback, int pid)" 4 1704.IP "ev_child_init (ev_child *, callback, int pid, int trace)" 4
1551.IX Item "ev_child_init (ev_child *, callback, int pid)" 1705.IX Item "ev_child_init (ev_child *, callback, int pid, int trace)"
1552.PD 0 1706.PD 0
1553.IP "ev_child_set (ev_child *, int pid)" 4 1707.IP "ev_child_set (ev_child *, int pid, int trace)" 4
1554.IX Item "ev_child_set (ev_child *, int pid)" 1708.IX Item "ev_child_set (ev_child *, int pid, int trace)"
1555.PD 1709.PD
1556Configures the watcher to wait for status changes of process \f(CW\*(C`pid\*(C'\fR (or 1710Configures the watcher to wait for status changes of process \f(CW\*(C`pid\*(C'\fR (or
1557\&\fIany\fR process if \f(CW\*(C`pid\*(C'\fR is specified as \f(CW0\fR). The callback can look 1711\&\fIany\fR process if \f(CW\*(C`pid\*(C'\fR is specified as \f(CW0\fR). The callback can look
1558at the \f(CW\*(C`rstatus\*(C'\fR member of the \f(CW\*(C`ev_child\*(C'\fR watcher structure to see 1712at the \f(CW\*(C`rstatus\*(C'\fR member of the \f(CW\*(C`ev_child\*(C'\fR watcher structure to see
1559the status word (use the macros from \f(CW\*(C`sys/wait.h\*(C'\fR and see your systems 1713the status word (use the macros from \f(CW\*(C`sys/wait.h\*(C'\fR and see your systems
1560\&\f(CW\*(C`waitpid\*(C'\fR documentation). The \f(CW\*(C`rpid\*(C'\fR member contains the pid of the 1714\&\f(CW\*(C`waitpid\*(C'\fR documentation). The \f(CW\*(C`rpid\*(C'\fR member contains the pid of the
1561process causing the status change. 1715process causing the status change. \f(CW\*(C`trace\*(C'\fR must be either \f(CW0\fR (only
1716activate the watcher when the process terminates) or \f(CW1\fR (additionally
1717activate the watcher when the process is stopped or continued).
1562.IP "int pid [read\-only]" 4 1718.IP "int pid [read\-only]" 4
1563.IX Item "int pid [read-only]" 1719.IX Item "int pid [read-only]"
1564The process id this watcher watches out for, or \f(CW0\fR, meaning any process id. 1720The process id this watcher watches out for, or \f(CW0\fR, meaning any process id.
1565.IP "int rpid [read\-write]" 4 1721.IP "int rpid [read\-write]" 4
1566.IX Item "int rpid [read-write]" 1722.IX Item "int rpid [read-write]"
1568.IP "int rstatus [read\-write]" 4 1724.IP "int rstatus [read\-write]" 4
1569.IX Item "int rstatus [read-write]" 1725.IX Item "int rstatus [read-write]"
1570The process exit/trace status caused by \f(CW\*(C`rpid\*(C'\fR (see your systems 1726The process exit/trace status caused by \f(CW\*(C`rpid\*(C'\fR (see your systems
1571\&\f(CW\*(C`waitpid\*(C'\fR and \f(CW\*(C`sys/wait.h\*(C'\fR documentation for details). 1727\&\f(CW\*(C`waitpid\*(C'\fR and \f(CW\*(C`sys/wait.h\*(C'\fR documentation for details).
1572.PP 1728.PP
1573Example: Try to exit cleanly on \s-1SIGINT\s0 and \s-1SIGTERM\s0. 1729\fIExamples\fR
1730.IX Subsection "Examples"
1574.PP 1731.PP
1732Example: \f(CW\*(C`fork()\*(C'\fR a new process and install a child handler to wait for
1733its completion.
1734.PP
1575.Vb 5 1735.Vb 1
1736\& ev_child cw;
1737\&
1576\& static void 1738\& static void
1577\& sigint_cb (struct ev_loop *loop, struct ev_signal *w, int revents) 1739\& child_cb (EV_P_ struct ev_child *w, int revents)
1578\& { 1740\& {
1579\& ev_unloop (loop, EVUNLOOP_ALL); 1741\& ev_child_stop (EV_A_ w);
1742\& printf ("process %d exited with status %x\en", w\->rpid, w\->rstatus);
1580\& } 1743\& }
1581.Ve 1744\&
1582.PP 1745\& pid_t pid = fork ();
1583.Vb 3 1746\&
1584\& struct ev_signal signal_watcher; 1747\& if (pid < 0)
1585\& ev_signal_init (&signal_watcher, sigint_cb, SIGINT); 1748\& // error
1586\& ev_signal_start (loop, &sigint_cb); 1749\& else if (pid == 0)
1750\& {
1751\& // the forked child executes here
1752\& exit (1);
1753\& }
1754\& else
1755\& {
1756\& ev_child_init (&cw, child_cb, pid, 0);
1757\& ev_child_start (EV_DEFAULT_ &cw);
1758\& }
1587.Ve 1759.Ve
1588.ie n .Sh """ev_stat"" \- did the file attributes just change?" 1760.ie n .Sh """ev_stat"" \- did the file attributes just change?"
1589.el .Sh "\f(CWev_stat\fP \- did the file attributes just change?" 1761.el .Sh "\f(CWev_stat\fP \- did the file attributes just change?"
1590.IX Subsection "ev_stat - did the file attributes just change?" 1762.IX Subsection "ev_stat - did the file attributes just change?"
1591This watches a filesystem path for attribute changes. That is, it calls 1763This watches a filesystem path for attribute changes. That is, it calls
1610impose a minimum interval which is currently around \f(CW0.1\fR, but thats 1782impose a minimum interval which is currently around \f(CW0.1\fR, but thats
1611usually overkill. 1783usually overkill.
1612.PP 1784.PP
1613This watcher type is not meant for massive numbers of stat watchers, 1785This watcher type is not meant for massive numbers of stat watchers,
1614as even with OS-supported change notifications, this can be 1786as even with OS-supported change notifications, this can be
1615resource\-intensive. 1787resource-intensive.
1616.PP 1788.PP
1617At the time of this writing, only the Linux inotify interface is 1789At the time of this writing, only the Linux inotify interface is
1618implemented (implementing kqueue support is left as an exercise for the 1790implemented (implementing kqueue support is left as an exercise for the
1791reader, note, however, that the author sees no way of implementing ev_stat
1619reader). Inotify will be used to give hints only and should not change the 1792semantics with kqueue). Inotify will be used to give hints only and should
1620semantics of \f(CW\*(C`ev_stat\*(C'\fR watchers, which means that libev sometimes needs 1793not change the semantics of \f(CW\*(C`ev_stat\*(C'\fR watchers, which means that libev
1621to fall back to regular polling again even with inotify, but changes are 1794sometimes needs to fall back to regular polling again even with inotify,
1622usually detected immediately, and if the file exists there will be no 1795but changes are usually detected immediately, and if the file exists there
1623polling. 1796will be no polling.
1797.PP
1798\fI\s-1ABI\s0 Issues (Largefile Support)\fR
1799.IX Subsection "ABI Issues (Largefile Support)"
1800.PP
1801Libev by default (unless the user overrides this) uses the default
1802compilation environment, which means that on systems with optionally
1803disabled large file support, you get the 32 bit version of the stat
1804structure. When using the library from programs that change the \s-1ABI\s0 to
1805use 64 bit file offsets the programs will fail. In that case you have to
1806compile libev with the same flags to get binary compatibility. This is
1807obviously the case with any flags that change the \s-1ABI\s0, but the problem is
1808most noticably with ev_stat and largefile support.
1809.PP
1810\fIInotify\fR
1811.IX Subsection "Inotify"
1812.PP
1813When \f(CW\*(C`inotify (7)\*(C'\fR support has been compiled into libev (generally only
1814available on Linux) and present at runtime, it will be used to speed up
1815change detection where possible. The inotify descriptor will be created lazily
1816when the first \f(CW\*(C`ev_stat\*(C'\fR watcher is being started.
1817.PP
1818Inotify presence does not change the semantics of \f(CW\*(C`ev_stat\*(C'\fR watchers
1819except that changes might be detected earlier, and in some cases, to avoid
1820making regular \f(CW\*(C`stat\*(C'\fR calls. Even in the presence of inotify support
1821there are many cases where libev has to resort to regular \f(CW\*(C`stat\*(C'\fR polling.
1822.PP
1823(There is no support for kqueue, as apparently it cannot be used to
1824implement this functionality, due to the requirement of having a file
1825descriptor open on the object at all times).
1826.PP
1827\fIThe special problem of stat time resolution\fR
1828.IX Subsection "The special problem of stat time resolution"
1829.PP
1830The \f(CW\*(C`stat ()\*(C'\fR syscall only supports full-second resolution portably, and
1831even on systems where the resolution is higher, many filesystems still
1832only support whole seconds.
1833.PP
1834That means that, if the time is the only thing that changes, you can
1835easily miss updates: on the first update, \f(CW\*(C`ev_stat\*(C'\fR detects a change and
1836calls your callback, which does something. When there is another update
1837within the same second, \f(CW\*(C`ev_stat\*(C'\fR will be unable to detect it as the stat
1838data does not change.
1839.PP
1840The solution to this is to delay acting on a change for slightly more
1841than a second (or till slightly after the next full second boundary), using
1842a roughly one-second-delay \f(CW\*(C`ev_timer\*(C'\fR (e.g. \f(CW\*(C`ev_timer_set (w, 0., 1.02);
1843ev_timer_again (loop, w)\*(C'\fR).
1844.PP
1845The \f(CW.02\fR offset is added to work around small timing inconsistencies
1846of some operating systems (where the second counter of the current time
1847might be be delayed. One such system is the Linux kernel, where a call to
1848\&\f(CW\*(C`gettimeofday\*(C'\fR might return a timestamp with a full second later than
1849a subsequent \f(CW\*(C`time\*(C'\fR call \- if the equivalent of \f(CW\*(C`time ()\*(C'\fR is used to
1850update file times then there will be a small window where the kernel uses
1851the previous second to update file times but libev might already execute
1852the timer callback).
1624.PP 1853.PP
1625\fIWatcher-Specific Functions and Data Members\fR 1854\fIWatcher-Specific Functions and Data Members\fR
1626.IX Subsection "Watcher-Specific Functions and Data Members" 1855.IX Subsection "Watcher-Specific Functions and Data Members"
1627.IP "ev_stat_init (ev_stat *, callback, const char *path, ev_tstamp interval)" 4 1856.IP "ev_stat_init (ev_stat *, callback, const char *path, ev_tstamp interval)" 4
1628.IX Item "ev_stat_init (ev_stat *, callback, const char *path, ev_tstamp interval)" 1857.IX Item "ev_stat_init (ev_stat *, callback, const char *path, ev_tstamp interval)"
1634\&\f(CW\*(C`path\*(C'\fR. The \f(CW\*(C`interval\*(C'\fR is a hint on how quickly a change is expected to 1863\&\f(CW\*(C`path\*(C'\fR. The \f(CW\*(C`interval\*(C'\fR is a hint on how quickly a change is expected to
1635be detected and should normally be specified as \f(CW0\fR to let libev choose 1864be detected and should normally be specified as \f(CW0\fR to let libev choose
1636a suitable value. The memory pointed to by \f(CW\*(C`path\*(C'\fR must point to the same 1865a suitable value. The memory pointed to by \f(CW\*(C`path\*(C'\fR must point to the same
1637path for as long as the watcher is active. 1866path for as long as the watcher is active.
1638.Sp 1867.Sp
1639The callback will be receive \f(CW\*(C`EV_STAT\*(C'\fR when a change was detected, 1868The callback will receive \f(CW\*(C`EV_STAT\*(C'\fR when a change was detected, relative
1640relative to the attributes at the time the watcher was started (or the 1869to the attributes at the time the watcher was started (or the last change
1641last change was detected). 1870was detected).
1642.IP "ev_stat_stat (ev_stat *)" 4 1871.IP "ev_stat_stat (loop, ev_stat *)" 4
1643.IX Item "ev_stat_stat (ev_stat *)" 1872.IX Item "ev_stat_stat (loop, ev_stat *)"
1644Updates the stat buffer immediately with new values. If you change the 1873Updates the stat buffer immediately with new values. If you change the
1645watched path in your callback, you could call this fucntion to avoid 1874watched path in your callback, you could call this function to avoid
1646detecting this change (while introducing a race condition). Can also be 1875detecting this change (while introducing a race condition if you are not
1647useful simply to find out the new values. 1876the only one changing the path). Can also be useful simply to find out the
1877new values.
1648.IP "ev_statdata attr [read\-only]" 4 1878.IP "ev_statdata attr [read\-only]" 4
1649.IX Item "ev_statdata attr [read-only]" 1879.IX Item "ev_statdata attr [read-only]"
1650The most-recently detected attributes of the file. Although the type is of 1880The most-recently detected attributes of the file. Although the type is
1651\&\f(CW\*(C`ev_statdata\*(C'\fR, this is usually the (or one of the) \f(CW\*(C`struct stat\*(C'\fR types 1881\&\f(CW\*(C`ev_statdata\*(C'\fR, this is usually the (or one of the) \f(CW\*(C`struct stat\*(C'\fR types
1882suitable for your system, but you can only rely on the POSIX-standardised
1652suitable for your system. If the \f(CW\*(C`st_nlink\*(C'\fR member is \f(CW0\fR, then there 1883members to be present. If the \f(CW\*(C`st_nlink\*(C'\fR member is \f(CW0\fR, then there was
1653was some error while \f(CW\*(C`stat\*(C'\fRing the file. 1884some error while \f(CW\*(C`stat\*(C'\fRing the file.
1654.IP "ev_statdata prev [read\-only]" 4 1885.IP "ev_statdata prev [read\-only]" 4
1655.IX Item "ev_statdata prev [read-only]" 1886.IX Item "ev_statdata prev [read-only]"
1656The previous attributes of the file. The callback gets invoked whenever 1887The previous attributes of the file. The callback gets invoked whenever
1657\&\f(CW\*(C`prev\*(C'\fR != \f(CW\*(C`attr\*(C'\fR. 1888\&\f(CW\*(C`prev\*(C'\fR != \f(CW\*(C`attr\*(C'\fR, or, more precisely, one or more of these members
1889differ: \f(CW\*(C`st_dev\*(C'\fR, \f(CW\*(C`st_ino\*(C'\fR, \f(CW\*(C`st_mode\*(C'\fR, \f(CW\*(C`st_nlink\*(C'\fR, \f(CW\*(C`st_uid\*(C'\fR,
1890\&\f(CW\*(C`st_gid\*(C'\fR, \f(CW\*(C`st_rdev\*(C'\fR, \f(CW\*(C`st_size\*(C'\fR, \f(CW\*(C`st_atime\*(C'\fR, \f(CW\*(C`st_mtime\*(C'\fR, \f(CW\*(C`st_ctime\*(C'\fR.
1658.IP "ev_tstamp interval [read\-only]" 4 1891.IP "ev_tstamp interval [read\-only]" 4
1659.IX Item "ev_tstamp interval [read-only]" 1892.IX Item "ev_tstamp interval [read-only]"
1660The specified interval. 1893The specified interval.
1661.IP "const char *path [read\-only]" 4 1894.IP "const char *path [read\-only]" 4
1662.IX Item "const char *path [read-only]" 1895.IX Item "const char *path [read-only]"
1663The filesystem path that is being watched. 1896The filesystem path that is being watched.
1664.PP 1897.PP
1898\fIExamples\fR
1899.IX Subsection "Examples"
1900.PP
1665Example: Watch \f(CW\*(C`/etc/passwd\*(C'\fR for attribute changes. 1901Example: Watch \f(CW\*(C`/etc/passwd\*(C'\fR for attribute changes.
1666.PP 1902.PP
1667.Vb 15 1903.Vb 10
1668\& static void 1904\& static void
1669\& passwd_cb (struct ev_loop *loop, ev_stat *w, int revents) 1905\& passwd_cb (struct ev_loop *loop, ev_stat *w, int revents)
1670\& { 1906\& {
1671\& /* /etc/passwd changed in some way */ 1907\& /* /etc/passwd changed in some way */
1672\& if (w->attr.st_nlink) 1908\& if (w\->attr.st_nlink)
1673\& { 1909\& {
1674\& printf ("passwd current size %ld\en", (long)w->attr.st_size); 1910\& printf ("passwd current size %ld\en", (long)w\->attr.st_size);
1675\& printf ("passwd current atime %ld\en", (long)w->attr.st_mtime); 1911\& printf ("passwd current atime %ld\en", (long)w\->attr.st_mtime);
1676\& printf ("passwd current mtime %ld\en", (long)w->attr.st_mtime); 1912\& printf ("passwd current mtime %ld\en", (long)w\->attr.st_mtime);
1677\& } 1913\& }
1678\& else 1914\& else
1679\& /* you shalt not abuse printf for puts */ 1915\& /* you shalt not abuse printf for puts */
1680\& puts ("wow, /etc/passwd is not there, expect problems. " 1916\& puts ("wow, /etc/passwd is not there, expect problems. "
1681\& "if this is windows, they already arrived\en"); 1917\& "if this is windows, they already arrived\en");
1682\& } 1918\& }
1683.Ve 1919\&
1684.PP
1685.Vb 2
1686\& ... 1920\& ...
1687\& ev_stat passwd; 1921\& ev_stat passwd;
1922\&
1923\& ev_stat_init (&passwd, passwd_cb, "/etc/passwd", 0.);
1924\& ev_stat_start (loop, &passwd);
1688.Ve 1925.Ve
1926.PP
1927Example: Like above, but additionally use a one-second delay so we do not
1928miss updates (however, frequent updates will delay processing, too, so
1929one might do the work both on \f(CW\*(C`ev_stat\*(C'\fR callback invocation \fIand\fR on
1930\&\f(CW\*(C`ev_timer\*(C'\fR callback invocation).
1689.PP 1931.PP
1690.Vb 2 1932.Vb 2
1933\& static ev_stat passwd;
1934\& static ev_timer timer;
1935\&
1936\& static void
1937\& timer_cb (EV_P_ ev_timer *w, int revents)
1938\& {
1939\& ev_timer_stop (EV_A_ w);
1940\&
1941\& /* now it\*(Aqs one second after the most recent passwd change */
1942\& }
1943\&
1944\& static void
1945\& stat_cb (EV_P_ ev_stat *w, int revents)
1946\& {
1947\& /* reset the one\-second timer */
1948\& ev_timer_again (EV_A_ &timer);
1949\& }
1950\&
1951\& ...
1691\& ev_stat_init (&passwd, passwd_cb, "/etc/passwd"); 1952\& ev_stat_init (&passwd, stat_cb, "/etc/passwd", 0.);
1692\& ev_stat_start (loop, &passwd); 1953\& ev_stat_start (loop, &passwd);
1954\& ev_timer_init (&timer, timer_cb, 0., 1.02);
1693.Ve 1955.Ve
1694.ie n .Sh """ev_idle"" \- when you've got nothing better to do..." 1956.ie n .Sh """ev_idle"" \- when you've got nothing better to do..."
1695.el .Sh "\f(CWev_idle\fP \- when you've got nothing better to do..." 1957.el .Sh "\f(CWev_idle\fP \- when you've got nothing better to do..."
1696.IX Subsection "ev_idle - when you've got nothing better to do..." 1958.IX Subsection "ev_idle - when you've got nothing better to do..."
1697Idle watchers trigger events when no other events of the same or higher 1959Idle watchers trigger events when no other events of the same or higher
1708The most noteworthy effect is that as long as any idle watchers are 1970The most noteworthy effect is that as long as any idle watchers are
1709active, the process will not block when waiting for new events. 1971active, the process will not block when waiting for new events.
1710.PP 1972.PP
1711Apart from keeping your process non-blocking (which is a useful 1973Apart from keeping your process non-blocking (which is a useful
1712effect on its own sometimes), idle watchers are a good place to do 1974effect on its own sometimes), idle watchers are a good place to do
1713\&\*(L"pseudo\-background processing\*(R", or delay processing stuff to after the 1975\&\*(L"pseudo-background processing\*(R", or delay processing stuff to after the
1714event loop has handled all outstanding events. 1976event loop has handled all outstanding events.
1715.PP 1977.PP
1716\fIWatcher-Specific Functions and Data Members\fR 1978\fIWatcher-Specific Functions and Data Members\fR
1717.IX Subsection "Watcher-Specific Functions and Data Members" 1979.IX Subsection "Watcher-Specific Functions and Data Members"
1718.IP "ev_idle_init (ev_signal *, callback)" 4 1980.IP "ev_idle_init (ev_signal *, callback)" 4
1719.IX Item "ev_idle_init (ev_signal *, callback)" 1981.IX Item "ev_idle_init (ev_signal *, callback)"
1720Initialises and configures the idle watcher \- it has no parameters of any 1982Initialises and configures the idle watcher \- it has no parameters of any
1721kind. There is a \f(CW\*(C`ev_idle_set\*(C'\fR macro, but using it is utterly pointless, 1983kind. There is a \f(CW\*(C`ev_idle_set\*(C'\fR macro, but using it is utterly pointless,
1722believe me. 1984believe me.
1723.PP 1985.PP
1986\fIExamples\fR
1987.IX Subsection "Examples"
1988.PP
1724Example: Dynamically allocate an \f(CW\*(C`ev_idle\*(C'\fR watcher, start it, and in the 1989Example: Dynamically allocate an \f(CW\*(C`ev_idle\*(C'\fR watcher, start it, and in the
1725callback, free it. Also, use no error checking, as usual. 1990callback, free it. Also, use no error checking, as usual.
1726.PP 1991.PP
1727.Vb 7 1992.Vb 7
1728\& static void 1993\& static void
1729\& idle_cb (struct ev_loop *loop, struct ev_idle *w, int revents) 1994\& idle_cb (struct ev_loop *loop, struct ev_idle *w, int revents)
1730\& { 1995\& {
1731\& free (w); 1996\& free (w);
1732\& // now do something you wanted to do when the program has 1997\& // now do something you wanted to do when the program has
1733\& // no longer asnything immediate to do. 1998\& // no longer anything immediate to do.
1734\& } 1999\& }
1735.Ve 2000\&
1736.PP
1737.Vb 3
1738\& struct ev_idle *idle_watcher = malloc (sizeof (struct ev_idle)); 2001\& struct ev_idle *idle_watcher = malloc (sizeof (struct ev_idle));
1739\& ev_idle_init (idle_watcher, idle_cb); 2002\& ev_idle_init (idle_watcher, idle_cb);
1740\& ev_idle_start (loop, idle_cb); 2003\& ev_idle_start (loop, idle_cb);
1741.Ve 2004.Ve
1742.ie n .Sh """ev_prepare""\fP and \f(CW""ev_check"" \- customise your event loop!" 2005.ie n .Sh """ev_prepare""\fP and \f(CW""ev_check"" \- customise your event loop!"
1782.PP 2045.PP
1783It is recommended to give \f(CW\*(C`ev_check\*(C'\fR watchers highest (\f(CW\*(C`EV_MAXPRI\*(C'\fR) 2046It is recommended to give \f(CW\*(C`ev_check\*(C'\fR watchers highest (\f(CW\*(C`EV_MAXPRI\*(C'\fR)
1784priority, to ensure that they are being run before any other watchers 2047priority, to ensure that they are being run before any other watchers
1785after the poll. Also, \f(CW\*(C`ev_check\*(C'\fR watchers (and \f(CW\*(C`ev_prepare\*(C'\fR watchers, 2048after the poll. Also, \f(CW\*(C`ev_check\*(C'\fR watchers (and \f(CW\*(C`ev_prepare\*(C'\fR watchers,
1786too) should not activate (\*(L"feed\*(R") events into libev. While libev fully 2049too) should not activate (\*(L"feed\*(R") events into libev. While libev fully
1787supports this, they will be called before other \f(CW\*(C`ev_check\*(C'\fR watchers did 2050supports this, they might get executed before other \f(CW\*(C`ev_check\*(C'\fR watchers
1788their job. As \f(CW\*(C`ev_check\*(C'\fR watchers are often used to embed other event 2051did their job. As \f(CW\*(C`ev_check\*(C'\fR watchers are often used to embed other
1789loops those other event loops might be in an unusable state until their 2052(non-libev) event loops those other event loops might be in an unusable
1790\&\f(CW\*(C`ev_check\*(C'\fR watcher ran (always remind yourself to coexist peacefully with 2053state until their \f(CW\*(C`ev_check\*(C'\fR watcher ran (always remind yourself to
1791others). 2054coexist peacefully with others).
1792.PP 2055.PP
1793\fIWatcher-Specific Functions and Data Members\fR 2056\fIWatcher-Specific Functions and Data Members\fR
1794.IX Subsection "Watcher-Specific Functions and Data Members" 2057.IX Subsection "Watcher-Specific Functions and Data Members"
1795.IP "ev_prepare_init (ev_prepare *, callback)" 4 2058.IP "ev_prepare_init (ev_prepare *, callback)" 4
1796.IX Item "ev_prepare_init (ev_prepare *, callback)" 2059.IX Item "ev_prepare_init (ev_prepare *, callback)"
1800.PD 2063.PD
1801Initialises and configures the prepare or check watcher \- they have no 2064Initialises and configures the prepare or check watcher \- they have no
1802parameters of any kind. There are \f(CW\*(C`ev_prepare_set\*(C'\fR and \f(CW\*(C`ev_check_set\*(C'\fR 2065parameters of any kind. There are \f(CW\*(C`ev_prepare_set\*(C'\fR and \f(CW\*(C`ev_check_set\*(C'\fR
1803macros, but using them is utterly, utterly and completely pointless. 2066macros, but using them is utterly, utterly and completely pointless.
1804.PP 2067.PP
2068\fIExamples\fR
2069.IX Subsection "Examples"
2070.PP
1805There are a number of principal ways to embed other event loops or modules 2071There are a number of principal ways to embed other event loops or modules
1806into libev. Here are some ideas on how to include libadns into libev 2072into libev. Here are some ideas on how to include libadns into libev
1807(there is a Perl module named \f(CW\*(C`EV::ADNS\*(C'\fR that does this, which you could 2073(there is a Perl module named \f(CW\*(C`EV::ADNS\*(C'\fR that does this, which you could
1808use for an actually working example. Another Perl module named \f(CW\*(C`EV::Glib\*(C'\fR 2074use as a working example. Another Perl module named \f(CW\*(C`EV::Glib\*(C'\fR embeds a
1809embeds a Glib main context into libev, and finally, \f(CW\*(C`Glib::EV\*(C'\fR embeds \s-1EV\s0 2075Glib main context into libev, and finally, \f(CW\*(C`Glib::EV\*(C'\fR embeds \s-1EV\s0 into the
1810into the Glib event loop). 2076Glib event loop).
1811.PP 2077.PP
1812Method 1: Add \s-1IO\s0 watchers and a timeout watcher in a prepare handler, 2078Method 1: Add \s-1IO\s0 watchers and a timeout watcher in a prepare handler,
1813and in a check watcher, destroy them and call into libadns. What follows 2079and in a check watcher, destroy them and call into libadns. What follows
1814is pseudo-code only of course. This requires you to either use a low 2080is pseudo-code only of course. This requires you to either use a low
1815priority for the check watcher or use \f(CW\*(C`ev_clear_pending\*(C'\fR explicitly, as 2081priority for the check watcher or use \f(CW\*(C`ev_clear_pending\*(C'\fR explicitly, as
1816the callbacks for the IO/timeout watchers might not have been called yet. 2082the callbacks for the IO/timeout watchers might not have been called yet.
1817.PP 2083.PP
1818.Vb 2 2084.Vb 2
1819\& static ev_io iow [nfd]; 2085\& static ev_io iow [nfd];
1820\& static ev_timer tw; 2086\& static ev_timer tw;
1821.Ve 2087\&
1822.PP
1823.Vb 4
1824\& static void 2088\& static void
1825\& io_cb (ev_loop *loop, ev_io *w, int revents) 2089\& io_cb (ev_loop *loop, ev_io *w, int revents)
1826\& { 2090\& {
1827\& } 2091\& }
1828.Ve 2092\&
1829.PP
1830.Vb 8
1831\& // create io watchers for each fd and a timer before blocking 2093\& // create io watchers for each fd and a timer before blocking
1832\& static void 2094\& static void
1833\& adns_prepare_cb (ev_loop *loop, ev_prepare *w, int revents) 2095\& adns_prepare_cb (ev_loop *loop, ev_prepare *w, int revents)
1834\& { 2096\& {
1835\& int timeout = 3600000; 2097\& int timeout = 3600000;
1836\& struct pollfd fds [nfd]; 2098\& struct pollfd fds [nfd];
1837\& // actual code will need to loop here and realloc etc. 2099\& // actual code will need to loop here and realloc etc.
1838\& adns_beforepoll (ads, fds, &nfd, &timeout, timeval_from (ev_time ())); 2100\& adns_beforepoll (ads, fds, &nfd, &timeout, timeval_from (ev_time ()));
1839.Ve 2101\&
1840.PP
1841.Vb 3
1842\& /* the callback is illegal, but won't be called as we stop during check */ 2102\& /* the callback is illegal, but won\*(Aqt be called as we stop during check */
1843\& ev_timer_init (&tw, 0, timeout * 1e-3); 2103\& ev_timer_init (&tw, 0, timeout * 1e\-3);
1844\& ev_timer_start (loop, &tw); 2104\& ev_timer_start (loop, &tw);
1845.Ve 2105\&
1846.PP
1847.Vb 6
1848\& // create one ev_io per pollfd 2106\& // create one ev_io per pollfd
1849\& for (int i = 0; i < nfd; ++i) 2107\& for (int i = 0; i < nfd; ++i)
1850\& { 2108\& {
1851\& ev_io_init (iow + i, io_cb, fds [i].fd, 2109\& ev_io_init (iow + i, io_cb, fds [i].fd,
1852\& ((fds [i].events & POLLIN ? EV_READ : 0) 2110\& ((fds [i].events & POLLIN ? EV_READ : 0)
1853\& | (fds [i].events & POLLOUT ? EV_WRITE : 0))); 2111\& | (fds [i].events & POLLOUT ? EV_WRITE : 0)));
1854.Ve 2112\&
1855.PP
1856.Vb 4
1857\& fds [i].revents = 0; 2113\& fds [i].revents = 0;
1858\& ev_io_start (loop, iow + i); 2114\& ev_io_start (loop, iow + i);
1859\& } 2115\& }
1860\& } 2116\& }
1861.Ve 2117\&
1862.PP
1863.Vb 5
1864\& // stop all watchers after blocking 2118\& // stop all watchers after blocking
1865\& static void 2119\& static void
1866\& adns_check_cb (ev_loop *loop, ev_check *w, int revents) 2120\& adns_check_cb (ev_loop *loop, ev_check *w, int revents)
1867\& { 2121\& {
1868\& ev_timer_stop (loop, &tw); 2122\& ev_timer_stop (loop, &tw);
1869.Ve 2123\&
1870.PP
1871.Vb 8
1872\& for (int i = 0; i < nfd; ++i) 2124\& for (int i = 0; i < nfd; ++i)
1873\& { 2125\& {
1874\& // set the relevant poll flags 2126\& // set the relevant poll flags
1875\& // could also call adns_processreadable etc. here 2127\& // could also call adns_processreadable etc. here
1876\& struct pollfd *fd = fds + i; 2128\& struct pollfd *fd = fds + i;
1877\& int revents = ev_clear_pending (iow + i); 2129\& int revents = ev_clear_pending (iow + i);
1878\& if (revents & EV_READ ) fd->revents |= fd->events & POLLIN; 2130\& if (revents & EV_READ ) fd\->revents |= fd\->events & POLLIN;
1879\& if (revents & EV_WRITE) fd->revents |= fd->events & POLLOUT; 2131\& if (revents & EV_WRITE) fd\->revents |= fd\->events & POLLOUT;
1880.Ve 2132\&
1881.PP
1882.Vb 3
1883\& // now stop the watcher 2133\& // now stop the watcher
1884\& ev_io_stop (loop, iow + i); 2134\& ev_io_stop (loop, iow + i);
1885\& } 2135\& }
1886.Ve 2136\&
1887.PP
1888.Vb 2
1889\& adns_afterpoll (adns, fds, nfd, timeval_from (ev_now (loop)); 2137\& adns_afterpoll (adns, fds, nfd, timeval_from (ev_now (loop));
1890\& } 2138\& }
1891.Ve 2139.Ve
1892.PP 2140.PP
1893Method 2: This would be just like method 1, but you run \f(CW\*(C`adns_afterpoll\*(C'\fR 2141Method 2: This would be just like method 1, but you run \f(CW\*(C`adns_afterpoll\*(C'\fR
1899.PP 2147.PP
1900.Vb 5 2148.Vb 5
1901\& static void 2149\& static void
1902\& timer_cb (EV_P_ ev_timer *w, int revents) 2150\& timer_cb (EV_P_ ev_timer *w, int revents)
1903\& { 2151\& {
1904\& adns_state ads = (adns_state)w->data; 2152\& adns_state ads = (adns_state)w\->data;
1905\& update_now (EV_A); 2153\& update_now (EV_A);
1906.Ve 2154\&
1907.PP
1908.Vb 2
1909\& adns_processtimeouts (ads, &tv_now); 2155\& adns_processtimeouts (ads, &tv_now);
1910\& } 2156\& }
1911.Ve 2157\&
1912.PP
1913.Vb 5
1914\& static void 2158\& static void
1915\& io_cb (EV_P_ ev_io *w, int revents) 2159\& io_cb (EV_P_ ev_io *w, int revents)
1916\& { 2160\& {
1917\& adns_state ads = (adns_state)w->data; 2161\& adns_state ads = (adns_state)w\->data;
1918\& update_now (EV_A); 2162\& update_now (EV_A);
1919.Ve 2163\&
1920.PP
1921.Vb 3
1922\& if (revents & EV_READ ) adns_processreadable (ads, w->fd, &tv_now); 2164\& if (revents & EV_READ ) adns_processreadable (ads, w\->fd, &tv_now);
1923\& if (revents & EV_WRITE) adns_processwriteable (ads, w->fd, &tv_now); 2165\& if (revents & EV_WRITE) adns_processwriteable (ads, w\->fd, &tv_now);
1924\& } 2166\& }
1925.Ve 2167\&
1926.PP
1927.Vb 1
1928\& // do not ever call adns_afterpoll 2168\& // do not ever call adns_afterpoll
1929.Ve 2169.Ve
1930.PP 2170.PP
1931Method 4: Do not use a prepare or check watcher because the module you 2171Method 4: Do not use a prepare or check watcher because the module you
1932want to embed is too inflexible to support it. Instead, youc na override 2172want to embed is too inflexible to support it. Instead, youc na override
1937.Vb 4 2177.Vb 4
1938\& static gint 2178\& static gint
1939\& event_poll_func (GPollFD *fds, guint nfds, gint timeout) 2179\& event_poll_func (GPollFD *fds, guint nfds, gint timeout)
1940\& { 2180\& {
1941\& int got_events = 0; 2181\& int got_events = 0;
1942.Ve 2182\&
1943.PP
1944.Vb 2
1945\& for (n = 0; n < nfds; ++n) 2183\& for (n = 0; n < nfds; ++n)
1946\& // create/start io watcher that sets the relevant bits in fds[n] and increment got_events 2184\& // create/start io watcher that sets the relevant bits in fds[n] and increment got_events
1947.Ve 2185\&
1948.PP
1949.Vb 2
1950\& if (timeout >= 0) 2186\& if (timeout >= 0)
1951\& // create/start timer 2187\& // create/start timer
1952.Ve 2188\&
1953.PP
1954.Vb 2
1955\& // poll 2189\& // poll
1956\& ev_loop (EV_A_ 0); 2190\& ev_loop (EV_A_ 0);
1957.Ve 2191\&
1958.PP
1959.Vb 3
1960\& // stop timer again 2192\& // stop timer again
1961\& if (timeout >= 0) 2193\& if (timeout >= 0)
1962\& ev_timer_stop (EV_A_ &to); 2194\& ev_timer_stop (EV_A_ &to);
1963.Ve 2195\&
1964.PP
1965.Vb 3
1966\& // stop io watchers again - their callbacks should have set 2196\& // stop io watchers again \- their callbacks should have set
1967\& for (n = 0; n < nfds; ++n) 2197\& for (n = 0; n < nfds; ++n)
1968\& ev_io_stop (EV_A_ iow [n]); 2198\& ev_io_stop (EV_A_ iow [n]);
1969.Ve 2199\&
1970.PP
1971.Vb 2
1972\& return got_events; 2200\& return got_events;
1973\& } 2201\& }
1974.Ve 2202.Ve
1975.ie n .Sh """ev_embed"" \- when one backend isn't enough..." 2203.ie n .Sh """ev_embed"" \- when one backend isn't enough..."
1976.el .Sh "\f(CWev_embed\fP \- when one backend isn't enough..." 2204.el .Sh "\f(CWev_embed\fP \- when one backend isn't enough..."
1977.IX Subsection "ev_embed - when one backend isn't enough..." 2205.IX Subsection "ev_embed - when one backend isn't enough..."
1978This is a rather advanced watcher type that lets you embed one event loop 2206This is a rather advanced watcher type that lets you embed one event loop
1979into another (currently only \f(CW\*(C`ev_io\*(C'\fR events are supported in the embedded 2207into another (currently only \f(CW\*(C`ev_io\*(C'\fR events are supported in the embedded
1980loop, other types of watchers might be handled in a delayed or incorrect 2208loop, other types of watchers might be handled in a delayed or incorrect
1981fashion and must not be used). (See portability notes, below). 2209fashion and must not be used).
1982.PP 2210.PP
1983There are primarily two reasons you would want that: work around bugs and 2211There are primarily two reasons you would want that: work around bugs and
1984prioritise I/O. 2212prioritise I/O.
1985.PP 2213.PP
1986As an example for a bug workaround, the kqueue backend might only support 2214As an example for a bug workaround, the kqueue backend might only support
2020portable one. 2248portable one.
2021.PP 2249.PP
2022So when you want to use this feature you will always have to be prepared 2250So when you want to use this feature you will always have to be prepared
2023that you cannot get an embeddable loop. The recommended way to get around 2251that you cannot get an embeddable loop. The recommended way to get around
2024this is to have a separate variables for your embeddable loop, try to 2252this is to have a separate variables for your embeddable loop, try to
2025create it, and if that fails, use the normal loop for everything: 2253create it, and if that fails, use the normal loop for everything.
2026.PP
2027.Vb 3
2028\& struct ev_loop *loop_hi = ev_default_init (0);
2029\& struct ev_loop *loop_lo = 0;
2030\& struct ev_embed embed;
2031.Ve
2032.PP
2033.Vb 5
2034\& // see if there is a chance of getting one that works
2035\& // (remember that a flags value of 0 means autodetection)
2036\& loop_lo = ev_embeddable_backends () & ev_recommended_backends ()
2037\& ? ev_loop_new (ev_embeddable_backends () & ev_recommended_backends ())
2038\& : 0;
2039.Ve
2040.PP
2041.Vb 8
2042\& // if we got one, then embed it, otherwise default to loop_hi
2043\& if (loop_lo)
2044\& {
2045\& ev_embed_init (&embed, 0, loop_lo);
2046\& ev_embed_start (loop_hi, &embed);
2047\& }
2048\& else
2049\& loop_lo = loop_hi;
2050.Ve
2051.Sh "Portability notes"
2052.IX Subsection "Portability notes"
2053Kqueue is nominally embeddable, but this is broken on all BSDs that I
2054tried, in various ways. Usually the embedded event loop will simply never
2055receive events, sometimes it will only trigger a few times, sometimes in a
2056loop. Epoll is also nominally embeddable, but many Linux kernel versions
2057will always eport the epoll fd as ready, even when no events are pending.
2058.PP
2059While libev allows embedding these backends (they are contained in
2060\&\f(CW\*(C`ev_embeddable_backends ()\*(C'\fR), take extreme care that it will actually
2061work.
2062.PP
2063When in doubt, create a dynamic event loop forced to use sockets (this
2064usually works) and possibly another thread and a pipe or so to report to
2065your main event loop.
2066.PP 2254.PP
2067\fIWatcher-Specific Functions and Data Members\fR 2255\fIWatcher-Specific Functions and Data Members\fR
2068.IX Subsection "Watcher-Specific Functions and Data Members" 2256.IX Subsection "Watcher-Specific Functions and Data Members"
2069.IP "ev_embed_init (ev_embed *, callback, struct ev_loop *embedded_loop)" 4 2257.IP "ev_embed_init (ev_embed *, callback, struct ev_loop *embedded_loop)" 4
2070.IX Item "ev_embed_init (ev_embed *, callback, struct ev_loop *embedded_loop)" 2258.IX Item "ev_embed_init (ev_embed *, callback, struct ev_loop *embedded_loop)"
2083similarly to \f(CW\*(C`ev_loop (embedded_loop, EVLOOP_NONBLOCK)\*(C'\fR, but in the most 2271similarly to \f(CW\*(C`ev_loop (embedded_loop, EVLOOP_NONBLOCK)\*(C'\fR, but in the most
2084apropriate way for embedded loops. 2272apropriate way for embedded loops.
2085.IP "struct ev_loop *other [read\-only]" 4 2273.IP "struct ev_loop *other [read\-only]" 4
2086.IX Item "struct ev_loop *other [read-only]" 2274.IX Item "struct ev_loop *other [read-only]"
2087The embedded event loop. 2275The embedded event loop.
2276.PP
2277\fIExamples\fR
2278.IX Subsection "Examples"
2279.PP
2280Example: Try to get an embeddable event loop and embed it into the default
2281event loop. If that is not possible, use the default loop. The default
2282loop is stored in \f(CW\*(C`loop_hi\*(C'\fR, while the mebeddable loop is stored in
2283\&\f(CW\*(C`loop_lo\*(C'\fR (which is \f(CW\*(C`loop_hi\*(C'\fR in the acse no embeddable loop can be
2284used).
2285.PP
2286.Vb 3
2287\& struct ev_loop *loop_hi = ev_default_init (0);
2288\& struct ev_loop *loop_lo = 0;
2289\& struct ev_embed embed;
2290\&
2291\& // see if there is a chance of getting one that works
2292\& // (remember that a flags value of 0 means autodetection)
2293\& loop_lo = ev_embeddable_backends () & ev_recommended_backends ()
2294\& ? ev_loop_new (ev_embeddable_backends () & ev_recommended_backends ())
2295\& : 0;
2296\&
2297\& // if we got one, then embed it, otherwise default to loop_hi
2298\& if (loop_lo)
2299\& {
2300\& ev_embed_init (&embed, 0, loop_lo);
2301\& ev_embed_start (loop_hi, &embed);
2302\& }
2303\& else
2304\& loop_lo = loop_hi;
2305.Ve
2306.PP
2307Example: Check if kqueue is available but not recommended and create
2308a kqueue backend for use with sockets (which usually work with any
2309kqueue implementation). Store the kqueue/socket\-only event loop in
2310\&\f(CW\*(C`loop_socket\*(C'\fR. (One might optionally use \f(CW\*(C`EVFLAG_NOENV\*(C'\fR, too).
2311.PP
2312.Vb 3
2313\& struct ev_loop *loop = ev_default_init (0);
2314\& struct ev_loop *loop_socket = 0;
2315\& struct ev_embed embed;
2316\&
2317\& if (ev_supported_backends () & ~ev_recommended_backends () & EVBACKEND_KQUEUE)
2318\& if ((loop_socket = ev_loop_new (EVBACKEND_KQUEUE))
2319\& {
2320\& ev_embed_init (&embed, 0, loop_socket);
2321\& ev_embed_start (loop, &embed);
2322\& }
2323\&
2324\& if (!loop_socket)
2325\& loop_socket = loop;
2326\&
2327\& // now use loop_socket for all sockets, and loop for everything else
2328.Ve
2088.ie n .Sh """ev_fork"" \- the audacity to resume the event loop after a fork" 2329.ie n .Sh """ev_fork"" \- the audacity to resume the event loop after a fork"
2089.el .Sh "\f(CWev_fork\fP \- the audacity to resume the event loop after a fork" 2330.el .Sh "\f(CWev_fork\fP \- the audacity to resume the event loop after a fork"
2090.IX Subsection "ev_fork - the audacity to resume the event loop after a fork" 2331.IX Subsection "ev_fork - the audacity to resume the event loop after a fork"
2091Fork watchers are called when a \f(CW\*(C`fork ()\*(C'\fR was detected (usually because 2332Fork watchers are called when a \f(CW\*(C`fork ()\*(C'\fR was detected (usually because
2092whoever is a good citizen cared to tell libev about it by calling 2333whoever is a good citizen cared to tell libev about it by calling
2101.IP "ev_fork_init (ev_signal *, callback)" 4 2342.IP "ev_fork_init (ev_signal *, callback)" 4
2102.IX Item "ev_fork_init (ev_signal *, callback)" 2343.IX Item "ev_fork_init (ev_signal *, callback)"
2103Initialises and configures the fork watcher \- it has no parameters of any 2344Initialises and configures the fork watcher \- it has no parameters of any
2104kind. There is a \f(CW\*(C`ev_fork_set\*(C'\fR macro, but using it is utterly pointless, 2345kind. There is a \f(CW\*(C`ev_fork_set\*(C'\fR macro, but using it is utterly pointless,
2105believe me. 2346believe me.
2347.ie n .Sh """ev_async"" \- how to wake up another event loop"
2348.el .Sh "\f(CWev_async\fP \- how to wake up another event loop"
2349.IX Subsection "ev_async - how to wake up another event loop"
2350In general, you cannot use an \f(CW\*(C`ev_loop\*(C'\fR from multiple threads or other
2351asynchronous sources such as signal handlers (as opposed to multiple event
2352loops \- those are of course safe to use in different threads).
2353.PP
2354Sometimes, however, you need to wake up another event loop you do not
2355control, for example because it belongs to another thread. This is what
2356\&\f(CW\*(C`ev_async\*(C'\fR watchers do: as long as the \f(CW\*(C`ev_async\*(C'\fR watcher is active, you
2357can signal it by calling \f(CW\*(C`ev_async_send\*(C'\fR, which is thread\- and signal
2358safe.
2359.PP
2360This functionality is very similar to \f(CW\*(C`ev_signal\*(C'\fR watchers, as signals,
2361too, are asynchronous in nature, and signals, too, will be compressed
2362(i.e. the number of callback invocations may be less than the number of
2363\&\f(CW\*(C`ev_async_sent\*(C'\fR calls).
2364.PP
2365Unlike \f(CW\*(C`ev_signal\*(C'\fR watchers, \f(CW\*(C`ev_async\*(C'\fR works with any event loop, not
2366just the default loop.
2367.PP
2368\fIQueueing\fR
2369.IX Subsection "Queueing"
2370.PP
2371\&\f(CW\*(C`ev_async\*(C'\fR does not support queueing of data in any way. The reason
2372is that the author does not know of a simple (or any) algorithm for a
2373multiple-writer-single-reader queue that works in all cases and doesn't
2374need elaborate support such as pthreads.
2375.PP
2376That means that if you want to queue data, you have to provide your own
2377queue. But at least I can tell you would implement locking around your
2378queue:
2379.IP "queueing from a signal handler context" 4
2380.IX Item "queueing from a signal handler context"
2381To implement race-free queueing, you simply add to the queue in the signal
2382handler but you block the signal handler in the watcher callback. Here is an example that does that for
2383some fictitiuous \s-1SIGUSR1\s0 handler:
2384.Sp
2385.Vb 1
2386\& static ev_async mysig;
2387\&
2388\& static void
2389\& sigusr1_handler (void)
2390\& {
2391\& sometype data;
2392\&
2393\& // no locking etc.
2394\& queue_put (data);
2395\& ev_async_send (EV_DEFAULT_ &mysig);
2396\& }
2397\&
2398\& static void
2399\& mysig_cb (EV_P_ ev_async *w, int revents)
2400\& {
2401\& sometype data;
2402\& sigset_t block, prev;
2403\&
2404\& sigemptyset (&block);
2405\& sigaddset (&block, SIGUSR1);
2406\& sigprocmask (SIG_BLOCK, &block, &prev);
2407\&
2408\& while (queue_get (&data))
2409\& process (data);
2410\&
2411\& if (sigismember (&prev, SIGUSR1)
2412\& sigprocmask (SIG_UNBLOCK, &block, 0);
2413\& }
2414.Ve
2415.Sp
2416(Note: pthreads in theory requires you to use \f(CW\*(C`pthread_setmask\*(C'\fR
2417instead of \f(CW\*(C`sigprocmask\*(C'\fR when you use threads, but libev doesn't do it
2418either...).
2419.IP "queueing from a thread context" 4
2420.IX Item "queueing from a thread context"
2421The strategy for threads is different, as you cannot (easily) block
2422threads but you can easily preempt them, so to queue safely you need to
2423employ a traditional mutex lock, such as in this pthread example:
2424.Sp
2425.Vb 2
2426\& static ev_async mysig;
2427\& static pthread_mutex_t mymutex = PTHREAD_MUTEX_INITIALIZER;
2428\&
2429\& static void
2430\& otherthread (void)
2431\& {
2432\& // only need to lock the actual queueing operation
2433\& pthread_mutex_lock (&mymutex);
2434\& queue_put (data);
2435\& pthread_mutex_unlock (&mymutex);
2436\&
2437\& ev_async_send (EV_DEFAULT_ &mysig);
2438\& }
2439\&
2440\& static void
2441\& mysig_cb (EV_P_ ev_async *w, int revents)
2442\& {
2443\& pthread_mutex_lock (&mymutex);
2444\&
2445\& while (queue_get (&data))
2446\& process (data);
2447\&
2448\& pthread_mutex_unlock (&mymutex);
2449\& }
2450.Ve
2451.PP
2452\fIWatcher-Specific Functions and Data Members\fR
2453.IX Subsection "Watcher-Specific Functions and Data Members"
2454.IP "ev_async_init (ev_async *, callback)" 4
2455.IX Item "ev_async_init (ev_async *, callback)"
2456Initialises and configures the async watcher \- it has no parameters of any
2457kind. There is a \f(CW\*(C`ev_asynd_set\*(C'\fR macro, but using it is utterly pointless,
2458believe me.
2459.IP "ev_async_send (loop, ev_async *)" 4
2460.IX Item "ev_async_send (loop, ev_async *)"
2461Sends/signals/activates the given \f(CW\*(C`ev_async\*(C'\fR watcher, that is, feeds
2462an \f(CW\*(C`EV_ASYNC\*(C'\fR event on the watcher into the event loop. Unlike
2463\&\f(CW\*(C`ev_feed_event\*(C'\fR, this call is safe to do in other threads, signal or
2464similar contexts (see the dicusssion of \f(CW\*(C`EV_ATOMIC_T\*(C'\fR in the embedding
2465section below on what exactly this means).
2466.Sp
2467This call incurs the overhead of a syscall only once per loop iteration,
2468so while the overhead might be noticable, it doesn't apply to repeated
2469calls to \f(CW\*(C`ev_async_send\*(C'\fR.
2470.IP "bool = ev_async_pending (ev_async *)" 4
2471.IX Item "bool = ev_async_pending (ev_async *)"
2472Returns a non-zero value when \f(CW\*(C`ev_async_send\*(C'\fR has been called on the
2473watcher but the event has not yet been processed (or even noted) by the
2474event loop.
2475.Sp
2476\&\f(CW\*(C`ev_async_send\*(C'\fR sets a flag in the watcher and wakes up the loop. When
2477the loop iterates next and checks for the watcher to have become active,
2478it will reset the flag again. \f(CW\*(C`ev_async_pending\*(C'\fR can be used to very
2479quickly check wether invoking the loop might be a good idea.
2480.Sp
2481Not that this does \fInot\fR check wether the watcher itself is pending, only
2482wether it has been requested to make this watcher pending.
2106.SH "OTHER FUNCTIONS" 2483.SH "OTHER FUNCTIONS"
2107.IX Header "OTHER FUNCTIONS" 2484.IX Header "OTHER FUNCTIONS"
2108There are some other functions of possible interest. Described. Here. Now. 2485There are some other functions of possible interest. Described. Here. Now.
2109.IP "ev_once (loop, int fd, int events, ev_tstamp timeout, callback)" 4 2486.IP "ev_once (loop, int fd, int events, ev_tstamp timeout, callback)" 4
2110.IX Item "ev_once (loop, int fd, int events, ev_tstamp timeout, callback)" 2487.IX Item "ev_once (loop, int fd, int events, ev_tstamp timeout, callback)"
2134\& if (revents & EV_TIMEOUT) 2511\& if (revents & EV_TIMEOUT)
2135\& /* doh, nothing entered */; 2512\& /* doh, nothing entered */;
2136\& else if (revents & EV_READ) 2513\& else if (revents & EV_READ)
2137\& /* stdin might have data for us, joy! */; 2514\& /* stdin might have data for us, joy! */;
2138\& } 2515\& }
2139.Ve 2516\&
2140.Sp
2141.Vb 1
2142\& ev_once (STDIN_FILENO, EV_READ, 10., stdin_ready, 0); 2517\& ev_once (STDIN_FILENO, EV_READ, 10., stdin_ready, 0);
2143.Ve 2518.Ve
2144.IP "ev_feed_event (ev_loop *, watcher *, int revents)" 4 2519.IP "ev_feed_event (ev_loop *, watcher *, int revents)" 4
2145.IX Item "ev_feed_event (ev_loop *, watcher *, int revents)" 2520.IX Item "ev_feed_event (ev_loop *, watcher *, int revents)"
2146Feeds the given event set into the event loop, as if the specified event 2521Feeds the given event set into the event loop, as if the specified event
2156loop!). 2531loop!).
2157.SH "LIBEVENT EMULATION" 2532.SH "LIBEVENT EMULATION"
2158.IX Header "LIBEVENT EMULATION" 2533.IX Header "LIBEVENT EMULATION"
2159Libev offers a compatibility emulation layer for libevent. It cannot 2534Libev offers a compatibility emulation layer for libevent. It cannot
2160emulate the internals of libevent, so here are some usage hints: 2535emulate the internals of libevent, so here are some usage hints:
2536.IP "\(bu" 4
2161.IP "* Use it by including <event.h>, as usual." 4 2537Use it by including <event.h>, as usual.
2162.IX Item "Use it by including <event.h>, as usual." 2538.IP "\(bu" 4
2163.PD 0 2539The following members are fully supported: ev_base, ev_callback,
2164.IP "* The following members are fully supported: ev_base, ev_callback, ev_arg, ev_fd, ev_res, ev_events." 4 2540ev_arg, ev_fd, ev_res, ev_events.
2165.IX Item "The following members are fully supported: ev_base, ev_callback, ev_arg, ev_fd, ev_res, ev_events." 2541.IP "\(bu" 4
2166.IP "* Avoid using ev_flags and the EVLIST_*\-macros, while it is maintained by libev, it does not work exactly the same way as in libevent (consider it a private \s-1API\s0)." 4 2542Avoid using ev_flags and the EVLIST_*\-macros, while it is
2167.IX Item "Avoid using ev_flags and the EVLIST_*-macros, while it is maintained by libev, it does not work exactly the same way as in libevent (consider it a private API)." 2543maintained by libev, it does not work exactly the same way as in libevent (consider
2168.IP "* Priorities are not currently supported. Initialising priorities will fail and all watchers will have the same priority, even though there is an ev_pri field." 4 2544it a private \s-1API\s0).
2169.IX Item "Priorities are not currently supported. Initialising priorities will fail and all watchers will have the same priority, even though there is an ev_pri field." 2545.IP "\(bu" 4
2546Priorities are not currently supported. Initialising priorities
2547will fail and all watchers will have the same priority, even though there
2548is an ev_pri field.
2549.IP "\(bu" 4
2550In libevent, the last base created gets the signals, in libev, the
2551first base created (== the default loop) gets the signals.
2552.IP "\(bu" 4
2170.IP "* Other members are not supported." 4 2553Other members are not supported.
2171.IX Item "Other members are not supported." 2554.IP "\(bu" 4
2172.IP "* The libev emulation is \fInot\fR \s-1ABI\s0 compatible to libevent, you need to use the libev header file and library." 4 2555The libev emulation is \fInot\fR \s-1ABI\s0 compatible to libevent, you need
2173.IX Item "The libev emulation is not ABI compatible to libevent, you need to use the libev header file and library." 2556to use the libev header file and library.
2174.PD
2175.SH "\*(C+ SUPPORT" 2557.SH "\*(C+ SUPPORT"
2176.IX Header " SUPPORT" 2558.IX Header " SUPPORT"
2177Libev comes with some simplistic wrapper classes for \*(C+ that mainly allow 2559Libev comes with some simplistic wrapper classes for \*(C+ that mainly allow
2178you to use some convinience methods to start/stop watchers and also change 2560you to use some convinience methods to start/stop watchers and also change
2179the callback model to a model using method callbacks on objects. 2561the callback model to a model using method callbacks on objects.
2259.Vb 4 2641.Vb 4
2260\& struct myclass 2642\& struct myclass
2261\& { 2643\& {
2262\& void io_cb (ev::io &w, int revents) { } 2644\& void io_cb (ev::io &w, int revents) { }
2263\& } 2645\& }
2264.Ve 2646\&
2265.Sp
2266.Vb 3
2267\& myclass obj; 2647\& myclass obj;
2268\& ev::io iow; 2648\& ev::io iow;
2269\& iow.set <myclass, &myclass::io_cb> (&obj); 2649\& iow.set <myclass, &myclass::io_cb> (&obj);
2270.Ve 2650.Ve
2271.IP "w\->set<function> (void *data = 0)" 4 2651.IP "w\->set<function> (void *data = 0)" 4
2322the constructor. 2702the constructor.
2323.PP 2703.PP
2324.Vb 4 2704.Vb 4
2325\& class myclass 2705\& class myclass
2326\& { 2706\& {
2327\& ev_io io; void io_cb (ev::io &w, int revents); 2707\& ev::io io; void io_cb (ev::io &w, int revents);
2328\& ev_idle idle void idle_cb (ev::idle &w, int revents); 2708\& ev:idle idle void idle_cb (ev::idle &w, int revents);
2329.Ve 2709\&
2330.PP
2331.Vb 2
2332\& myclass (); 2710\& myclass (int fd)
2333\& }
2334.Ve
2335.PP
2336.Vb 4
2337\& myclass::myclass (int fd)
2338\& { 2711\& {
2339\& io .set <myclass, &myclass::io_cb > (this); 2712\& io .set <myclass, &myclass::io_cb > (this);
2340\& idle.set <myclass, &myclass::idle_cb> (this); 2713\& idle.set <myclass, &myclass::idle_cb> (this);
2341.Ve 2714\&
2342.PP
2343.Vb 2
2344\& io.start (fd, ev::READ); 2715\& io.start (fd, ev::READ);
2716\& }
2345\& } 2717\& };
2346.Ve 2718.Ve
2719.SH "OTHER LANGUAGE BINDINGS"
2720.IX Header "OTHER LANGUAGE BINDINGS"
2721Libev does not offer other language bindings itself, but bindings for a
2722numbe rof languages exist in the form of third-party packages. If you know
2723any interesting language binding in addition to the ones listed here, drop
2724me a note.
2725.IP "Perl" 4
2726.IX Item "Perl"
2727The \s-1EV\s0 module implements the full libev \s-1API\s0 and is actually used to test
2728libev. \s-1EV\s0 is developed together with libev. Apart from the \s-1EV\s0 core module,
2729there are additional modules that implement libev-compatible interfaces
2730to \f(CW\*(C`libadns\*(C'\fR (\f(CW\*(C`EV::ADNS\*(C'\fR), \f(CW\*(C`Net::SNMP\*(C'\fR (\f(CW\*(C`Net::SNMP::EV\*(C'\fR) and the
2731\&\f(CW\*(C`libglib\*(C'\fR event core (\f(CW\*(C`Glib::EV\*(C'\fR and \f(CW\*(C`EV::Glib\*(C'\fR).
2732.Sp
2733It can be found and installed via \s-1CPAN\s0, its homepage is found at
2734<http://software.schmorp.de/pkg/EV>.
2735.IP "Ruby" 4
2736.IX Item "Ruby"
2737Tony Arcieri has written a ruby extension that offers access to a subset
2738of the libev \s-1API\s0 and adds filehandle abstractions, asynchronous \s-1DNS\s0 and
2739more on top of it. It can be found via gem servers. Its homepage is at
2740<http://rev.rubyforge.org/>.
2741.IP "D" 4
2742.IX Item "D"
2743Leandro Lucarella has written a D language binding (\fIev.d\fR) for libev, to
2744be found at <http://git.llucax.com.ar/?p=software/ev.d.git;a=summary>.
2347.SH "MACRO MAGIC" 2745.SH "MACRO MAGIC"
2348.IX Header "MACRO MAGIC" 2746.IX Header "MACRO MAGIC"
2349Libev can be compiled with a variety of options, the most fundamantal 2747Libev can be compiled with a variety of options, the most fundamantal
2350of which is \f(CW\*(C`EV_MULTIPLICITY\*(C'\fR. This option determines whether (most) 2748of which is \f(CW\*(C`EV_MULTIPLICITY\*(C'\fR. This option determines whether (most)
2351functions and callbacks have an initial \f(CW\*(C`struct ev_loop *\*(C'\fR argument. 2749functions and callbacks have an initial \f(CW\*(C`struct ev_loop *\*(C'\fR argument.
2375\&\f(CW\*(C`EV_P_\*(C'\fR is used when other parameters are following. Example: 2773\&\f(CW\*(C`EV_P_\*(C'\fR is used when other parameters are following. Example:
2376.Sp 2774.Sp
2377.Vb 2 2775.Vb 2
2378\& // this is how ev_unref is being declared 2776\& // this is how ev_unref is being declared
2379\& static void ev_unref (EV_P); 2777\& static void ev_unref (EV_P);
2380.Ve 2778\&
2381.Sp
2382.Vb 2
2383\& // this is how you can declare your typical callback 2779\& // this is how you can declare your typical callback
2384\& static void cb (EV_P_ ev_timer *w, int revents) 2780\& static void cb (EV_P_ ev_timer *w, int revents)
2385.Ve 2781.Ve
2386.Sp 2782.Sp
2387It declares a parameter \f(CW\*(C`loop\*(C'\fR of type \f(CW\*(C`struct ev_loop *\*(C'\fR, quite 2783It declares a parameter \f(CW\*(C`loop\*(C'\fR of type \f(CW\*(C`struct ev_loop *\*(C'\fR, quite
2389.ie n .IP """EV_DEFAULT""\fR, \f(CW""EV_DEFAULT_""" 4 2785.ie n .IP """EV_DEFAULT""\fR, \f(CW""EV_DEFAULT_""" 4
2390.el .IP "\f(CWEV_DEFAULT\fR, \f(CWEV_DEFAULT_\fR" 4 2786.el .IP "\f(CWEV_DEFAULT\fR, \f(CWEV_DEFAULT_\fR" 4
2391.IX Item "EV_DEFAULT, EV_DEFAULT_" 2787.IX Item "EV_DEFAULT, EV_DEFAULT_"
2392Similar to the other two macros, this gives you the value of the default 2788Similar to the other two macros, this gives you the value of the default
2393loop, if multiple loops are supported (\*(L"ev loop default\*(R"). 2789loop, if multiple loops are supported (\*(L"ev loop default\*(R").
2790.ie n .IP """EV_DEFAULT_UC""\fR, \f(CW""EV_DEFAULT_UC_""" 4
2791.el .IP "\f(CWEV_DEFAULT_UC\fR, \f(CWEV_DEFAULT_UC_\fR" 4
2792.IX Item "EV_DEFAULT_UC, EV_DEFAULT_UC_"
2793Usage identical to \f(CW\*(C`EV_DEFAULT\*(C'\fR and \f(CW\*(C`EV_DEFAULT_\*(C'\fR, but requires that the
2794default loop has been initialised (\f(CW\*(C`UC\*(C'\fR == unchecked). Their behaviour
2795is undefined when the default loop has not been initialised by a previous
2796execution of \f(CW\*(C`EV_DEFAULT\*(C'\fR, \f(CW\*(C`EV_DEFAULT_\*(C'\fR or \f(CW\*(C`ev_default_init (...)\*(C'\fR.
2797.Sp
2798It is often prudent to use \f(CW\*(C`EV_DEFAULT\*(C'\fR when initialising the first
2799watcher in a function but use \f(CW\*(C`EV_DEFAULT_UC\*(C'\fR afterwards.
2394.PP 2800.PP
2395Example: Declare and initialise a check watcher, utilising the above 2801Example: Declare and initialise a check watcher, utilising the above
2396macros so it will work regardless of whether multiple loops are supported 2802macros so it will work regardless of whether multiple loops are supported
2397or not. 2803or not.
2398.PP 2804.PP
2400\& static void 2806\& static void
2401\& check_cb (EV_P_ ev_timer *w, int revents) 2807\& check_cb (EV_P_ ev_timer *w, int revents)
2402\& { 2808\& {
2403\& ev_check_stop (EV_A_ w); 2809\& ev_check_stop (EV_A_ w);
2404\& } 2810\& }
2405.Ve 2811\&
2406.PP
2407.Vb 4
2408\& ev_check check; 2812\& ev_check check;
2409\& ev_check_init (&check, check_cb); 2813\& ev_check_init (&check, check_cb);
2410\& ev_check_start (EV_DEFAULT_ &check); 2814\& ev_check_start (EV_DEFAULT_ &check);
2411\& ev_loop (EV_DEFAULT_ 0); 2815\& ev_loop (EV_DEFAULT_ 0);
2412.Ve 2816.Ve
2413.SH "EMBEDDING" 2817.SH "EMBEDDING"
2414.IX Header "EMBEDDING" 2818.IX Header "EMBEDDING"
2415Libev can (and often is) directly embedded into host 2819Libev can (and often is) directly embedded into host
2416applications. Examples of applications that embed it include the Deliantra 2820applications. Examples of applications that embed it include the Deliantra
2417Game Server, the \s-1EV\s0 perl module, the \s-1GNU\s0 Virtual Private Ethernet (gvpe) 2821Game Server, the \s-1EV\s0 perl module, the \s-1GNU\s0 Virtual Private Ethernet (gvpe)
2418and rxvt\-unicode. 2822and rxvt-unicode.
2419.PP 2823.PP
2420The goal is to enable you to just copy the necessary files into your 2824The goal is to enable you to just copy the necessary files into your
2421source directory without having to change even a single line in them, so 2825source directory without having to change even a single line in them, so
2422you can easily upgrade by simply copying (or having a checked-out copy of 2826you can easily upgrade by simply copying (or having a checked-out copy of
2423libev somewhere in your source tree). 2827libev somewhere in your source tree).
2458.Vb 4 2862.Vb 4
2459\& ev.h 2863\& ev.h
2460\& ev.c 2864\& ev.c
2461\& ev_vars.h 2865\& ev_vars.h
2462\& ev_wrap.h 2866\& ev_wrap.h
2463.Ve 2867\&
2464.PP
2465.Vb 1
2466\& ev_win32.c required on win32 platforms only 2868\& ev_win32.c required on win32 platforms only
2467.Ve 2869\&
2468.PP
2469.Vb 5
2470\& ev_select.c only when select backend is enabled (which is enabled by default) 2870\& ev_select.c only when select backend is enabled (which is enabled by default)
2471\& ev_poll.c only when poll backend is enabled (disabled by default) 2871\& ev_poll.c only when poll backend is enabled (disabled by default)
2472\& ev_epoll.c only when the epoll backend is enabled (disabled by default) 2872\& ev_epoll.c only when the epoll backend is enabled (disabled by default)
2473\& ev_kqueue.c only when the kqueue backend is enabled (disabled by default) 2873\& ev_kqueue.c only when the kqueue backend is enabled (disabled by default)
2474\& ev_port.c only when the solaris port backend is enabled (disabled by default) 2874\& ev_port.c only when the solaris port backend is enabled (disabled by default)
2514.Vb 1 2914.Vb 1
2515\& libev.m4 2915\& libev.m4
2516.Ve 2916.Ve
2517.Sh "\s-1PREPROCESSOR\s0 \s-1SYMBOLS/MACROS\s0" 2917.Sh "\s-1PREPROCESSOR\s0 \s-1SYMBOLS/MACROS\s0"
2518.IX Subsection "PREPROCESSOR SYMBOLS/MACROS" 2918.IX Subsection "PREPROCESSOR SYMBOLS/MACROS"
2519Libev can be configured via a variety of preprocessor symbols you have to define 2919Libev can be configured via a variety of preprocessor symbols you have to
2520before including any of its files. The default is not to build for multiplicity 2920define before including any of its files. The default in the absense of
2521and only include the select backend. 2921autoconf is noted for every option.
2522.IP "\s-1EV_STANDALONE\s0" 4 2922.IP "\s-1EV_STANDALONE\s0" 4
2523.IX Item "EV_STANDALONE" 2923.IX Item "EV_STANDALONE"
2524Must always be \f(CW1\fR if you do not use autoconf configuration, which 2924Must always be \f(CW1\fR if you do not use autoconf configuration, which
2525keeps libev from including \fIconfig.h\fR, and it also defines dummy 2925keeps libev from including \fIconfig.h\fR, and it also defines dummy
2526implementations for some libevent functions (such as logging, which is not 2926implementations for some libevent functions (such as logging, which is not
2545note about libraries in the description of \f(CW\*(C`EV_USE_MONOTONIC\*(C'\fR, though. 2945note about libraries in the description of \f(CW\*(C`EV_USE_MONOTONIC\*(C'\fR, though.
2546.IP "\s-1EV_USE_NANOSLEEP\s0" 4 2946.IP "\s-1EV_USE_NANOSLEEP\s0" 4
2547.IX Item "EV_USE_NANOSLEEP" 2947.IX Item "EV_USE_NANOSLEEP"
2548If defined to be \f(CW1\fR, libev will assume that \f(CW\*(C`nanosleep ()\*(C'\fR is available 2948If defined to be \f(CW1\fR, libev will assume that \f(CW\*(C`nanosleep ()\*(C'\fR is available
2549and will use it for delays. Otherwise it will use \f(CW\*(C`select ()\*(C'\fR. 2949and will use it for delays. Otherwise it will use \f(CW\*(C`select ()\*(C'\fR.
2950.IP "\s-1EV_USE_EVENTFD\s0" 4
2951.IX Item "EV_USE_EVENTFD"
2952If defined to be \f(CW1\fR, then libev will assume that \f(CW\*(C`eventfd ()\*(C'\fR is
2953available and will probe for kernel support at runtime. This will improve
2954\&\f(CW\*(C`ev_signal\*(C'\fR and \f(CW\*(C`ev_async\*(C'\fR performance and reduce resource consumption.
2955If undefined, it will be enabled if the headers indicate GNU/Linux + Glibc
29562.7 or newer, otherwise disabled.
2550.IP "\s-1EV_USE_SELECT\s0" 4 2957.IP "\s-1EV_USE_SELECT\s0" 4
2551.IX Item "EV_USE_SELECT" 2958.IX Item "EV_USE_SELECT"
2552If undefined or defined to be \f(CW1\fR, libev will compile in support for the 2959If undefined or defined to be \f(CW1\fR, libev will compile in support for the
2553\&\f(CW\*(C`select\*(C'\fR(2) backend. No attempt at autodetection will be done: if no 2960\&\f(CW\*(C`select\*(C'\fR(2) backend. No attempt at autodetection will be done: if no
2554other method takes over, select will be it. Otherwise the select backend 2961other method takes over, select will be it. Otherwise the select backend
2569wants osf handles on win32 (this is the case when the select to 2976wants osf handles on win32 (this is the case when the select to
2570be used is the winsock select). This means that it will call 2977be used is the winsock select). This means that it will call
2571\&\f(CW\*(C`_get_osfhandle\*(C'\fR on the fd to convert it to an \s-1OS\s0 handle. Otherwise, 2978\&\f(CW\*(C`_get_osfhandle\*(C'\fR on the fd to convert it to an \s-1OS\s0 handle. Otherwise,
2572it is assumed that all these functions actually work on fds, even 2979it is assumed that all these functions actually work on fds, even
2573on win32. Should not be defined on non\-win32 platforms. 2980on win32. Should not be defined on non\-win32 platforms.
2981.IP "\s-1EV_FD_TO_WIN32_HANDLE\s0" 4
2982.IX Item "EV_FD_TO_WIN32_HANDLE"
2983If \f(CW\*(C`EV_SELECT_IS_WINSOCKET\*(C'\fR is enabled, then libev needs a way to map
2984file descriptors to socket handles. When not defining this symbol (the
2985default), then libev will call \f(CW\*(C`_get_osfhandle\*(C'\fR, which is usually
2986correct. In some cases, programs use their own file descriptor management,
2987in which case they can provide this function to map fds to socket handles.
2574.IP "\s-1EV_USE_POLL\s0" 4 2988.IP "\s-1EV_USE_POLL\s0" 4
2575.IX Item "EV_USE_POLL" 2989.IX Item "EV_USE_POLL"
2576If defined to be \f(CW1\fR, libev will compile in support for the \f(CW\*(C`poll\*(C'\fR(2) 2990If defined to be \f(CW1\fR, libev will compile in support for the \f(CW\*(C`poll\*(C'\fR(2)
2577backend. Otherwise it will be enabled on non\-win32 platforms. It 2991backend. Otherwise it will be enabled on non\-win32 platforms. It
2578takes precedence over select. 2992takes precedence over select.
2579.IP "\s-1EV_USE_EPOLL\s0" 4 2993.IP "\s-1EV_USE_EPOLL\s0" 4
2580.IX Item "EV_USE_EPOLL" 2994.IX Item "EV_USE_EPOLL"
2581If defined to be \f(CW1\fR, libev will compile in support for the Linux 2995If defined to be \f(CW1\fR, libev will compile in support for the Linux
2582\&\f(CW\*(C`epoll\*(C'\fR(7) backend. Its availability will be detected at runtime, 2996\&\f(CW\*(C`epoll\*(C'\fR(7) backend. Its availability will be detected at runtime,
2583otherwise another method will be used as fallback. This is the 2997otherwise another method will be used as fallback. This is the preferred
2584preferred backend for GNU/Linux systems. 2998backend for GNU/Linux systems. If undefined, it will be enabled if the
2999headers indicate GNU/Linux + Glibc 2.4 or newer, otherwise disabled.
2585.IP "\s-1EV_USE_KQUEUE\s0" 4 3000.IP "\s-1EV_USE_KQUEUE\s0" 4
2586.IX Item "EV_USE_KQUEUE" 3001.IX Item "EV_USE_KQUEUE"
2587If defined to be \f(CW1\fR, libev will compile in support for the \s-1BSD\s0 style 3002If defined to be \f(CW1\fR, libev will compile in support for the \s-1BSD\s0 style
2588\&\f(CW\*(C`kqueue\*(C'\fR(2) backend. Its actual availability will be detected at runtime, 3003\&\f(CW\*(C`kqueue\*(C'\fR(2) backend. Its actual availability will be detected at runtime,
2589otherwise another method will be used as fallback. This is the preferred 3004otherwise another method will be used as fallback. This is the preferred
2604reserved for future expansion, works like the \s-1USE\s0 symbols above. 3019reserved for future expansion, works like the \s-1USE\s0 symbols above.
2605.IP "\s-1EV_USE_INOTIFY\s0" 4 3020.IP "\s-1EV_USE_INOTIFY\s0" 4
2606.IX Item "EV_USE_INOTIFY" 3021.IX Item "EV_USE_INOTIFY"
2607If defined to be \f(CW1\fR, libev will compile in support for the Linux inotify 3022If defined to be \f(CW1\fR, libev will compile in support for the Linux inotify
2608interface to speed up \f(CW\*(C`ev_stat\*(C'\fR watchers. Its actual availability will 3023interface to speed up \f(CW\*(C`ev_stat\*(C'\fR watchers. Its actual availability will
2609be detected at runtime. 3024be detected at runtime. If undefined, it will be enabled if the headers
3025indicate GNU/Linux + Glibc 2.4 or newer, otherwise disabled.
3026.IP "\s-1EV_ATOMIC_T\s0" 4
3027.IX Item "EV_ATOMIC_T"
3028Libev requires an integer type (suitable for storing \f(CW0\fR or \f(CW1\fR) whose
3029access is atomic with respect to other threads or signal contexts. No such
3030type is easily found in the C language, so you can provide your own type
3031that you know is safe for your purposes. It is used both for signal handler \*(L"locking\*(R"
3032as well as for signal and thread safety in \f(CW\*(C`ev_async\*(C'\fR watchers.
3033.Sp
3034In the absense of this define, libev will use \f(CW\*(C`sig_atomic_t volatile\*(C'\fR
3035(from \fIsignal.h\fR), which is usually good enough on most platforms.
2610.IP "\s-1EV_H\s0" 4 3036.IP "\s-1EV_H\s0" 4
2611.IX Item "EV_H" 3037.IX Item "EV_H"
2612The name of the \fIev.h\fR header file used to include it. The default if 3038The name of the \fIev.h\fR header file used to include it. The default if
2613undefined is \f(CW\*(C`<ev.h>\*(C'\fR in \fIevent.h\fR and \f(CW"ev.h"\fR in \fIev.c\fR. This 3039undefined is \f(CW"ev.h"\fR in \fIevent.h\fR, \fIev.c\fR and \fIev++.h\fR. This can be
2614can be used to virtually rename the \fIev.h\fR header file in case of conflicts. 3040used to virtually rename the \fIev.h\fR header file in case of conflicts.
2615.IP "\s-1EV_CONFIG_H\s0" 4 3041.IP "\s-1EV_CONFIG_H\s0" 4
2616.IX Item "EV_CONFIG_H" 3042.IX Item "EV_CONFIG_H"
2617If \f(CW\*(C`EV_STANDALONE\*(C'\fR isn't \f(CW1\fR, this variable can be used to override 3043If \f(CW\*(C`EV_STANDALONE\*(C'\fR isn't \f(CW1\fR, this variable can be used to override
2618\&\fIev.c\fR's idea of where to find the \fIconfig.h\fR file, similarly to 3044\&\fIev.c\fR's idea of where to find the \fIconfig.h\fR file, similarly to
2619\&\f(CW\*(C`EV_H\*(C'\fR, above. 3045\&\f(CW\*(C`EV_H\*(C'\fR, above.
2620.IP "\s-1EV_EVENT_H\s0" 4 3046.IP "\s-1EV_EVENT_H\s0" 4
2621.IX Item "EV_EVENT_H" 3047.IX Item "EV_EVENT_H"
2622Similarly to \f(CW\*(C`EV_H\*(C'\fR, this macro can be used to override \fIevent.c\fR's idea 3048Similarly to \f(CW\*(C`EV_H\*(C'\fR, this macro can be used to override \fIevent.c\fR's idea
2623of how the \fIevent.h\fR header can be found. 3049of how the \fIevent.h\fR header can be found, the default is \f(CW"event.h"\fR.
2624.IP "\s-1EV_PROTOTYPES\s0" 4 3050.IP "\s-1EV_PROTOTYPES\s0" 4
2625.IX Item "EV_PROTOTYPES" 3051.IX Item "EV_PROTOTYPES"
2626If defined to be \f(CW0\fR, then \fIev.h\fR will not define any function 3052If defined to be \f(CW0\fR, then \fIev.h\fR will not define any function
2627prototypes, but still define all the structs and other symbols. This is 3053prototypes, but still define all the structs and other symbols. This is
2628occasionally useful if you want to provide your own wrapper functions 3054occasionally useful if you want to provide your own wrapper functions
2672defined to be \f(CW0\fR, then they are not. 3098defined to be \f(CW0\fR, then they are not.
2673.IP "\s-1EV_FORK_ENABLE\s0" 4 3099.IP "\s-1EV_FORK_ENABLE\s0" 4
2674.IX Item "EV_FORK_ENABLE" 3100.IX Item "EV_FORK_ENABLE"
2675If undefined or defined to be \f(CW1\fR, then fork watchers are supported. If 3101If undefined or defined to be \f(CW1\fR, then fork watchers are supported. If
2676defined to be \f(CW0\fR, then they are not. 3102defined to be \f(CW0\fR, then they are not.
3103.IP "\s-1EV_ASYNC_ENABLE\s0" 4
3104.IX Item "EV_ASYNC_ENABLE"
3105If undefined or defined to be \f(CW1\fR, then async watchers are supported. If
3106defined to be \f(CW0\fR, then they are not.
2677.IP "\s-1EV_MINIMAL\s0" 4 3107.IP "\s-1EV_MINIMAL\s0" 4
2678.IX Item "EV_MINIMAL" 3108.IX Item "EV_MINIMAL"
2679If you need to shave off some kilobytes of code at the expense of some 3109If you need to shave off some kilobytes of code at the expense of some
2680speed, define this symbol to \f(CW1\fR. Currently only used for gcc to override 3110speed, define this symbol to \f(CW1\fR. Currently this is used to override some
2681some inlining decisions, saves roughly 30% codesize of amd64. 3111inlining decisions, saves roughly 30% codesize of amd64. It also selects a
3112much smaller 2\-heap for timer management over the default 4\-heap.
2682.IP "\s-1EV_PID_HASHSIZE\s0" 4 3113.IP "\s-1EV_PID_HASHSIZE\s0" 4
2683.IX Item "EV_PID_HASHSIZE" 3114.IX Item "EV_PID_HASHSIZE"
2684\&\f(CW\*(C`ev_child\*(C'\fR watchers use a small hash table to distribute workload by 3115\&\f(CW\*(C`ev_child\*(C'\fR watchers use a small hash table to distribute workload by
2685pid. The default size is \f(CW16\fR (or \f(CW1\fR with \f(CW\*(C`EV_MINIMAL\*(C'\fR), usually more 3116pid. The default size is \f(CW16\fR (or \f(CW1\fR with \f(CW\*(C`EV_MINIMAL\*(C'\fR), usually more
2686than enough. If you need to manage thousands of children you might want to 3117than enough. If you need to manage thousands of children you might want to
2687increase this value (\fImust\fR be a power of two). 3118increase this value (\fImust\fR be a power of two).
2688.IP "\s-1EV_INOTIFY_HASHSIZE\s0" 4 3119.IP "\s-1EV_INOTIFY_HASHSIZE\s0" 4
2689.IX Item "EV_INOTIFY_HASHSIZE" 3120.IX Item "EV_INOTIFY_HASHSIZE"
2690\&\f(CW\*(C`ev_staz\*(C'\fR watchers use a small hash table to distribute workload by 3121\&\f(CW\*(C`ev_stat\*(C'\fR watchers use a small hash table to distribute workload by
2691inotify watch id. The default size is \f(CW16\fR (or \f(CW1\fR with \f(CW\*(C`EV_MINIMAL\*(C'\fR), 3122inotify watch id. The default size is \f(CW16\fR (or \f(CW1\fR with \f(CW\*(C`EV_MINIMAL\*(C'\fR),
2692usually more than enough. If you need to manage thousands of \f(CW\*(C`ev_stat\*(C'\fR 3123usually more than enough. If you need to manage thousands of \f(CW\*(C`ev_stat\*(C'\fR
2693watchers you might want to increase this value (\fImust\fR be a power of 3124watchers you might want to increase this value (\fImust\fR be a power of
2694two). 3125two).
3126.IP "\s-1EV_USE_4HEAP\s0" 4
3127.IX Item "EV_USE_4HEAP"
3128Heaps are not very cache-efficient. To improve the cache-efficiency of the
3129timer and periodics heap, libev uses a 4\-heap when this symbol is defined
3130to \f(CW1\fR. The 4\-heap uses more complicated (longer) code but has
3131noticably faster performance with many (thousands) of watchers.
3132.Sp
3133The default is \f(CW1\fR unless \f(CW\*(C`EV_MINIMAL\*(C'\fR is set in which case it is \f(CW0\fR
3134(disabled).
3135.IP "\s-1EV_HEAP_CACHE_AT\s0" 4
3136.IX Item "EV_HEAP_CACHE_AT"
3137Heaps are not very cache-efficient. To improve the cache-efficiency of the
3138timer and periodics heap, libev can cache the timestamp (\fIat\fR) within
3139the heap structure (selected by defining \f(CW\*(C`EV_HEAP_CACHE_AT\*(C'\fR to \f(CW1\fR),
3140which uses 8\-12 bytes more per watcher and a few hundred bytes more code,
3141but avoids random read accesses on heap changes. This improves performance
3142noticably with with many (hundreds) of watchers.
3143.Sp
3144The default is \f(CW1\fR unless \f(CW\*(C`EV_MINIMAL\*(C'\fR is set in which case it is \f(CW0\fR
3145(disabled).
3146.IP "\s-1EV_VERIFY\s0" 4
3147.IX Item "EV_VERIFY"
3148Controls how much internal verification (see \f(CW\*(C`ev_loop_verify ()\*(C'\fR) will
3149be done: If set to \f(CW0\fR, no internal verification code will be compiled
3150in. If set to \f(CW1\fR, then verification code will be compiled in, but not
3151called. If set to \f(CW2\fR, then the internal verification code will be
3152called once per loop, which can slow down libev. If set to \f(CW3\fR, then the
3153verification code will be called very frequently, which will slow down
3154libev considerably.
3155.Sp
3156The default is \f(CW1\fR, unless \f(CW\*(C`EV_MINIMAL\*(C'\fR is set, in which case it will be
3157\&\f(CW0.\fR
2695.IP "\s-1EV_COMMON\s0" 4 3158.IP "\s-1EV_COMMON\s0" 4
2696.IX Item "EV_COMMON" 3159.IX Item "EV_COMMON"
2697By default, all watchers have a \f(CW\*(C`void *data\*(C'\fR member. By redefining 3160By default, all watchers have a \f(CW\*(C`void *data\*(C'\fR member. By redefining
2698this macro to a something else you can include more and other types of 3161this macro to a something else you can include more and other types of
2699members. You have to define it each time you include one of the files, 3162members. You have to define it each time you include one of the files,
2723.Sh "\s-1EXPORTED\s0 \s-1API\s0 \s-1SYMBOLS\s0" 3186.Sh "\s-1EXPORTED\s0 \s-1API\s0 \s-1SYMBOLS\s0"
2724.IX Subsection "EXPORTED API SYMBOLS" 3187.IX Subsection "EXPORTED API SYMBOLS"
2725If you need to re-export the \s-1API\s0 (e.g. via a dll) and you need a list of 3188If you need to re-export the \s-1API\s0 (e.g. via a dll) and you need a list of
2726exported symbols, you can use the provided \fISymbol.*\fR files which list 3189exported symbols, you can use the provided \fISymbol.*\fR files which list
2727all public symbols, one per line: 3190all public symbols, one per line:
2728.Sp 3191.PP
2729.Vb 2 3192.Vb 2
2730\& Symbols.ev for libev proper 3193\& Symbols.ev for libev proper
2731\& Symbols.event for the libevent emulation 3194\& Symbols.event for the libevent emulation
2732.Ve 3195.Ve
2733.Sp 3196.PP
2734This can also be used to rename all public symbols to avoid clashes with 3197This can also be used to rename all public symbols to avoid clashes with
2735multiple versions of libev linked together (which is obviously bad in 3198multiple versions of libev linked together (which is obviously bad in
2736itself, but sometimes it is inconvinient to avoid this). 3199itself, but sometimes it is inconvinient to avoid this).
2737.Sp 3200.PP
2738A sed command like this will create wrapper \f(CW\*(C`#define\*(C'\fR's that you need to 3201A sed command like this will create wrapper \f(CW\*(C`#define\*(C'\fR's that you need to
2739include before including \fIev.h\fR: 3202include before including \fIev.h\fR:
2740.Sp 3203.PP
2741.Vb 1 3204.Vb 1
2742\& <Symbols.ev sed -e "s/.*/#define & myprefix_&/" >wrap.h 3205\& <Symbols.ev sed \-e "s/.*/#define & myprefix_&/" >wrap.h
2743.Ve 3206.Ve
2744.Sp 3207.PP
2745This would create a file \fIwrap.h\fR which essentially looks like this: 3208This would create a file \fIwrap.h\fR which essentially looks like this:
2746.Sp 3209.PP
2747.Vb 4 3210.Vb 4
2748\& #define ev_backend myprefix_ev_backend 3211\& #define ev_backend myprefix_ev_backend
2749\& #define ev_check_start myprefix_ev_check_start 3212\& #define ev_check_start myprefix_ev_check_start
2750\& #define ev_check_stop myprefix_ev_check_stop 3213\& #define ev_check_stop myprefix_ev_check_stop
2751\& ... 3214\& ...
2757(<http://software.schmorp.de/pkg/EV.html>). It has the libev files in 3220(<http://software.schmorp.de/pkg/EV.html>). It has the libev files in
2758the \fIlibev/\fR subdirectory and includes them in the \fI\s-1EV/EVAPI\s0.h\fR (public 3221the \fIlibev/\fR subdirectory and includes them in the \fI\s-1EV/EVAPI\s0.h\fR (public
2759interface) and \fI\s-1EV\s0.xs\fR (implementation) files. Only the \fI\s-1EV\s0.xs\fR file 3222interface) and \fI\s-1EV\s0.xs\fR (implementation) files. Only the \fI\s-1EV\s0.xs\fR file
2760will be compiled. It is pretty complex because it provides its own header 3223will be compiled. It is pretty complex because it provides its own header
2761file. 3224file.
2762.Sp 3225.PP
2763The usage in rxvt-unicode is simpler. It has a \fIev_cpp.h\fR header file 3226The usage in rxvt-unicode is simpler. It has a \fIev_cpp.h\fR header file
2764that everybody includes and which overrides some configure choices: 3227that everybody includes and which overrides some configure choices:
2765.Sp 3228.PP
2766.Vb 9 3229.Vb 9
2767\& #define EV_MINIMAL 1 3230\& #define EV_MINIMAL 1
2768\& #define EV_USE_POLL 0 3231\& #define EV_USE_POLL 0
2769\& #define EV_MULTIPLICITY 0 3232\& #define EV_MULTIPLICITY 0
2770\& #define EV_PERIODIC_ENABLE 0 3233\& #define EV_PERIODIC_ENABLE 0
2771\& #define EV_STAT_ENABLE 0 3234\& #define EV_STAT_ENABLE 0
2772\& #define EV_FORK_ENABLE 0 3235\& #define EV_FORK_ENABLE 0
2773\& #define EV_CONFIG_H <config.h> 3236\& #define EV_CONFIG_H <config.h>
2774\& #define EV_MINPRI 0 3237\& #define EV_MINPRI 0
2775\& #define EV_MAXPRI 0 3238\& #define EV_MAXPRI 0
2776.Ve 3239\&
2777.Sp
2778.Vb 1
2779\& #include "ev++.h" 3240\& #include "ev++.h"
2780.Ve 3241.Ve
2781.Sp 3242.PP
2782And a \fIev_cpp.C\fR implementation file that contains libev proper and is compiled: 3243And a \fIev_cpp.C\fR implementation file that contains libev proper and is compiled:
2783.Sp 3244.PP
2784.Vb 2 3245.Vb 2
2785\& #include "ev_cpp.h" 3246\& #include "ev_cpp.h"
2786\& #include "ev.c" 3247\& #include "ev.c"
2787.Ve 3248.Ve
3249.SH "THREADS AND COROUTINES"
3250.IX Header "THREADS AND COROUTINES"
3251.Sh "\s-1THREADS\s0"
3252.IX Subsection "THREADS"
3253Libev itself is completely threadsafe, but it uses no locking. This
3254means that you can use as many loops as you want in parallel, as long as
3255only one thread ever calls into one libev function with the same loop
3256parameter.
3257.PP
3258Or put differently: calls with different loop parameters can be done in
3259parallel from multiple threads, calls with the same loop parameter must be
3260done serially (but can be done from different threads, as long as only one
3261thread ever is inside a call at any point in time, e.g. by using a mutex
3262per loop).
3263.PP
3264If you want to know which design is best for your problem, then I cannot
3265help you but by giving some generic advice:
3266.IP "\(bu" 4
3267most applications have a main thread: use the default libev loop
3268in that thread, or create a seperate thread running only the default loop.
3269.Sp
3270This helps integrating other libraries or software modules that use libev
3271themselves and don't care/know about threading.
3272.IP "\(bu" 4
3273one loop per thread is usually a good model.
3274.Sp
3275Doing this is almost never wrong, sometimes a better-performance model
3276exists, but it is always a good start.
3277.IP "\(bu" 4
3278other models exist, such as the leader/follower pattern, where one
3279loop is handed through multiple threads in a kind of round-robbin fashion.
3280.Sp
3281Chosing a model is hard \- look around, learn, know that usually you cna do
3282better than you currently do :\-)
3283.IP "\(bu" 4
3284often you need to talk to some other thread which blocks in the
3285event loop \- \f(CW\*(C`ev_async\*(C'\fR watchers can be used to wake them up from other
3286threads safely (or from signal contexts...).
3287.Sh "\s-1COROUTINES\s0"
3288.IX Subsection "COROUTINES"
3289Libev is much more accomodating to coroutines (\*(L"cooperative threads\*(R"):
3290libev fully supports nesting calls to it's functions from different
3291coroutines (e.g. you can call \f(CW\*(C`ev_loop\*(C'\fR on the same loop from two
3292different coroutines and switch freely between both coroutines running the
3293loop, as long as you don't confuse yourself). The only exception is that
3294you must not do this from \f(CW\*(C`ev_periodic\*(C'\fR reschedule callbacks.
3295.PP
3296Care has been invested into making sure that libev does not keep local
3297state inside \f(CW\*(C`ev_loop\*(C'\fR, and other calls do not usually allow coroutine
3298switches.
2788.SH "COMPLEXITIES" 3299.SH "COMPLEXITIES"
2789.IX Header "COMPLEXITIES" 3300.IX Header "COMPLEXITIES"
2790In this section the complexities of (many of) the algorithms used inside 3301In this section the complexities of (many of) the algorithms used inside
2791libev will be explained. For complexity discussions about backends see the 3302libev will be explained. For complexity discussions about backends see the
2792documentation for \f(CW\*(C`ev_default_init\*(C'\fR. 3303documentation for \f(CW\*(C`ev_default_init\*(C'\fR.
2793.Sp 3304.PP
2794All of the following are about amortised time: If an array needs to be 3305All of the following are about amortised time: If an array needs to be
2795extended, libev needs to realloc and move the whole array, but this 3306extended, libev needs to realloc and move the whole array, but this
2796happens asymptotically never with higher number of elements, so O(1) might 3307happens asymptotically never with higher number of elements, so O(1) might
2797mean it might do a lengthy realloc operation in rare cases, but on average 3308mean it might do a lengthy realloc operation in rare cases, but on average
2798it is much faster and asymptotically approaches constant time. 3309it is much faster and asymptotically approaches constant time.
2799.RS 4
2800.IP "Starting and stopping timer/periodic watchers: O(log skipped_other_timers)" 4 3310.IP "Starting and stopping timer/periodic watchers: O(log skipped_other_timers)" 4
2801.IX Item "Starting and stopping timer/periodic watchers: O(log skipped_other_timers)" 3311.IX Item "Starting and stopping timer/periodic watchers: O(log skipped_other_timers)"
2802This means that, when you have a watcher that triggers in one hour and 3312This means that, when you have a watcher that triggers in one hour and
2803there are 100 watchers that would trigger before that then inserting will 3313there are 100 watchers that would trigger before that then inserting will
2804have to skip those 100 watchers. 3314have to skip roughly seven (\f(CW\*(C`ld 100\*(C'\fR) of these watchers.
2805.IP "Changing timer/periodic watchers (by autorepeat, again): O(log skipped_other_timers)" 4 3315.IP "Changing timer/periodic watchers (by autorepeat or calling again): O(log skipped_other_timers)" 4
2806.IX Item "Changing timer/periodic watchers (by autorepeat, again): O(log skipped_other_timers)" 3316.IX Item "Changing timer/periodic watchers (by autorepeat or calling again): O(log skipped_other_timers)"
2807That means that for changing a timer costs less than removing/adding them 3317That means that changing a timer costs less than removing/adding them
2808as only the relative motion in the event queue has to be paid for. 3318as only the relative motion in the event queue has to be paid for.
2809.IP "Starting io/check/prepare/idle/signal/child watchers: O(1)" 4 3319.IP "Starting io/check/prepare/idle/signal/child/fork/async watchers: O(1)" 4
2810.IX Item "Starting io/check/prepare/idle/signal/child watchers: O(1)" 3320.IX Item "Starting io/check/prepare/idle/signal/child/fork/async watchers: O(1)"
2811These just add the watcher into an array or at the head of a list. 3321These just add the watcher into an array or at the head of a list.
3322.IP "Stopping check/prepare/idle/fork/async watchers: O(1)" 4
2812=item Stopping check/prepare/idle watchers: O(1) 3323.IX Item "Stopping check/prepare/idle/fork/async watchers: O(1)"
3324.PD 0
2813.IP "Stopping an io/signal/child watcher: O(number_of_watchers_for_this_(fd/signal/pid % \s-1EV_PID_HASHSIZE\s0))" 4 3325.IP "Stopping an io/signal/child watcher: O(number_of_watchers_for_this_(fd/signal/pid % \s-1EV_PID_HASHSIZE\s0))" 4
2814.IX Item "Stopping an io/signal/child watcher: O(number_of_watchers_for_this_(fd/signal/pid % EV_PID_HASHSIZE))" 3326.IX Item "Stopping an io/signal/child watcher: O(number_of_watchers_for_this_(fd/signal/pid % EV_PID_HASHSIZE))"
3327.PD
2815These watchers are stored in lists then need to be walked to find the 3328These watchers are stored in lists then need to be walked to find the
2816correct watcher to remove. The lists are usually short (you don't usually 3329correct watcher to remove. The lists are usually short (you don't usually
2817have many watchers waiting for the same fd or signal). 3330have many watchers waiting for the same fd or signal).
2818.IP "Finding the next timer per loop iteration: O(1)" 4 3331.IP "Finding the next timer in each loop iteration: O(1)" 4
2819.IX Item "Finding the next timer per loop iteration: O(1)" 3332.IX Item "Finding the next timer in each loop iteration: O(1)"
2820.PD 0 3333By virtue of using a binary or 4\-heap, the next timer is always found at a
3334fixed position in the storage array.
2821.IP "Each change on a file descriptor per loop iteration: O(number_of_watchers_for_this_fd)" 4 3335.IP "Each change on a file descriptor per loop iteration: O(number_of_watchers_for_this_fd)" 4
2822.IX Item "Each change on a file descriptor per loop iteration: O(number_of_watchers_for_this_fd)" 3336.IX Item "Each change on a file descriptor per loop iteration: O(number_of_watchers_for_this_fd)"
2823.PD
2824A change means an I/O watcher gets started or stopped, which requires 3337A change means an I/O watcher gets started or stopped, which requires
2825libev to recalculate its status (and possibly tell the kernel). 3338libev to recalculate its status (and possibly tell the kernel, depending
2826.IP "Activating one watcher: O(1)" 4 3339on backend and wether \f(CW\*(C`ev_io_set\*(C'\fR was used).
2827.IX Item "Activating one watcher: O(1)" 3340.IP "Activating one watcher (putting it into the pending state): O(1)" 4
3341.IX Item "Activating one watcher (putting it into the pending state): O(1)"
2828.PD 0 3342.PD 0
2829.IP "Priority handling: O(number_of_priorities)" 4 3343.IP "Priority handling: O(number_of_priorities)" 4
2830.IX Item "Priority handling: O(number_of_priorities)" 3344.IX Item "Priority handling: O(number_of_priorities)"
2831.PD 3345.PD
2832Priorities are implemented by allocating some space for each 3346Priorities are implemented by allocating some space for each
2833priority. When doing priority-based operations, libev usually has to 3347priority. When doing priority-based operations, libev usually has to
2834linearly search all the priorities. 3348linearly search all the priorities, but starting/stopping and activating
2835.RE 3349watchers becomes O(1) w.r.t. priority handling.
2836.RS 4 3350.IP "Sending an ev_async: O(1)" 4
3351.IX Item "Sending an ev_async: O(1)"
3352.PD 0
3353.IP "Processing ev_async_send: O(number_of_async_watchers)" 4
3354.IX Item "Processing ev_async_send: O(number_of_async_watchers)"
3355.IP "Processing signals: O(max_signal_number)" 4
3356.IX Item "Processing signals: O(max_signal_number)"
3357.PD
3358Sending involves a syscall \fIiff\fR there were no other \f(CW\*(C`ev_async_send\*(C'\fR
3359calls in the current loop iteration. Checking for async and signal events
3360involves iterating over all running async watchers or all signal numbers.
3361.SH "Win32 platform limitations and workarounds"
3362.IX Header "Win32 platform limitations and workarounds"
3363Win32 doesn't support any of the standards (e.g. \s-1POSIX\s0) that libev
3364requires, and its I/O model is fundamentally incompatible with the \s-1POSIX\s0
3365model. Libev still offers limited functionality on this platform in
3366the form of the \f(CW\*(C`EVBACKEND_SELECT\*(C'\fR backend, and only supports socket
3367descriptors. This only applies when using Win32 natively, not when using
3368e.g. cygwin.
3369.PP
3370Lifting these limitations would basically require the full
3371re-implementation of the I/O system. If you are into these kinds of
3372things, then note that glib does exactly that for you in a very portable
3373way (note also that glib is the slowest event library known to man).
3374.PP
3375There is no supported compilation method available on windows except
3376embedding it into other applications.
3377.PP
3378Due to the many, low, and arbitrary limits on the win32 platform and
3379the abysmal performance of winsockets, using a large number of sockets
3380is not recommended (and not reasonable). If your program needs to use
3381more than a hundred or so sockets, then likely it needs to use a totally
3382different implementation for windows, as libev offers the \s-1POSIX\s0 readiness
3383notification model, which cannot be implemented efficiently on windows
3384(microsoft monopoly games).
3385.IP "The winsocket select function" 4
3386.IX Item "The winsocket select function"
3387The winsocket \f(CW\*(C`select\*(C'\fR function doesn't follow \s-1POSIX\s0 in that it
3388requires socket \fIhandles\fR and not socket \fIfile descriptors\fR (it is
3389also extremely buggy). This makes select very inefficient, and also
3390requires a mapping from file descriptors to socket handles. See the
3391discussion of the \f(CW\*(C`EV_SELECT_USE_FD_SET\*(C'\fR, \f(CW\*(C`EV_SELECT_IS_WINSOCKET\*(C'\fR and
3392\&\f(CW\*(C`EV_FD_TO_WIN32_HANDLE\*(C'\fR preprocessor symbols for more info.
3393.Sp
3394The configuration for a \*(L"naked\*(R" win32 using the microsoft runtime
3395libraries and raw winsocket select is:
3396.Sp
3397.Vb 2
3398\& #define EV_USE_SELECT 1
3399\& #define EV_SELECT_IS_WINSOCKET 1 /* forces EV_SELECT_USE_FD_SET, too */
3400.Ve
3401.Sp
3402Note that winsockets handling of fd sets is O(n), so you can easily get a
3403complexity in the O(nA\*^X) range when using win32.
3404.IP "Limited number of file descriptors" 4
3405.IX Item "Limited number of file descriptors"
3406Windows has numerous arbitrary (and low) limits on things.
3407.Sp
3408Early versions of winsocket's select only supported waiting for a maximum
3409of \f(CW64\fR handles (probably owning to the fact that all windows kernels
3410can only wait for \f(CW64\fR things at the same time internally; microsoft
3411recommends spawning a chain of threads and wait for 63 handles and the
3412previous thread in each. Great).
3413.Sp
3414Newer versions support more handles, but you need to define \f(CW\*(C`FD_SETSIZE\*(C'\fR
3415to some high number (e.g. \f(CW2048\fR) before compiling the winsocket select
3416call (which might be in libev or elsewhere, for example, perl does its own
3417select emulation on windows).
3418.Sp
3419Another limit is the number of file descriptors in the microsoft runtime
3420libraries, which by default is \f(CW64\fR (there must be a hidden \fI64\fR fetish
3421or something like this inside microsoft). You can increase this by calling
3422\&\f(CW\*(C`_setmaxstdio\*(C'\fR, which can increase this limit to \f(CW2048\fR (another
3423arbitrary limit), but is broken in many versions of the microsoft runtime
3424libraries.
3425.Sp
3426This might get you to about \f(CW512\fR or \f(CW2048\fR sockets (depending on
3427windows version and/or the phase of the moon). To get more, you need to
3428wrap all I/O functions and provide your own fd management, but the cost of
3429calling select (O(nA\*^X)) will likely make this unworkable.
3430.SH "PORTABILITY REQUIREMENTS"
3431.IX Header "PORTABILITY REQUIREMENTS"
3432In addition to a working ISO-C implementation, libev relies on a few
3433additional extensions:
3434.ie n .IP """sig_atomic_t volatile"" must be thread-atomic as well" 4
3435.el .IP "\f(CWsig_atomic_t volatile\fR must be thread-atomic as well" 4
3436.IX Item "sig_atomic_t volatile must be thread-atomic as well"
3437The type \f(CW\*(C`sig_atomic_t volatile\*(C'\fR (or whatever is defined as
3438\&\f(CW\*(C`EV_ATOMIC_T\*(C'\fR) must be atomic w.r.t. accesses from different
3439threads. This is not part of the specification for \f(CW\*(C`sig_atomic_t\*(C'\fR, but is
3440believed to be sufficiently portable.
3441.ie n .IP """sigprocmask"" must work in a threaded environment" 4
3442.el .IP "\f(CWsigprocmask\fR must work in a threaded environment" 4
3443.IX Item "sigprocmask must work in a threaded environment"
3444Libev uses \f(CW\*(C`sigprocmask\*(C'\fR to temporarily block signals. This is not
3445allowed in a threaded program (\f(CW\*(C`pthread_sigmask\*(C'\fR has to be used). Typical
3446pthread implementations will either allow \f(CW\*(C`sigprocmask\*(C'\fR in the \*(L"main
3447thread\*(R" or will block signals process-wide, both behaviours would
3448be compatible with libev. Interaction between \f(CW\*(C`sigprocmask\*(C'\fR and
3449\&\f(CW\*(C`pthread_sigmask\*(C'\fR could complicate things, however.
3450.Sp
3451The most portable way to handle signals is to block signals in all threads
3452except the initial one, and run the default loop in the initial thread as
3453well.
3454.ie n .IP """long"" must be large enough for common memory allocation sizes" 4
3455.el .IP "\f(CWlong\fR must be large enough for common memory allocation sizes" 4
3456.IX Item "long must be large enough for common memory allocation sizes"
3457To improve portability and simplify using libev, libev uses \f(CW\*(C`long\*(C'\fR
3458internally instead of \f(CW\*(C`size_t\*(C'\fR when allocating its data structures. On
3459non-POSIX systems (Microsoft...) this might be unexpectedly low, but
3460is still at least 31 bits everywhere, which is enough for hundreds of
3461millions of watchers.
3462.ie n .IP """double"" must hold a time value in seconds with enough accuracy" 4
3463.el .IP "\f(CWdouble\fR must hold a time value in seconds with enough accuracy" 4
3464.IX Item "double must hold a time value in seconds with enough accuracy"
3465The type \f(CW\*(C`double\*(C'\fR is used to represent timestamps. It is required to
3466have at least 51 bits of mantissa (and 9 bits of exponent), which is good
3467enough for at least into the year 4000. This requirement is fulfilled by
3468implementations implementing \s-1IEEE\s0 754 (basically all existing ones).
3469.PP
3470If you know of other additional requirements drop me a note.
3471.SH "COMPILER WARNINGS"
3472.IX Header "COMPILER WARNINGS"
3473Depending on your compiler and compiler settings, you might get no or a
3474lot of warnings when compiling libev code. Some people are apparently
3475scared by this.
3476.PP
3477However, these are unavoidable for many reasons. For one, each compiler
3478has different warnings, and each user has different tastes regarding
3479warning options. \*(L"Warn-free\*(R" code therefore cannot be a goal except when
3480targetting a specific compiler and compiler-version.
3481.PP
3482Another reason is that some compiler warnings require elaborate
3483workarounds, or other changes to the code that make it less clear and less
3484maintainable.
3485.PP
3486And of course, some compiler warnings are just plain stupid, or simply
3487wrong (because they don't actually warn about the cindition their message
3488seems to warn about).
3489.PP
3490While libev is written to generate as few warnings as possible,
3491\&\*(L"warn-free\*(R" code is not a goal, and it is recommended not to build libev
3492with any compiler warnings enabled unless you are prepared to cope with
3493them (e.g. by ignoring them). Remember that warnings are just that:
3494warnings, not errors, or proof of bugs.
3495.SH "VALGRIND"
3496.IX Header "VALGRIND"
3497Valgrind has a special section here because it is a popular tool that is
3498highly useful, but valgrind reports are very hard to interpret.
3499.PP
3500If you think you found a bug (memory leak, uninitialised data access etc.)
3501in libev, then check twice: If valgrind reports something like:
3502.PP
3503.Vb 3
3504\& ==2274== definitely lost: 0 bytes in 0 blocks.
3505\& ==2274== possibly lost: 0 bytes in 0 blocks.
3506\& ==2274== still reachable: 256 bytes in 1 blocks.
3507.Ve
3508.PP
3509then there is no memory leak. Similarly, under some circumstances,
3510valgrind might report kernel bugs as if it were a bug in libev, or it
3511might be confused (it is a very good tool, but only a tool).
3512.PP
3513If you are unsure about something, feel free to contact the mailing list
3514with the full valgrind report and an explanation on why you think this is
3515a bug in libev. However, don't be annoyed when you get a brisk \*(L"this is
3516no bug\*(R" answer and take the chance of learning how to interpret valgrind
3517properly.
3518.PP
3519If you need, for some reason, empty reports from valgrind for your project
3520I suggest using suppression lists.
2837.SH "AUTHOR" 3521.SH "AUTHOR"
2838.IX Header "AUTHOR" 3522.IX Header "AUTHOR"
2839Marc Lehmann <libev@schmorp.de>. 3523Marc Lehmann <libev@schmorp.de>.
3524.SH "POD ERRORS"
3525.IX Header "POD ERRORS"
3526Hey! \fBThe above document had some coding errors, which are explained below:\fR
3527.IP "Around line 3107:" 4
3528.IX Item "Around line 3107:"
3529You forgot a '=back' before '=head2'

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines