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

Comparing libev/ev.pod (file contents):
Revision 1.143 by root, Sun Apr 6 14:34:52 2008 UTC vs.
Revision 1.148 by root, Thu Apr 24 01:42:11 2008 UTC

196See the description of C<ev_embed> watchers for more info. 196See the description of C<ev_embed> watchers for more info.
197 197
198=item ev_set_allocator (void *(*cb)(void *ptr, long size)) 198=item ev_set_allocator (void *(*cb)(void *ptr, long size))
199 199
200Sets the allocation function to use (the prototype is similar - the 200Sets the allocation function to use (the prototype is similar - the
201semantics is identical - to the realloc C function). It is used to 201semantics are identical to the C<realloc> C89/SuS/POSIX function). It is
202allocate and free memory (no surprises here). If it returns zero when 202used to allocate and free memory (no surprises here). If it returns zero
203memory needs to be allocated, the library might abort or take some 203when memory needs to be allocated (C<size != 0>), the library might abort
204potentially destructive action. The default is your system realloc 204or take some potentially destructive action.
205function. 205
206Since some systems (at least OpenBSD and Darwin) fail to implement
207correct C<realloc> semantics, libev will use a wrapper around the system
208C<realloc> and C<free> functions by default.
206 209
207You could override this function in high-availability programs to, say, 210You could override this function in high-availability programs to, say,
208free some memory if it cannot allocate memory, to use a special allocator, 211free some memory if it cannot allocate memory, to use a special allocator,
209or even to sleep a while and retry until some memory is available. 212or even to sleep a while and retry until some memory is available.
210 213
211Example: Replace the libev allocator with one that waits a bit and then 214Example: Replace the libev allocator with one that waits a bit and then
212retries). 215retries (example requires a standards-compliant C<realloc>).
213 216
214 static void * 217 static void *
215 persistent_realloc (void *ptr, size_t size) 218 persistent_realloc (void *ptr, size_t size)
216 { 219 {
217 for (;;) 220 for (;;)
255=head1 FUNCTIONS CONTROLLING THE EVENT LOOP 258=head1 FUNCTIONS CONTROLLING THE EVENT LOOP
256 259
257An event loop is described by a C<struct ev_loop *>. The library knows two 260An event loop is described by a C<struct ev_loop *>. The library knows two
258types of such loops, the I<default> loop, which supports signals and child 261types of such loops, the I<default> loop, which supports signals and child
259events, and dynamically created loops which do not. 262events, and dynamically created loops which do not.
260
261If you use threads, a common model is to run the default event loop
262in your main thread (or in a separate thread) and for each thread you
263create, you also create another event loop. Libev itself does no locking
264whatsoever, so if you mix calls to the same event loop in different
265threads, make sure you lock (this is usually a bad idea, though, even if
266done correctly, because it's hideous and inefficient).
267 263
268=over 4 264=over 4
269 265
270=item struct ev_loop *ev_default_loop (unsigned int flags) 266=item struct ev_loop *ev_default_loop (unsigned int flags)
271 267
1638When C<inotify (7)> support has been compiled into libev (generally only 1634When C<inotify (7)> support has been compiled into libev (generally only
1639available on Linux) and present at runtime, it will be used to speed up 1635available on Linux) and present at runtime, it will be used to speed up
1640change detection where possible. The inotify descriptor will be created lazily 1636change detection where possible. The inotify descriptor will be created lazily
1641when the first C<ev_stat> watcher is being started. 1637when the first C<ev_stat> watcher is being started.
1642 1638
1643Inotify presense does not change the semantics of C<ev_stat> watchers 1639Inotify presence does not change the semantics of C<ev_stat> watchers
1644except that changes might be detected earlier, and in some cases, to avoid 1640except that changes might be detected earlier, and in some cases, to avoid
1645making regular C<stat> calls. Even in the presense of inotify support 1641making regular C<stat> calls. Even in the presence of inotify support
1646there are many cases where libev has to resort to regular C<stat> polling. 1642there are many cases where libev has to resort to regular C<stat> polling.
1647 1643
1648(There is no support for kqueue, as apparently it cannot be used to 1644(There is no support for kqueue, as apparently it cannot be used to
1649implement this functionality, due to the requirement of having a file 1645implement this functionality, due to the requirement of having a file
1650descriptor open on the object at all times). 1646descriptor open on the object at all times).
2382 2378
2383=item * Priorities are not currently supported. Initialising priorities 2379=item * Priorities are not currently supported. Initialising priorities
2384will fail and all watchers will have the same priority, even though there 2380will fail and all watchers will have the same priority, even though there
2385is an ev_pri field. 2381is an ev_pri field.
2386 2382
2383=item * In libevent, the last base created gets the signals, in libev, the
2384first base created (== the default loop) gets the signals.
2385
2387=item * Other members are not supported. 2386=item * Other members are not supported.
2388 2387
2389=item * The libev emulation is I<not> ABI compatible to libevent, you need 2388=item * The libev emulation is I<not> ABI compatible to libevent, you need
2390to use the libev header file and library. 2389to use the libev header file and library.
2391 2390
3067 3066
3068 #include "ev_cpp.h" 3067 #include "ev_cpp.h"
3069 #include "ev.c" 3068 #include "ev.c"
3070 3069
3071 3070
3071=head1 THREADS AND COROUTINES
3072
3073=head2 THREADS
3074
3075Libev itself is completely threadsafe, but it uses no locking. This
3076means that you can use as many loops as you want in parallel, as long as
3077only one thread ever calls into one libev function with the same loop
3078parameter.
3079
3080Or put differently: calls with different loop parameters can be done in
3081parallel from multiple threads, calls with the same loop parameter must be
3082done serially (but can be done from different threads, as long as only one
3083thread ever is inside a call at any point in time, e.g. by using a mutex
3084per loop).
3085
3086If you want to know which design is best for your problem, then I cannot
3087help you but by giving some generic advice:
3088
3089=over 4
3090
3091=item * most applications have a main thread: use the default libev loop
3092in that thread, or create a seperate thread running only the default loop.
3093
3094This helps integrating other libraries or software modules that use libev
3095themselves and don't care/know about threading.
3096
3097=item * one loop per thread is usually a good model.
3098
3099Doing this is almost never wrong, sometimes a better-performance model
3100exists, but it is always a good start.
3101
3102=item * other models exist, such as the leader/follower pattern, where one
3103loop is handed through multiple threads in a kind of round-robbin fashion.
3104
3105Chosing a model is hard - look around, learn, know that usually you cna do
3106better than you currently do :-)
3107
3108=item * often you need to talk to some other thread which blocks in the
3109event loop - C<ev_async> watchers can be used to wake them up from other
3110threads safely (or from signal contexts...).
3111
3112=back
3113
3114=head2 COROUTINES
3115
3116Libev is much more accomodating to coroutines ("cooperative threads"):
3117libev fully supports nesting calls to it's functions from different
3118coroutines (e.g. you can call C<ev_loop> on the same loop from two
3119different coroutines and switch freely between both coroutines running the
3120loop, as long as you don't confuse yourself). The only exception is that
3121you must not do this from C<ev_periodic> reschedule callbacks.
3122
3123Care has been invested into making sure that libev does not keep local
3124state inside C<ev_loop>, and other calls do not usually allow coroutine
3125switches.
3126
3127
3072=head1 COMPLEXITIES 3128=head1 COMPLEXITIES
3073 3129
3074In this section the complexities of (many of) the algorithms used inside 3130In this section the complexities of (many of) the algorithms used inside
3075libev will be explained. For complexity discussions about backends see the 3131libev will be explained. For complexity discussions about backends see the
3076documentation for C<ev_default_init>. 3132documentation for C<ev_default_init>.
3204calling select (O(n²)) will likely make this unworkable. 3260calling select (O(n²)) will likely make this unworkable.
3205 3261
3206=back 3262=back
3207 3263
3208 3264
3265=head1 PORTABILITY REQUIREMENTS
3266
3267In addition to a working ISO-C implementation, libev relies on a few
3268additional extensions:
3269
3270=over 4
3271
3272=item C<sig_atomic_t volatile> must be thread-atomic as well
3273
3274The type C<sig_atomic_t volatile> (or whatever is defined as
3275C<EV_ATOMIC_T>) must be atomic w.r.t. accesses from different
3276threads. This is not part of the specification for C<sig_atomic_t>, but is
3277believed to be sufficiently portable.
3278
3279=item C<sigprocmask> must work in a threaded environment
3280
3281Libev uses C<sigprocmask> to temporarily block signals. This is not
3282allowed in a threaded program (C<pthread_sigmask> has to be used). Typical
3283pthread implementations will either allow C<sigprocmask> in the "main
3284thread" or will block signals process-wide, both behaviours would
3285be compatible with libev. Interaction between C<sigprocmask> and
3286C<pthread_sigmask> could complicate things, however.
3287
3288The most portable way to handle signals is to block signals in all threads
3289except the initial one, and run the default loop in the initial thread as
3290well.
3291
3292=back
3293
3294If you know of other additional requirements drop me a note.
3295
3296
3209=head1 AUTHOR 3297=head1 AUTHOR
3210 3298
3211Marc Lehmann <libev@schmorp.de>. 3299Marc Lehmann <libev@schmorp.de>.
3212 3300

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines