X-Git-Url: https://git.llucax.com/software/libev.git/blobdiff_plain/9e2c6f5f713cf5b0a9dc3b1aed5b0b7f06f3b6dc..4422091b9b8967efdcfea8f650321595a8d95a98:/ev.html diff --git a/ev.html b/ev.html index 9dd27c1..f24dedd 100644 --- a/ev.html +++ b/ev.html @@ -6,7 +6,7 @@ - + @@ -23,19 +23,20 @@
  • GLOBAL FUNCTIONS
  • FUNCTIONS CONTROLLING THE EVENT LOOP
  • ANATOMY OF A WATCHER -
    @@ -515,6 +517,10 @@ running when nothing else is active.

    + + + +

    ANATOMY OF A WATCHER

    Top

    @@ -583,6 +589,10 @@ writable.

    The pid specified in the ev_child watcher has received a status change.

    +
    EV_STAT
    +
    +

    The path specified in the ev_stat watcher changed its attributes somehow.

    +
    EV_IDLE

    The ev_idle watcher has determined that you have nothing better to do.

    @@ -614,8 +624,8 @@ programs, though, so beware.

    -

    SUMMARY OF GENERIC WATCHER FUNCTIONS

    -
    +

    GENERIC WATCHER FUNCTIONS

    +

    In the following description, TYPE stands for the watcher type, e.g. timer for ev_timer watchers and io for ev_io watchers.

    @@ -629,7 +639,7 @@ type-specific parts. For each type there is also a ev_TYPE_init mac which rolls both calls into one.

    You can reinitialise a watcher at any time as long as it has been stopped (or never started) and there are no pending events outstanding.

    -

    The callbakc is always of type void (*)(ev_loop *loop, ev_TYPE *watcher, +

    The callback is always of type void (*)(ev_loop *loop, ev_TYPE *watcher, int revents).

    ev_TYPE_set (ev_TYPE *, [args])
    @@ -729,20 +739,31 @@ have been omitted....

    WATCHER TYPES

    Top

    This section describes each watcher in detail, but will not repeat -information given in the last section.

    +information given in the last section. Any initialisation/set macros, +functions and members specific to the watcher type are explained.

    +

    Members are additionally marked with either [read-only], meaning that, +while the watcher is active, you can look at the member and expect some +sensible content, but you must not modify it (you can modify it while the +watcher is stopped to your hearts content), or [read-write], which +means you can expect it to have some sensible content while the watcher +is active, but you can also modify it. Modifying it may not do something +sensible or take immediate effect (or do anything at all), but libev will +not crash or malfunction in any way.

    -

    ev_io - is this file descriptor readable or writable

    +

    ev_io - is this file descriptor readable or writable?

    I/O watchers check whether a file descriptor is readable or writable -in each iteration of the event loop (This behaviour is called -level-triggering because you keep receiving events as long as the -condition persists. Remember you can stop the watcher if you don't want to -act on the event and neither want to receive future events).

    +in each iteration of the event loop, or, more precisely, when reading +would not block the process and writing would at least be able to write +some data. This behaviour is called level-triggering because you keep +receiving events as long as the condition persists. Remember you can stop +the watcher if you don't want to act on the event and neither want to +receive future events.

    In general you can register as many read and/or write event watchers per fd as you want (as long as you don't confuse yourself). Setting all file descriptors to non-blocking mode is also usually a good idea (but not @@ -750,28 +771,39 @@ required if you know what you are doing).

    You have to be careful with dup'ed file descriptors, though. Some backends (the linux epoll backend is a notable example) cannot handle dup'ed file descriptors correctly if you register interest in two or more fds pointing -to the same underlying file/socket etc. description (that is, they share +to the same underlying file/socket/etc. description (that is, they share the same underlying "file open").

    If you must do this, then force the use of a known-to-be-good backend (at the time of this writing, this includes only EVBACKEND_SELECT and EVBACKEND_POLL).

    +

    Another thing you have to watch out for is that it is quite easy to +receive "spurious" readyness notifications, that is your callback might +be called with EV_READ but a subsequent read(2) will actually block +because there is no data. Not only are some backends known to create a +lot of those (for example solaris ports), it is very easy to get into +this situation even with a relatively standard program structure. Thus +it is best to always use non-blocking I/O: An extra read(2) returning +EAGAIN is far preferable to a program hanging until some data arrives.

    +

    If you cannot run the fd in non-blocking mode (for example you should not +play around with an Xlib connection), then you have to seperately re-test +wether a file descriptor is really ready with a known-to-be good interface +such as poll (fortunately in our Xlib example, Xlib already does this on +its own, so its quite safe to use).

    ev_io_init (ev_io *, callback, int fd, int events)
    ev_io_set (ev_io *, int fd, int events)
    -

    Configures an ev_io watcher. The fd is the file descriptor to rceeive -events for and events is either EV_READ, EV_WRITE or EV_READ | -EV_WRITE to receive the given events.

    -

    Please note that most of the more scalable backend mechanisms (for example -epoll and solaris ports) can result in spurious readyness notifications -for file descriptors, so you practically need to use non-blocking I/O (and -treat callback invocation as hint only), or retest separately with a safe -interface before doing I/O (XLib can do this), or force the use of either -EVBACKEND_SELECT or EVBACKEND_POLL, which don't suffer from this -problem. Also note that it is quite easy to have your callback invoked -when the readyness condition is no longer valid even when employing -typical ways of handling events, so its a good idea to use non-blocking -I/O unconditionally.

    +

    Configures an ev_io watcher. The fd is the file descriptor to +rceeive events for and events is either EV_READ, EV_WRITE or +EV_READ | EV_WRITE to receive the given events.

    +
    +
    int fd [read-only]
    +
    +

    The file descriptor being watched.

    +
    +
    int events [read-only]
    +
    +

    The events being watched.

    Example: call stdin_readable_cb when STDIN_FILENO has become, well @@ -797,7 +829,7 @@ attempt to read a whole line in the callback:

    -

    ev_timer - relative and optionally recurring timeouts

    +

    ev_timer - relative and optionally repeating timeouts

    Timer watchers are simple relative timers that generate an event after a given time, and optionally repeating in regular intervals after that.

    @@ -839,13 +871,34 @@ repeating. The exact semantics are:

    If the timer is repeating, either start it if necessary (with the repeat value), or reset the running timer to the repeat value.

    This sounds a bit complicated, but here is a useful and typical -example: Imagine you have a tcp connection and you want a so-called idle -timeout, that is, you want to be called when there have been, say, 60 -seconds of inactivity on the socket. The easiest way to do this is to -configure an ev_timer with after=repeat=60 and calling ev_timer_again each -time you successfully read or write some data. If you go into an idle -state where you do not expect data to travel on the socket, you can stop -the timer, and again will automatically restart it if need be.

    +example: Imagine you have a tcp connection and you want a so-called +idle timeout, that is, you want to be called when there have been, +say, 60 seconds of inactivity on the socket. The easiest way to do +this is to configure an ev_timer with after=repeat=60 and calling +ev_timer_again each time you successfully read or write some data. If +you go into an idle state where you do not expect data to travel on the +socket, you can stop the timer, and again will automatically restart it if +need be.

    +

    You can also ignore the after value and ev_timer_start altogether +and only ever use the repeat value:

    +
       ev_timer_init (timer, callback, 0., 5.);
    +   ev_timer_again (loop, timer);
    +   ...
    +   timer->again = 17.;
    +   ev_timer_again (loop, timer);
    +   ...
    +   timer->again = 10.;
    +   ev_timer_again (loop, timer);
    +
    +
    +

    This is more efficient then stopping/starting the timer eahc time you want +to modify its timeout value.

    + +
    ev_tstamp repeat [read-write]
    +
    +

    The current repeat value. Will be used each time the watcher times out +or ev_timer_again is called and determines the next timeout (if any), +which is also when any modifications are taken into account.

    Example: create a timer that fires after 60 seconds.

    @@ -883,7 +936,7 @@ inactivity.

    -

    ev_periodic - to cron or not to cron

    +

    ev_periodic - to cron or not to cron?

    Periodic watchers are also timers of a kind, but they are very versatile (and unfortunately a bit complex).

    @@ -973,6 +1026,18 @@ when you changed some parameters or the reschedule callback would return a different time than the last time it was called (e.g. in a crond like program when the crontabs have changed).

    +
    ev_tstamp interval [read-write]
    +
    +

    The current interval value. Can be modified any time, but changes only +take effect when the periodic timer fires or ev_periodic_again is being +called.

    +
    +
    ev_tstamp (*reschedule_cb)(struct ev_periodic *w, ev_tstamp now) [read-write]
    +
    +

    The current reschedule callback, or 0, if this functionality is +switched off. Can be changed any time, but changes only take effect when +the periodic timer fires or ev_periodic_again is being called.

    +

    Example: call a callback every hour, or, more precisely, whenever the system clock is divisible by 3600. The callback invocation times have @@ -1012,7 +1077,7 @@ potentially a lot of jittering, but good long-term stability.

    -

    ev_signal - signal me when a signal gets signalled

    +

    ev_signal - signal me when a signal gets signalled!

    Signal watchers will trigger an event when the process receives a specific signal one or more times. Even though signals are very asynchronous, libev @@ -1031,6 +1096,10 @@ SIG_DFL (regardless of what it was set to before).

    Configures the watcher to trigger on the given signal number (usually one of the SIGxxx constants).

    +
    int signum [read-only]
    +
    +

    The signal the watcher watches out for.

    +
    @@ -1038,8 +1107,8 @@ of the SIGxxx constants).

    -

    ev_child - wait for pid status changes

    -
    +

    ev_child - watch out for process status changes

    +

    Child watchers trigger when your process receives a SIGCHLD in response to some child status changes (most typically when a child of yours dies).

    @@ -1053,6 +1122,19 @@ the status word (use the macros from sys/wait.h and see your system waitpid documentation). The rpid member contains the pid of the process causing the status change.

    +
    int pid [read-only]
    +
    +

    The process id this watcher watches out for, or 0, meaning any process id.

    +
    +
    int rpid [read-write]
    +
    +

    The process id that detected a status change.

    +
    +
    int rstatus [read-write]
    +
    +

    The process exit/trace status caused by rpid (see your systems +waitpid and sys/wait.h documentation for details).

    +

    Example: try to exit cleanly on SIGINT and SIGTERM.

      static void
    @@ -1071,7 +1153,100 @@ process causing the status change.

    -

    ev_idle - when you've got nothing better to do

    +

    ev_stat - did the file attributes just change?

    +
    +

    This watches a filesystem path for attribute changes. That is, it calls +stat regularly (or when the OS says it changed) and sees if it changed +compared to the last time, invoking the callback if it did.

    +

    The path does not need to exist: changing from "path exists" to "path does +not exist" is a status change like any other. The condition "path does +not exist" is signified by the st_nlink field being zero (which is +otherwise always forced to be at least one) and all the other fields of +the stat buffer having unspecified contents.

    +

    Since there is no standard to do this, the portable implementation simply +calls stat (2) regulalry on the path to see if it changed somehow. You +can specify a recommended polling interval for this case. If you specify +a polling interval of 0 (highly recommended!) then a suitable, +unspecified default value will be used (which you can expect to be around +five seconds, although this might change dynamically). Libev will also +impose a minimum interval which is currently around 0.1, but thats +usually overkill.

    +

    This watcher type is not meant for massive numbers of stat watchers, +as even with OS-supported change notifications, this can be +resource-intensive.

    +

    At the time of this writing, no specific OS backends are implemented, but +if demand increases, at least a kqueue and inotify backend will be added.

    +
    +
    ev_stat_init (ev_stat *, callback, const char *path, ev_tstamp interval)
    +
    ev_stat_set (ev_stat *, const char *path, ev_tstamp interval)
    +
    +

    Configures the watcher to wait for status changes of the given +path. The interval is a hint on how quickly a change is expected to +be detected and should normally be specified as 0 to let libev choose +a suitable value. The memory pointed to by path must point to the same +path for as long as the watcher is active.

    +

    The callback will be receive EV_STAT when a change was detected, +relative to the attributes at the time the watcher was started (or the +last change was detected).

    +
    +
    ev_stat_stat (ev_stat *)
    +
    +

    Updates the stat buffer immediately with new values. If you change the +watched path in your callback, you could call this fucntion to avoid +detecting this change (while introducing a race condition). Can also be +useful simply to find out the new values.

    +
    +
    ev_statdata attr [read-only]
    +
    +

    The most-recently detected attributes of the file. Although the type is of +ev_statdata, this is usually the (or one of the) struct stat types +suitable for your system. If the st_nlink member is 0, then there +was some error while stating the file.

    +
    +
    ev_statdata prev [read-only]
    +
    +

    The previous attributes of the file. The callback gets invoked whenever +prev != attr.

    +
    +
    ev_tstamp interval [read-only]
    +
    +

    The specified interval.

    +
    +
    const char *path [read-only]
    +
    +

    The filesystem path that is being watched.

    +
    +
    +

    Example: Watch /etc/passwd for attribute changes.

    +
      static void
    +  passwd_cb (struct ev_loop *loop, ev_stat *w, int revents)
    +  {
    +    /* /etc/passwd changed in some way */
    +    if (w->attr.st_nlink)
    +      {
    +        printf ("passwd current size  %ld\n", (long)w->attr.st_size);
    +        printf ("passwd current atime %ld\n", (long)w->attr.st_mtime);
    +        printf ("passwd current mtime %ld\n", (long)w->attr.st_mtime);
    +      }
    +    else
    +      /* you shalt not abuse printf for puts */
    +      puts ("wow, /etc/passwd is not there, expect problems. "
    +            "if this is windows, they already arrived\n");
    +  }
    +
    +  ...
    +  ev_stat passwd;
    +
    +  ev_stat_init (&passwd, passwd_cb, "/etc/passwd");
    +  ev_stat_start (loop, &passwd);
    +
    +
    +
    +
    +
    + +
    +

    ev_idle - when you've got nothing better to do...

    Idle watchers trigger events when there are no other events are pending (prepare, check and other idle watchers do not count). That is, as long @@ -1114,15 +1289,25 @@ callback, free it. Alos, use no error checking, as usual.

    -

    ev_prepare and ev_check - customise your event loop

    +

    ev_prepare and ev_check - customise your event loop!

    Prepare and check watchers are usually (but not always) used in tandem: prepare watchers get invoked before the process blocks and check watchers afterwards.

    +

    You must not call ev_loop or similar functions that enter +the current event loop from either ev_prepare or ev_check +watchers. Other loops than the current one are fine, however. The +rationale behind this is that you do not need to check for recursion in +those watchers, i.e. the sequence will always be ev_prepare, blocking, +ev_check so if you have one watcher of each kind they will always be +called in pairs bracketing the blocking call.

    Their main purpose is to integrate other event mechanisms into libev and their use is somewhat advanced. This could be used, for example, to track variable changes, implement your own watchers, integrate net-snmp or a -coroutine library and lots more.

    +coroutine library and lots more. They are also occasionally useful if +you cache some data and want to flush it before blocking (for example, +in X programs you might want to do an XFlush () in an ev_prepare +watcher).

    This is done by examining in each prepare call which file descriptors need to be watched by the other library, registering ev_io watchers for them and starting an ev_timer watcher for any timeouts (many libraries @@ -1148,14 +1333,67 @@ parameters of any kind. There are ev_prepare_set and ev_check macros, but using them is utterly, utterly and completely pointless.

    -

    Example: *TODO*.

    +

    Example: To include a library such as adns, you would add IO watchers +and a timeout watcher in a prepare handler, as required by libadns, and +in a check watcher, destroy them and call into libadns. What follows is +pseudo-code only of course:

    +
      static ev_io iow [nfd];
    +  static ev_timer tw;
    +
    +  static void
    +  io_cb (ev_loop *loop, ev_io *w, int revents)
    +  {
    +    // set the relevant poll flags
    +    // could also call adns_processreadable etc. here
    +    struct pollfd *fd = (struct pollfd *)w->data;
    +    if (revents & EV_READ ) fd->revents |= fd->events & POLLIN;
    +    if (revents & EV_WRITE) fd->revents |= fd->events & POLLOUT;
    +  }
    +
    +  // create io watchers for each fd and a timer before blocking
    +  static void
    +  adns_prepare_cb (ev_loop *loop, ev_prepare *w, int revents)
    +  {
    +    int timeout = 3600000;truct pollfd fds [nfd];
    +    // actual code will need to loop here and realloc etc.
    +    adns_beforepoll (ads, fds, &nfd, &timeout, timeval_from (ev_time ()));
    +
    +    /* the callback is illegal, but won't be called as we stop during check */
    +    ev_timer_init (&tw, 0, timeout * 1e-3);
    +    ev_timer_start (loop, &tw);
    +
    +    // create on ev_io per pollfd
    +    for (int i = 0; i < nfd; ++i)
    +      {
    +        ev_io_init (iow + i, io_cb, fds [i].fd,
    +          ((fds [i].events & POLLIN ? EV_READ : 0)
    +           | (fds [i].events & POLLOUT ? EV_WRITE : 0)));
    +
    +        fds [i].revents = 0;
    +        iow [i].data = fds + i;
    +        ev_io_start (loop, iow + i);
    +      }
    +  }
    +
    +  // stop all watchers after blocking
    +  static void
    +  adns_check_cb (ev_loop *loop, ev_check *w, int revents)
    +  {
    +    ev_timer_stop (loop, &tw);
    +
    +    for (int i = 0; i < nfd; ++i)
    +      ev_io_stop (loop, iow + i);
    +
    +    adns_afterpoll (adns, fds, nfd, timeval_from (ev_now (loop));
    +  }
     
     
     
     
    +
    -

    ev_embed - when one backend isn't enough

    +

    ev_embed - when one backend isn't enough...

    This is a rather advanced watcher type that lets you embed one event loop into another (currently only ev_io events are supported in the embedded @@ -1233,6 +1471,10 @@ if you do not want thta, you need to temporarily stop the embed watcher).

    similarly to ev_loop (embedded_loop, EVLOOP_NONBLOCK), but in the most apropriate way for embedded loops.

    +
    struct ev_loop *loop [read-only]
    +
    +

    The embedded event loop.

    +
    @@ -1462,7 +1704,7 @@ in your include path (e.g. in libev/ when using -Ilibev):

    ev_win32.c required on win32 platforms only - ev_select.c only when select backend is enabled (which is is by default) + ev_select.c only when select backend is enabled (which is by default) ev_poll.c only when poll backend is enabled (disabled by default) ev_epoll.c only when the epoll backend is enabled (disabled by default) ev_kqueue.c only when the kqueue backend is enabled (disabled by default) @@ -1470,7 +1712,7 @@ in your include path (e.g. in libev/ when using -Ilibev):

    ev.c includes the backend files directly when enabled, so you only need -to compile a single file.

    +to compile this single file.

    LIBEVENT COMPATIBILITY API

    @@ -1495,8 +1737,8 @@ to compile a single file.

    Instead of using EV_STANDALONE=1 and providing your config in whatever way you want, you can also m4_include([libev.m4]) in your -configure.ac and leave EV_STANDALONE off. ev.c will then include -config.h and configure itself accordingly.

    +configure.ac and leave EV_STANDALONE undefined. ev.c will then +include config.h and configure itself accordingly.

    For this of course you need the m4 file:

      libev.m4
     
    @@ -1585,7 +1827,7 @@ backend for BSD and BSD-like systems, although on most BSDs kqueue only
     supports some types of fds correctly (the only platform we found that
     supports ptys for example was NetBSD), so kqueue might be compiled in, but
     not be used unless explicitly requested. The best way to use it is to find
    -out wether kqueue supports your type of fd properly and use an embedded
    +out whether kqueue supports your type of fd properly and use an embedded
     kqueue loop.

    EV_USE_PORT
    @@ -1631,10 +1873,27 @@ additional independent event loops. Otherwise there will be no support for multiple event loops and there is no first event loop pointer argument. Instead, all functions act on the single default loop.

    -
    EV_PERIODICS
    +
    EV_PERIODIC_ENABLE
    +
    +

    If undefined or defined to be 1, then periodic timers are supported. If +defined to be 0, then they are not. Disabling them saves a few kB of +code.

    +
    +
    EV_EMBED_ENABLE
    -

    If undefined or defined to be 1, then periodic timers are supported, -otherwise not. This saves a few kb of code.

    +

    If undefined or defined to be 1, then embed watchers are supported. If +defined to be 0, then they are not.

    +
    +
    EV_STAT_ENABLE
    +
    +

    If undefined or defined to be 1, then stat watchers are supported. If +defined to be 0, then they are not.

    +
    +
    EV_MINIMAL
    +
    +

    If you need to shave off some kilobytes of code at the expense of some +speed, define this symbol to 1. Currently only used for gcc to override +some inlining decisions, saves roughly 30% codesize of amd64.

    EV_COMMON
    @@ -1649,16 +1908,16 @@ though, and it must be identical each time.

    -
    EV_CB_DECLARE(type)
    -
    EV_CB_INVOKE(watcher,revents)
    -
    ev_set_cb(ev,cb)
    +
    EV_CB_DECLARE (type)
    +
    EV_CB_INVOKE (watcher, revents)
    +
    ev_set_cb (ev, cb)

    Can be used to change the callback member declaration in each watcher, and the way callbacks are invoked and set. Must expand to a struct member definition and a statement, respectively. See the ev.v header file for their default definitions. One possible use for overriding these is to -avoid the ev_loop pointer as first argument in all cases, or to use method -calls instead of plain function calls in C++.

    +avoid the struct ev_loop * as first argument in all cases, or to use +method calls instead of plain function calls in C++.

    EXAMPLES

    @@ -1672,26 +1931,45 @@ will be compiled. It is pretty complex because it provides its own header file.

    The usage in rxvt-unicode is simpler. It has a ev_cpp.h header file that everybody includes and which overrides some autoconf choices:

    -
       #define EV_USE_POLL 0
    -   #define EV_MULTIPLICITY 0
    -   #define EV_PERIODICS 0
    -   #define EV_CONFIG_H <config.h>
    +
      #define EV_USE_POLL 0
    +  #define EV_MULTIPLICITY 0
    +  #define EV_PERIODICS 0
    +  #define EV_CONFIG_H <config.h>
     
    -   #include "ev++.h"
    +  #include "ev++.h"
     
     

    And a ev_cpp.C implementation file that contains libev proper and is compiled:

    -
       #include "rxvttoolkit.h"
    +
      #include "ev_cpp.h"
    +  #include "ev.c"
     
    -   /* darwin has problems with its header files in C++, requiring this namespace juggling */
    -   using namespace ev;
     
    -   #include "ev.c"
    +
    +
    +
    + +
    +

    COMPLEXITIES

    Top

    +
    +

    In this section the complexities of (many of) the algorithms used inside +libev will be explained. For complexity discussions about backends see the +documentation for ev_default_init.

    +

    +

    +
    Starting and stopping timer/periodic watchers: O(log skipped_other_timers)
    +
    Changing timer/periodic watchers (by autorepeat, again): O(log skipped_other_timers)
    +
    Starting io/check/prepare/idle/signal/child watchers: O(1)
    +
    Stopping check/prepare/idle watchers: O(1)
    +
    Stopping an io/signal/child watcher: O(number_of_watchers_for_this_(fd/signal/pid % 16))
    +
    Finding the next timer per loop iteration: O(1)
    +
    Each change on a file descriptor per loop iteration: O(number_of_watchers_for_this_fd)
    +
    Activating one watcher: O(1)
    +
    +

    -

    AUTHOR

    Top