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

Comparing libev/ev.pod (file contents):
Revision 1.359 by root, Tue Jan 11 10:56:01 2011 UTC vs.
Revision 1.368 by root, Thu Apr 14 23:02:33 2011 UTC

58 ev_timer_start (loop, &timeout_watcher); 58 ev_timer_start (loop, &timeout_watcher);
59 59
60 // now wait for events to arrive 60 // now wait for events to arrive
61 ev_run (loop, 0); 61 ev_run (loop, 0);
62 62
63 // unloop was called, so exit 63 // break was called, so exit
64 return 0; 64 return 0;
65 } 65 }
66 66
67=head1 ABOUT THIS DOCUMENT 67=head1 ABOUT THIS DOCUMENT
68 68
442 442
443This behaviour is useful when you want to do your own signal handling, or 443This behaviour is useful when you want to do your own signal handling, or
444want to handle signals only in specific threads and want to avoid libev 444want to handle signals only in specific threads and want to avoid libev
445unblocking the signals. 445unblocking the signals.
446 446
447It's also required by POSIX in a threaded program, as libev calls
448C<sigprocmask>, whose behaviour is officially unspecified.
449
447This flag's behaviour will become the default in future versions of libev. 450This flag's behaviour will become the default in future versions of libev.
448 451
449=item C<EVBACKEND_SELECT> (value 1, portable select backend) 452=item C<EVBACKEND_SELECT> (value 1, portable select backend)
450 453
451This is your standard select(2) backend. Not I<completely> standard, as 454This is your standard select(2) backend. Not I<completely> standard, as
480=item C<EVBACKEND_EPOLL> (value 4, Linux) 483=item C<EVBACKEND_EPOLL> (value 4, Linux)
481 484
482Use the linux-specific epoll(7) interface (for both pre- and post-2.6.9 485Use the linux-specific epoll(7) interface (for both pre- and post-2.6.9
483kernels). 486kernels).
484 487
485For few fds, this backend is a bit little slower than poll and select, 488For few fds, this backend is a bit little slower than poll and select, but
486but it scales phenomenally better. While poll and select usually scale 489it scales phenomenally better. While poll and select usually scale like
487like O(total_fds) where n is the total number of fds (or the highest fd), 490O(total_fds) where total_fds is the total number of fds (or the highest
488epoll scales either O(1) or O(active_fds). 491fd), epoll scales either O(1) or O(active_fds).
489 492
490The epoll mechanism deserves honorable mention as the most misdesigned 493The epoll mechanism deserves honorable mention as the most misdesigned
491of the more advanced event mechanisms: mere annoyances include silently 494of the more advanced event mechanisms: mere annoyances include silently
492dropping file descriptors, requiring a system call per change per file 495dropping file descriptors, requiring a system call per change per file
493descriptor (and unnecessary guessing of parameters), problems with dup, 496descriptor (and unnecessary guessing of parameters), problems with dup,
865anymore. 868anymore.
866 869
867 ... queue jobs here, make sure they register event watchers as long 870 ... queue jobs here, make sure they register event watchers as long
868 ... as they still have work to do (even an idle watcher will do..) 871 ... as they still have work to do (even an idle watcher will do..)
869 ev_run (my_loop, 0); 872 ev_run (my_loop, 0);
870 ... jobs done or somebody called unloop. yeah! 873 ... jobs done or somebody called break. yeah!
871 874
872=item ev_break (loop, how) 875=item ev_break (loop, how)
873 876
874Can be used to make a call to C<ev_run> return early (but only after it 877Can be used to make a call to C<ev_run> return early (but only after it
875has processed all outstanding events). The C<how> argument must be either 878has processed all outstanding events). The C<how> argument must be either
1375 1378
1376Before a watcher can be registered with the event looop it has to be 1379Before a watcher can be registered with the event looop it has to be
1377initialised. This can be done with a call to C<ev_TYPE_init>, or calls to 1380initialised. This can be done with a call to C<ev_TYPE_init>, or calls to
1378C<ev_init> followed by the watcher-specific C<ev_TYPE_set> function. 1381C<ev_init> followed by the watcher-specific C<ev_TYPE_set> function.
1379 1382
1380In this state it is simply some block of memory that is suitable for use 1383In this state it is simply some block of memory that is suitable for
1381in an event loop. It can be moved around, freed, reused etc. at will. 1384use in an event loop. It can be moved around, freed, reused etc. at
1385will - as long as you either keep the memory contents intact, or call
1386C<ev_TYPE_init> again.
1382 1387
1383=item started/running/active 1388=item started/running/active
1384 1389
1385Once a watcher has been started with a call to C<ev_TYPE_start> it becomes 1390Once a watcher has been started with a call to C<ev_TYPE_start> it becomes
1386property of the event loop, and is actively waiting for events. While in 1391property of the event loop, and is actively waiting for events. While in
1414latter will clear any pending state the watcher might be in, regardless 1419latter will clear any pending state the watcher might be in, regardless
1415of whether it was active or not, so stopping a watcher explicitly before 1420of whether it was active or not, so stopping a watcher explicitly before
1416freeing it is often a good idea. 1421freeing it is often a good idea.
1417 1422
1418While stopped (and not pending) the watcher is essentially in the 1423While stopped (and not pending) the watcher is essentially in the
1419initialised state, that is it can be reused, moved, modified in any way 1424initialised state, that is, it can be reused, moved, modified in any way
1420you wish. 1425you wish (but when you trash the memory block, you need to C<ev_TYPE_init>
1426it again).
1421 1427
1422=back 1428=back
1423 1429
1424=head2 WATCHER PRIORITY MODELS 1430=head2 WATCHER PRIORITY MODELS
1425 1431
2145 2151
2146Another way to think about it (for the mathematically inclined) is that 2152Another way to think about it (for the mathematically inclined) is that
2147C<ev_periodic> will try to run the callback in this mode at the next possible 2153C<ev_periodic> will try to run the callback in this mode at the next possible
2148time where C<time = offset (mod interval)>, regardless of any time jumps. 2154time where C<time = offset (mod interval)>, regardless of any time jumps.
2149 2155
2150For numerical stability it is preferable that the C<offset> value is near 2156The C<interval> I<MUST> be positive, and for numerical stability, the
2151C<ev_now ()> (the current time), but there is no range requirement for 2157interval value should be higher than C<1/8192> (which is around 100
2152this value, and in fact is often specified as zero. 2158microseconds) and C<offset> should be higher than C<0> and should have
2159at most a similar magnitude as the current time (say, within a factor of
2160ten). Typical values for offset are, in fact, C<0> or something between
2161C<0> and C<interval>, which is also the recommended range.
2153 2162
2154Note also that there is an upper limit to how often a timer can fire (CPU 2163Note also that there is an upper limit to how often a timer can fire (CPU
2155speed for example), so if C<interval> is very small then timing stability 2164speed for example), so if C<interval> is very small then timing stability
2156will of course deteriorate. Libev itself tries to be exact to be about one 2165will of course deteriorate. Libev itself tries to be exact to be about one
2157millisecond (if the OS supports it and the machine is fast enough). 2166millisecond (if the OS supports it and the machine is fast enough).
2300=head3 The special problem of inheritance over fork/execve/pthread_create 2309=head3 The special problem of inheritance over fork/execve/pthread_create
2301 2310
2302Both the signal mask (C<sigprocmask>) and the signal disposition 2311Both the signal mask (C<sigprocmask>) and the signal disposition
2303(C<sigaction>) are unspecified after starting a signal watcher (and after 2312(C<sigaction>) are unspecified after starting a signal watcher (and after
2304stopping it again), that is, libev might or might not block the signal, 2313stopping it again), that is, libev might or might not block the signal,
2305and might or might not set or restore the installed signal handler. 2314and might or might not set or restore the installed signal handler (but
2315see C<EVFLAG_NOSIGMASK>).
2306 2316
2307While this does not matter for the signal disposition (libev never 2317While this does not matter for the signal disposition (libev never
2308sets signals to C<SIG_IGN>, so handlers will be reset to C<SIG_DFL> on 2318sets signals to C<SIG_IGN>, so handlers will be reset to C<SIG_DFL> on
2309C<execve>), this matters for the signal mask: many programs do not expect 2319C<execve>), this matters for the signal mask: many programs do not expect
2310certain signals to be blocked. 2320certain signals to be blocked.
3181 atexit (program_exits); 3191 atexit (program_exits);
3182 3192
3183 3193
3184=head2 C<ev_async> - how to wake up an event loop 3194=head2 C<ev_async> - how to wake up an event loop
3185 3195
3186In general, you cannot use an C<ev_run> from multiple threads or other 3196In general, you cannot use an C<ev_loop> from multiple threads or other
3187asynchronous sources such as signal handlers (as opposed to multiple event 3197asynchronous sources such as signal handlers (as opposed to multiple event
3188loops - those are of course safe to use in different threads). 3198loops - those are of course safe to use in different threads).
3189 3199
3190Sometimes, however, you need to wake up an event loop you do not control, 3200Sometimes, however, you need to wake up an event loop you do not control,
3191for example because it belongs to another thread. This is what C<ev_async> 3201for example because it belongs to another thread. This is what C<ev_async>
3301trust me. 3311trust me.
3302 3312
3303=item ev_async_send (loop, ev_async *) 3313=item ev_async_send (loop, ev_async *)
3304 3314
3305Sends/signals/activates the given C<ev_async> watcher, that is, feeds 3315Sends/signals/activates the given C<ev_async> watcher, that is, feeds
3306an C<EV_ASYNC> event on the watcher into the event loop. Unlike 3316an C<EV_ASYNC> event on the watcher into the event loop, and instantly
3317returns.
3318
3307C<ev_feed_event>, this call is safe to do from other threads, signal or 3319Unlike C<ev_feed_event>, this call is safe to do from other threads,
3308similar contexts (see the discussion of C<EV_ATOMIC_T> in the embedding 3320signal or similar contexts (see the discussion of C<EV_ATOMIC_T> in the
3309section below on what exactly this means). 3321embedding section below on what exactly this means).
3310 3322
3311Note that, as with other watchers in libev, multiple events might get 3323Note that, as with other watchers in libev, multiple events might get
3312compressed into a single callback invocation (another way to look at this 3324compressed into a single callback invocation (another way to look at this
3313is that C<ev_async> watchers are level-triggered, set on C<ev_async_send>, 3325is that C<ev_async> watchers are level-triggered, set on C<ev_async_send>,
3314reset when the event loop detects that). 3326reset when the event loop detects that).
3540 // now associate this with the loop 3552 // now associate this with the loop
3541 ev_set_userdata (EV_A_ u); 3553 ev_set_userdata (EV_A_ u);
3542 ev_set_invoke_pending_cb (EV_A_ l_invoke); 3554 ev_set_invoke_pending_cb (EV_A_ l_invoke);
3543 ev_set_loop_release_cb (EV_A_ l_release, l_acquire); 3555 ev_set_loop_release_cb (EV_A_ l_release, l_acquire);
3544 3556
3545 // then create the thread running ev_loop 3557 // then create the thread running ev_run
3546 pthread_create (&u->tid, 0, l_run, EV_A); 3558 pthread_create (&u->tid, 0, l_run, EV_A);
3547 } 3559 }
3548 3560
3549The callback for the C<ev_async> watcher does nothing: the watcher is used 3561The callback for the C<ev_async> watcher does nothing: the watcher is used
3550solely to wake up the event loop so it takes notice of any new watchers 3562solely to wake up the event loop so it takes notice of any new watchers
4195F<event.h> that are not directly supported by the libev core alone. 4207F<event.h> that are not directly supported by the libev core alone.
4196 4208
4197In standalone mode, libev will still try to automatically deduce the 4209In standalone mode, libev will still try to automatically deduce the
4198configuration, but has to be more conservative. 4210configuration, but has to be more conservative.
4199 4211
4212=item EV_USE_FLOOR
4213
4214If defined to be C<1>, libev will use the C<floor ()> function for its
4215periodic reschedule calculations, otherwise libev will fall back on a
4216portable (slower) implementation. If you enable this, you usually have to
4217link against libm or something equivalent. Enabling this when the C<floor>
4218function is not available will fail, so the safe default is to not enable
4219this.
4220
4200=item EV_USE_MONOTONIC 4221=item EV_USE_MONOTONIC
4201 4222
4202If defined to be C<1>, libev will try to detect the availability of the 4223If defined to be C<1>, libev will try to detect the availability of the
4203monotonic clock option at both compile time and runtime. Otherwise no 4224monotonic clock option at both compile time and runtime. Otherwise no
4204use of the monotonic clock option will be attempted. If you enable this, 4225use of the monotonic clock option will be attempted. If you enable this,
5215The physical time that is observed. It is apparently strictly monotonic :) 5236The physical time that is observed. It is apparently strictly monotonic :)
5216 5237
5217=item wall-clock time 5238=item wall-clock time
5218 5239
5219The time and date as shown on clocks. Unlike real time, it can actually 5240The time and date as shown on clocks. Unlike real time, it can actually
5220be wrong and jump forwards and backwards, e.g. when the you adjust your 5241be wrong and jump forwards and backwards, e.g. when you adjust your
5221clock. 5242clock.
5222 5243
5223=item watcher 5244=item watcher
5224 5245
5225A data structure that describes interest in certain events. Watchers need 5246A data structure that describes interest in certain events. Watchers need
5228=back 5249=back
5229 5250
5230=head1 AUTHOR 5251=head1 AUTHOR
5231 5252
5232Marc Lehmann <libev@schmorp.de>, with repeated corrections by Mikael 5253Marc Lehmann <libev@schmorp.de>, with repeated corrections by Mikael
5233Magnusson and Emanuele Giaquinta. 5254Magnusson and Emanuele Giaquinta, and minor corrections by many others.
5234 5255

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines