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

Comparing libev/ev.pod (file contents):
Revision 1.110 by root, Tue Dec 25 07:05:45 2007 UTC vs.
Revision 1.113 by root, Mon Dec 31 01:30:53 2007 UTC

551usually a better approach for this kind of thing. 551usually a better approach for this kind of thing.
552 552
553Here are the gory details of what C<ev_loop> does: 553Here are the gory details of what C<ev_loop> does:
554 554
555 - Before the first iteration, call any pending watchers. 555 - Before the first iteration, call any pending watchers.
556 * If there are no active watchers (reference count is zero), return. 556 * If EVFLAG_FORKCHECK was used, check for a fork.
557 - Queue all prepare watchers and then call all outstanding watchers. 557 - If a fork was detected, queue and call all fork watchers.
558 - Queue and call all prepare watchers.
558 - If we have been forked, recreate the kernel state. 559 - If we have been forked, recreate the kernel state.
559 - Update the kernel state with all outstanding changes. 560 - Update the kernel state with all outstanding changes.
560 - Update the "event loop time". 561 - Update the "event loop time".
561 - Calculate for how long to block. 562 - Calculate for how long to sleep or block, if at all
563 (active idle watchers, EVLOOP_NONBLOCK or not having
564 any active watchers at all will result in not sleeping).
565 - Sleep if the I/O and timer collect interval say so.
562 - Block the process, waiting for any events. 566 - Block the process, waiting for any events.
563 - Queue all outstanding I/O (fd) events. 567 - Queue all outstanding I/O (fd) events.
564 - Update the "event loop time" and do time jump handling. 568 - Update the "event loop time" and do time jump handling.
565 - Queue all outstanding timers. 569 - Queue all outstanding timers.
566 - Queue all outstanding periodics. 570 - Queue all outstanding periodics.
567 - If no events are pending now, queue all idle watchers. 571 - If no events are pending now, queue all idle watchers.
568 - Queue all check watchers. 572 - Queue all check watchers.
569 - Call all queued watchers in reverse order (i.e. check watchers first). 573 - Call all queued watchers in reverse order (i.e. check watchers first).
570 Signals and child watchers are implemented as I/O watchers, and will 574 Signals and child watchers are implemented as I/O watchers, and will
571 be handled here by queueing them when their watcher gets executed. 575 be handled here by queueing them when their watcher gets executed.
572 - If ev_unloop has been called or EVLOOP_ONESHOT or EVLOOP_NONBLOCK 576 - If ev_unloop has been called, or EVLOOP_ONESHOT or EVLOOP_NONBLOCK
573 were used, return, otherwise continue with step *. 577 were used, or there are no active watchers, return, otherwise
578 continue with step *.
574 579
575Example: Queue some jobs and then loop until no events are outsanding 580Example: Queue some jobs and then loop until no events are outsanding
576anymore. 581anymore.
577 582
578 ... queue jobs here, make sure they register event watchers as long 583 ... queue jobs here, make sure they register event watchers as long
1068 1073
1069The events being watched. 1074The events being watched.
1070 1075
1071=back 1076=back
1072 1077
1078=head3 Examples
1079
1073Example: Call C<stdin_readable_cb> when STDIN_FILENO has become, well 1080Example: Call C<stdin_readable_cb> when STDIN_FILENO has become, well
1074readable, but only once. Since it is likely line-buffered, you could 1081readable, but only once. Since it is likely line-buffered, you could
1075attempt to read a whole line in the callback. 1082attempt to read a whole line in the callback.
1076 1083
1077 static void 1084 static void
1174or C<ev_timer_again> is called and determines the next timeout (if any), 1181or C<ev_timer_again> is called and determines the next timeout (if any),
1175which is also when any modifications are taken into account. 1182which is also when any modifications are taken into account.
1176 1183
1177=back 1184=back
1178 1185
1186=head3 Examples
1187
1179Example: Create a timer that fires after 60 seconds. 1188Example: Create a timer that fires after 60 seconds.
1180 1189
1181 static void 1190 static void
1182 one_minute_cb (struct ev_loop *loop, struct ev_timer *w, int revents) 1191 one_minute_cb (struct ev_loop *loop, struct ev_timer *w, int revents)
1183 { 1192 {
1340When active, contains the absolute time that the watcher is supposed to 1349When active, contains the absolute time that the watcher is supposed to
1341trigger next. 1350trigger next.
1342 1351
1343=back 1352=back
1344 1353
1354=head3 Examples
1355
1345Example: Call a callback every hour, or, more precisely, whenever the 1356Example: Call a callback every hour, or, more precisely, whenever the
1346system clock is divisible by 3600. The callback invocation times have 1357system clock is divisible by 3600. The callback invocation times have
1347potentially a lot of jittering, but good long-term stability. 1358potentially a lot of jittering, but good long-term stability.
1348 1359
1349 static void 1360 static void
1440 1451
1441The process exit/trace status caused by C<rpid> (see your systems 1452The process exit/trace status caused by C<rpid> (see your systems
1442C<waitpid> and C<sys/wait.h> documentation for details). 1453C<waitpid> and C<sys/wait.h> documentation for details).
1443 1454
1444=back 1455=back
1456
1457=head3 Examples
1445 1458
1446Example: Try to exit cleanly on SIGINT and SIGTERM. 1459Example: Try to exit cleanly on SIGINT and SIGTERM.
1447 1460
1448 static void 1461 static void
1449 sigint_cb (struct ev_loop *loop, struct ev_signal *w, int revents) 1462 sigint_cb (struct ev_loop *loop, struct ev_signal *w, int revents)
1658kind. There is a C<ev_idle_set> macro, but using it is utterly pointless, 1671kind. There is a C<ev_idle_set> macro, but using it is utterly pointless,
1659believe me. 1672believe me.
1660 1673
1661=back 1674=back
1662 1675
1676=head3 Examples
1677
1663Example: Dynamically allocate an C<ev_idle> watcher, start it, and in the 1678Example: Dynamically allocate an C<ev_idle> watcher, start it, and in the
1664callback, free it. Also, use no error checking, as usual. 1679callback, free it. Also, use no error checking, as usual.
1665 1680
1666 static void 1681 static void
1667 idle_cb (struct ev_loop *loop, struct ev_idle *w, int revents) 1682 idle_cb (struct ev_loop *loop, struct ev_idle *w, int revents)
1738parameters of any kind. There are C<ev_prepare_set> and C<ev_check_set> 1753parameters of any kind. There are C<ev_prepare_set> and C<ev_check_set>
1739macros, but using them is utterly, utterly and completely pointless. 1754macros, but using them is utterly, utterly and completely pointless.
1740 1755
1741=back 1756=back
1742 1757
1758=head3 Examples
1759
1743There are a number of principal ways to embed other event loops or modules 1760There are a number of principal ways to embed other event loops or modules
1744into libev. Here are some ideas on how to include libadns into libev 1761into libev. Here are some ideas on how to include libadns into libev
1745(there is a Perl module named C<EV::ADNS> that does this, which you could 1762(there is a Perl module named C<EV::ADNS> that does this, which you could
1746use for an actually working example. Another Perl module named C<EV::Glib> 1763use for an actually working example. Another Perl module named C<EV::Glib>
1747embeds a Glib main context into libev, and finally, C<Glib::EV> embeds EV 1764embeds a Glib main context into libev, and finally, C<Glib::EV> embeds EV
1915portable one. 1932portable one.
1916 1933
1917So when you want to use this feature you will always have to be prepared 1934So when you want to use this feature you will always have to be prepared
1918that you cannot get an embeddable loop. The recommended way to get around 1935that you cannot get an embeddable loop. The recommended way to get around
1919this is to have a separate variables for your embeddable loop, try to 1936this is to have a separate variables for your embeddable loop, try to
1920create it, and if that fails, use the normal loop for everything: 1937create it, and if that fails, use the normal loop for everything.
1938
1939=head3 Watcher-Specific Functions and Data Members
1940
1941=over 4
1942
1943=item ev_embed_init (ev_embed *, callback, struct ev_loop *embedded_loop)
1944
1945=item ev_embed_set (ev_embed *, callback, struct ev_loop *embedded_loop)
1946
1947Configures the watcher to embed the given loop, which must be
1948embeddable. If the callback is C<0>, then C<ev_embed_sweep> will be
1949invoked automatically, otherwise it is the responsibility of the callback
1950to invoke it (it will continue to be called until the sweep has been done,
1951if you do not want thta, you need to temporarily stop the embed watcher).
1952
1953=item ev_embed_sweep (loop, ev_embed *)
1954
1955Make a single, non-blocking sweep over the embedded loop. This works
1956similarly to C<ev_loop (embedded_loop, EVLOOP_NONBLOCK)>, but in the most
1957apropriate way for embedded loops.
1958
1959=item struct ev_loop *other [read-only]
1960
1961The embedded event loop.
1962
1963=back
1964
1965=head3 Examples
1966
1967Example: Try to get an embeddable event loop and embed it into the default
1968event loop. If that is not possible, use the default loop. The default
1969loop is stored in C<loop_hi>, while the mebeddable loop is stored in
1970C<loop_lo> (which is C<loop_hi> in the acse no embeddable loop can be
1971used).
1921 1972
1922 struct ev_loop *loop_hi = ev_default_init (0); 1973 struct ev_loop *loop_hi = ev_default_init (0);
1923 struct ev_loop *loop_lo = 0; 1974 struct ev_loop *loop_lo = 0;
1924 struct ev_embed embed; 1975 struct ev_embed embed;
1925 1976
1936 ev_embed_start (loop_hi, &embed); 1987 ev_embed_start (loop_hi, &embed);
1937 } 1988 }
1938 else 1989 else
1939 loop_lo = loop_hi; 1990 loop_lo = loop_hi;
1940 1991
1941=head3 Watcher-Specific Functions and Data Members 1992Example: Check if kqueue is available but not recommended and create
1993a kqueue backend for use with sockets (which usually work with any
1994kqueue implementation). Store the kqueue/socket-only event loop in
1995C<loop_socket>. (One might optionally use C<EVFLAG_NOENV>, too).
1942 1996
1943=over 4 1997 struct ev_loop *loop = ev_default_init (0);
1998 struct ev_loop *loop_socket = 0;
1999 struct ev_embed embed;
2000
2001 if (ev_supported_backends () & ~ev_recommended_backends () & EVBACKEND_KQUEUE)
2002 if ((loop_socket = ev_loop_new (EVBACKEND_KQUEUE))
2003 {
2004 ev_embed_init (&embed, 0, loop_socket);
2005 ev_embed_start (loop, &embed);
2006 }
1944 2007
1945=item ev_embed_init (ev_embed *, callback, struct ev_loop *embedded_loop) 2008 if (!loop_socket)
2009 loop_socket = loop;
1946 2010
1947=item ev_embed_set (ev_embed *, callback, struct ev_loop *embedded_loop) 2011 // now use loop_socket for all sockets, and loop for everything else
1948
1949Configures the watcher to embed the given loop, which must be
1950embeddable. If the callback is C<0>, then C<ev_embed_sweep> will be
1951invoked automatically, otherwise it is the responsibility of the callback
1952to invoke it (it will continue to be called until the sweep has been done,
1953if you do not want thta, you need to temporarily stop the embed watcher).
1954
1955=item ev_embed_sweep (loop, ev_embed *)
1956
1957Make a single, non-blocking sweep over the embedded loop. This works
1958similarly to C<ev_loop (embedded_loop, EVLOOP_NONBLOCK)>, but in the most
1959apropriate way for embedded loops.
1960
1961=item struct ev_loop *other [read-only]
1962
1963The embedded event loop.
1964
1965=back
1966 2012
1967 2013
1968=head2 C<ev_fork> - the audacity to resume the event loop after a fork 2014=head2 C<ev_fork> - the audacity to resume the event loop after a fork
1969 2015
1970Fork watchers are called when a C<fork ()> was detected (usually because 2016Fork watchers are called when a C<fork ()> was detected (usually because
2449wants osf handles on win32 (this is the case when the select to 2495wants osf handles on win32 (this is the case when the select to
2450be used is the winsock select). This means that it will call 2496be used is the winsock select). This means that it will call
2451C<_get_osfhandle> on the fd to convert it to an OS handle. Otherwise, 2497C<_get_osfhandle> on the fd to convert it to an OS handle. Otherwise,
2452it is assumed that all these functions actually work on fds, even 2498it is assumed that all these functions actually work on fds, even
2453on win32. Should not be defined on non-win32 platforms. 2499on win32. Should not be defined on non-win32 platforms.
2500
2501=item EV_FD_TO_WIN32_HANDLE
2502
2503If C<EV_SELECT_IS_WINSOCKET> is enabled, then libev needs a way to map
2504file descriptors to socket handles. When not defining this symbol (the
2505default), then libev will call C<_get_osfhandle>, which is usually
2506correct. In some cases, programs use their own file descriptor management,
2507in which case they can provide this function to map fds to socket handles.
2454 2508
2455=item EV_USE_POLL 2509=item EV_USE_POLL
2456 2510
2457If defined to be C<1>, libev will compile in support for the C<poll>(2) 2511If defined to be C<1>, libev will compile in support for the C<poll>(2)
2458backend. Otherwise it will be enabled on non-win32 platforms. It 2512backend. Otherwise it will be enabled on non-win32 platforms. It
2731watchers becomes O(1) w.r.t. prioritiy handling. 2785watchers becomes O(1) w.r.t. prioritiy handling.
2732 2786
2733=back 2787=back
2734 2788
2735 2789
2790=head1 Win32 platform limitations and workarounds
2791
2792Win32 doesn't support any of the standards (e.g. POSIX) that libev
2793requires, and its I/O model is fundamentally incompatible with the POSIX
2794model. Libev still offers limited functionality on this platform in
2795the form of the C<EVBACKEND_SELECT> backend, and only supports socket
2796descriptors. This only applies when using Win32 natively, not when using
2797e.g. cygwin.
2798
2799There is no supported compilation method available on windows except
2800embedding it into other applications.
2801
2802Due to the many, low, and arbitrary limits on the win32 platform and the
2803abysmal performance of winsockets, using a large number of sockets is not
2804recommended (and not reasonable). If your program needs to use more than
2805a hundred or so sockets, then likely it needs to use a totally different
2806implementation for windows, as libev offers the POSIX model, which cannot
2807be implemented efficiently on windows (microsoft monopoly games).
2808
2809=over 4
2810
2811=item The winsocket select function
2812
2813The winsocket C<select> function doesn't follow POSIX in that it requires
2814socket I<handles> and not socket I<file descriptors>. This makes select
2815very inefficient, and also requires a mapping from file descriptors
2816to socket handles. See the discussion of the C<EV_SELECT_USE_FD_SET>,
2817C<EV_SELECT_IS_WINSOCKET> and C<EV_FD_TO_WIN32_HANDLE> preprocessor
2818symbols for more info.
2819
2820The configuration for a "naked" win32 using the microsoft runtime
2821libraries and raw winsocket select is:
2822
2823 #define EV_USE_SELECT 1
2824 #define EV_SELECT_IS_WINSOCKET 1 /* forces EV_SELECT_USE_FD_SET, too */
2825
2826Note that winsockets handling of fd sets is O(n), so you can easily get a
2827complexity in the O(n²) range when using win32.
2828
2829=item Limited number of file descriptors
2830
2831Windows has numerous arbitrary (and low) limits on things. Early versions
2832of winsocket's select only supported waiting for a max. of C<64> handles
2833(probably owning to the fact that all windows kernels can only wait for
2834C<64> things at the same time internally; microsoft recommends spawning a
2835chain of threads and wait for 63 handles and the previous thread in each).
2836
2837Newer versions support more handles, but you need to define C<FD_SETSIZE>
2838to some high number (e.g. C<2048>) before compiling the winsocket select
2839call (which might be in libev or elsewhere, for example, perl does its own
2840select emulation on windows).
2841
2842Another limit is the number of file descriptors in the microsoft runtime
2843libraries, which by default is C<64> (there must be a hidden I<64> fetish
2844or something like this inside microsoft). You can increase this by calling
2845C<_setmaxstdio>, which can increase this limit to C<2048> (another
2846arbitrary limit), but is broken in many versions of the microsoft runtime
2847libraries.
2848
2849This might get you to about C<512> or C<2048> sockets (depending on
2850windows version and/or the phase of the moon). To get more, you need to
2851wrap all I/O functions and provide your own fd management, but the cost of
2852calling select (O(n²)) will likely make this unworkable.
2853
2854=back
2855
2856
2736=head1 AUTHOR 2857=head1 AUTHOR
2737 2858
2738Marc Lehmann <libev@schmorp.de>. 2859Marc Lehmann <libev@schmorp.de>.
2739 2860

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines