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

Comparing libev/ev.pod (file contents):
Revision 1.260 by root, Sun Jul 19 21:18:03 2009 UTC vs.
Revision 1.276 by root, Tue Dec 29 13:11:00 2009 UTC

98=head2 FEATURES 98=head2 FEATURES
99 99
100Libev supports C<select>, C<poll>, the Linux-specific C<epoll>, the 100Libev supports C<select>, C<poll>, the Linux-specific C<epoll>, the
101BSD-specific C<kqueue> and the Solaris-specific event port mechanisms 101BSD-specific C<kqueue> and the Solaris-specific event port mechanisms
102for file descriptor events (C<ev_io>), the Linux C<inotify> interface 102for file descriptor events (C<ev_io>), the Linux C<inotify> interface
103(for C<ev_stat>), relative timers (C<ev_timer>), absolute timers 103(for C<ev_stat>), Linux eventfd/signalfd (for faster and cleaner
104with customised rescheduling (C<ev_periodic>), synchronous signals 104inter-thread wakeup (C<ev_async>)/signal handling (C<ev_signal>)) relative
105(C<ev_signal>), process status change events (C<ev_child>), and event 105timers (C<ev_timer>), absolute timers with customised rescheduling
106watchers dealing with the event loop mechanism itself (C<ev_idle>, 106(C<ev_periodic>), synchronous signals (C<ev_signal>), process status
107C<ev_embed>, C<ev_prepare> and C<ev_check> watchers) as well as 107change events (C<ev_child>), and event watchers dealing with the event
108file watchers (C<ev_stat>) and even limited support for fork events 108loop mechanism itself (C<ev_idle>, C<ev_embed>, C<ev_prepare> and
109(C<ev_fork>). 109C<ev_check> watchers) as well as file watchers (C<ev_stat>) and even
110limited support for fork events (C<ev_fork>).
110 111
111It also is quite fast (see this 112It also is quite fast (see this
112L<benchmark|http://libev.schmorp.de/bench.html> comparing it to libevent 113L<benchmark|http://libev.schmorp.de/bench.html> comparing it to libevent
113for example). 114for example).
114 115
117Libev is very configurable. In this manual the default (and most common) 118Libev is very configurable. In this manual the default (and most common)
118configuration will be described, which supports multiple event loops. For 119configuration will be described, which supports multiple event loops. For
119more info about various configuration options please have a look at 120more info about various configuration options please have a look at
120B<EMBED> section in this manual. If libev was configured without support 121B<EMBED> section in this manual. If libev was configured without support
121for multiple event loops, then all functions taking an initial argument of 122for multiple event loops, then all functions taking an initial argument of
122name C<loop> (which is always of type C<ev_loop *>) will not have 123name C<loop> (which is always of type C<struct ev_loop *>) will not have
123this argument. 124this argument.
124 125
125=head2 TIME REPRESENTATION 126=head2 TIME REPRESENTATION
126 127
127Libev represents time as a single floating point number, representing 128Libev represents time as a single floating point number, representing
369When this flag is specified, then libev will not attempt to use the 370When this flag is specified, then libev will not attempt to use the
370I<inotify> API for it's C<ev_stat> watchers. Apart from debugging and 371I<inotify> API for it's C<ev_stat> watchers. Apart from debugging and
371testing, this flag can be useful to conserve inotify file descriptors, as 372testing, this flag can be useful to conserve inotify file descriptors, as
372otherwise each loop using C<ev_stat> watchers consumes one inotify handle. 373otherwise each loop using C<ev_stat> watchers consumes one inotify handle.
373 374
374=item C<EVFLAG_NOSIGNALFD> 375=item C<EVFLAG_NOSIGFD>
375 376
376When this flag is specified, then libev will not attempt to use the 377When this flag is specified, then libev will not attempt to use the
377I<signalfd> API for it's C<ev_signal> (and C<ev_child>) watchers. This is 378I<signalfd> API for it's C<ev_signal> (and C<ev_child>) watchers. This is
378probably only useful to work around any bugs in libev. Consequently, this 379probably only useful to work around any bugs in libev. Consequently, this
379flag might go away once the signalfd functionality is considered stable, 380flag might go away once the signalfd functionality is considered stable,
409 410
410This backend maps C<EV_READ> to C<POLLIN | POLLERR | POLLHUP>, and 411This backend maps C<EV_READ> to C<POLLIN | POLLERR | POLLHUP>, and
411C<EV_WRITE> to C<POLLOUT | POLLERR | POLLHUP>. 412C<EV_WRITE> to C<POLLOUT | POLLERR | POLLHUP>.
412 413
413=item C<EVBACKEND_EPOLL> (value 4, Linux) 414=item C<EVBACKEND_EPOLL> (value 4, Linux)
415
416Use the linux-specific epoll(7) interface (for both pre- and post-2.6.9
417kernels).
414 418
415For few fds, this backend is a bit little slower than poll and select, 419For few fds, this backend is a bit little slower than poll and select,
416but it scales phenomenally better. While poll and select usually scale 420but it scales phenomenally better. While poll and select usually scale
417like O(total_fds) where n is the total number of fds (or the highest fd), 421like O(total_fds) where n is the total number of fds (or the highest fd),
418epoll scales either O(1) or O(active_fds). 422epoll scales either O(1) or O(active_fds).
589as signal and child watchers) would need to be stopped manually. 593as signal and child watchers) would need to be stopped manually.
590 594
591In general it is not advisable to call this function except in the 595In general it is not advisable to call this function except in the
592rare occasion where you really need to free e.g. the signal handling 596rare occasion where you really need to free e.g. the signal handling
593pipe fds. If you need dynamically allocated loops it is better to use 597pipe fds. If you need dynamically allocated loops it is better to use
594C<ev_loop_new> and C<ev_loop_destroy>). 598C<ev_loop_new> and C<ev_loop_destroy>.
595 599
596=item ev_loop_destroy (loop) 600=item ev_loop_destroy (loop)
597 601
598Like C<ev_default_destroy>, but destroys an event loop created by an 602Like C<ev_default_destroy>, but destroys an event loop created by an
599earlier call to C<ev_loop_new>. 603earlier call to C<ev_loop_new>.
703event loop time (see C<ev_now_update>). 707event loop time (see C<ev_now_update>).
704 708
705=item ev_loop (loop, int flags) 709=item ev_loop (loop, int flags)
706 710
707Finally, this is it, the event handler. This function usually is called 711Finally, this is it, the event handler. This function usually is called
708after you initialised all your watchers and you want to start handling 712after you have initialised all your watchers and you want to start
709events. 713handling events.
710 714
711If the flags argument is specified as C<0>, it will not return until 715If the flags argument is specified as C<0>, it will not return until
712either no event watchers are active anymore or C<ev_unloop> was called. 716either no event watchers are active anymore or C<ev_unloop> was called.
713 717
714Please note that an explicit C<ev_unloop> is usually better than 718Please note that an explicit C<ev_unloop> is usually better than
788 792
789Ref/unref can be used to add or remove a reference count on the event 793Ref/unref can be used to add or remove a reference count on the event
790loop: Every watcher keeps one reference, and as long as the reference 794loop: Every watcher keeps one reference, and as long as the reference
791count is nonzero, C<ev_loop> will not return on its own. 795count is nonzero, C<ev_loop> will not return on its own.
792 796
793If you have a watcher you never unregister that should not keep C<ev_loop> 797This is useful when you have a watcher that you never intend to
794from returning, call ev_unref() after starting, and ev_ref() before 798unregister, but that nevertheless should not keep C<ev_loop> from
799returning. In such a case, call C<ev_unref> after starting, and C<ev_ref>
795stopping it. 800before stopping it.
796 801
797As an example, libev itself uses this for its internal signal pipe: It 802As an example, libev itself uses this for its internal signal pipe: It
798is not visible to the libev user and should not keep C<ev_loop> from 803is not visible to the libev user and should not keep C<ev_loop> from
799exiting if no event watchers registered by it are active. It is also an 804exiting if no event watchers registered by it are active. It is also an
800excellent way to do this for generic recurring timers or from within 805excellent way to do this for generic recurring timers or from within
915 920
916While event loop modifications are allowed between invocations of 921While event loop modifications are allowed between invocations of
917C<release> and C<acquire> (that's their only purpose after all), no 922C<release> and C<acquire> (that's their only purpose after all), no
918modifications done will affect the event loop, i.e. adding watchers will 923modifications done will affect the event loop, i.e. adding watchers will
919have no effect on the set of file descriptors being watched, or the time 924have no effect on the set of file descriptors being watched, or the time
920waited. USe an C<ev_async> watcher to wake up C<ev_loop> when you want it 925waited. Use an C<ev_async> watcher to wake up C<ev_loop> when you want it
921to take note of any changes you made. 926to take note of any changes you made.
922 927
923In theory, threads executing C<ev_loop> will be async-cancel safe between 928In theory, threads executing C<ev_loop> will be async-cancel safe between
924invocations of C<release> and C<acquire>. 929invocations of C<release> and C<acquire>.
925 930
1122 1127
1123 ev_io w; 1128 ev_io w;
1124 ev_init (&w, my_cb); 1129 ev_init (&w, my_cb);
1125 ev_io_set (&w, STDIN_FILENO, EV_READ); 1130 ev_io_set (&w, STDIN_FILENO, EV_READ);
1126 1131
1127=item C<ev_TYPE_set> (ev_TYPE *, [args]) 1132=item C<ev_TYPE_set> (ev_TYPE *watcher, [args])
1128 1133
1129This macro initialises the type-specific parts of a watcher. You need to 1134This macro initialises the type-specific parts of a watcher. You need to
1130call C<ev_init> at least once before you call this macro, but you can 1135call C<ev_init> at least once before you call this macro, but you can
1131call C<ev_TYPE_set> any number of times. You must not, however, call this 1136call C<ev_TYPE_set> any number of times. You must not, however, call this
1132macro on a watcher that is active (it can be pending, however, which is a 1137macro on a watcher that is active (it can be pending, however, which is a
1145 1150
1146Example: Initialise and set an C<ev_io> watcher in one step. 1151Example: Initialise and set an C<ev_io> watcher in one step.
1147 1152
1148 ev_io_init (&w, my_cb, STDIN_FILENO, EV_READ); 1153 ev_io_init (&w, my_cb, STDIN_FILENO, EV_READ);
1149 1154
1150=item C<ev_TYPE_start> (loop *, ev_TYPE *watcher) 1155=item C<ev_TYPE_start> (loop, ev_TYPE *watcher)
1151 1156
1152Starts (activates) the given watcher. Only active watchers will receive 1157Starts (activates) the given watcher. Only active watchers will receive
1153events. If the watcher is already active nothing will happen. 1158events. If the watcher is already active nothing will happen.
1154 1159
1155Example: Start the C<ev_io> watcher that is being abused as example in this 1160Example: Start the C<ev_io> watcher that is being abused as example in this
1156whole section. 1161whole section.
1157 1162
1158 ev_io_start (EV_DEFAULT_UC, &w); 1163 ev_io_start (EV_DEFAULT_UC, &w);
1159 1164
1160=item C<ev_TYPE_stop> (loop *, ev_TYPE *watcher) 1165=item C<ev_TYPE_stop> (loop, ev_TYPE *watcher)
1161 1166
1162Stops the given watcher if active, and clears the pending status (whether 1167Stops the given watcher if active, and clears the pending status (whether
1163the watcher was active or not). 1168the watcher was active or not).
1164 1169
1165It is possible that stopped watchers are pending - for example, 1170It is possible that stopped watchers are pending - for example,
1190=item ev_cb_set (ev_TYPE *watcher, callback) 1195=item ev_cb_set (ev_TYPE *watcher, callback)
1191 1196
1192Change the callback. You can change the callback at virtually any time 1197Change the callback. You can change the callback at virtually any time
1193(modulo threads). 1198(modulo threads).
1194 1199
1195=item ev_set_priority (ev_TYPE *watcher, priority) 1200=item ev_set_priority (ev_TYPE *watcher, int priority)
1196 1201
1197=item int ev_priority (ev_TYPE *watcher) 1202=item int ev_priority (ev_TYPE *watcher)
1198 1203
1199Set and query the priority of the watcher. The priority is a small 1204Set and query the priority of the watcher. The priority is a small
1200integer between C<EV_MAXPRI> (default: C<2>) and C<EV_MINPRI> 1205integer between C<EV_MAXPRI> (default: C<2>) and C<EV_MINPRI>
1231returns its C<revents> bitset (as if its callback was invoked). If the 1236returns its C<revents> bitset (as if its callback was invoked). If the
1232watcher isn't pending it does nothing and returns C<0>. 1237watcher isn't pending it does nothing and returns C<0>.
1233 1238
1234Sometimes it can be useful to "poll" a watcher instead of waiting for its 1239Sometimes it can be useful to "poll" a watcher instead of waiting for its
1235callback to be invoked, which can be accomplished with this function. 1240callback to be invoked, which can be accomplished with this function.
1241
1242=item ev_feed_event (loop, ev_TYPE *watcher, int revents)
1243
1244Feeds the given event set into the event loop, as if the specified event
1245had happened for the specified watcher (which must be a pointer to an
1246initialised but not necessarily started event watcher). Obviously you must
1247not free the watcher as long as it has pending events.
1248
1249Stopping the watcher, letting libev invoke it, or calling
1250C<ev_clear_pending> will clear the pending event, even if the watcher was
1251not started in the first place.
1252
1253See also C<ev_feed_fd_event> and C<ev_feed_signal_event> for related
1254functions that do not need a watcher.
1236 1255
1237=back 1256=back
1238 1257
1239 1258
1240=head2 ASSOCIATING CUSTOM DATA WITH A WATCHER 1259=head2 ASSOCIATING CUSTOM DATA WITH A WATCHER
1836C<repeat> value), or reset the running timer to the C<repeat> value. 1855C<repeat> value), or reset the running timer to the C<repeat> value.
1837 1856
1838This sounds a bit complicated, see L<Be smart about timeouts>, above, for a 1857This sounds a bit complicated, see L<Be smart about timeouts>, above, for a
1839usage example. 1858usage example.
1840 1859
1841=item ev_timer_remaining (loop, ev_timer *) 1860=item ev_tstamp ev_timer_remaining (loop, ev_timer *)
1842 1861
1843Returns the remaining time until a timer fires. If the timer is active, 1862Returns the remaining time until a timer fires. If the timer is active,
1844then this time is relative to the current event loop time, otherwise it's 1863then this time is relative to the current event loop time, otherwise it's
1845the timeout value currently configured. 1864the timeout value currently configured.
1846 1865
2107 2126
2108When the first watcher gets started will libev actually register something 2127When the first watcher gets started will libev actually register something
2109with the kernel (thus it coexists with your own signal handlers as long as 2128with the kernel (thus it coexists with your own signal handlers as long as
2110you don't register any with libev for the same signal). 2129you don't register any with libev for the same signal).
2111 2130
2112Both the signal mask state (C<sigprocmask>) and the signal handler state
2113(C<sigaction>) are unspecified after starting a signal watcher (and after
2114sotpping it again), that is, libev might or might not block the signal,
2115and might or might not set or restore the installed signal handler.
2116
2117If possible and supported, libev will install its handlers with 2131If possible and supported, libev will install its handlers with
2118C<SA_RESTART> (or equivalent) behaviour enabled, so system calls should 2132C<SA_RESTART> (or equivalent) behaviour enabled, so system calls should
2119not be unduly interrupted. If you have a problem with system calls getting 2133not be unduly interrupted. If you have a problem with system calls getting
2120interrupted by signals you can block all signals in an C<ev_check> watcher 2134interrupted by signals you can block all signals in an C<ev_check> watcher
2121and unblock them in an C<ev_prepare> watcher. 2135and unblock them in an C<ev_prepare> watcher.
2136
2137=head3 The special problem of inheritance over execve
2138
2139Both the signal mask (C<sigprocmask>) and the signal disposition
2140(C<sigaction>) are unspecified after starting a signal watcher (and after
2141stopping it again), that is, libev might or might not block the signal,
2142and might or might not set or restore the installed signal handler.
2143
2144While this does not matter for the signal disposition (libev never
2145sets signals to C<SIG_IGN>, so handlers will be reset to C<SIG_DFL> on
2146C<execve>), this matters for the signal mask: many programs do not expect
2147certain signals to be blocked.
2148
2149This means that before calling C<exec> (from the child) you should reset
2150the signal mask to whatever "default" you expect (all clear is a good
2151choice usually).
2152
2153The simplest way to ensure that the signal mask is reset in the child is
2154to install a fork handler with C<pthread_atfork> that resets it. That will
2155catch fork calls done by libraries (such as the libc) as well.
2156
2157In current versions of libev, you can also ensure that the signal mask is
2158not blocking any signals (except temporarily, so thread users watch out)
2159by specifying the C<EVFLAG_NOSIGFD> when creating the event loop. This
2160is not guaranteed for future versions, however.
2122 2161
2123=head3 Watcher-Specific Functions and Data Members 2162=head3 Watcher-Specific Functions and Data Members
2124 2163
2125=over 4 2164=over 4
2126 2165
2943=head3 Queueing 2982=head3 Queueing
2944 2983
2945C<ev_async> does not support queueing of data in any way. The reason 2984C<ev_async> does not support queueing of data in any way. The reason
2946is that the author does not know of a simple (or any) algorithm for a 2985is that the author does not know of a simple (or any) algorithm for a
2947multiple-writer-single-reader queue that works in all cases and doesn't 2986multiple-writer-single-reader queue that works in all cases and doesn't
2948need elaborate support such as pthreads. 2987need elaborate support such as pthreads or unportable memory access
2988semantics.
2949 2989
2950That means that if you want to queue data, you have to provide your own 2990That means that if you want to queue data, you have to provide your own
2951queue. But at least I can tell you how to implement locking around your 2991queue. But at least I can tell you how to implement locking around your
2952queue: 2992queue:
2953 2993
3111 /* doh, nothing entered */; 3151 /* doh, nothing entered */;
3112 } 3152 }
3113 3153
3114 ev_once (STDIN_FILENO, EV_READ, 10., stdin_ready, 0); 3154 ev_once (STDIN_FILENO, EV_READ, 10., stdin_ready, 0);
3115 3155
3116=item ev_feed_event (struct ev_loop *, watcher *, int revents)
3117
3118Feeds the given event set into the event loop, as if the specified event
3119had happened for the specified watcher (which must be a pointer to an
3120initialised but not necessarily started event watcher).
3121
3122=item ev_feed_fd_event (struct ev_loop *, int fd, int revents) 3156=item ev_feed_fd_event (loop, int fd, int revents)
3123 3157
3124Feed an event on the given fd, as if a file descriptor backend detected 3158Feed an event on the given fd, as if a file descriptor backend detected
3125the given events it. 3159the given events it.
3126 3160
3127=item ev_feed_signal_event (struct ev_loop *loop, int signum) 3161=item ev_feed_signal_event (loop, int signum)
3128 3162
3129Feed an event as if the given signal occurred (C<loop> must be the default 3163Feed an event as if the given signal occurred (C<loop> must be the default
3130loop!). 3164loop!).
3131 3165
3132=back 3166=back
3212 3246
3213=over 4 3247=over 4
3214 3248
3215=item ev::TYPE::TYPE () 3249=item ev::TYPE::TYPE ()
3216 3250
3217=item ev::TYPE::TYPE (struct ev_loop *) 3251=item ev::TYPE::TYPE (loop)
3218 3252
3219=item ev::TYPE::~TYPE 3253=item ev::TYPE::~TYPE
3220 3254
3221The constructor (optionally) takes an event loop to associate the watcher 3255The constructor (optionally) takes an event loop to associate the watcher
3222with. If it is omitted, it will use C<EV_DEFAULT>. 3256with. If it is omitted, it will use C<EV_DEFAULT>.
3299Example: Use a plain function as callback. 3333Example: Use a plain function as callback.
3300 3334
3301 static void io_cb (ev::io &w, int revents) { } 3335 static void io_cb (ev::io &w, int revents) { }
3302 iow.set <io_cb> (); 3336 iow.set <io_cb> ();
3303 3337
3304=item w->set (struct ev_loop *) 3338=item w->set (loop)
3305 3339
3306Associates a different C<struct ev_loop> with this watcher. You can only 3340Associates a different C<struct ev_loop> with this watcher. You can only
3307do this when the watcher is inactive (and not pending either). 3341do this when the watcher is inactive (and not pending either).
3308 3342
3309=item w->set ([arguments]) 3343=item w->set ([arguments])
3406=item Ocaml 3440=item Ocaml
3407 3441
3408Erkki Seppala has written Ocaml bindings for libev, to be found at 3442Erkki Seppala has written Ocaml bindings for libev, to be found at
3409L<http://modeemi.cs.tut.fi/~flux/software/ocaml-ev/>. 3443L<http://modeemi.cs.tut.fi/~flux/software/ocaml-ev/>.
3410 3444
3445=item Lua
3446
3447Brian Maher has written a partial interface to libev
3448for lua (only C<ev_io> and C<ev_timer>), to be found at
3449L<http://github.com/brimworks/lua-ev>.
3450
3411=back 3451=back
3412 3452
3413 3453
3414=head1 MACRO MAGIC 3454=head1 MACRO MAGIC
3415 3455
3581keeps libev from including F<config.h>, and it also defines dummy 3621keeps libev from including F<config.h>, and it also defines dummy
3582implementations for some libevent functions (such as logging, which is not 3622implementations for some libevent functions (such as logging, which is not
3583supported). It will also not define any of the structs usually found in 3623supported). It will also not define any of the structs usually found in
3584F<event.h> that are not directly supported by the libev core alone. 3624F<event.h> that are not directly supported by the libev core alone.
3585 3625
3586In stanbdalone mode, libev will still try to automatically deduce the 3626In standalone mode, libev will still try to automatically deduce the
3587configuration, but has to be more conservative. 3627configuration, but has to be more conservative.
3588 3628
3589=item EV_USE_MONOTONIC 3629=item EV_USE_MONOTONIC
3590 3630
3591If defined to be C<1>, libev will try to detect the availability of the 3631If defined to be C<1>, libev will try to detect the availability of the
3656be used is the winsock select). This means that it will call 3696be used is the winsock select). This means that it will call
3657C<_get_osfhandle> on the fd to convert it to an OS handle. Otherwise, 3697C<_get_osfhandle> on the fd to convert it to an OS handle. Otherwise,
3658it is assumed that all these functions actually work on fds, even 3698it is assumed that all these functions actually work on fds, even
3659on win32. Should not be defined on non-win32 platforms. 3699on win32. Should not be defined on non-win32 platforms.
3660 3700
3661=item EV_FD_TO_WIN32_HANDLE 3701=item EV_FD_TO_WIN32_HANDLE(fd)
3662 3702
3663If C<EV_SELECT_IS_WINSOCKET> is enabled, then libev needs a way to map 3703If C<EV_SELECT_IS_WINSOCKET> is enabled, then libev needs a way to map
3664file descriptors to socket handles. When not defining this symbol (the 3704file descriptors to socket handles. When not defining this symbol (the
3665default), then libev will call C<_get_osfhandle>, which is usually 3705default), then libev will call C<_get_osfhandle>, which is usually
3666correct. In some cases, programs use their own file descriptor management, 3706correct. In some cases, programs use their own file descriptor management,
3667in which case they can provide this function to map fds to socket handles. 3707in which case they can provide this function to map fds to socket handles.
3708
3709=item EV_WIN32_HANDLE_TO_FD(handle)
3710
3711If C<EV_SELECT_IS_WINSOCKET> then libev maps handles to file descriptors
3712using the standard C<_open_osfhandle> function. For programs implementing
3713their own fd to handle mapping, overwriting this function makes it easier
3714to do so. This can be done by defining this macro to an appropriate value.
3715
3716=item EV_WIN32_CLOSE_FD(fd)
3717
3718If programs implement their own fd to handle mapping on win32, then this
3719macro can be used to override the C<close> function, useful to unregister
3720file descriptors again. Note that the replacement function has to close
3721the underlying OS handle.
3668 3722
3669=item EV_USE_POLL 3723=item EV_USE_POLL
3670 3724
3671If defined to be C<1>, libev will compile in support for the C<poll>(2) 3725If defined to be C<1>, libev will compile in support for the C<poll>(2)
3672backend. Otherwise it will be enabled on non-win32 platforms. It 3726backend. Otherwise it will be enabled on non-win32 platforms. It

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines