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

Comparing libev/ev.pod (file contents):
Revision 1.18 by root, Mon Nov 12 09:01:12 2007 UTC vs.
Revision 1.34 by root, Fri Nov 23 16:17:12 2007 UTC

45 45
46Libev represents time as a single floating point number, representing the 46Libev represents time as a single floating point number, representing the
47(fractional) number of seconds since the (POSIX) epoch (somewhere near 47(fractional) number of seconds since the (POSIX) epoch (somewhere near
48the beginning of 1970, details are complicated, don't ask). This type is 48the beginning of 1970, details are complicated, don't ask). This type is
49called C<ev_tstamp>, which is what you should use too. It usually aliases 49called C<ev_tstamp>, which is what you should use too. It usually aliases
50to the double type in C. 50to the C<double> type in C, and when you need to do any calculations on
51it, you should treat it as such.
52
51 53
52=head1 GLOBAL FUNCTIONS 54=head1 GLOBAL FUNCTIONS
53 55
54These functions can be called anytime, even before initialising the 56These functions can be called anytime, even before initialising the
55library in any way. 57library in any way.
56 58
57=over 4 59=over 4
58 60
59=item ev_tstamp ev_time () 61=item ev_tstamp ev_time ()
60 62
61Returns the current time as libev would use it. 63Returns the current time as libev would use it. Please note that the
64C<ev_now> function is usually faster and also often returns the timestamp
65you actually want to know.
62 66
63=item int ev_version_major () 67=item int ev_version_major ()
64 68
65=item int ev_version_minor () 69=item int ev_version_minor ()
66 70
73Usually, it's a good idea to terminate if the major versions mismatch, 77Usually, it's a good idea to terminate if the major versions mismatch,
74as this indicates an incompatible change. Minor versions are usually 78as this indicates an incompatible change. Minor versions are usually
75compatible to older versions, so a larger minor version alone is usually 79compatible to older versions, so a larger minor version alone is usually
76not a problem. 80not a problem.
77 81
82Example: make sure we haven't accidentally been linked against the wrong
83version:
84
85 assert (("libev version mismatch",
86 ev_version_major () == EV_VERSION_MAJOR
87 && ev_version_minor () >= EV_VERSION_MINOR));
88
89=item unsigned int ev_supported_backends ()
90
91Return the set of all backends (i.e. their corresponding C<EV_BACKEND_*>
92value) compiled into this binary of libev (independent of their
93availability on the system you are running on). See C<ev_default_loop> for
94a description of the set values.
95
96Example: make sure we have the epoll method, because yeah this is cool and
97a must have and can we have a torrent of it please!!!11
98
99 assert (("sorry, no epoll, no sex",
100 ev_supported_backends () & EVBACKEND_EPOLL));
101
102=item unsigned int ev_recommended_backends ()
103
104Return the set of all backends compiled into this binary of libev and also
105recommended for this platform. This set is often smaller than the one
106returned by C<ev_supported_backends>, as for example kqueue is broken on
107most BSDs and will not be autodetected unless you explicitly request it
108(assuming you know what you are doing). This is the set of backends that
109libev will probe for if you specify no backends explicitly.
110
78=item ev_set_allocator (void *(*cb)(void *ptr, long size)) 111=item ev_set_allocator (void *(*cb)(void *ptr, long size))
79 112
80Sets the allocation function to use (the prototype is similar to the 113Sets the allocation function to use (the prototype is similar to the
81realloc C function, the semantics are identical). It is used to allocate 114realloc C function, the semantics are identical). It is used to allocate
82and free memory (no surprises here). If it returns zero when memory 115and free memory (no surprises here). If it returns zero when memory
84destructive action. The default is your system realloc function. 117destructive action. The default is your system realloc function.
85 118
86You could override this function in high-availability programs to, say, 119You could override this function in high-availability programs to, say,
87free some memory if it cannot allocate memory, to use a special allocator, 120free some memory if it cannot allocate memory, to use a special allocator,
88or even to sleep a while and retry until some memory is available. 121or even to sleep a while and retry until some memory is available.
122
123Example: replace the libev allocator with one that waits a bit and then
124retries: better than mine).
125
126 static void *
127 persistent_realloc (void *ptr, long size)
128 {
129 for (;;)
130 {
131 void *newptr = realloc (ptr, size);
132
133 if (newptr)
134 return newptr;
135
136 sleep (60);
137 }
138 }
139
140 ...
141 ev_set_allocator (persistent_realloc);
89 142
90=item ev_set_syserr_cb (void (*cb)(const char *msg)); 143=item ev_set_syserr_cb (void (*cb)(const char *msg));
91 144
92Set the callback function to call on a retryable syscall error (such 145Set the callback function to call on a retryable syscall error (such
93as failed select, poll, epoll_wait). The message is a printable string 146as failed select, poll, epoll_wait). The message is a printable string
95callback is set, then libev will expect it to remedy the sitution, no 148callback is set, then libev will expect it to remedy the sitution, no
96matter what, when it returns. That is, libev will generally retry the 149matter what, when it returns. That is, libev will generally retry the
97requested operation, or, if the condition doesn't go away, do bad stuff 150requested operation, or, if the condition doesn't go away, do bad stuff
98(such as abort). 151(such as abort).
99 152
153Example: do the same thing as libev does internally:
154
155 static void
156 fatal_error (const char *msg)
157 {
158 perror (msg);
159 abort ();
160 }
161
162 ...
163 ev_set_syserr_cb (fatal_error);
164
100=back 165=back
101 166
102=head1 FUNCTIONS CONTROLLING THE EVENT LOOP 167=head1 FUNCTIONS CONTROLLING THE EVENT LOOP
103 168
104An event loop is described by a C<struct ev_loop *>. The library knows two 169An event loop is described by a C<struct ev_loop *>. The library knows two
117=item struct ev_loop *ev_default_loop (unsigned int flags) 182=item struct ev_loop *ev_default_loop (unsigned int flags)
118 183
119This will initialise the default event loop if it hasn't been initialised 184This will initialise the default event loop if it hasn't been initialised
120yet and return it. If the default loop could not be initialised, returns 185yet and return it. If the default loop could not be initialised, returns
121false. If it already was initialised it simply returns it (and ignores the 186false. If it already was initialised it simply returns it (and ignores the
122flags). 187flags. If that is troubling you, check C<ev_backend ()> afterwards).
123 188
124If you don't know what event loop to use, use the one returned from this 189If you don't know what event loop to use, use the one returned from this
125function. 190function.
126 191
127The flags argument can be used to specify special behaviour or specific 192The flags argument can be used to specify special behaviour or specific
128backends to use, and is usually specified as 0 (or EVFLAG_AUTO). 193backends to use, and is usually specified as C<0> (or C<EVFLAG_AUTO>).
129 194
130It supports the following flags: 195The following flags are supported:
131 196
132=over 4 197=over 4
133 198
134=item C<EVFLAG_AUTO> 199=item C<EVFLAG_AUTO>
135 200
143C<LIBEV_FLAGS>. Otherwise (the default), this environment variable will 208C<LIBEV_FLAGS>. Otherwise (the default), this environment variable will
144override the flags completely if it is found in the environment. This is 209override the flags completely if it is found in the environment. This is
145useful to try out specific backends to test their performance, or to work 210useful to try out specific backends to test their performance, or to work
146around bugs. 211around bugs.
147 212
148=item C<EVMETHOD_SELECT> (portable select backend) 213=item C<EVBACKEND_SELECT> (value 1, portable select backend)
149 214
215This is your standard select(2) backend. Not I<completely> standard, as
216libev tries to roll its own fd_set with no limits on the number of fds,
217but if that fails, expect a fairly low limit on the number of fds when
218using this backend. It doesn't scale too well (O(highest_fd)), but its usually
219the fastest backend for a low number of fds.
220
150=item C<EVMETHOD_POLL> (poll backend, available everywhere except on windows) 221=item C<EVBACKEND_POLL> (value 2, poll backend, available everywhere except on windows)
151 222
152=item C<EVMETHOD_EPOLL> (linux only) 223And this is your standard poll(2) backend. It's more complicated than
224select, but handles sparse fds better and has no artificial limit on the
225number of fds you can use (except it will slow down considerably with a
226lot of inactive fds). It scales similarly to select, i.e. O(total_fds).
153 227
154=item C<EVMETHOD_KQUEUE> (some bsds only) 228=item C<EVBACKEND_EPOLL> (value 4, Linux)
155 229
156=item C<EVMETHOD_DEVPOLL> (solaris 8 only) 230For few fds, this backend is a bit little slower than poll and select,
231but it scales phenomenally better. While poll and select usually scale like
232O(total_fds) where n is the total number of fds (or the highest fd), epoll scales
233either O(1) or O(active_fds).
157 234
158=item C<EVMETHOD_PORT> (solaris 10 only) 235While stopping and starting an I/O watcher in the same iteration will
236result in some caching, there is still a syscall per such incident
237(because the fd could point to a different file description now), so its
238best to avoid that. Also, dup()ed file descriptors might not work very
239well if you register events for both fds.
240
241Please note that epoll sometimes generates spurious notifications, so you
242need to use non-blocking I/O or other means to avoid blocking when no data
243(or space) is available.
244
245=item C<EVBACKEND_KQUEUE> (value 8, most BSD clones)
246
247Kqueue deserves special mention, as at the time of this writing, it
248was broken on all BSDs except NetBSD (usually it doesn't work with
249anything but sockets and pipes, except on Darwin, where of course its
250completely useless). For this reason its not being "autodetected"
251unless you explicitly specify it explicitly in the flags (i.e. using
252C<EVBACKEND_KQUEUE>).
253
254It scales in the same way as the epoll backend, but the interface to the
255kernel is more efficient (which says nothing about its actual speed, of
256course). While starting and stopping an I/O watcher does not cause an
257extra syscall as with epoll, it still adds up to four event changes per
258incident, so its best to avoid that.
259
260=item C<EVBACKEND_DEVPOLL> (value 16, Solaris 8)
261
262This is not implemented yet (and might never be).
263
264=item C<EVBACKEND_PORT> (value 32, Solaris 10)
265
266This uses the Solaris 10 port mechanism. As with everything on Solaris,
267it's really slow, but it still scales very well (O(active_fds)).
268
269Please note that solaris ports can result in a lot of spurious
270notifications, so you need to use non-blocking I/O or other means to avoid
271blocking when no data (or space) is available.
272
273=item C<EVBACKEND_ALL>
274
275Try all backends (even potentially broken ones that wouldn't be tried
276with C<EVFLAG_AUTO>). Since this is a mask, you can do stuff such as
277C<EVBACKEND_ALL & ~EVBACKEND_KQUEUE>.
278
279=back
159 280
160If one or more of these are ored into the flags value, then only these 281If one or more of these are ored into the flags value, then only these
161backends will be tried (in the reverse order as given here). If one are 282backends will be tried (in the reverse order as given here). If none are
162specified, any backend will do. 283specified, most compiled-in backend will be tried, usually in reverse
284order of their flag values :)
163 285
164=back 286The most typical usage is like this:
287
288 if (!ev_default_loop (0))
289 fatal ("could not initialise libev, bad $LIBEV_FLAGS in environment?");
290
291Restrict libev to the select and poll backends, and do not allow
292environment settings to be taken into account:
293
294 ev_default_loop (EVBACKEND_POLL | EVBACKEND_SELECT | EVFLAG_NOENV);
295
296Use whatever libev has to offer, but make sure that kqueue is used if
297available (warning, breaks stuff, best use only with your own private
298event loop and only if you know the OS supports your types of fds):
299
300 ev_default_loop (ev_recommended_backends () | EVBACKEND_KQUEUE);
165 301
166=item struct ev_loop *ev_loop_new (unsigned int flags) 302=item struct ev_loop *ev_loop_new (unsigned int flags)
167 303
168Similar to C<ev_default_loop>, but always creates a new event loop that is 304Similar to C<ev_default_loop>, but always creates a new event loop that is
169always distinct from the default loop. Unlike the default loop, it cannot 305always distinct from the default loop. Unlike the default loop, it cannot
170handle signal and child watchers, and attempts to do so will be greeted by 306handle signal and child watchers, and attempts to do so will be greeted by
171undefined behaviour (or a failed assertion if assertions are enabled). 307undefined behaviour (or a failed assertion if assertions are enabled).
172 308
309Example: try to create a event loop that uses epoll and nothing else.
310
311 struct ev_loop *epoller = ev_loop_new (EVBACKEND_EPOLL | EVFLAG_NOENV);
312 if (!epoller)
313 fatal ("no epoll found here, maybe it hides under your chair");
314
173=item ev_default_destroy () 315=item ev_default_destroy ()
174 316
175Destroys the default loop again (frees all memory and kernel state 317Destroys the default loop again (frees all memory and kernel state
176etc.). This stops all registered event watchers (by not touching them in 318etc.). This stops all registered event watchers (by not touching them in
177any way whatsoever, although you cannot rely on this :). 319any way whatsoever, although you cannot rely on this :).
186This function reinitialises the kernel state for backends that have 328This function reinitialises the kernel state for backends that have
187one. Despite the name, you can call it anytime, but it makes most sense 329one. Despite the name, you can call it anytime, but it makes most sense
188after forking, in either the parent or child process (or both, but that 330after forking, in either the parent or child process (or both, but that
189again makes little sense). 331again makes little sense).
190 332
191You I<must> call this function after forking if and only if you want to 333You I<must> call this function in the child process after forking if and
192use the event library in both processes. If you just fork+exec, you don't 334only if you want to use the event library in both processes. If you just
193have to call it. 335fork+exec, you don't have to call it.
194 336
195The function itself is quite fast and it's usually not a problem to call 337The function itself is quite fast and it's usually not a problem to call
196it just in case after a fork. To make this easy, the function will fit in 338it just in case after a fork. To make this easy, the function will fit in
197quite nicely into a call to C<pthread_atfork>: 339quite nicely into a call to C<pthread_atfork>:
198 340
199 pthread_atfork (0, 0, ev_default_fork); 341 pthread_atfork (0, 0, ev_default_fork);
200 342
343At the moment, C<EVBACKEND_SELECT> and C<EVBACKEND_POLL> are safe to use
344without calling this function, so if you force one of those backends you
345do not need to care.
346
201=item ev_loop_fork (loop) 347=item ev_loop_fork (loop)
202 348
203Like C<ev_default_fork>, but acts on an event loop created by 349Like C<ev_default_fork>, but acts on an event loop created by
204C<ev_loop_new>. Yes, you have to call this on every allocated event loop 350C<ev_loop_new>. Yes, you have to call this on every allocated event loop
205after fork, and how you do this is entirely your own problem. 351after fork, and how you do this is entirely your own problem.
206 352
207=item unsigned int ev_method (loop) 353=item unsigned int ev_backend (loop)
208 354
209Returns one of the C<EVMETHOD_*> flags indicating the event backend in 355Returns one of the C<EVBACKEND_*> flags indicating the event backend in
210use. 356use.
211 357
212=item ev_tstamp ev_now (loop) 358=item ev_tstamp ev_now (loop)
213 359
214Returns the current "event loop time", which is the time the event loop 360Returns the current "event loop time", which is the time the event loop
215got events and started processing them. This timestamp does not change 361received events and started processing them. This timestamp does not
216as long as callbacks are being processed, and this is also the base time 362change as long as callbacks are being processed, and this is also the base
217used for relative timers. You can treat it as the timestamp of the event 363time used for relative timers. You can treat it as the timestamp of the
218occuring (or more correctly, the mainloop finding out about it). 364event occuring (or more correctly, libev finding out about it).
219 365
220=item ev_loop (loop, int flags) 366=item ev_loop (loop, int flags)
221 367
222Finally, this is it, the event handler. This function usually is called 368Finally, this is it, the event handler. This function usually is called
223after you initialised all your watchers and you want to start handling 369after you initialised all your watchers and you want to start handling
224events. 370events.
225 371
226If the flags argument is specified as 0, it will not return until either 372If the flags argument is specified as C<0>, it will not return until
227no event watchers are active anymore or C<ev_unloop> was called. 373either no event watchers are active anymore or C<ev_unloop> was called.
374
375Please note that an explicit C<ev_unloop> is usually better than
376relying on all watchers to be stopped when deciding when a program has
377finished (especially in interactive programs), but having a program that
378automatically loops as long as it has to and no longer by virtue of
379relying on its watchers stopping correctly is a thing of beauty.
228 380
229A flags value of C<EVLOOP_NONBLOCK> will look for new events, will handle 381A flags value of C<EVLOOP_NONBLOCK> will look for new events, will handle
230those events and any outstanding ones, but will not block your process in 382those events and any outstanding ones, but will not block your process in
231case there are no events and will return after one iteration of the loop. 383case there are no events and will return after one iteration of the loop.
232 384
233A flags value of C<EVLOOP_ONESHOT> will look for new events (waiting if 385A flags value of C<EVLOOP_ONESHOT> will look for new events (waiting if
234neccessary) and will handle those and any outstanding ones. It will block 386neccessary) and will handle those and any outstanding ones. It will block
235your process until at least one new event arrives, and will return after 387your process until at least one new event arrives, and will return after
236one iteration of the loop. 388one iteration of the loop. This is useful if you are waiting for some
389external event in conjunction with something not expressible using other
390libev watchers. However, a pair of C<ev_prepare>/C<ev_check> watchers is
391usually a better approach for this kind of thing.
237 392
238This flags value could be used to implement alternative looping 393Here are the gory details of what C<ev_loop> does:
239constructs, but the C<prepare> and C<check> watchers provide a better and 394
240more generic mechanism. 395 * If there are no active watchers (reference count is zero), return.
396 - Queue prepare watchers and then call all outstanding watchers.
397 - If we have been forked, recreate the kernel state.
398 - Update the kernel state with all outstanding changes.
399 - Update the "event loop time".
400 - Calculate for how long to block.
401 - Block the process, waiting for any events.
402 - Queue all outstanding I/O (fd) events.
403 - Update the "event loop time" and do time jump handling.
404 - Queue all outstanding timers.
405 - Queue all outstanding periodics.
406 - If no events are pending now, queue all idle watchers.
407 - Queue all check watchers.
408 - Call all queued watchers in reverse order (i.e. check watchers first).
409 Signals and child watchers are implemented as I/O watchers, and will
410 be handled here by queueing them when their watcher gets executed.
411 - If ev_unloop has been called or EVLOOP_ONESHOT or EVLOOP_NONBLOCK
412 were used, return, otherwise continue with step *.
413
414Example: queue some jobs and then loop until no events are outsanding
415anymore.
416
417 ... queue jobs here, make sure they register event watchers as long
418 ... as they still have work to do (even an idle watcher will do..)
419 ev_loop (my_loop, 0);
420 ... jobs done. yeah!
241 421
242=item ev_unloop (loop, how) 422=item ev_unloop (loop, how)
243 423
244Can be used to make a call to C<ev_loop> return early (but only after it 424Can be used to make a call to C<ev_loop> return early (but only after it
245has processed all outstanding events). The C<how> argument must be either 425has processed all outstanding events). The C<how> argument must be either
246C<EVUNLOOP_ONCE>, which will make the innermost C<ev_loop> call return, or 426C<EVUNLOOP_ONE>, which will make the innermost C<ev_loop> call return, or
247C<EVUNLOOP_ALL>, which will make all nested C<ev_loop> calls return. 427C<EVUNLOOP_ALL>, which will make all nested C<ev_loop> calls return.
248 428
249=item ev_ref (loop) 429=item ev_ref (loop)
250 430
251=item ev_unref (loop) 431=item ev_unref (loop)
259visible to the libev user and should not keep C<ev_loop> from exiting if 439visible to the libev user and should not keep C<ev_loop> from exiting if
260no event watchers registered by it are active. It is also an excellent 440no event watchers registered by it are active. It is also an excellent
261way to do this for generic recurring timers or from within third-party 441way to do this for generic recurring timers or from within third-party
262libraries. Just remember to I<unref after start> and I<ref before stop>. 442libraries. Just remember to I<unref after start> and I<ref before stop>.
263 443
444Example: create a signal watcher, but keep it from keeping C<ev_loop>
445running when nothing else is active.
446
447 struct dv_signal exitsig;
448 ev_signal_init (&exitsig, sig_cb, SIGINT);
449 ev_signal_start (myloop, &exitsig);
450 evf_unref (myloop);
451
452Example: for some weird reason, unregister the above signal handler again.
453
454 ev_ref (myloop);
455 ev_signal_stop (myloop, &exitsig);
456
264=back 457=back
265 458
266=head1 ANATOMY OF A WATCHER 459=head1 ANATOMY OF A WATCHER
267 460
268A watcher is a structure that you create and register to record your 461A watcher is a structure that you create and register to record your
302*) >>), and you can stop watching for events at any time by calling the 495*) >>), and you can stop watching for events at any time by calling the
303corresponding stop function (C<< ev_<type>_stop (loop, watcher *) >>. 496corresponding stop function (C<< ev_<type>_stop (loop, watcher *) >>.
304 497
305As long as your watcher is active (has been started but not stopped) you 498As long as your watcher is active (has been started but not stopped) you
306must not touch the values stored in it. Most specifically you must never 499must not touch the values stored in it. Most specifically you must never
307reinitialise it or call its set method. 500reinitialise it or call its set macro.
308 501
309You can check whether an event is active by calling the C<ev_is_active 502You can check whether an event is active by calling the C<ev_is_active
310(watcher *)> macro. To see whether an event is outstanding (but the 503(watcher *)> macro. To see whether an event is outstanding (but the
311callback for it has not been called yet) you can use the C<ev_is_pending 504callback for it has not been called yet) you can use the C<ev_is_pending
312(watcher *)> macro. 505(watcher *)> macro.
409=head1 WATCHER TYPES 602=head1 WATCHER TYPES
410 603
411This section describes each watcher in detail, but will not repeat 604This section describes each watcher in detail, but will not repeat
412information given in the last section. 605information given in the last section.
413 606
607
414=head2 C<ev_io> - is this file descriptor readable or writable 608=head2 C<ev_io> - is this file descriptor readable or writable
415 609
416I/O watchers check whether a file descriptor is readable or writable 610I/O watchers check whether a file descriptor is readable or writable
417in each iteration of the event loop (This behaviour is called 611in each iteration of the event loop (This behaviour is called
418level-triggering because you keep receiving events as long as the 612level-triggering because you keep receiving events as long as the
419condition persists. Remember you can stop the watcher if you don't want to 613condition persists. Remember you can stop the watcher if you don't want to
420act on the event and neither want to receive future events). 614act on the event and neither want to receive future events).
421 615
422In general you can register as many read and/or write event watchers oer 616In general you can register as many read and/or write event watchers per
423fd as you want (as long as you don't confuse yourself). Setting all file 617fd as you want (as long as you don't confuse yourself). Setting all file
424descriptors to non-blocking mode is also usually a good idea (but not 618descriptors to non-blocking mode is also usually a good idea (but not
425required if you know what you are doing). 619required if you know what you are doing).
426 620
427You have to be careful with dup'ed file descriptors, though. Some backends 621You have to be careful with dup'ed file descriptors, though. Some backends
428(the linux epoll backend is a notable example) cannot handle dup'ed file 622(the linux epoll backend is a notable example) cannot handle dup'ed file
429descriptors correctly if you register interest in two or more fds pointing 623descriptors correctly if you register interest in two or more fds pointing
430to the same file/socket etc. description. 624to the same underlying file/socket etc. description (that is, they share
625the same underlying "file open").
431 626
432If you must do this, then force the use of a known-to-be-good backend 627If you must do this, then force the use of a known-to-be-good backend
433(at the time of this writing, this includes only EVMETHOD_SELECT and 628(at the time of this writing, this includes only C<EVBACKEND_SELECT> and
434EVMETHOD_POLL). 629C<EVBACKEND_POLL>).
435 630
436=over 4 631=over 4
437 632
438=item ev_io_init (ev_io *, callback, int fd, int events) 633=item ev_io_init (ev_io *, callback, int fd, int events)
439 634
441 636
442Configures an C<ev_io> watcher. The fd is the file descriptor to rceeive 637Configures an C<ev_io> watcher. The fd is the file descriptor to rceeive
443events for and events is either C<EV_READ>, C<EV_WRITE> or C<EV_READ | 638events for and events is either C<EV_READ>, C<EV_WRITE> or C<EV_READ |
444EV_WRITE> to receive the given events. 639EV_WRITE> to receive the given events.
445 640
641Please note that most of the more scalable backend mechanisms (for example
642epoll and solaris ports) can result in spurious readyness notifications
643for file descriptors, so you practically need to use non-blocking I/O (and
644treat callback invocation as hint only), or retest separately with a safe
645interface before doing I/O (XLib can do this), or force the use of either
646C<EVBACKEND_SELECT> or C<EVBACKEND_POLL>, which don't suffer from this
647problem. Also note that it is quite easy to have your callback invoked
648when the readyness condition is no longer valid even when employing
649typical ways of handling events, so its a good idea to use non-blocking
650I/O unconditionally.
651
446=back 652=back
653
654Example: call C<stdin_readable_cb> when STDIN_FILENO has become, well
655readable, but only once. Since it is likely line-buffered, you could
656attempt to read a whole line in the callback:
657
658 static void
659 stdin_readable_cb (struct ev_loop *loop, struct ev_io *w, int revents)
660 {
661 ev_io_stop (loop, w);
662 .. read from stdin here (or from w->fd) and haqndle any I/O errors
663 }
664
665 ...
666 struct ev_loop *loop = ev_default_init (0);
667 struct ev_io stdin_readable;
668 ev_io_init (&stdin_readable, stdin_readable_cb, STDIN_FILENO, EV_READ);
669 ev_io_start (loop, &stdin_readable);
670 ev_loop (loop, 0);
671
447 672
448=head2 C<ev_timer> - relative and optionally recurring timeouts 673=head2 C<ev_timer> - relative and optionally recurring timeouts
449 674
450Timer watchers are simple relative timers that generate an event after a 675Timer watchers are simple relative timers that generate an event after a
451given time, and optionally repeating in regular intervals after that. 676given time, and optionally repeating in regular intervals after that.
452 677
453The timers are based on real time, that is, if you register an event that 678The timers are based on real time, that is, if you register an event that
454times out after an hour and youreset your system clock to last years 679times out after an hour and you reset your system clock to last years
455time, it will still time out after (roughly) and hour. "Roughly" because 680time, it will still time out after (roughly) and hour. "Roughly" because
456detecting time jumps is hard, and soem inaccuracies are unavoidable (the 681detecting time jumps is hard, and some inaccuracies are unavoidable (the
457monotonic clock option helps a lot here). 682monotonic clock option helps a lot here).
458 683
459The relative timeouts are calculated relative to the C<ev_now ()> 684The relative timeouts are calculated relative to the C<ev_now ()>
460time. This is usually the right thing as this timestamp refers to the time 685time. This is usually the right thing as this timestamp refers to the time
461of the event triggering whatever timeout you are modifying/starting. If 686of the event triggering whatever timeout you are modifying/starting. If
462you suspect event processing to be delayed and you *need* to base the timeout 687you suspect event processing to be delayed and you I<need> to base the timeout
463ion the current time, use something like this to adjust for this: 688on the current time, use something like this to adjust for this:
464 689
465 ev_timer_set (&timer, after + ev_now () - ev_time (), 0.); 690 ev_timer_set (&timer, after + ev_now () - ev_time (), 0.);
691
692The callback is guarenteed to be invoked only when its timeout has passed,
693but if multiple timers become ready during the same loop iteration then
694order of execution is undefined.
466 695
467=over 4 696=over 4
468 697
469=item ev_timer_init (ev_timer *, callback, ev_tstamp after, ev_tstamp repeat) 698=item ev_timer_init (ev_timer *, callback, ev_tstamp after, ev_tstamp repeat)
470 699
476later, again, and again, until stopped manually. 705later, again, and again, until stopped manually.
477 706
478The timer itself will do a best-effort at avoiding drift, that is, if you 707The timer itself will do a best-effort at avoiding drift, that is, if you
479configure a timer to trigger every 10 seconds, then it will trigger at 708configure a timer to trigger every 10 seconds, then it will trigger at
480exactly 10 second intervals. If, however, your program cannot keep up with 709exactly 10 second intervals. If, however, your program cannot keep up with
481the timer (ecause it takes longer than those 10 seconds to do stuff) the 710the timer (because it takes longer than those 10 seconds to do stuff) the
482timer will not fire more than once per event loop iteration. 711timer will not fire more than once per event loop iteration.
483 712
484=item ev_timer_again (loop) 713=item ev_timer_again (loop)
485 714
486This will act as if the timer timed out and restart it again if it is 715This will act as if the timer timed out and restart it again if it is
500state where you do not expect data to travel on the socket, you can stop 729state where you do not expect data to travel on the socket, you can stop
501the timer, and again will automatically restart it if need be. 730the timer, and again will automatically restart it if need be.
502 731
503=back 732=back
504 733
734Example: create a timer that fires after 60 seconds.
735
736 static void
737 one_minute_cb (struct ev_loop *loop, struct ev_timer *w, int revents)
738 {
739 .. one minute over, w is actually stopped right here
740 }
741
742 struct ev_timer mytimer;
743 ev_timer_init (&mytimer, one_minute_cb, 60., 0.);
744 ev_timer_start (loop, &mytimer);
745
746Example: create a timeout timer that times out after 10 seconds of
747inactivity.
748
749 static void
750 timeout_cb (struct ev_loop *loop, struct ev_timer *w, int revents)
751 {
752 .. ten seconds without any activity
753 }
754
755 struct ev_timer mytimer;
756 ev_timer_init (&mytimer, timeout_cb, 0., 10.); /* note, only repeat used */
757 ev_timer_again (&mytimer); /* start timer */
758 ev_loop (loop, 0);
759
760 // and in some piece of code that gets executed on any "activity":
761 // reset the timeout to start ticking again at 10 seconds
762 ev_timer_again (&mytimer);
763
764
505=head2 C<ev_periodic> - to cron or not to cron 765=head2 C<ev_periodic> - to cron or not to cron
506 766
507Periodic watchers are also timers of a kind, but they are very versatile 767Periodic watchers are also timers of a kind, but they are very versatile
508(and unfortunately a bit complex). 768(and unfortunately a bit complex).
509 769
517again). 777again).
518 778
519They can also be used to implement vastly more complex timers, such as 779They can also be used to implement vastly more complex timers, such as
520triggering an event on eahc midnight, local time. 780triggering an event on eahc midnight, local time.
521 781
782As with timers, the callback is guarenteed to be invoked only when the
783time (C<at>) has been passed, but if multiple periodic timers become ready
784during the same loop iteration then order of execution is undefined.
785
522=over 4 786=over 4
523 787
524=item ev_periodic_init (ev_periodic *, callback, ev_tstamp at, ev_tstamp interval, reschedule_cb) 788=item ev_periodic_init (ev_periodic *, callback, ev_tstamp at, ev_tstamp interval, reschedule_cb)
525 789
526=item ev_periodic_set (ev_periodic *, ev_tstamp after, ev_tstamp repeat, reschedule_cb) 790=item ev_periodic_set (ev_periodic *, ev_tstamp after, ev_tstamp repeat, reschedule_cb)
527 791
528Lots of arguments, lets sort it out... There are basically three modes of 792Lots of arguments, lets sort it out... There are basically three modes of
529operation, and we will explain them from simplest to complex: 793operation, and we will explain them from simplest to complex:
530
531 794
532=over 4 795=over 4
533 796
534=item * absolute timer (interval = reschedule_cb = 0) 797=item * absolute timer (interval = reschedule_cb = 0)
535 798
582(that is, the lowest time value larger than to the second argument). It 845(that is, the lowest time value larger than to the second argument). It
583will usually be called just before the callback will be triggered, but 846will usually be called just before the callback will be triggered, but
584might be called at other times, too. 847might be called at other times, too.
585 848
586NOTE: I<< This callback must always return a time that is later than the 849NOTE: I<< This callback must always return a time that is later than the
587passed C<now> value >>. Not even C<now> itself will do, it must be larger. 850passed C<now> value >>. Not even C<now> itself will do, it I<must> be larger.
588 851
589This can be used to create very complex timers, such as a timer that 852This can be used to create very complex timers, such as a timer that
590triggers on each midnight, local time. To do this, you would calculate the 853triggers on each midnight, local time. To do this, you would calculate the
591next midnight after C<now> and return the timestamp value for this. How you do this 854next midnight after C<now> and return the timestamp value for this. How
592is, again, up to you (but it is not trivial). 855you do this is, again, up to you (but it is not trivial, which is the main
856reason I omitted it as an example).
593 857
594=back 858=back
595 859
596=item ev_periodic_again (loop, ev_periodic *) 860=item ev_periodic_again (loop, ev_periodic *)
597 861
599when you changed some parameters or the reschedule callback would return 863when you changed some parameters or the reschedule callback would return
600a different time than the last time it was called (e.g. in a crond like 864a different time than the last time it was called (e.g. in a crond like
601program when the crontabs have changed). 865program when the crontabs have changed).
602 866
603=back 867=back
868
869Example: call a callback every hour, or, more precisely, whenever the
870system clock is divisible by 3600. The callback invocation times have
871potentially a lot of jittering, but good long-term stability.
872
873 static void
874 clock_cb (struct ev_loop *loop, struct ev_io *w, int revents)
875 {
876 ... its now a full hour (UTC, or TAI or whatever your clock follows)
877 }
878
879 struct ev_periodic hourly_tick;
880 ev_periodic_init (&hourly_tick, clock_cb, 0., 3600., 0);
881 ev_periodic_start (loop, &hourly_tick);
882
883Example: the same as above, but use a reschedule callback to do it:
884
885 #include <math.h>
886
887 static ev_tstamp
888 my_scheduler_cb (struct ev_periodic *w, ev_tstamp now)
889 {
890 return fmod (now, 3600.) + 3600.;
891 }
892
893 ev_periodic_init (&hourly_tick, clock_cb, 0., 0., my_scheduler_cb);
894
895Example: call a callback every hour, starting now:
896
897 struct ev_periodic hourly_tick;
898 ev_periodic_init (&hourly_tick, clock_cb,
899 fmod (ev_now (loop), 3600.), 3600., 0);
900 ev_periodic_start (loop, &hourly_tick);
901
604 902
605=head2 C<ev_signal> - signal me when a signal gets signalled 903=head2 C<ev_signal> - signal me when a signal gets signalled
606 904
607Signal watchers will trigger an event when the process receives a specific 905Signal watchers will trigger an event when the process receives a specific
608signal one or more times. Even though signals are very asynchronous, libev 906signal one or more times. Even though signals are very asynchronous, libev
644the status word (use the macros from C<sys/wait.h> and see your systems 942the status word (use the macros from C<sys/wait.h> and see your systems
645C<waitpid> documentation). The C<rpid> member contains the pid of the 943C<waitpid> documentation). The C<rpid> member contains the pid of the
646process causing the status change. 944process causing the status change.
647 945
648=back 946=back
947
948Example: try to exit cleanly on SIGINT and SIGTERM.
949
950 static void
951 sigint_cb (struct ev_loop *loop, struct ev_signal *w, int revents)
952 {
953 ev_unloop (loop, EVUNLOOP_ALL);
954 }
955
956 struct ev_signal signal_watcher;
957 ev_signal_init (&signal_watcher, sigint_cb, SIGINT);
958 ev_signal_start (loop, &sigint_cb);
959
649 960
650=head2 C<ev_idle> - when you've got nothing better to do 961=head2 C<ev_idle> - when you've got nothing better to do
651 962
652Idle watchers trigger events when there are no other events are pending 963Idle watchers trigger events when there are no other events are pending
653(prepare, check and other idle watchers do not count). That is, as long 964(prepare, check and other idle watchers do not count). That is, as long
673kind. There is a C<ev_idle_set> macro, but using it is utterly pointless, 984kind. There is a C<ev_idle_set> macro, but using it is utterly pointless,
674believe me. 985believe me.
675 986
676=back 987=back
677 988
989Example: dynamically allocate an C<ev_idle>, start it, and in the
990callback, free it. Alos, use no error checking, as usual.
991
992 static void
993 idle_cb (struct ev_loop *loop, struct ev_idle *w, int revents)
994 {
995 free (w);
996 // now do something you wanted to do when the program has
997 // no longer asnything immediate to do.
998 }
999
1000 struct ev_idle *idle_watcher = malloc (sizeof (struct ev_idle));
1001 ev_idle_init (idle_watcher, idle_cb);
1002 ev_idle_start (loop, idle_cb);
1003
1004
678=head2 C<ev_prepare> and C<ev_check> - customise your event loop 1005=head2 C<ev_prepare> and C<ev_check> - customise your event loop
679 1006
680Prepare and check watchers are usually (but not always) used in tandem: 1007Prepare and check watchers are usually (but not always) used in tandem:
681Prepare watchers get invoked before the process blocks and check watchers 1008prepare watchers get invoked before the process blocks and check watchers
682afterwards. 1009afterwards.
683 1010
684Their main purpose is to integrate other event mechanisms into libev. This 1011Their main purpose is to integrate other event mechanisms into libev. This
685could be used, for example, to track variable changes, implement your own 1012could be used, for example, to track variable changes, implement your own
686watchers, integrate net-snmp or a coroutine library and lots more. 1013watchers, integrate net-snmp or a coroutine library and lots more.
689to be watched by the other library, registering C<ev_io> watchers for 1016to be watched by the other library, registering C<ev_io> watchers for
690them and starting an C<ev_timer> watcher for any timeouts (many libraries 1017them and starting an C<ev_timer> watcher for any timeouts (many libraries
691provide just this functionality). Then, in the check watcher you check for 1018provide just this functionality). Then, in the check watcher you check for
692any events that occured (by checking the pending status of all watchers 1019any events that occured (by checking the pending status of all watchers
693and stopping them) and call back into the library. The I/O and timer 1020and stopping them) and call back into the library. The I/O and timer
694callbacks will never actually be called (but must be valid neverthelles, 1021callbacks will never actually be called (but must be valid nevertheless,
695because you never know, you know?). 1022because you never know, you know?).
696 1023
697As another example, the Perl Coro module uses these hooks to integrate 1024As another example, the Perl Coro module uses these hooks to integrate
698coroutines into libev programs, by yielding to other active coroutines 1025coroutines into libev programs, by yielding to other active coroutines
699during each prepare and only letting the process block if no coroutines 1026during each prepare and only letting the process block if no coroutines
700are ready to run (its actually more complicated, it only runs coroutines 1027are ready to run (it's actually more complicated: it only runs coroutines
701with priority higher than the event loop and one lower priority once, 1028with priority higher than or equal to the event loop and one coroutine
702using idle watchers to keep the event loop from blocking if lower-priority 1029of lower priority, but only once, using idle watchers to keep the event
703coroutines exist, thus mapping low-priority coroutines to idle/background 1030loop from blocking if lower-priority coroutines are active, thus mapping
704tasks). 1031low-priority coroutines to idle/background tasks).
705 1032
706=over 4 1033=over 4
707 1034
708=item ev_prepare_init (ev_prepare *, callback) 1035=item ev_prepare_init (ev_prepare *, callback)
709 1036
713parameters of any kind. There are C<ev_prepare_set> and C<ev_check_set> 1040parameters of any kind. There are C<ev_prepare_set> and C<ev_check_set>
714macros, but using them is utterly, utterly and completely pointless. 1041macros, but using them is utterly, utterly and completely pointless.
715 1042
716=back 1043=back
717 1044
1045Example: *TODO*.
1046
1047
718=head1 OTHER FUNCTIONS 1048=head1 OTHER FUNCTIONS
719 1049
720There are some other functions of possible interest. Described. Here. Now. 1050There are some other functions of possible interest. Described. Here. Now.
721 1051
722=over 4 1052=over 4
724=item ev_once (loop, int fd, int events, ev_tstamp timeout, callback) 1054=item ev_once (loop, int fd, int events, ev_tstamp timeout, callback)
725 1055
726This function combines a simple timer and an I/O watcher, calls your 1056This function combines a simple timer and an I/O watcher, calls your
727callback on whichever event happens first and automatically stop both 1057callback on whichever event happens first and automatically stop both
728watchers. This is useful if you want to wait for a single event on an fd 1058watchers. This is useful if you want to wait for a single event on an fd
729or timeout without havign to allocate/configure/start/stop/free one or 1059or timeout without having to allocate/configure/start/stop/free one or
730more watchers yourself. 1060more watchers yourself.
731 1061
732If C<fd> is less than 0, then no I/O watcher will be started and events 1062If C<fd> is less than 0, then no I/O watcher will be started and events
733is being ignored. Otherwise, an C<ev_io> watcher for the given C<fd> and 1063is being ignored. Otherwise, an C<ev_io> watcher for the given C<fd> and
734C<events> set will be craeted and started. 1064C<events> set will be craeted and started.
737started. Otherwise an C<ev_timer> watcher with after = C<timeout> (and 1067started. Otherwise an C<ev_timer> watcher with after = C<timeout> (and
738repeat = 0) will be started. While C<0> is a valid timeout, it is of 1068repeat = 0) will be started. While C<0> is a valid timeout, it is of
739dubious value. 1069dubious value.
740 1070
741The callback has the type C<void (*cb)(int revents, void *arg)> and gets 1071The callback has the type C<void (*cb)(int revents, void *arg)> and gets
742passed an events set like normal event callbacks (with a combination of 1072passed an C<revents> set like normal event callbacks (a combination of
743C<EV_ERROR>, C<EV_READ>, C<EV_WRITE> or C<EV_TIMEOUT>) and the C<arg> 1073C<EV_ERROR>, C<EV_READ>, C<EV_WRITE> or C<EV_TIMEOUT>) and the C<arg>
744value passed to C<ev_once>: 1074value passed to C<ev_once>:
745 1075
746 static void stdin_ready (int revents, void *arg) 1076 static void stdin_ready (int revents, void *arg)
747 { 1077 {
768 1098
769Feed an event as if the given signal occured (loop must be the default loop!). 1099Feed an event as if the given signal occured (loop must be the default loop!).
770 1100
771=back 1101=back
772 1102
1103
1104=head1 LIBEVENT EMULATION
1105
1106Libev offers a compatibility emulation layer for libevent. It cannot
1107emulate the internals of libevent, so here are some usage hints:
1108
1109=over 4
1110
1111=item * Use it by including <event.h>, as usual.
1112
1113=item * The following members are fully supported: ev_base, ev_callback,
1114ev_arg, ev_fd, ev_res, ev_events.
1115
1116=item * Avoid using ev_flags and the EVLIST_*-macros, while it is
1117maintained by libev, it does not work exactly the same way as in libevent (consider
1118it a private API).
1119
1120=item * Priorities are not currently supported. Initialising priorities
1121will fail and all watchers will have the same priority, even though there
1122is an ev_pri field.
1123
1124=item * Other members are not supported.
1125
1126=item * The libev emulation is I<not> ABI compatible to libevent, you need
1127to use the libev header file and library.
1128
1129=back
1130
1131=head1 C++ SUPPORT
1132
1133TBD.
1134
773=head1 AUTHOR 1135=head1 AUTHOR
774 1136
775Marc Lehmann <libev@schmorp.de>. 1137Marc Lehmann <libev@schmorp.de>.
776 1138

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines