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

Comparing libev/ev.pod (file contents):
Revision 1.385 by root, Tue Nov 29 15:10:05 2011 UTC vs.
Revision 1.399 by root, Mon Apr 2 23:14:41 2012 UTC

567 567
568It scales in the same way as the epoll backend, but the interface to the 568It scales in the same way as the epoll backend, but the interface to the
569kernel is more efficient (which says nothing about its actual speed, of 569kernel is more efficient (which says nothing about its actual speed, of
570course). While stopping, setting and starting an I/O watcher does never 570course). While stopping, setting and starting an I/O watcher does never
571cause an extra system call as with C<EVBACKEND_EPOLL>, it still adds up to 571cause an extra system call as with C<EVBACKEND_EPOLL>, it still adds up to
572two event changes per incident. Support for C<fork ()> is very bad (but 572two event changes per incident. Support for C<fork ()> is very bad (you
573sane, unlike epoll) and it drops fds silently in similarly hard-to-detect 573might have to leak fd's on fork, but it's more sane than epoll) and it
574cases 574drops fds silently in similarly hard-to-detect cases
575 575
576This backend usually performs well under most conditions. 576This backend usually performs well under most conditions.
577 577
578While nominally embeddable in other event loops, this doesn't work 578While nominally embeddable in other event loops, this doesn't work
579everywhere, so you might need to test for this. And since it is broken 579everywhere, so you might need to test for this. And since it is broken
792without a previous call to C<ev_suspend>. 792without a previous call to C<ev_suspend>.
793 793
794Calling C<ev_suspend>/C<ev_resume> has the side effect of updating the 794Calling C<ev_suspend>/C<ev_resume> has the side effect of updating the
795event loop time (see C<ev_now_update>). 795event loop time (see C<ev_now_update>).
796 796
797=item ev_run (loop, int flags) 797=item bool ev_run (loop, int flags)
798 798
799Finally, this is it, the event handler. This function usually is called 799Finally, this is it, the event handler. This function usually is called
800after you have initialised all your watchers and you want to start 800after you have initialised all your watchers and you want to start
801handling events. It will ask the operating system for any new events, call 801handling events. It will ask the operating system for any new events, call
802the watcher callbacks, an then repeat the whole process indefinitely: This 802the watcher callbacks, and then repeat the whole process indefinitely: This
803is why event loops are called I<loops>. 803is why event loops are called I<loops>.
804 804
805If the flags argument is specified as C<0>, it will keep handling events 805If the flags argument is specified as C<0>, it will keep handling events
806until either no event watchers are active anymore or C<ev_break> was 806until either no event watchers are active anymore or C<ev_break> was
807called. 807called.
808
809The return value is false if there are no more active watchers (which
810usually means "all jobs done" or "deadlock"), and true in all other cases
811(which usually means " you should call C<ev_run> again").
808 812
809Please note that an explicit C<ev_break> is usually better than 813Please note that an explicit C<ev_break> is usually better than
810relying on all watchers to be stopped when deciding when a program has 814relying on all watchers to be stopped when deciding when a program has
811finished (especially in interactive programs), but having a program 815finished (especially in interactive programs), but having a program
812that automatically loops as long as it has to and no longer by virtue 816that automatically loops as long as it has to and no longer by virtue
813of relying on its watchers stopping correctly, that is truly a thing of 817of relying on its watchers stopping correctly, that is truly a thing of
814beauty. 818beauty.
815 819
816This function is also I<mostly> exception-safe - you can break out of 820This function is I<mostly> exception-safe - you can break out of a
817a C<ev_run> call by calling C<longjmp> in a callback, throwing a C++ 821C<ev_run> call by calling C<longjmp> in a callback, throwing a C++
818exception and so on. This does not decrement the C<ev_depth> value, nor 822exception and so on. This does not decrement the C<ev_depth> value, nor
819will it clear any outstanding C<EVBREAK_ONE> breaks. 823will it clear any outstanding C<EVBREAK_ONE> breaks.
820 824
821A flags value of C<EVRUN_NOWAIT> will look for new events, will handle 825A flags value of C<EVRUN_NOWAIT> will look for new events, will handle
822those events and any already outstanding ones, but will not wait and 826those events and any already outstanding ones, but will not wait and
1860 1864
1861In this case, it would be more efficient to leave the C<ev_timer> alone, 1865In this case, it would be more efficient to leave the C<ev_timer> alone,
1862but remember the time of last activity, and check for a real timeout only 1866but remember the time of last activity, and check for a real timeout only
1863within the callback: 1867within the callback:
1864 1868
1869 ev_tstamp timeout = 60.;
1865 ev_tstamp last_activity; // time of last activity 1870 ev_tstamp last_activity; // time of last activity
1871 ev_timer timer;
1866 1872
1867 static void 1873 static void
1868 callback (EV_P_ ev_timer *w, int revents) 1874 callback (EV_P_ ev_timer *w, int revents)
1869 { 1875 {
1870 ev_tstamp now = ev_now (EV_A); 1876 // calculate when the timeout would happen
1871 ev_tstamp timeout = last_activity + 60.; 1877 ev_tstamp after = last_activity - ev_now (EV_A) + timeout;
1872 1878
1873 // if last_activity + 60. is older than now, we did time out 1879 // if negative, it means we the timeout already occured
1874 if (timeout < now) 1880 if (after < 0.)
1875 { 1881 {
1876 // timeout occurred, take action 1882 // timeout occurred, take action
1877 } 1883 }
1878 else 1884 else
1879 { 1885 {
1880 // callback was invoked, but there was some activity, re-arm 1886 // callback was invoked, but there was some recent
1881 // the watcher to fire in last_activity + 60, which is 1887 // activity. simply restart the timer to time out
1882 // guaranteed to be in the future, so "again" is positive: 1888 // after "after" seconds, which is the earliest time
1883 w->repeat = timeout - now; 1889 // the timeout can occur.
1890 ev_timer_set (w, after, 0.);
1884 ev_timer_again (EV_A_ w); 1891 ev_timer_start (EV_A_ w);
1885 } 1892 }
1886 } 1893 }
1887 1894
1888To summarise the callback: first calculate the real timeout (defined 1895To summarise the callback: first calculate in how many seconds the
1889as "60 seconds after the last activity"), then check if that time has 1896timeout will occur (by calculating the absolute time when it would occur,
1890been reached, which means something I<did>, in fact, time out. Otherwise 1897C<last_activity + timeout>, and subtracting the current time, C<ev_now
1891the callback was invoked too early (C<timeout> is in the future), so 1898(EV_A)> from that).
1892re-schedule the timer to fire at that future time, to see if maybe we have
1893a timeout then.
1894 1899
1895Note how C<ev_timer_again> is used, taking advantage of the 1900If this value is negative, then we are already past the timeout, i.e. we
1896C<ev_timer_again> optimisation when the timer is already running. 1901timed out, and need to do whatever is needed in this case.
1902
1903Otherwise, we now the earliest time at which the timeout would trigger,
1904and simply start the timer with this timeout value.
1905
1906In other words, each time the callback is invoked it will check whether
1907the timeout cocured. If not, it will simply reschedule itself to check
1908again at the earliest time it could time out. Rinse. Repeat.
1897 1909
1898This scheme causes more callback invocations (about one every 60 seconds 1910This scheme causes more callback invocations (about one every 60 seconds
1899minus half the average time between activity), but virtually no calls to 1911minus half the average time between activity), but virtually no calls to
1900libev to change the timeout. 1912libev to change the timeout.
1901 1913
1902To start the timer, simply initialise the watcher and set C<last_activity> 1914To start the machinery, simply initialise the watcher and set
1903to the current time (meaning we just have some activity :), then call the 1915C<last_activity> to the current time (meaning there was some activity just
1904callback, which will "do the right thing" and start the timer: 1916now), then call the callback, which will "do the right thing" and start
1917the timer:
1905 1918
1919 last_activity = ev_now (EV_A);
1906 ev_init (timer, callback); 1920 ev_init (&timer, callback);
1907 last_activity = ev_now (loop); 1921 callback (EV_A_ &timer, 0);
1908 callback (loop, timer, EV_TIMER);
1909 1922
1910And when there is some activity, simply store the current time in 1923When there is some activity, simply store the current time in
1911C<last_activity>, no libev calls at all: 1924C<last_activity>, no libev calls at all:
1912 1925
1926 if (activity detected)
1913 last_activity = ev_now (loop); 1927 last_activity = ev_now (EV_A);
1928
1929When your timeout value changes, then the timeout can be changed by simply
1930providing a new value, stopping the timer and calling the callback, which
1931will agaion do the right thing (for example, time out immediately :).
1932
1933 timeout = new_value;
1934 ev_timer_stop (EV_A_ &timer);
1935 callback (EV_A_ &timer, 0);
1914 1936
1915This technique is slightly more complex, but in most cases where the 1937This technique is slightly more complex, but in most cases where the
1916time-out is unlikely to be triggered, much more efficient. 1938time-out is unlikely to be triggered, much more efficient.
1917
1918Changing the timeout is trivial as well (if it isn't hard-coded in the
1919callback :) - just change the timeout and invoke the callback, which will
1920fix things for you.
1921 1939
1922=item 4. Wee, just use a double-linked list for your timeouts. 1940=item 4. Wee, just use a double-linked list for your timeouts.
1923 1941
1924If there is not one request, but many thousands (millions...), all 1942If there is not one request, but many thousands (millions...), all
1925employing some kind of timeout with the same timeout value, then one can 1943employing some kind of timeout with the same timeout value, then one can
1958 1976
1959If you ask a timer to call your callback after three seconds, then 1977If you ask a timer to call your callback after three seconds, then
1960you expect it to be invoked after three seconds - but of course, this 1978you expect it to be invoked after three seconds - but of course, this
1961cannot be guaranteed to infinite precision. Less obviously, it cannot be 1979cannot be guaranteed to infinite precision. Less obviously, it cannot be
1962guaranteed to any precision by libev - imagine somebody suspending the 1980guaranteed to any precision by libev - imagine somebody suspending the
1963process a STOP signal for a few hours for example. 1981process with a STOP signal for a few hours for example.
1964 1982
1965So, libev tries to invoke your callback as soon as possible I<after> the 1983So, libev tries to invoke your callback as soon as possible I<after> the
1966delay has occurred, but cannot guarantee this. 1984delay has occurred, but cannot guarantee this.
1967 1985
1968A less obvious failure mode is calling your callback too early: many event 1986A less obvious failure mode is calling your callback too early: many event
2094keep up with the timer (because it takes longer than those 10 seconds to 2112keep up with the timer (because it takes longer than those 10 seconds to
2095do stuff) the timer will not fire more than once per event loop iteration. 2113do stuff) the timer will not fire more than once per event loop iteration.
2096 2114
2097=item ev_timer_again (loop, ev_timer *) 2115=item ev_timer_again (loop, ev_timer *)
2098 2116
2099This will act as if the timer timed out and restarts it again if it is 2117This will act as if the timer timed out, and restarts it again if it is
2100repeating. The exact semantics are: 2118repeating. It basically works like calling C<ev_timer_stop>, updating the
2119timeout to the C<repeat> value and calling C<ev_timer_start>.
2101 2120
2121The exact semantics are as in the following rules, all of which will be
2122applied to the watcher:
2123
2124=over 4
2125
2102If the timer is pending, its pending status is cleared. 2126=item If the timer is pending, the pending status is always cleared.
2103 2127
2104If the timer is started but non-repeating, stop it (as if it timed out). 2128=item If the timer is started but non-repeating, stop it (as if it timed
2129out, without invoking it).
2105 2130
2106If the timer is repeating, either start it if necessary (with the 2131=item If the timer is repeating, make the C<repeat> value the new timeout
2107C<repeat> value), or reset the running timer to the C<repeat> value. 2132and start the timer, if necessary.
2133
2134=back
2108 2135
2109This sounds a bit complicated, see L<Be smart about timeouts>, above, for a 2136This sounds a bit complicated, see L<Be smart about timeouts>, above, for a
2110usage example. 2137usage example.
2111 2138
2112=item ev_tstamp ev_timer_remaining (loop, ev_timer *) 2139=item ev_tstamp ev_timer_remaining (loop, ev_timer *)
3473 ev_once (STDIN_FILENO, EV_READ, 10., stdin_ready, 0); 3500 ev_once (STDIN_FILENO, EV_READ, 10., stdin_ready, 0);
3474 3501
3475=item ev_feed_fd_event (loop, int fd, int revents) 3502=item ev_feed_fd_event (loop, int fd, int revents)
3476 3503
3477Feed an event on the given fd, as if a file descriptor backend detected 3504Feed an event on the given fd, as if a file descriptor backend detected
3478the given events it. 3505the given events.
3479 3506
3480=item ev_feed_signal_event (loop, int signum) 3507=item ev_feed_signal_event (loop, int signum)
3481 3508
3482Feed an event as if the given signal occurred. See also C<ev_feed_signal>, 3509Feed an event as if the given signal occurred. See also C<ev_feed_signal>,
3483which is async-safe. 3510which is async-safe.
3557 { 3584 {
3558 struct my_biggy big = (struct my_biggy *) 3585 struct my_biggy big = (struct my_biggy *)
3559 (((char *)w) - offsetof (struct my_biggy, t2)); 3586 (((char *)w) - offsetof (struct my_biggy, t2));
3560 } 3587 }
3561 3588
3589=head2 AVOIDING FINISHING BEFORE RETURNING
3590
3591Often you have structures like this in event-based programs:
3592
3593 callback ()
3594 {
3595 free (request);
3596 }
3597
3598 request = start_new_request (..., callback);
3599
3600The intent is to start some "lengthy" operation. The C<request> could be
3601used to cancel the operation, or do other things with it.
3602
3603It's not uncommon to have code paths in C<start_new_request> that
3604immediately invoke the callback, for example, to report errors. Or you add
3605some caching layer that finds that it can skip the lengthy aspects of the
3606operation and simply invoke the callback with the result.
3607
3608The problem here is that this will happen I<before> C<start_new_request>
3609has returned, so C<request> is not set.
3610
3611Even if you pass the request by some safer means to the callback, you
3612might want to do something to the request after starting it, such as
3613canceling it, which probably isn't working so well when the callback has
3614already been invoked.
3615
3616A common way around all these issues is to make sure that
3617C<start_new_request> I<always> returns before the callback is invoked. If
3618C<start_new_request> immediately knows the result, it can artificially
3619delay invoking the callback by e.g. using a C<prepare> or C<idle> watcher
3620for example, or more sneakily, by reusing an existing (stopped) watcher
3621and pushing it into the pending queue:
3622
3623 ev_set_cb (watcher, callback);
3624 ev_feed_event (EV_A_ watcher, 0);
3625
3626This way, C<start_new_request> can safely return before the callback is
3627invoked, while not delaying callback invocation too much.
3628
3562=head2 MODEL/NESTED EVENT LOOP INVOCATIONS AND EXIT CONDITIONS 3629=head2 MODEL/NESTED EVENT LOOP INVOCATIONS AND EXIT CONDITIONS
3563 3630
3564Often (especially in GUI toolkits) there are places where you have 3631Often (especially in GUI toolkits) there are places where you have
3565I<modal> interaction, which is most easily implemented by recursively 3632I<modal> interaction, which is most easily implemented by recursively
3566invoking C<ev_run>. 3633invoking C<ev_run>.
3579 int exit_main_loop = 0; 3646 int exit_main_loop = 0;
3580 3647
3581 while (!exit_main_loop) 3648 while (!exit_main_loop)
3582 ev_run (EV_DEFAULT_ EVRUN_ONCE); 3649 ev_run (EV_DEFAULT_ EVRUN_ONCE);
3583 3650
3584 // in a model watcher 3651 // in a modal watcher
3585 int exit_nested_loop = 0; 3652 int exit_nested_loop = 0;
3586 3653
3587 while (!exit_nested_loop) 3654 while (!exit_nested_loop)
3588 ev_run (EV_A_ EVRUN_ONCE); 3655 ev_run (EV_A_ EVRUN_ONCE);
3589 3656
3769 switch_to (libev_coro); 3836 switch_to (libev_coro);
3770 } 3837 }
3771 3838
3772That basically suspends the coroutine inside C<wait_for_event> and 3839That basically suspends the coroutine inside C<wait_for_event> and
3773continues the libev coroutine, which, when appropriate, switches back to 3840continues the libev coroutine, which, when appropriate, switches back to
3774this or any other coroutine. I am sure if you sue this your own :) 3841this or any other coroutine.
3775 3842
3776You can do similar tricks if you have, say, threads with an event queue - 3843You can do similar tricks if you have, say, threads with an event queue -
3777instead of storing a coroutine, you store the queue object and instead of 3844instead of storing a coroutine, you store the queue object and instead of
3778switching to a coroutine, you push the watcher onto the queue and notify 3845switching to a coroutine, you push the watcher onto the queue and notify
3779any waiters. 3846any waiters.
3854with C<operator ()> can be used as callbacks. Other types should be easy 3921with C<operator ()> can be used as callbacks. Other types should be easy
3855to add as long as they only need one additional pointer for context. If 3922to add as long as they only need one additional pointer for context. If
3856you need support for other types of functors please contact the author 3923you need support for other types of functors please contact the author
3857(preferably after implementing it). 3924(preferably after implementing it).
3858 3925
3926For all this to work, your C++ compiler either has to use the same calling
3927conventions as your C compiler (for static member functions), or you have
3928to embed libev and compile libev itself as C++.
3929
3859Here is a list of things available in the C<ev> namespace: 3930Here is a list of things available in the C<ev> namespace:
3860 3931
3861=over 4 3932=over 4
3862 3933
3863=item C<ev::READ>, C<ev::WRITE> etc. 3934=item C<ev::READ>, C<ev::WRITE> etc.
3872=item C<ev::io>, C<ev::timer>, C<ev::periodic>, C<ev::idle>, C<ev::sig> etc. 3943=item C<ev::io>, C<ev::timer>, C<ev::periodic>, C<ev::idle>, C<ev::sig> etc.
3873 3944
3874For each C<ev_TYPE> watcher in F<ev.h> there is a corresponding class of 3945For each C<ev_TYPE> watcher in F<ev.h> there is a corresponding class of
3875the same name in the C<ev> namespace, with the exception of C<ev_signal> 3946the same name in the C<ev> namespace, with the exception of C<ev_signal>
3876which is called C<ev::sig> to avoid clashes with the C<signal> macro 3947which is called C<ev::sig> to avoid clashes with the C<signal> macro
3877defines by many implementations. 3948defined by many implementations.
3878 3949
3879All of those classes have these methods: 3950All of those classes have these methods:
3880 3951
3881=over 4 3952=over 4
3882 3953
4441If defined to be C<1>, libev will compile in support for the Linux inotify 4512If defined to be C<1>, libev will compile in support for the Linux inotify
4442interface to speed up C<ev_stat> watchers. Its actual availability will 4513interface to speed up C<ev_stat> watchers. Its actual availability will
4443be detected at runtime. If undefined, it will be enabled if the headers 4514be detected at runtime. If undefined, it will be enabled if the headers
4444indicate GNU/Linux + Glibc 2.4 or newer, otherwise disabled. 4515indicate GNU/Linux + Glibc 2.4 or newer, otherwise disabled.
4445 4516
4517=item EV_NO_SMP
4518
4519If defined to be C<1>, libev will assume that memory is always coherent
4520between threads, that is, threads can be used, but threads never run on
4521different cpus (or different cpu cores). This reduces dependencies
4522and makes libev faster.
4523
4524=item EV_NO_THREADS
4525
4526If defined to be C<1>, libev will assume that it will never be called
4527from different threads, which is a stronger assumption than C<EV_NO_SMP>,
4528above. This reduces dependencies and makes libev faster.
4529
4446=item EV_ATOMIC_T 4530=item EV_ATOMIC_T
4447 4531
4448Libev requires an integer type (suitable for storing C<0> or C<1>) whose 4532Libev requires an integer type (suitable for storing C<0> or C<1>) whose
4449access is atomic and serialised with respect to other threads or signal 4533access is atomic and serialised with respect to other threads or signal
4450contexts. No such type is easily found in the C language, so you can 4534contexts. No such type is easily found in the C language, so you can
4597 4681
4598With an intelligent-enough linker (gcc+binutils are intelligent enough 4682With an intelligent-enough linker (gcc+binutils are intelligent enough
4599when you use C<-Wl,--gc-sections -ffunction-sections>) functions unused by 4683when you use C<-Wl,--gc-sections -ffunction-sections>) functions unused by
4600your program might be left out as well - a binary starting a timer and an 4684your program might be left out as well - a binary starting a timer and an
4601I/O watcher then might come out at only 5Kb. 4685I/O watcher then might come out at only 5Kb.
4686
4687=item EV_API_STATIC
4688
4689If this symbol is defined (by default it is not), then all identifiers
4690will have static linkage. This means that libev will not export any
4691identifiers, and you cannot link against libev anymore. This can be useful
4692when you embed libev, only want to use libev functions in a single file,
4693and do not want its identifiers to be visible.
4694
4695To use this, define C<EV_API_STATIC> and include F<ev.c> in the file that
4696wants to use libev.
4697
4698This option only works when libev is compiled with a C compiler, as C++
4699doesn't support the required declaration syntax.
4602 4700
4603=item EV_AVOID_STDIO 4701=item EV_AVOID_STDIO
4604 4702
4605If this is set to C<1> at compiletime, then libev will avoid using stdio 4703If this is set to C<1> at compiletime, then libev will avoid using stdio
4606functions (printf, scanf, perror etc.). This will increase the code size 4704functions (printf, scanf, perror etc.). This will increase the code size

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines