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

Comparing libev/ev.pod (file contents):
Revision 1.111 by root, Tue Dec 25 18:01:20 2007 UTC vs.
Revision 1.117 by root, Wed Jan 9 04:15:39 2008 UTC

403While this backend scales well, it requires one system call per active 403While this backend scales well, it requires one system call per active
404file descriptor per loop iteration. For small and medium numbers of file 404file descriptor per loop iteration. For small and medium numbers of file
405descriptors a "slow" C<EVBACKEND_SELECT> or C<EVBACKEND_POLL> backend 405descriptors a "slow" C<EVBACKEND_SELECT> or C<EVBACKEND_POLL> backend
406might perform better. 406might perform better.
407 407
408On the positive side, ignoring the spurious readyness notifications, this
409backend actually performed to specification in all tests and is fully
410embeddable, which is a rare feat among the OS-specific backends.
411
408=item C<EVBACKEND_ALL> 412=item C<EVBACKEND_ALL>
409 413
410Try all backends (even potentially broken ones that wouldn't be tried 414Try all backends (even potentially broken ones that wouldn't be tried
411with C<EVFLAG_AUTO>). Since this is a mask, you can do stuff such as 415with C<EVFLAG_AUTO>). Since this is a mask, you can do stuff such as
412C<EVBACKEND_ALL & ~EVBACKEND_KQUEUE>. 416C<EVBACKEND_ALL & ~EVBACKEND_KQUEUE>.
414It is definitely not recommended to use this flag. 418It is definitely not recommended to use this flag.
415 419
416=back 420=back
417 421
418If one or more of these are ored into the flags value, then only these 422If one or more of these are ored into the flags value, then only these
419backends will be tried (in the reverse order as given here). If none are 423backends will be tried (in the reverse order as listed here). If none are
420specified, most compiled-in backend will be tried, usually in reverse 424specified, all backends in C<ev_recommended_backends ()> will be tried.
421order of their flag values :)
422 425
423The most typical usage is like this: 426The most typical usage is like this:
424 427
425 if (!ev_default_loop (0)) 428 if (!ev_default_loop (0))
426 fatal ("could not initialise libev, bad $LIBEV_FLAGS in environment?"); 429 fatal ("could not initialise libev, bad $LIBEV_FLAGS in environment?");
551usually a better approach for this kind of thing. 554usually a better approach for this kind of thing.
552 555
553Here are the gory details of what C<ev_loop> does: 556Here are the gory details of what C<ev_loop> does:
554 557
555 - Before the first iteration, call any pending watchers. 558 - Before the first iteration, call any pending watchers.
556 * If there are no active watchers (reference count is zero), return. 559 * If EVFLAG_FORKCHECK was used, check for a fork.
557 - Queue all prepare watchers and then call all outstanding watchers. 560 - If a fork was detected, queue and call all fork watchers.
561 - Queue and call all prepare watchers.
558 - If we have been forked, recreate the kernel state. 562 - If we have been forked, recreate the kernel state.
559 - Update the kernel state with all outstanding changes. 563 - Update the kernel state with all outstanding changes.
560 - Update the "event loop time". 564 - Update the "event loop time".
561 - Calculate for how long to block. 565 - Calculate for how long to sleep or block, if at all
566 (active idle watchers, EVLOOP_NONBLOCK or not having
567 any active watchers at all will result in not sleeping).
568 - Sleep if the I/O and timer collect interval say so.
562 - Block the process, waiting for any events. 569 - Block the process, waiting for any events.
563 - Queue all outstanding I/O (fd) events. 570 - Queue all outstanding I/O (fd) events.
564 - Update the "event loop time" and do time jump handling. 571 - Update the "event loop time" and do time jump handling.
565 - Queue all outstanding timers. 572 - Queue all outstanding timers.
566 - Queue all outstanding periodics. 573 - Queue all outstanding periodics.
567 - If no events are pending now, queue all idle watchers. 574 - If no events are pending now, queue all idle watchers.
568 - Queue all check watchers. 575 - Queue all check watchers.
569 - Call all queued watchers in reverse order (i.e. check watchers first). 576 - 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 577 Signals and child watchers are implemented as I/O watchers, and will
571 be handled here by queueing them when their watcher gets executed. 578 be handled here by queueing them when their watcher gets executed.
572 - If ev_unloop has been called or EVLOOP_ONESHOT or EVLOOP_NONBLOCK 579 - If ev_unloop has been called, or EVLOOP_ONESHOT or EVLOOP_NONBLOCK
573 were used, return, otherwise continue with step *. 580 were used, or there are no active watchers, return, otherwise
581 continue with step *.
574 582
575Example: Queue some jobs and then loop until no events are outsanding 583Example: Queue some jobs and then loop until no events are outstanding
576anymore. 584anymore.
577 585
578 ... queue jobs here, make sure they register event watchers as long 586 ... queue jobs here, make sure they register event watchers as long
579 ... as they still have work to do (even an idle watcher will do..) 587 ... as they still have work to do (even an idle watcher will do..)
580 ev_loop (my_loop, 0); 588 ev_loop (my_loop, 0);
584 592
585Can be used to make a call to C<ev_loop> return early (but only after it 593Can be used to make a call to C<ev_loop> return early (but only after it
586has processed all outstanding events). The C<how> argument must be either 594has processed all outstanding events). The C<how> argument must be either
587C<EVUNLOOP_ONE>, which will make the innermost C<ev_loop> call return, or 595C<EVUNLOOP_ONE>, which will make the innermost C<ev_loop> call return, or
588C<EVUNLOOP_ALL>, which will make all nested C<ev_loop> calls return. 596C<EVUNLOOP_ALL>, which will make all nested C<ev_loop> calls return.
597
598This "unloop state" will be cleared when entering C<ev_loop> again.
589 599
590=item ev_ref (loop) 600=item ev_ref (loop)
591 601
592=item ev_unref (loop) 602=item ev_unref (loop)
593 603
598returning, ev_unref() after starting, and ev_ref() before stopping it. For 608returning, ev_unref() after starting, and ev_ref() before stopping it. For
599example, libev itself uses this for its internal signal pipe: It is not 609example, libev itself uses this for its internal signal pipe: It is not
600visible to the libev user and should not keep C<ev_loop> from exiting if 610visible to the libev user and should not keep C<ev_loop> from exiting if
601no event watchers registered by it are active. It is also an excellent 611no event watchers registered by it are active. It is also an excellent
602way to do this for generic recurring timers or from within third-party 612way to do this for generic recurring timers or from within third-party
603libraries. Just remember to I<unref after start> and I<ref before stop>. 613libraries. Just remember to I<unref after start> and I<ref before stop>
614(but only if the watcher wasn't active before, or was active before,
615respectively).
604 616
605Example: Create a signal watcher, but keep it from keeping C<ev_loop> 617Example: Create a signal watcher, but keep it from keeping C<ev_loop>
606running when nothing else is active. 618running when nothing else is active.
607 619
608 struct ev_signal exitsig; 620 struct ev_signal exitsig;
2491be used is the winsock select). This means that it will call 2503be used is the winsock select). This means that it will call
2492C<_get_osfhandle> on the fd to convert it to an OS handle. Otherwise, 2504C<_get_osfhandle> on the fd to convert it to an OS handle. Otherwise,
2493it is assumed that all these functions actually work on fds, even 2505it is assumed that all these functions actually work on fds, even
2494on win32. Should not be defined on non-win32 platforms. 2506on win32. Should not be defined on non-win32 platforms.
2495 2507
2508=item EV_FD_TO_WIN32_HANDLE
2509
2510If C<EV_SELECT_IS_WINSOCKET> is enabled, then libev needs a way to map
2511file descriptors to socket handles. When not defining this symbol (the
2512default), then libev will call C<_get_osfhandle>, which is usually
2513correct. In some cases, programs use their own file descriptor management,
2514in which case they can provide this function to map fds to socket handles.
2515
2496=item EV_USE_POLL 2516=item EV_USE_POLL
2497 2517
2498If defined to be C<1>, libev will compile in support for the C<poll>(2) 2518If defined to be C<1>, libev will compile in support for the C<poll>(2)
2499backend. Otherwise it will be enabled on non-win32 platforms. It 2519backend. Otherwise it will be enabled on non-win32 platforms. It
2500takes precedence over select. 2520takes precedence over select.
2772watchers becomes O(1) w.r.t. prioritiy handling. 2792watchers becomes O(1) w.r.t. prioritiy handling.
2773 2793
2774=back 2794=back
2775 2795
2776 2796
2797=head1 Win32 platform limitations and workarounds
2798
2799Win32 doesn't support any of the standards (e.g. POSIX) that libev
2800requires, and its I/O model is fundamentally incompatible with the POSIX
2801model. Libev still offers limited functionality on this platform in
2802the form of the C<EVBACKEND_SELECT> backend, and only supports socket
2803descriptors. This only applies when using Win32 natively, not when using
2804e.g. cygwin.
2805
2806There is no supported compilation method available on windows except
2807embedding it into other applications.
2808
2809Due to the many, low, and arbitrary limits on the win32 platform and the
2810abysmal performance of winsockets, using a large number of sockets is not
2811recommended (and not reasonable). If your program needs to use more than
2812a hundred or so sockets, then likely it needs to use a totally different
2813implementation for windows, as libev offers the POSIX model, which cannot
2814be implemented efficiently on windows (microsoft monopoly games).
2815
2816=over 4
2817
2818=item The winsocket select function
2819
2820The winsocket C<select> function doesn't follow POSIX in that it requires
2821socket I<handles> and not socket I<file descriptors>. This makes select
2822very inefficient, and also requires a mapping from file descriptors
2823to socket handles. See the discussion of the C<EV_SELECT_USE_FD_SET>,
2824C<EV_SELECT_IS_WINSOCKET> and C<EV_FD_TO_WIN32_HANDLE> preprocessor
2825symbols for more info.
2826
2827The configuration for a "naked" win32 using the microsoft runtime
2828libraries and raw winsocket select is:
2829
2830 #define EV_USE_SELECT 1
2831 #define EV_SELECT_IS_WINSOCKET 1 /* forces EV_SELECT_USE_FD_SET, too */
2832
2833Note that winsockets handling of fd sets is O(n), so you can easily get a
2834complexity in the O(n²) range when using win32.
2835
2836=item Limited number of file descriptors
2837
2838Windows has numerous arbitrary (and low) limits on things. Early versions
2839of winsocket's select only supported waiting for a max. of C<64> handles
2840(probably owning to the fact that all windows kernels can only wait for
2841C<64> things at the same time internally; microsoft recommends spawning a
2842chain of threads and wait for 63 handles and the previous thread in each).
2843
2844Newer versions support more handles, but you need to define C<FD_SETSIZE>
2845to some high number (e.g. C<2048>) before compiling the winsocket select
2846call (which might be in libev or elsewhere, for example, perl does its own
2847select emulation on windows).
2848
2849Another limit is the number of file descriptors in the microsoft runtime
2850libraries, which by default is C<64> (there must be a hidden I<64> fetish
2851or something like this inside microsoft). You can increase this by calling
2852C<_setmaxstdio>, which can increase this limit to C<2048> (another
2853arbitrary limit), but is broken in many versions of the microsoft runtime
2854libraries.
2855
2856This might get you to about C<512> or C<2048> sockets (depending on
2857windows version and/or the phase of the moon). To get more, you need to
2858wrap all I/O functions and provide your own fd management, but the cost of
2859calling select (O(n²)) will likely make this unworkable.
2860
2861=back
2862
2863
2777=head1 AUTHOR 2864=head1 AUTHOR
2778 2865
2779Marc Lehmann <libev@schmorp.de>. 2866Marc Lehmann <libev@schmorp.de>.
2780 2867

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines