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

Comparing libev/ev.pod (file contents):
Revision 1.262 by root, Sat Jul 25 10:14:34 2009 UTC vs.
Revision 1.276 by root, Tue Dec 29 13:11:00 2009 UTC

118Libev is very configurable. In this manual the default (and most common) 118Libev is very configurable. In this manual the default (and most common)
119configuration will be described, which supports multiple event loops. For 119configuration will be described, which supports multiple event loops. For
120more info about various configuration options please have a look at 120more info about various configuration options please have a look at
121B<EMBED> section in this manual. If libev was configured without support 121B<EMBED> section in this manual. If libev was configured without support
122for multiple event loops, then all functions taking an initial argument of 122for multiple event loops, then all functions taking an initial argument of
123name 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
124this argument. 124this argument.
125 125
126=head2 TIME REPRESENTATION 126=head2 TIME REPRESENTATION
127 127
128Libev represents time as a single floating point number, representing 128Libev represents time as a single floating point number, representing
370When 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
371I<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
372testing, this flag can be useful to conserve inotify file descriptors, as 372testing, this flag can be useful to conserve inotify file descriptors, as
373otherwise each loop using C<ev_stat> watchers consumes one inotify handle. 373otherwise each loop using C<ev_stat> watchers consumes one inotify handle.
374 374
375=item C<EVFLAG_NOSIGNALFD> 375=item C<EVFLAG_NOSIGFD>
376 376
377When 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
378I<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
379probably only useful to work around any bugs in libev. Consequently, this 379probably only useful to work around any bugs in libev. Consequently, this
380flag might go away once the signalfd functionality is considered stable, 380flag might go away once the signalfd functionality is considered stable,
410 410
411This backend maps C<EV_READ> to C<POLLIN | POLLERR | POLLHUP>, and 411This backend maps C<EV_READ> to C<POLLIN | POLLERR | POLLHUP>, and
412C<EV_WRITE> to C<POLLOUT | POLLERR | POLLHUP>. 412C<EV_WRITE> to C<POLLOUT | POLLERR | POLLHUP>.
413 413
414=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).
415 418
416For 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,
417but it scales phenomenally better. While poll and select usually scale 420but it scales phenomenally better. While poll and select usually scale
418like 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),
419epoll scales either O(1) or O(active_fds). 422epoll scales either O(1) or O(active_fds).
590as signal and child watchers) would need to be stopped manually. 593as signal and child watchers) would need to be stopped manually.
591 594
592In 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
593rare 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
594pipe 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
595C<ev_loop_new> and C<ev_loop_destroy>). 598C<ev_loop_new> and C<ev_loop_destroy>.
596 599
597=item ev_loop_destroy (loop) 600=item ev_loop_destroy (loop)
598 601
599Like 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
600earlier call to C<ev_loop_new>. 603earlier call to C<ev_loop_new>.
704event loop time (see C<ev_now_update>). 707event loop time (see C<ev_now_update>).
705 708
706=item ev_loop (loop, int flags) 709=item ev_loop (loop, int flags)
707 710
708Finally, this is it, the event handler. This function usually is called 711Finally, this is it, the event handler. This function usually is called
709after you initialised all your watchers and you want to start handling 712after you have initialised all your watchers and you want to start
710events. 713handling events.
711 714
712If 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
713either 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.
714 717
715Please note that an explicit C<ev_unloop> is usually better than 718Please note that an explicit C<ev_unloop> is usually better than
789 792
790Ref/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
791loop: Every watcher keeps one reference, and as long as the reference 794loop: Every watcher keeps one reference, and as long as the reference
792count is nonzero, C<ev_loop> will not return on its own. 795count is nonzero, C<ev_loop> will not return on its own.
793 796
794If 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
795from 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>
796stopping it. 800before stopping it.
797 801
798As 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
799is 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
800exiting 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
801excellent way to do this for generic recurring timers or from within 805excellent way to do this for generic recurring timers or from within
916 920
917While event loop modifications are allowed between invocations of 921While event loop modifications are allowed between invocations of
918C<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
919modifications done will affect the event loop, i.e. adding watchers will 923modifications done will affect the event loop, i.e. adding watchers will
920have 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
921waited. 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
922to take note of any changes you made. 926to take note of any changes you made.
923 927
924In 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
925invocations of C<release> and C<acquire>. 929invocations of C<release> and C<acquire>.
926 930
1123 1127
1124 ev_io w; 1128 ev_io w;
1125 ev_init (&w, my_cb); 1129 ev_init (&w, my_cb);
1126 ev_io_set (&w, STDIN_FILENO, EV_READ); 1130 ev_io_set (&w, STDIN_FILENO, EV_READ);
1127 1131
1128=item C<ev_TYPE_set> (ev_TYPE *, [args]) 1132=item C<ev_TYPE_set> (ev_TYPE *watcher, [args])
1129 1133
1130This 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
1131call 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
1132call 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
1133macro 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
1146 1150
1147Example: Initialise and set an C<ev_io> watcher in one step. 1151Example: Initialise and set an C<ev_io> watcher in one step.
1148 1152
1149 ev_io_init (&w, my_cb, STDIN_FILENO, EV_READ); 1153 ev_io_init (&w, my_cb, STDIN_FILENO, EV_READ);
1150 1154
1151=item C<ev_TYPE_start> (loop *, ev_TYPE *watcher) 1155=item C<ev_TYPE_start> (loop, ev_TYPE *watcher)
1152 1156
1153Starts (activates) the given watcher. Only active watchers will receive 1157Starts (activates) the given watcher. Only active watchers will receive
1154events. If the watcher is already active nothing will happen. 1158events. If the watcher is already active nothing will happen.
1155 1159
1156Example: 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
1157whole section. 1161whole section.
1158 1162
1159 ev_io_start (EV_DEFAULT_UC, &w); 1163 ev_io_start (EV_DEFAULT_UC, &w);
1160 1164
1161=item C<ev_TYPE_stop> (loop *, ev_TYPE *watcher) 1165=item C<ev_TYPE_stop> (loop, ev_TYPE *watcher)
1162 1166
1163Stops the given watcher if active, and clears the pending status (whether 1167Stops the given watcher if active, and clears the pending status (whether
1164the watcher was active or not). 1168the watcher was active or not).
1165 1169
1166It is possible that stopped watchers are pending - for example, 1170It is possible that stopped watchers are pending - for example,
1191=item ev_cb_set (ev_TYPE *watcher, callback) 1195=item ev_cb_set (ev_TYPE *watcher, callback)
1192 1196
1193Change the callback. You can change the callback at virtually any time 1197Change the callback. You can change the callback at virtually any time
1194(modulo threads). 1198(modulo threads).
1195 1199
1196=item ev_set_priority (ev_TYPE *watcher, priority) 1200=item ev_set_priority (ev_TYPE *watcher, int priority)
1197 1201
1198=item int ev_priority (ev_TYPE *watcher) 1202=item int ev_priority (ev_TYPE *watcher)
1199 1203
1200Set 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
1201integer between C<EV_MAXPRI> (default: C<2>) and C<EV_MINPRI> 1205integer between C<EV_MAXPRI> (default: C<2>) and C<EV_MINPRI>
1232returns 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
1233watcher isn't pending it does nothing and returns C<0>. 1237watcher isn't pending it does nothing and returns C<0>.
1234 1238
1235Sometimes 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
1236callback 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.
1237 1255
1238=back 1256=back
1239 1257
1240 1258
1241=head2 ASSOCIATING CUSTOM DATA WITH A WATCHER 1259=head2 ASSOCIATING CUSTOM DATA WITH A WATCHER
1837C<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.
1838 1856
1839This 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
1840usage example. 1858usage example.
1841 1859
1842=item ev_timer_remaining (loop, ev_timer *) 1860=item ev_tstamp ev_timer_remaining (loop, ev_timer *)
1843 1861
1844Returns 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,
1845then 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
1846the timeout value currently configured. 1864the timeout value currently configured.
1847 1865
2108 2126
2109When the first watcher gets started will libev actually register something 2127When the first watcher gets started will libev actually register something
2110with 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
2111you don't register any with libev for the same signal). 2129you don't register any with libev for the same signal).
2112 2130
2113Both the signal mask state (C<sigprocmask>) and the signal handler state
2114(C<sigaction>) are unspecified after starting a signal watcher (and after
2115sotpping it again), that is, libev might or might not block the signal,
2116and might or might not set or restore the installed signal handler.
2117
2118If possible and supported, libev will install its handlers with 2131If possible and supported, libev will install its handlers with
2119C<SA_RESTART> (or equivalent) behaviour enabled, so system calls should 2132C<SA_RESTART> (or equivalent) behaviour enabled, so system calls should
2120not 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
2121interrupted 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
2122and 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.
2123 2161
2124=head3 Watcher-Specific Functions and Data Members 2162=head3 Watcher-Specific Functions and Data Members
2125 2163
2126=over 4 2164=over 4
2127 2165
2944=head3 Queueing 2982=head3 Queueing
2945 2983
2946C<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
2947is 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
2948multiple-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
2949need elaborate support such as pthreads. 2987need elaborate support such as pthreads or unportable memory access
2988semantics.
2950 2989
2951That 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
2952queue. 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
2953queue: 2992queue:
2954 2993
3112 /* doh, nothing entered */; 3151 /* doh, nothing entered */;
3113 } 3152 }
3114 3153
3115 ev_once (STDIN_FILENO, EV_READ, 10., stdin_ready, 0); 3154 ev_once (STDIN_FILENO, EV_READ, 10., stdin_ready, 0);
3116 3155
3117=item ev_feed_event (struct ev_loop *, watcher *, int revents)
3118
3119Feeds the given event set into the event loop, as if the specified event
3120had happened for the specified watcher (which must be a pointer to an
3121initialised but not necessarily started event watcher).
3122
3123=item ev_feed_fd_event (struct ev_loop *, int fd, int revents) 3156=item ev_feed_fd_event (loop, int fd, int revents)
3124 3157
3125Feed 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
3126the given events it. 3159the given events it.
3127 3160
3128=item ev_feed_signal_event (struct ev_loop *loop, int signum) 3161=item ev_feed_signal_event (loop, int signum)
3129 3162
3130Feed 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
3131loop!). 3164loop!).
3132 3165
3133=back 3166=back
3213 3246
3214=over 4 3247=over 4
3215 3248
3216=item ev::TYPE::TYPE () 3249=item ev::TYPE::TYPE ()
3217 3250
3218=item ev::TYPE::TYPE (struct ev_loop *) 3251=item ev::TYPE::TYPE (loop)
3219 3252
3220=item ev::TYPE::~TYPE 3253=item ev::TYPE::~TYPE
3221 3254
3222The constructor (optionally) takes an event loop to associate the watcher 3255The constructor (optionally) takes an event loop to associate the watcher
3223with. If it is omitted, it will use C<EV_DEFAULT>. 3256with. If it is omitted, it will use C<EV_DEFAULT>.
3300Example: Use a plain function as callback. 3333Example: Use a plain function as callback.
3301 3334
3302 static void io_cb (ev::io &w, int revents) { } 3335 static void io_cb (ev::io &w, int revents) { }
3303 iow.set <io_cb> (); 3336 iow.set <io_cb> ();
3304 3337
3305=item w->set (struct ev_loop *) 3338=item w->set (loop)
3306 3339
3307Associates 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
3308do this when the watcher is inactive (and not pending either). 3341do this when the watcher is inactive (and not pending either).
3309 3342
3310=item w->set ([arguments]) 3343=item w->set ([arguments])
3406 3439
3407=item Ocaml 3440=item Ocaml
3408 3441
3409Erkki Seppala has written Ocaml bindings for libev, to be found at 3442Erkki Seppala has written Ocaml bindings for libev, to be found at
3410L<http://modeemi.cs.tut.fi/~flux/software/ocaml-ev/>. 3443L<http://modeemi.cs.tut.fi/~flux/software/ocaml-ev/>.
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>.
3411 3450
3412=back 3451=back
3413 3452
3414 3453
3415=head1 MACRO MAGIC 3454=head1 MACRO MAGIC
3657be used is the winsock select). This means that it will call 3696be used is the winsock select). This means that it will call
3658C<_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,
3659it is assumed that all these functions actually work on fds, even 3698it is assumed that all these functions actually work on fds, even
3660on win32. Should not be defined on non-win32 platforms. 3699on win32. Should not be defined on non-win32 platforms.
3661 3700
3662=item EV_FD_TO_WIN32_HANDLE 3701=item EV_FD_TO_WIN32_HANDLE(fd)
3663 3702
3664If 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
3665file descriptors to socket handles. When not defining this symbol (the 3704file descriptors to socket handles. When not defining this symbol (the
3666default), then libev will call C<_get_osfhandle>, which is usually 3705default), then libev will call C<_get_osfhandle>, which is usually
3667correct. In some cases, programs use their own file descriptor management, 3706correct. In some cases, programs use their own file descriptor management,
3668in 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.
3669 3722
3670=item EV_USE_POLL 3723=item EV_USE_POLL
3671 3724
3672If 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)
3673backend. 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