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

Comparing libev/ev.pod (file contents):
Revision 1.360 by root, Mon Jan 17 12:11:12 2011 UTC vs.
Revision 1.371 by root, Sat Jun 4 05:25:03 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
178you actually want to know. Also interesting is the combination of 178you actually want to know. Also interesting is the combination of
179C<ev_update_now> and C<ev_now>. 179C<ev_update_now> and C<ev_now>.
180 180
181=item ev_sleep (ev_tstamp interval) 181=item ev_sleep (ev_tstamp interval)
182 182
183Sleep for the given interval: The current thread will be blocked until 183Sleep for the given interval: The current thread will be blocked
184either it is interrupted or the given time interval has passed. Basically 184until either it is interrupted or the given time interval has
185passed (approximately - it might return a bit earlier even if not
186interrupted). Returns immediately if C<< interval <= 0 >>.
187
185this is a sub-second-resolution C<sleep ()>. 188Basically this is a sub-second-resolution C<sleep ()>.
189
190The range of the C<interval> is limited - libev only guarantees to work
191with sleep times of up to one day (C<< interval <= 86400 >>).
186 192
187=item int ev_version_major () 193=item int ev_version_major ()
188 194
189=item int ev_version_minor () 195=item int ev_version_minor ()
190 196
483=item C<EVBACKEND_EPOLL> (value 4, Linux) 489=item C<EVBACKEND_EPOLL> (value 4, Linux)
484 490
485Use the linux-specific epoll(7) interface (for both pre- and post-2.6.9 491Use the linux-specific epoll(7) interface (for both pre- and post-2.6.9
486kernels). 492kernels).
487 493
488For few fds, this backend is a bit little slower than poll and select, 494For few fds, this backend is a bit little slower than poll and select, but
489but it scales phenomenally better. While poll and select usually scale 495it scales phenomenally better. While poll and select usually scale like
490like O(total_fds) where n is the total number of fds (or the highest fd), 496O(total_fds) where total_fds is the total number of fds (or the highest
491epoll scales either O(1) or O(active_fds). 497fd), epoll scales either O(1) or O(active_fds).
492 498
493The epoll mechanism deserves honorable mention as the most misdesigned 499The epoll mechanism deserves honorable mention as the most misdesigned
494of the more advanced event mechanisms: mere annoyances include silently 500of the more advanced event mechanisms: mere annoyances include silently
495dropping file descriptors, requiring a system call per change per file 501dropping file descriptors, requiring a system call per change per file
496descriptor (and unnecessary guessing of parameters), problems with dup, 502descriptor (and unnecessary guessing of parameters), problems with dup,
4990.1ms) and so on. The biggest issue is fork races, however - if a program 5050.1ms) and so on. The biggest issue is fork races, however - if a program
500forks then I<both> parent and child process have to recreate the epoll 506forks then I<both> parent and child process have to recreate the epoll
501set, which can take considerable time (one syscall per file descriptor) 507set, which can take considerable time (one syscall per file descriptor)
502and is of course hard to detect. 508and is of course hard to detect.
503 509
504Epoll is also notoriously buggy - embedding epoll fds I<should> work, but 510Epoll is also notoriously buggy - embedding epoll fds I<should> work,
505of course I<doesn't>, and epoll just loves to report events for totally 511but of course I<doesn't>, and epoll just loves to report events for
506I<different> file descriptors (even already closed ones, so one cannot 512totally I<different> file descriptors (even already closed ones, so
507even remove them from the set) than registered in the set (especially 513one cannot even remove them from the set) than registered in the set
508on SMP systems). Libev tries to counter these spurious notifications by 514(especially on SMP systems). Libev tries to counter these spurious
509employing an additional generation counter and comparing that against the 515notifications by employing an additional generation counter and comparing
510events to filter out spurious ones, recreating the set when required. Last 516that against the events to filter out spurious ones, recreating the set
517when required. Epoll also errornously rounds down timeouts, but gives you
518no way to know when and by how much, so sometimes you have to busy-wait
519because epoll returns immediately despite a nonzero timeout. And last
511not least, it also refuses to work with some file descriptors which work 520not least, it also refuses to work with some file descriptors which work
512perfectly fine with C<select> (files, many character devices...). 521perfectly fine with C<select> (files, many character devices...).
513 522
514Epoll is truly the train wreck analog among event poll mechanisms, 523Epoll is truly the train wreck among event poll mechanisms, a frankenpoll,
515a frankenpoll, cobbled together in a hurry, no thought to design or 524cobbled together in a hurry, no thought to design or interaction with
516interaction with others. 525others. Oh, the pain, will it ever stop...
517 526
518While stopping, setting and starting an I/O watcher in the same iteration 527While stopping, setting and starting an I/O watcher in the same iteration
519will result in some caching, there is still a system call per such 528will result in some caching, there is still a system call per such
520incident (because the same I<file descriptor> could point to a different 529incident (because the same I<file descriptor> could point to a different
521I<file description> now), so its best to avoid that. Also, C<dup ()>'ed 530I<file description> now), so its best to avoid that. Also, C<dup ()>'ed
825This is useful if you are waiting for some external event in conjunction 834This is useful if you are waiting for some external event in conjunction
826with something not expressible using other libev watchers (i.e. "roll your 835with something not expressible using other libev watchers (i.e. "roll your
827own C<ev_run>"). However, a pair of C<ev_prepare>/C<ev_check> watchers is 836own C<ev_run>"). However, a pair of C<ev_prepare>/C<ev_check> watchers is
828usually a better approach for this kind of thing. 837usually a better approach for this kind of thing.
829 838
830Here are the gory details of what C<ev_run> does: 839Here are the gory details of what C<ev_run> does (this is for your
840understanding, not a guarantee that things will work exactly like this in
841future versions):
831 842
832 - Increment loop depth. 843 - Increment loop depth.
833 - Reset the ev_break status. 844 - Reset the ev_break status.
834 - Before the first iteration, call any pending watchers. 845 - Before the first iteration, call any pending watchers.
835 LOOP: 846 LOOP:
868anymore. 879anymore.
869 880
870 ... queue jobs here, make sure they register event watchers as long 881 ... queue jobs here, make sure they register event watchers as long
871 ... as they still have work to do (even an idle watcher will do..) 882 ... as they still have work to do (even an idle watcher will do..)
872 ev_run (my_loop, 0); 883 ev_run (my_loop, 0);
873 ... jobs done or somebody called unloop. yeah! 884 ... jobs done or somebody called break. yeah!
874 885
875=item ev_break (loop, how) 886=item ev_break (loop, how)
876 887
877Can be used to make a call to C<ev_run> return early (but only after it 888Can be used to make a call to C<ev_run> return early (but only after it
878has processed all outstanding events). The C<how> argument must be either 889has processed all outstanding events). The C<how> argument must be either
1378 1389
1379Before a watcher can be registered with the event looop it has to be 1390Before a watcher can be registered with the event looop it has to be
1380initialised. This can be done with a call to C<ev_TYPE_init>, or calls to 1391initialised. This can be done with a call to C<ev_TYPE_init>, or calls to
1381C<ev_init> followed by the watcher-specific C<ev_TYPE_set> function. 1392C<ev_init> followed by the watcher-specific C<ev_TYPE_set> function.
1382 1393
1383In this state it is simply some block of memory that is suitable for use 1394In this state it is simply some block of memory that is suitable for
1384in an event loop. It can be moved around, freed, reused etc. at will. 1395use in an event loop. It can be moved around, freed, reused etc. at
1396will - as long as you either keep the memory contents intact, or call
1397C<ev_TYPE_init> again.
1385 1398
1386=item started/running/active 1399=item started/running/active
1387 1400
1388Once a watcher has been started with a call to C<ev_TYPE_start> it becomes 1401Once a watcher has been started with a call to C<ev_TYPE_start> it becomes
1389property of the event loop, and is actively waiting for events. While in 1402property of the event loop, and is actively waiting for events. While in
1417latter will clear any pending state the watcher might be in, regardless 1430latter will clear any pending state the watcher might be in, regardless
1418of whether it was active or not, so stopping a watcher explicitly before 1431of whether it was active or not, so stopping a watcher explicitly before
1419freeing it is often a good idea. 1432freeing it is often a good idea.
1420 1433
1421While stopped (and not pending) the watcher is essentially in the 1434While stopped (and not pending) the watcher is essentially in the
1422initialised state, that is it can be reused, moved, modified in any way 1435initialised state, that is, it can be reused, moved, modified in any way
1423you wish. 1436you wish (but when you trash the memory block, you need to C<ev_TYPE_init>
1437it again).
1424 1438
1425=back 1439=back
1426 1440
1427=head2 WATCHER PRIORITY MODELS 1441=head2 WATCHER PRIORITY MODELS
1428 1442
2148 2162
2149Another way to think about it (for the mathematically inclined) is that 2163Another way to think about it (for the mathematically inclined) is that
2150C<ev_periodic> will try to run the callback in this mode at the next possible 2164C<ev_periodic> will try to run the callback in this mode at the next possible
2151time where C<time = offset (mod interval)>, regardless of any time jumps. 2165time where C<time = offset (mod interval)>, regardless of any time jumps.
2152 2166
2153For numerical stability it is preferable that the C<offset> value is near 2167The C<interval> I<MUST> be positive, and for numerical stability, the
2154C<ev_now ()> (the current time), but there is no range requirement for 2168interval value should be higher than C<1/8192> (which is around 100
2155this value, and in fact is often specified as zero. 2169microseconds) and C<offset> should be higher than C<0> and should have
2170at most a similar magnitude as the current time (say, within a factor of
2171ten). Typical values for offset are, in fact, C<0> or something between
2172C<0> and C<interval>, which is also the recommended range.
2156 2173
2157Note also that there is an upper limit to how often a timer can fire (CPU 2174Note also that there is an upper limit to how often a timer can fire (CPU
2158speed for example), so if C<interval> is very small then timing stability 2175speed for example), so if C<interval> is very small then timing stability
2159will of course deteriorate. Libev itself tries to be exact to be about one 2176will of course deteriorate. Libev itself tries to be exact to be about one
2160millisecond (if the OS supports it and the machine is fast enough). 2177millisecond (if the OS supports it and the machine is fast enough).
3185 atexit (program_exits); 3202 atexit (program_exits);
3186 3203
3187 3204
3188=head2 C<ev_async> - how to wake up an event loop 3205=head2 C<ev_async> - how to wake up an event loop
3189 3206
3190In general, you cannot use an C<ev_run> from multiple threads or other 3207In general, you cannot use an C<ev_loop> from multiple threads or other
3191asynchronous sources such as signal handlers (as opposed to multiple event 3208asynchronous sources such as signal handlers (as opposed to multiple event
3192loops - those are of course safe to use in different threads). 3209loops - those are of course safe to use in different threads).
3193 3210
3194Sometimes, however, you need to wake up an event loop you do not control, 3211Sometimes, however, you need to wake up an event loop you do not control,
3195for example because it belongs to another thread. This is what C<ev_async> 3212for example because it belongs to another thread. This is what C<ev_async>
3305trust me. 3322trust me.
3306 3323
3307=item ev_async_send (loop, ev_async *) 3324=item ev_async_send (loop, ev_async *)
3308 3325
3309Sends/signals/activates the given C<ev_async> watcher, that is, feeds 3326Sends/signals/activates the given C<ev_async> watcher, that is, feeds
3310an C<EV_ASYNC> event on the watcher into the event loop. Unlike 3327an C<EV_ASYNC> event on the watcher into the event loop, and instantly
3328returns.
3329
3311C<ev_feed_event>, this call is safe to do from other threads, signal or 3330Unlike C<ev_feed_event>, this call is safe to do from other threads,
3312similar contexts (see the discussion of C<EV_ATOMIC_T> in the embedding 3331signal or similar contexts (see the discussion of C<EV_ATOMIC_T> in the
3313section below on what exactly this means). 3332embedding section below on what exactly this means).
3314 3333
3315Note that, as with other watchers in libev, multiple events might get 3334Note that, as with other watchers in libev, multiple events might get
3316compressed into a single callback invocation (another way to look at this 3335compressed into a single callback invocation (another way to look at this
3317is that C<ev_async> watchers are level-triggered, set on C<ev_async_send>, 3336is that C<ev_async> watchers are level-triggered, set on C<ev_async_send>,
3318reset when the event loop detects that). 3337reset when the event loop detects that).
3544 // now associate this with the loop 3563 // now associate this with the loop
3545 ev_set_userdata (EV_A_ u); 3564 ev_set_userdata (EV_A_ u);
3546 ev_set_invoke_pending_cb (EV_A_ l_invoke); 3565 ev_set_invoke_pending_cb (EV_A_ l_invoke);
3547 ev_set_loop_release_cb (EV_A_ l_release, l_acquire); 3566 ev_set_loop_release_cb (EV_A_ l_release, l_acquire);
3548 3567
3549 // then create the thread running ev_loop 3568 // then create the thread running ev_run
3550 pthread_create (&u->tid, 0, l_run, EV_A); 3569 pthread_create (&u->tid, 0, l_run, EV_A);
3551 } 3570 }
3552 3571
3553The callback for the C<ev_async> watcher does nothing: the watcher is used 3572The callback for the C<ev_async> watcher does nothing: the watcher is used
3554solely to wake up the event loop so it takes notice of any new watchers 3573solely to wake up the event loop so it takes notice of any new watchers
4199F<event.h> that are not directly supported by the libev core alone. 4218F<event.h> that are not directly supported by the libev core alone.
4200 4219
4201In standalone mode, libev will still try to automatically deduce the 4220In standalone mode, libev will still try to automatically deduce the
4202configuration, but has to be more conservative. 4221configuration, but has to be more conservative.
4203 4222
4223=item EV_USE_FLOOR
4224
4225If defined to be C<1>, libev will use the C<floor ()> function for its
4226periodic reschedule calculations, otherwise libev will fall back on a
4227portable (slower) implementation. If you enable this, you usually have to
4228link against libm or something equivalent. Enabling this when the C<floor>
4229function is not available will fail, so the safe default is to not enable
4230this.
4231
4204=item EV_USE_MONOTONIC 4232=item EV_USE_MONOTONIC
4205 4233
4206If defined to be C<1>, libev will try to detect the availability of the 4234If defined to be C<1>, libev will try to detect the availability of the
4207monotonic clock option at both compile time and runtime. Otherwise no 4235monotonic clock option at both compile time and runtime. Otherwise no
4208use of the monotonic clock option will be attempted. If you enable this, 4236use of the monotonic clock option will be attempted. If you enable this,
5219The physical time that is observed. It is apparently strictly monotonic :) 5247The physical time that is observed. It is apparently strictly monotonic :)
5220 5248
5221=item wall-clock time 5249=item wall-clock time
5222 5250
5223The time and date as shown on clocks. Unlike real time, it can actually 5251The time and date as shown on clocks. Unlike real time, it can actually
5224be wrong and jump forwards and backwards, e.g. when the you adjust your 5252be wrong and jump forwards and backwards, e.g. when you adjust your
5225clock. 5253clock.
5226 5254
5227=item watcher 5255=item watcher
5228 5256
5229A data structure that describes interest in certain events. Watchers need 5257A data structure that describes interest in certain events. Watchers need
5232=back 5260=back
5233 5261
5234=head1 AUTHOR 5262=head1 AUTHOR
5235 5263
5236Marc Lehmann <libev@schmorp.de>, with repeated corrections by Mikael 5264Marc Lehmann <libev@schmorp.de>, with repeated corrections by Mikael
5237Magnusson and Emanuele Giaquinta. 5265Magnusson and Emanuele Giaquinta, and minor corrections by many others.
5238 5266

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines