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

Comparing libev/ev.pod (file contents):
Revision 1.273 by root, Tue Nov 24 14:46:59 2009 UTC vs.
Revision 1.279 by root, Mon Feb 15 05:15:55 2010 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_NOSIGFD> 375=item C<EVFLAG_SIGNALFD>
376 376
377When this flag is specified, then libev will not attempt to use the 377When this flag is specified, then libev will 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 API
379probably only useful to work around any bugs in libev. Consequently, this 379delivers signals synchronously, which makes it both faster and might make
380flag might go away once the signalfd functionality is considered stable, 380it possible to get the queued signal data. It can also simplify signal
381so it's useful mostly in environment variables and not in program code. 381handling with threads, as long as you properly block signals in your
382threads that are not interested in handling them.
383
384Signalfd will not be used by default as this changes your signal mask, and
385there are a lot of shoddy libraries and programs (glib's threadpool for
386example) that can't properly initialise their signal masks.
382 387
383=item C<EVBACKEND_SELECT> (value 1, portable select backend) 388=item C<EVBACKEND_SELECT> (value 1, portable select backend)
384 389
385This is your standard select(2) backend. Not I<completely> standard, as 390This is your standard select(2) backend. Not I<completely> standard, as
386libev tries to roll its own fd_set with no limits on the number of fds, 391libev tries to roll its own fd_set with no limits on the number of fds,
792 797
793Ref/unref can be used to add or remove a reference count on the event 798Ref/unref can be used to add or remove a reference count on the event
794loop: Every watcher keeps one reference, and as long as the reference 799loop: Every watcher keeps one reference, and as long as the reference
795count is nonzero, C<ev_loop> will not return on its own. 800count is nonzero, C<ev_loop> will not return on its own.
796 801
797If you have a watcher you never unregister that should not keep C<ev_loop> 802This is useful when you have a watcher that you never intend to
798from returning, call ev_unref() after starting, and ev_ref() before 803unregister, but that nevertheless should not keep C<ev_loop> from
804returning. In such a case, call C<ev_unref> after starting, and C<ev_ref>
799stopping it. 805before stopping it.
800 806
801As an example, libev itself uses this for its internal signal pipe: It 807As an example, libev itself uses this for its internal signal pipe: It
802is not visible to the libev user and should not keep C<ev_loop> from 808is not visible to the libev user and should not keep C<ev_loop> from
803exiting if no event watchers registered by it are active. It is also an 809exiting if no event watchers registered by it are active. It is also an
804excellent way to do this for generic recurring timers or from within 810excellent way to do this for generic recurring timers or from within
919 925
920While event loop modifications are allowed between invocations of 926While event loop modifications are allowed between invocations of
921C<release> and C<acquire> (that's their only purpose after all), no 927C<release> and C<acquire> (that's their only purpose after all), no
922modifications done will affect the event loop, i.e. adding watchers will 928modifications done will affect the event loop, i.e. adding watchers will
923have no effect on the set of file descriptors being watched, or the time 929have no effect on the set of file descriptors being watched, or the time
924waited. USe an C<ev_async> watcher to wake up C<ev_loop> when you want it 930waited. Use an C<ev_async> watcher to wake up C<ev_loop> when you want it
925to take note of any changes you made. 931to take note of any changes you made.
926 932
927In theory, threads executing C<ev_loop> will be async-cancel safe between 933In theory, threads executing C<ev_loop> will be async-cancel safe between
928invocations of C<release> and C<acquire>. 934invocations of C<release> and C<acquire>.
929 935
1126 1132
1127 ev_io w; 1133 ev_io w;
1128 ev_init (&w, my_cb); 1134 ev_init (&w, my_cb);
1129 ev_io_set (&w, STDIN_FILENO, EV_READ); 1135 ev_io_set (&w, STDIN_FILENO, EV_READ);
1130 1136
1131=item C<ev_TYPE_set> (ev_TYPE *, [args]) 1137=item C<ev_TYPE_set> (ev_TYPE *watcher, [args])
1132 1138
1133This macro initialises the type-specific parts of a watcher. You need to 1139This macro initialises the type-specific parts of a watcher. You need to
1134call C<ev_init> at least once before you call this macro, but you can 1140call C<ev_init> at least once before you call this macro, but you can
1135call C<ev_TYPE_set> any number of times. You must not, however, call this 1141call C<ev_TYPE_set> any number of times. You must not, however, call this
1136macro on a watcher that is active (it can be pending, however, which is a 1142macro on a watcher that is active (it can be pending, however, which is a
1149 1155
1150Example: Initialise and set an C<ev_io> watcher in one step. 1156Example: Initialise and set an C<ev_io> watcher in one step.
1151 1157
1152 ev_io_init (&w, my_cb, STDIN_FILENO, EV_READ); 1158 ev_io_init (&w, my_cb, STDIN_FILENO, EV_READ);
1153 1159
1154=item C<ev_TYPE_start> (loop *, ev_TYPE *watcher) 1160=item C<ev_TYPE_start> (loop, ev_TYPE *watcher)
1155 1161
1156Starts (activates) the given watcher. Only active watchers will receive 1162Starts (activates) the given watcher. Only active watchers will receive
1157events. If the watcher is already active nothing will happen. 1163events. If the watcher is already active nothing will happen.
1158 1164
1159Example: Start the C<ev_io> watcher that is being abused as example in this 1165Example: Start the C<ev_io> watcher that is being abused as example in this
1160whole section. 1166whole section.
1161 1167
1162 ev_io_start (EV_DEFAULT_UC, &w); 1168 ev_io_start (EV_DEFAULT_UC, &w);
1163 1169
1164=item C<ev_TYPE_stop> (loop *, ev_TYPE *watcher) 1170=item C<ev_TYPE_stop> (loop, ev_TYPE *watcher)
1165 1171
1166Stops the given watcher if active, and clears the pending status (whether 1172Stops the given watcher if active, and clears the pending status (whether
1167the watcher was active or not). 1173the watcher was active or not).
1168 1174
1169It is possible that stopped watchers are pending - for example, 1175It is possible that stopped watchers are pending - for example,
1194=item ev_cb_set (ev_TYPE *watcher, callback) 1200=item ev_cb_set (ev_TYPE *watcher, callback)
1195 1201
1196Change the callback. You can change the callback at virtually any time 1202Change the callback. You can change the callback at virtually any time
1197(modulo threads). 1203(modulo threads).
1198 1204
1199=item ev_set_priority (ev_TYPE *watcher, priority) 1205=item ev_set_priority (ev_TYPE *watcher, int priority)
1200 1206
1201=item int ev_priority (ev_TYPE *watcher) 1207=item int ev_priority (ev_TYPE *watcher)
1202 1208
1203Set and query the priority of the watcher. The priority is a small 1209Set and query the priority of the watcher. The priority is a small
1204integer between C<EV_MAXPRI> (default: C<2>) and C<EV_MINPRI> 1210integer between C<EV_MAXPRI> (default: C<2>) and C<EV_MINPRI>
1236watcher isn't pending it does nothing and returns C<0>. 1242watcher isn't pending it does nothing and returns C<0>.
1237 1243
1238Sometimes it can be useful to "poll" a watcher instead of waiting for its 1244Sometimes it can be useful to "poll" a watcher instead of waiting for its
1239callback to be invoked, which can be accomplished with this function. 1245callback to be invoked, which can be accomplished with this function.
1240 1246
1241=item ev_feed_event (struct ev_loop *, watcher *, int revents) 1247=item ev_feed_event (loop, ev_TYPE *watcher, int revents)
1242 1248
1243Feeds the given event set into the event loop, as if the specified event 1249Feeds the given event set into the event loop, as if the specified event
1244had happened for the specified watcher (which must be a pointer to an 1250had happened for the specified watcher (which must be a pointer to an
1245initialised but not necessarily started event watcher). Obviously you must 1251initialised but not necessarily started event watcher). Obviously you must
1246not free the watcher as long as it has pending events. 1252not free the watcher as long as it has pending events.
1854C<repeat> value), or reset the running timer to the C<repeat> value. 1860C<repeat> value), or reset the running timer to the C<repeat> value.
1855 1861
1856This sounds a bit complicated, see L<Be smart about timeouts>, above, for a 1862This sounds a bit complicated, see L<Be smart about timeouts>, above, for a
1857usage example. 1863usage example.
1858 1864
1859=item ev_timer_remaining (loop, ev_timer *) 1865=item ev_tstamp ev_timer_remaining (loop, ev_timer *)
1860 1866
1861Returns the remaining time until a timer fires. If the timer is active, 1867Returns the remaining time until a timer fires. If the timer is active,
1862then this time is relative to the current event loop time, otherwise it's 1868then this time is relative to the current event loop time, otherwise it's
1863the timeout value currently configured. 1869the timeout value currently configured.
1864 1870
2131C<SA_RESTART> (or equivalent) behaviour enabled, so system calls should 2137C<SA_RESTART> (or equivalent) behaviour enabled, so system calls should
2132not be unduly interrupted. If you have a problem with system calls getting 2138not be unduly interrupted. If you have a problem with system calls getting
2133interrupted by signals you can block all signals in an C<ev_check> watcher 2139interrupted by signals you can block all signals in an C<ev_check> watcher
2134and unblock them in an C<ev_prepare> watcher. 2140and unblock them in an C<ev_prepare> watcher.
2135 2141
2136=head3 The special problem of inheritance over execve 2142=head3 The special problem of inheritance over fork/execve/pthread_create
2137 2143
2138Both the signal mask (C<sigprocmask>) and the signal disposition 2144Both the signal mask (C<sigprocmask>) and the signal disposition
2139(C<sigaction>) are unspecified after starting a signal watcher (and after 2145(C<sigaction>) are unspecified after starting a signal watcher (and after
2140stopping it again), that is, libev might or might not block the signal, 2146stopping it again), that is, libev might or might not block the signal,
2141and might or might not set or restore the installed signal handler. 2147and might or might not set or restore the installed signal handler.
2151 2157
2152The simplest way to ensure that the signal mask is reset in the child is 2158The simplest way to ensure that the signal mask is reset in the child is
2153to install a fork handler with C<pthread_atfork> that resets it. That will 2159to install a fork handler with C<pthread_atfork> that resets it. That will
2154catch fork calls done by libraries (such as the libc) as well. 2160catch fork calls done by libraries (such as the libc) as well.
2155 2161
2156In current versions of libev, you can also ensure that the signal mask is 2162In current versions of libev, the signal will not be blocked indefinitely
2157not blocking any signals (except temporarily, so thread users watch out) 2163unless you use the C<signalfd> API (C<EV_SIGNALFD>). While this reduces
2158by specifying the C<EVFLAG_NOSIGFD> when creating the event loop. This 2164the window of opportunity for problems, it will not go away, as libev
2159is not guaranteed for future versions, however. 2165I<has> to modify the signal mask, at least temporarily.
2166
2167So I can't stress this enough: I<If you do not reset your signal mask when
2168you expect it to be empty, you have a race condition in your code>. This
2169is not a libev-specific thing, this is true for most event libraries.
2160 2170
2161=head3 Watcher-Specific Functions and Data Members 2171=head3 Watcher-Specific Functions and Data Members
2162 2172
2163=over 4 2173=over 4
2164 2174
2981=head3 Queueing 2991=head3 Queueing
2982 2992
2983C<ev_async> does not support queueing of data in any way. The reason 2993C<ev_async> does not support queueing of data in any way. The reason
2984is that the author does not know of a simple (or any) algorithm for a 2994is that the author does not know of a simple (or any) algorithm for a
2985multiple-writer-single-reader queue that works in all cases and doesn't 2995multiple-writer-single-reader queue that works in all cases and doesn't
2986need elaborate support such as pthreads. 2996need elaborate support such as pthreads or unportable memory access
2997semantics.
2987 2998
2988That means that if you want to queue data, you have to provide your own 2999That means that if you want to queue data, you have to provide your own
2989queue. But at least I can tell you how to implement locking around your 3000queue. But at least I can tell you how to implement locking around your
2990queue: 3001queue:
2991 3002
3149 /* doh, nothing entered */; 3160 /* doh, nothing entered */;
3150 } 3161 }
3151 3162
3152 ev_once (STDIN_FILENO, EV_READ, 10., stdin_ready, 0); 3163 ev_once (STDIN_FILENO, EV_READ, 10., stdin_ready, 0);
3153 3164
3154=item ev_feed_fd_event (struct ev_loop *, int fd, int revents) 3165=item ev_feed_fd_event (loop, int fd, int revents)
3155 3166
3156Feed an event on the given fd, as if a file descriptor backend detected 3167Feed an event on the given fd, as if a file descriptor backend detected
3157the given events it. 3168the given events it.
3158 3169
3159=item ev_feed_signal_event (struct ev_loop *loop, int signum) 3170=item ev_feed_signal_event (loop, int signum)
3160 3171
3161Feed an event as if the given signal occurred (C<loop> must be the default 3172Feed an event as if the given signal occurred (C<loop> must be the default
3162loop!). 3173loop!).
3163 3174
3164=back 3175=back
3244 3255
3245=over 4 3256=over 4
3246 3257
3247=item ev::TYPE::TYPE () 3258=item ev::TYPE::TYPE ()
3248 3259
3249=item ev::TYPE::TYPE (struct ev_loop *) 3260=item ev::TYPE::TYPE (loop)
3250 3261
3251=item ev::TYPE::~TYPE 3262=item ev::TYPE::~TYPE
3252 3263
3253The constructor (optionally) takes an event loop to associate the watcher 3264The constructor (optionally) takes an event loop to associate the watcher
3254with. If it is omitted, it will use C<EV_DEFAULT>. 3265with. If it is omitted, it will use C<EV_DEFAULT>.
3331Example: Use a plain function as callback. 3342Example: Use a plain function as callback.
3332 3343
3333 static void io_cb (ev::io &w, int revents) { } 3344 static void io_cb (ev::io &w, int revents) { }
3334 iow.set <io_cb> (); 3345 iow.set <io_cb> ();
3335 3346
3336=item w->set (struct ev_loop *) 3347=item w->set (loop)
3337 3348
3338Associates a different C<struct ev_loop> with this watcher. You can only 3349Associates a different C<struct ev_loop> with this watcher. You can only
3339do this when the watcher is inactive (and not pending either). 3350do this when the watcher is inactive (and not pending either).
3340 3351
3341=item w->set ([arguments]) 3352=item w->set ([arguments])
3440Erkki Seppala has written Ocaml bindings for libev, to be found at 3451Erkki Seppala has written Ocaml bindings for libev, to be found at
3441L<http://modeemi.cs.tut.fi/~flux/software/ocaml-ev/>. 3452L<http://modeemi.cs.tut.fi/~flux/software/ocaml-ev/>.
3442 3453
3443=item Lua 3454=item Lua
3444 3455
3445Brian Maher has written a partial interface to libev 3456Brian Maher has written a partial interface to libev for lua (at the
3446for lua (only C<ev_io> and C<ev_timer>), to be found at 3457time of this writing, only C<ev_io> and C<ev_timer>), to be found at
3447L<http://github.com/brimworks/lua-ev>. 3458L<http://github.com/brimworks/lua-ev>.
3448 3459
3449=back 3460=back
3450 3461
3451 3462

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines