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

Comparing libev/ev.pod (file contents):
Revision 1.285 by root, Tue Mar 16 00:20:17 2010 UTC vs.
Revision 1.292 by sf-exg, Mon Mar 22 09:57:01 2010 UTC

345useful to try out specific backends to test their performance, or to work 345useful to try out specific backends to test their performance, or to work
346around bugs. 346around bugs.
347 347
348=item C<EVFLAG_FORKCHECK> 348=item C<EVFLAG_FORKCHECK>
349 349
350Instead of calling C<ev_default_fork> or C<ev_loop_fork> manually after 350Instead of calling C<ev_loop_fork> manually after a fork, you can also
351a fork, you can also make libev check for a fork in each iteration by 351make libev check for a fork in each iteration by enabling this flag.
352enabling this flag.
353 352
354This works by calling C<getpid ()> on every iteration of the loop, 353This works by calling C<getpid ()> on every iteration of the loop,
355and thus this might slow down your event loop if you do a lot of loop 354and thus this might slow down your event loop if you do a lot of loop
356iterations and little real work, but is usually not noticeable (on my 355iterations and little real work, but is usually not noticeable (on my
357GNU/Linux system for example, C<getpid> is actually a simple 5-insn sequence 356GNU/Linux system for example, C<getpid> is actually a simple 5-insn sequence
567 ev_default_loop (ev_recommended_backends () | EVBACKEND_KQUEUE); 566 ev_default_loop (ev_recommended_backends () | EVBACKEND_KQUEUE);
568 567
569=item struct ev_loop *ev_loop_new (unsigned int flags) 568=item struct ev_loop *ev_loop_new (unsigned int flags)
570 569
571Similar to C<ev_default_loop>, but always creates a new event loop that is 570Similar to C<ev_default_loop>, but always creates a new event loop that is
572always distinct from the default loop. Unlike the default loop, it cannot 571always distinct from the default loop.
573handle signal and child watchers, and attempts to do so will be greeted by
574undefined behaviour (or a failed assertion if assertions are enabled).
575 572
576Note that this function I<is> thread-safe, and the recommended way to use 573Note that this function I<is> thread-safe, and one common way to use
577libev with threads is indeed to create one loop per thread, and using the 574libev with threads is indeed to create one loop per thread, and using the
578default loop in the "main" or "initial" thread. 575default loop in the "main" or "initial" thread.
579 576
580Example: Try to create a event loop that uses epoll and nothing else. 577Example: Try to create a event loop that uses epoll and nothing else.
581 578
583 if (!epoller) 580 if (!epoller)
584 fatal ("no epoll found here, maybe it hides under your chair"); 581 fatal ("no epoll found here, maybe it hides under your chair");
585 582
586=item ev_default_destroy () 583=item ev_default_destroy ()
587 584
588Destroys the default loop again (frees all memory and kernel state 585Destroys the default loop (frees all memory and kernel state etc.). None
589etc.). None of the active event watchers will be stopped in the normal 586of the active event watchers will be stopped in the normal sense, so
590sense, so e.g. C<ev_is_active> might still return true. It is your 587e.g. C<ev_is_active> might still return true. It is your responsibility to
591responsibility to either stop all watchers cleanly yourself I<before> 588either stop all watchers cleanly yourself I<before> calling this function,
592calling this function, or cope with the fact afterwards (which is usually 589or cope with the fact afterwards (which is usually the easiest thing, you
593the easiest thing, you can just ignore the watchers and/or C<free ()> them 590can just ignore the watchers and/or C<free ()> them for example).
594for example).
595 591
596Note that certain global state, such as signal state (and installed signal 592Note that certain global state, such as signal state (and installed signal
597handlers), will not be freed by this function, and related watchers (such 593handlers), will not be freed by this function, and related watchers (such
598as signal and child watchers) would need to be stopped manually. 594as signal and child watchers) would need to be stopped manually.
599 595
614name, you can call it anytime, but it makes most sense after forking, in 610name, you can call it anytime, but it makes most sense after forking, in
615the child process (or both child and parent, but that again makes little 611the child process (or both child and parent, but that again makes little
616sense). You I<must> call it in the child before using any of the libev 612sense). You I<must> call it in the child before using any of the libev
617functions, and it will only take effect at the next C<ev_loop> iteration. 613functions, and it will only take effect at the next C<ev_loop> iteration.
618 614
615Again, you I<have> to call it on I<any> loop that you want to re-use after
616a fork, I<even if you do not plan to use the loop in the parent>. This is
617because some kernel interfaces *cough* I<kqueue> *cough* do funny things
618during fork.
619
619On the other hand, you only need to call this function in the child 620On the other hand, you only need to call this function in the child
620process if and only if you want to use the event library in the child. If 621process if and only if you want to use the event loop in the child. If you
621you just fork+exec, you don't have to call it at all. 622just fork+exec or create a new loop in the child, you don't have to call
623it at all.
622 624
623The function itself is quite fast and it's usually not a problem to call 625The function itself is quite fast and it's usually not a problem to call
624it just in case after a fork. To make this easy, the function will fit in 626it just in case after a fork. To make this easy, the function will fit in
625quite nicely into a call to C<pthread_atfork>: 627quite nicely into a call to C<pthread_atfork>:
626 628
628 630
629=item ev_loop_fork (loop) 631=item ev_loop_fork (loop)
630 632
631Like C<ev_default_fork>, but acts on an event loop created by 633Like C<ev_default_fork>, but acts on an event loop created by
632C<ev_loop_new>. Yes, you have to call this on every allocated event loop 634C<ev_loop_new>. Yes, you have to call this on every allocated event loop
633after fork that you want to re-use in the child, and how you do this is 635after fork that you want to re-use in the child, and how you keep track of
634entirely your own problem. 636them is entirely your own problem.
635 637
636=item int ev_is_default_loop (loop) 638=item int ev_is_default_loop (loop)
637 639
638Returns true when the given loop is, in fact, the default loop, and false 640Returns true when the given loop is, in fact, the default loop, and false
639otherwise. 641otherwise.
640 642
641=item unsigned int ev_loop_count (loop) 643=item unsigned int ev_iteration (loop)
642 644
643Returns the count of loop iterations for the loop, which is identical to 645Returns the current iteration count for the loop, which is identical to
644the number of times libev did poll for new events. It starts at C<0> and 646the number of times libev did poll for new events. It starts at C<0> and
645happily wraps around with enough iterations. 647happily wraps around with enough iterations.
646 648
647This value can sometimes be useful as a generation counter of sorts (it 649This value can sometimes be useful as a generation counter of sorts (it
648"ticks" the number of loop iterations), as it roughly corresponds with 650"ticks" the number of loop iterations), as it roughly corresponds with
649C<ev_prepare> and C<ev_check> calls. 651C<ev_prepare> and C<ev_check> calls - and is incremented between the
652prepare and check phases.
650 653
651=item unsigned int ev_loop_depth (loop) 654=item unsigned int ev_depth (loop)
652 655
653Returns the number of times C<ev_loop> was entered minus the number of 656Returns the number of times C<ev_loop> was entered minus the number of
654times C<ev_loop> was exited, in other words, the recursion depth. 657times C<ev_loop> was exited, in other words, the recursion depth.
655 658
656Outside C<ev_loop>, this number is zero. In a callback, this number is 659Outside C<ev_loop>, this number is zero. In a callback, this number is
657C<1>, unless C<ev_loop> was invoked recursively (or from another thread), 660C<1>, unless C<ev_loop> was invoked recursively (or from another thread),
658in which case it is higher. 661in which case it is higher.
659 662
660Leaving C<ev_loop> abnormally (setjmp/longjmp, cancelling the thread 663Leaving C<ev_loop> abnormally (setjmp/longjmp, cancelling the thread
661etc.), doesn't count as exit. 664etc.), doesn't count as "exit" - consider this as a hint to avoid such
665ungentleman behaviour unless it's really convenient.
662 666
663=item unsigned int ev_backend (loop) 667=item unsigned int ev_backend (loop)
664 668
665Returns one of the C<EVBACKEND_*> flags indicating the event backend in 669Returns one of the C<EVBACKEND_*> flags indicating the event backend in
666use. 670use.
1032=item C<EV_WRITE> 1036=item C<EV_WRITE>
1033 1037
1034The file descriptor in the C<ev_io> watcher has become readable and/or 1038The file descriptor in the C<ev_io> watcher has become readable and/or
1035writable. 1039writable.
1036 1040
1037=item C<EV_TIMEOUT> 1041=item C<EV_TIMER>
1038 1042
1039The C<ev_timer> watcher has timed out. 1043The C<ev_timer> watcher has timed out.
1040 1044
1041=item C<EV_PERIODIC> 1045=item C<EV_PERIODIC>
1042 1046
1541somewhere, as that would have given you a big clue). 1545somewhere, as that would have given you a big clue).
1542 1546
1543=head3 The special problem of accept()ing when you can't 1547=head3 The special problem of accept()ing when you can't
1544 1548
1545Many implementations of the POSIX C<accept> function (for example, 1549Many implementations of the POSIX C<accept> function (for example,
1546found in port-2004 Linux) have the peculiar behaviour of not removing a 1550found in post-2004 Linux) have the peculiar behaviour of not removing a
1547connection from the pending queue in all error cases. 1551connection from the pending queue in all error cases.
1548 1552
1549For example, larger servers often run out of file descriptors (because 1553For example, larger servers often run out of file descriptors (because
1550of resource limits), causing C<accept> to fail with C<ENFILE> but not 1554of resource limits), causing C<accept> to fail with C<ENFILE> but not
1551rejecting the connection, leading to libev signalling readiness on 1555rejecting the connection, leading to libev signalling readiness on
1764to the current time (meaning we just have some activity :), then call the 1768to the current time (meaning we just have some activity :), then call the
1765callback, which will "do the right thing" and start the timer: 1769callback, which will "do the right thing" and start the timer:
1766 1770
1767 ev_init (timer, callback); 1771 ev_init (timer, callback);
1768 last_activity = ev_now (loop); 1772 last_activity = ev_now (loop);
1769 callback (loop, timer, EV_TIMEOUT); 1773 callback (loop, timer, EV_TIMER);
1770 1774
1771And when there is some activity, simply store the current time in 1775And when there is some activity, simply store the current time in
1772C<last_activity>, no libev calls at all: 1776C<last_activity>, no libev calls at all:
1773 1777
1774 last_actiivty = ev_now (loop); 1778 last_actiivty = ev_now (loop);
3179 3183
3180If C<timeout> is less than 0, then no timeout watcher will be 3184If C<timeout> is less than 0, then no timeout watcher will be
3181started. Otherwise an C<ev_timer> watcher with after = C<timeout> (and 3185started. Otherwise an C<ev_timer> watcher with after = C<timeout> (and
3182repeat = 0) will be started. C<0> is a valid timeout. 3186repeat = 0) will be started. C<0> is a valid timeout.
3183 3187
3184The callback has the type C<void (*cb)(int revents, void *arg)> and gets 3188The callback has the type C<void (*cb)(int revents, void *arg)> and is
3185passed an C<revents> set like normal event callbacks (a combination of 3189passed an C<revents> set like normal event callbacks (a combination of
3186C<EV_ERROR>, C<EV_READ>, C<EV_WRITE> or C<EV_TIMEOUT>) and the C<arg> 3190C<EV_ERROR>, C<EV_READ>, C<EV_WRITE> or C<EV_TIMER>) and the C<arg>
3187value passed to C<ev_once>. Note that it is possible to receive I<both> 3191value passed to C<ev_once>. Note that it is possible to receive I<both>
3188a timeout and an io event at the same time - you probably should give io 3192a timeout and an io event at the same time - you probably should give io
3189events precedence. 3193events precedence.
3190 3194
3191Example: wait up to ten seconds for data to appear on STDIN_FILENO. 3195Example: wait up to ten seconds for data to appear on STDIN_FILENO.
3192 3196
3193 static void stdin_ready (int revents, void *arg) 3197 static void stdin_ready (int revents, void *arg)
3194 { 3198 {
3195 if (revents & EV_READ) 3199 if (revents & EV_READ)
3196 /* stdin might have data for us, joy! */; 3200 /* stdin might have data for us, joy! */;
3197 else if (revents & EV_TIMEOUT) 3201 else if (revents & EV_TIMER)
3198 /* doh, nothing entered */; 3202 /* doh, nothing entered */;
3199 } 3203 }
3200 3204
3201 ev_once (STDIN_FILENO, EV_READ, 10., stdin_ready, 0); 3205 ev_once (STDIN_FILENO, EV_READ, 10., stdin_ready, 0);
3202 3206
3660define before including (or compiling) any of its files. The default in 3664define before including (or compiling) any of its files. The default in
3661the absence of autoconf is documented for every option. 3665the absence of autoconf is documented for every option.
3662 3666
3663Symbols marked with "(h)" do not change the ABI, and can have different 3667Symbols marked with "(h)" do not change the ABI, and can have different
3664values when compiling libev vs. including F<ev.h>, so it is permissible 3668values when compiling libev vs. including F<ev.h>, so it is permissible
3665to redefine them before including F<ev.h> without breakign compatibility 3669to redefine them before including F<ev.h> without breaking compatibility
3666to a compiled library. All other symbols change the ABI, which means all 3670to a compiled library. All other symbols change the ABI, which means all
3667users of libev and the libev code itself must be compiled with compatible 3671users of libev and the libev code itself must be compiled with compatible
3668settings. 3672settings.
3669 3673
3670=over 4 3674=over 4
3891If you need to shave off some kilobytes of code at the expense of some 3895If you need to shave off some kilobytes of code at the expense of some
3892speed (but with the full API), you can define this symbol to request 3896speed (but with the full API), you can define this symbol to request
3893certain subsets of functionality. The default is to enable all features 3897certain subsets of functionality. The default is to enable all features
3894that can be enabled on the platform. 3898that can be enabled on the platform.
3895 3899
3896Note that using autoconf will usually override most of the features, so
3897using this symbol makes sense mostly when embedding libev.
3898
3899A typical way to use this symbol is to define it to C<0> (or to a bitset 3900A typical way to use this symbol is to define it to C<0> (or to a bitset
3900with some broad features you want) and then selectively re-enable 3901with some broad features you want) and then selectively re-enable
3901additional parts you want, for example if you want everything minimal, 3902additional parts you want, for example if you want everything minimal,
3902but multiple event loop support, async and child watchers and the poll 3903but multiple event loop support, async and child watchers and the poll
3903backend, use this: 3904backend, use this:
3918Use larger code to speed up some operations. 3919Use larger code to speed up some operations.
3919 3920
3920Currently this is used to override some inlining decisions (enlarging the roughly 3921Currently this is used to override some inlining decisions (enlarging the roughly
392130% code size on amd64. 392230% code size on amd64.
3922 3923
3923Also disables C<assert>'s in the code, unless you define C<NDEBUG> 3924When optimising for size, use of compiler flags such as C<-Os> with
3924explicitly to C<0>. 3925gcc recommended, as well as C<-DNDEBUG>, as libev contains a number of
3925 3926assertions.
3926Use of compiler flags such as C<-Os> with gcc that optimise for size are
3927recommended when disabling this feature.
3928 3927
3929=item C<2> - faster/larger data structures 3928=item C<2> - faster/larger data structures
3930 3929
3931Replaces the small 2-heap for timer management by a faster 4-heap, larger 3930Replaces the small 2-heap for timer management by a faster 4-heap, larger
3932hash table sizes and so on. This will usually further increase codesize 3931hash table sizes and so on. This will usually further increase codesize
3936=item C<4> - full API configuration 3935=item C<4> - full API configuration
3937 3936
3938This enables priorities (sets C<EV_MAXPRI>=2 and C<EV_MINPRI>=-2), and 3937This enables priorities (sets C<EV_MAXPRI>=2 and C<EV_MINPRI>=-2), and
3939enables multiplicity (C<EV_MULTIPLICITY>=1). 3938enables multiplicity (C<EV_MULTIPLICITY>=1).
3940 3939
3940=item C<8> - full API
3941
3941It also enables a lot of the "lesser used" core API functions. See C<ev.h> 3942This enables a lot of the "lesser used" API functions. See C<ev.h> for
3942for details on which parts of the API are still available without this 3943details on which parts of the API are still available without this
3943feature, and do not complain if this subset changes over time. 3944feature, and do not complain if this subset changes over time.
3944 3945
3945=item C<8> - enable all optional watcher types 3946=item C<16> - enable all optional watcher types
3946 3947
3947Enables all optional watcher types. If you want to selectively enable 3948Enables all optional watcher types. If you want to selectively enable
3948only some watcher types other than I/O and timers (e.g. prepare, 3949only some watcher types other than I/O and timers (e.g. prepare,
3949embed, async, child...) you can enable them manually by defining 3950embed, async, child...) you can enable them manually by defining
3950C<EV_watchertype_ENABLE> to C<1> instead. 3951C<EV_watchertype_ENABLE> to C<1> instead.
3951 3952
3952=item C<16> - enable all backends 3953=item C<32> - enable all backends
3953 3954
3954This enables all backends - without this feature, you need to enable at 3955This enables all backends - without this feature, you need to enable at
3955least one backend manually (C<EV_USE_SELECT> is a good choice). 3956least one backend manually (C<EV_USE_SELECT> is a good choice).
3956 3957
3957=item C<32> - enable OS-specific "helper" APIs 3958=item C<64> - enable OS-specific "helper" APIs
3958 3959
3959Enable inotify, eventfd, signalfd and similar OS-specific helper APIs by 3960Enable inotify, eventfd, signalfd and similar OS-specific helper APIs by
3960default. 3961default.
3961 3962
3962=back 3963=back
3963 3964
3964Compiling with C<gcc -Os -DEV_STANDALONE -DEV_USE_EPOLL=1 -DEV_FEATURES=0> 3965Compiling with C<gcc -Os -DEV_STANDALONE -DEV_USE_EPOLL=1 -DEV_FEATURES=0>
3965reduces the compiled size of libev from 24.7Kb to 6.5Kb on my GNU/Linux 3966reduces the compiled size of libev from 24.7Kb code/2.8Kb data to 6.5Kb
3966amd64 system, while still giving you I/O watchers, timers and monotonic 3967code/0.3Kb data on my GNU/Linux amd64 system, while still giving you I/O
3967clock support. 3968watchers, timers and monotonic clock support.
3968 3969
3969With an intelligent-enough linker (gcc+binutils are intelligent enough 3970With an intelligent-enough linker (gcc+binutils are intelligent enough
3970when you use C<-Wl,--gc-sections -ffunction-sections>) functions unused by 3971when you use C<-Wl,--gc-sections -ffunction-sections>) functions unused by
3971your program might be left out as well - a binary starting a timer and an 3972your program might be left out as well - a binary starting a timer and an
3972I/O watcher then might come out at only 5Kb. 3973I/O watcher then might come out at only 5Kb.
4105file. 4106file.
4106 4107
4107The usage in rxvt-unicode is simpler. It has a F<ev_cpp.h> header file 4108The usage in rxvt-unicode is simpler. It has a F<ev_cpp.h> header file
4108that everybody includes and which overrides some configure choices: 4109that everybody includes and which overrides some configure choices:
4109 4110
4110 #define EV_FEATURES 0 4111 #define EV_FEATURES 8
4111 #define EV_USE_SELECT 1 4112 #define EV_USE_SELECT 1
4113 #define EV_PREPARE_ENABLE 1
4114 #define EV_IDLE_ENABLE 1
4115 #define EV_SIGNAL_ENABLE 1
4116 #define EV_CHILD_ENABLE 1
4117 #define EV_USE_STDEXCEPT 0
4112 #define EV_CONFIG_H <config.h> 4118 #define EV_CONFIG_H <config.h>
4113 4119
4114 #include "ev++.h" 4120 #include "ev++.h"
4115 4121
4116And a F<ev_cpp.C> implementation file that contains libev proper and is compiled: 4122And a F<ev_cpp.C> implementation file that contains libev proper and is compiled:
4619involves iterating over all running async watchers or all signal numbers. 4625involves iterating over all running async watchers or all signal numbers.
4620 4626
4621=back 4627=back
4622 4628
4623 4629
4630=head1 PORTING FROM LIBEV 3.X TO 4.X
4631
4632The major version 4 introduced some minor incompatible changes to the API.
4633
4634At the moment, the C<ev.h> header file tries to implement superficial
4635compatibility, so most programs should still compile. Those might be
4636removed in later versions of libev, so better update early than late.
4637
4638=over 4
4639
4640=item C<ev_loop_count> renamed to C<ev_iteration>
4641
4642=item C<ev_loop_depth> renamed to C<ev_depth>
4643
4644=item C<ev_loop_verify> renamed to C<ev_verify>
4645
4646Most functions working on C<struct ev_loop> objects don't have an
4647C<ev_loop_> prefix, so it was removed. Note that C<ev_loop_fork> is
4648still called C<ev_loop_fork> because it would otherwise clash with the
4649C<ev_fork> typedef.
4650
4651=item C<EV_TIMEOUT> renamed to C<EV_TIMER> in C<revents>
4652
4653This is a simple rename - all other watcher types use their name
4654as revents flag, and now C<ev_timer> does, too.
4655
4656Both C<EV_TIMER> and C<EV_TIMEOUT> symbols were present in 3.x versions
4657and continue to be present for the forseeable future, so this is mostly a
4658documentation change.
4659
4660=item C<EV_MINIMAL> mechanism replaced by C<EV_FEATURES>
4661
4662The preprocessor symbol C<EV_MINIMAL> has been replaced by a different
4663mechanism, C<EV_FEATURES>. Programs using C<EV_MINIMAL> usually compile
4664and work, but the library code will of course be larger.
4665
4666=back
4667
4668
4624=head1 GLOSSARY 4669=head1 GLOSSARY
4625 4670
4626=over 4 4671=over 4
4627 4672
4628=item active 4673=item active
4649A change of state of some external event, such as data now being available 4694A change of state of some external event, such as data now being available
4650for reading on a file descriptor, time having passed or simply not having 4695for reading on a file descriptor, time having passed or simply not having
4651any other events happening anymore. 4696any other events happening anymore.
4652 4697
4653In libev, events are represented as single bits (such as C<EV_READ> or 4698In libev, events are represented as single bits (such as C<EV_READ> or
4654C<EV_TIMEOUT>). 4699C<EV_TIMER>).
4655 4700
4656=item event library 4701=item event library
4657 4702
4658A software package implementing an event model and loop. 4703A software package implementing an event model and loop.
4659 4704

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines