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

Comparing libev/ev.pod (file contents):
Revision 1.282 by root, Wed Mar 10 08:19:39 2010 UTC vs.
Revision 1.286 by root, Tue Mar 16 00:26:41 2010 UTC

1538 1538
1539So when you encounter spurious, unexplained daemon exits, make sure you 1539So when you encounter spurious, unexplained daemon exits, make sure you
1540ignore SIGPIPE (and maybe make sure you log the exit status of your daemon 1540ignore SIGPIPE (and maybe make sure you log the exit status of your daemon
1541somewhere, as that would have given you a big clue). 1541somewhere, as that would have given you a big clue).
1542 1542
1543=head3 The special problem of accept()ing when you can't
1544
1545Many implementations of the POSIX C<accept> function (for example,
1546found in port-2004 Linux) have the peculiar behaviour of not removing a
1547connection from the pending queue in all error cases.
1548
1549For example, larger servers often run out of file descriptors (because
1550of resource limits), causing C<accept> to fail with C<ENFILE> but not
1551rejecting the connection, leading to libev signalling readiness on
1552the next iteration again (the connection still exists after all), and
1553typically causing the program to loop at 100% CPU usage.
1554
1555Unfortunately, the set of errors that cause this issue differs between
1556operating systems, there is usually little the app can do to remedy the
1557situation, and no known thread-safe method of removing the connection to
1558cope with overload is known (to me).
1559
1560One of the easiest ways to handle this situation is to just ignore it
1561- when the program encounters an overload, it will just loop until the
1562situation is over. While this is a form of busy waiting, no OS offers an
1563event-based way to handle this situation, so it's the best one can do.
1564
1565A better way to handle the situation is to log any errors other than
1566C<EAGAIN> and C<EWOULDBLOCK>, making sure not to flood the log with such
1567messages, and continue as usual, which at least gives the user an idea of
1568what could be wrong ("raise the ulimit!"). For extra points one could stop
1569the C<ev_io> watcher on the listening fd "for a while", which reduces CPU
1570usage.
1571
1572If your program is single-threaded, then you could also keep a dummy file
1573descriptor for overload situations (e.g. by opening F</dev/null>), and
1574when you run into C<ENFILE> or C<EMFILE>, close it, run C<accept>,
1575close that fd, and create a new dummy fd. This will gracefully refuse
1576clients under typical overload conditions.
1577
1578The last way to handle it is to simply log the error and C<exit>, as
1579is often done with C<malloc> failures, but this results in an easy
1580opportunity for a DoS attack.
1543 1581
1544=head3 Watcher-Specific Functions 1582=head3 Watcher-Specific Functions
1545 1583
1546=over 4 1584=over 4
1547 1585
3838fine. 3876fine.
3839 3877
3840If your embedding application does not need any priorities, defining these 3878If your embedding application does not need any priorities, defining these
3841both to C<0> will save some memory and CPU. 3879both to C<0> will save some memory and CPU.
3842 3880
3843=item EV_PERIODIC_ENABLE 3881=item EV_PERIODIC_ENABLE, EV_IDLE_ENABLE, EV_EMBED_ENABLE, EV_STAT_ENABLE,
3882EV_PREPARE_ENABLE, EV_CHECK_ENABLE, EV_FORK_ENABLE, EV_SIGNAL_ENABLE,
3883EV_ASYNC_ENABLE, EV_CHILD_ENABLE.
3844 3884
3845If undefined or defined to be C<1>, then periodic timers are supported. If 3885If undefined or defined to be C<1> (and the platform supports it), then
3846defined to be C<0>, then they are not. Disabling them saves a few kB of 3886the respective watcher type is supported. If defined to be C<0>, then it
3847code. 3887is not. Disabling watcher types mainly saves codesize.
3848 3888
3849=item EV_IDLE_ENABLE 3889=item EV_FEATURES
3850
3851If undefined or defined to be C<1>, then idle watchers are supported. If
3852defined to be C<0>, then they are not. Disabling them saves a few kB of
3853code.
3854
3855=item EV_EMBED_ENABLE
3856
3857If undefined or defined to be C<1>, then embed watchers are supported. If
3858defined to be C<0>, then they are not. Embed watchers rely on most other
3859watcher types, which therefore must not be disabled.
3860
3861=item EV_STAT_ENABLE
3862
3863If undefined or defined to be C<1>, then stat watchers are supported. If
3864defined to be C<0>, then they are not.
3865
3866=item EV_FORK_ENABLE
3867
3868If undefined or defined to be C<1>, then fork watchers are supported. If
3869defined to be C<0>, then they are not.
3870
3871=item EV_SIGNAL_ENABLE
3872
3873If undefined or defined to be C<1>, then signal watchers are supported. If
3874defined to be C<0>, then they are not.
3875
3876=item EV_ASYNC_ENABLE
3877
3878If undefined or defined to be C<1>, then async watchers are supported. If
3879defined to be C<0>, then they are not.
3880
3881=item EV_CHILD_ENABLE
3882
3883If undefined or defined to be C<1> (and C<_WIN32> is not defined), then
3884child watchers are supported. If defined to be C<0>, then they are not.
3885
3886=item EV_MINIMAL
3887 3890
3888If you need to shave off some kilobytes of code at the expense of some 3891If you need to shave off some kilobytes of code at the expense of some
3889speed (but with the full API), define this symbol to C<1>. Currently this 3892speed (but with the full API), you can define this symbol to request
3890is used to override some inlining decisions, saves roughly 30% code size 3893certain subsets of functionality. The default is to enable all features
3891on amd64. It also selects a much smaller 2-heap for timer management over 3894that can be enabled on the platform.
3892the default 4-heap.
3893 3895
3894You can save even more by disabling watcher types you do not need 3896Note that using autoconf will usually override most of the features, so
3895and setting C<EV_MAXPRI> == C<EV_MINPRI>. Also, disabling C<assert> 3897using this symbol makes sense mostly when embedding libev.
3896(C<-DNDEBUG>) will usually reduce code size a lot. Disabling inotify,
3897eventfd and signalfd will further help, and disabling backends one doesn't
3898need (e.g. poll, epoll, kqueue, ports) will help further.
3899 3898
3900Defining C<EV_MINIMAL> to C<2> will additionally reduce the core API to 3899A typical way to use this symbol is to define it to C<0> (or to a bitset
3901provide a bare-bones event library. See C<ev.h> for details on what parts 3900with some broad features you want) and then selectively re-enable
3902of the API are still available, and do not complain if this subset changes 3901additional parts you want, for example if you want everything minimal,
3903over time. 3902but multiple event loop support, async and child watchers and the poll
3903backend, use this:
3904 3904
3905This example set of settings reduces the compiled size of libev from 24Kb 3905 #define EV_FEATURES 0
3906to 8Kb on my GNU/Linux amd64 system (and leaves little in - there is also
3907an effect on the amount of memory used). With an intelligent-enough linker
3908further unused functions might be left out as well automatically.
3909
3910 // tuning and API changes
3911 #define EV_MINIMAL 2
3912 #define EV_MULTIPLICITY 0 3906 #define EV_MULTIPLICITY 1
3913 #define EV_MINPRI 0
3914 #define EV_MAXPRI 0
3915
3916 // OS-specific backends
3917 #define EV_USE_INOTIFY 0
3918 #define EV_USE_EVENTFD 0
3919 #define EV_USE_SIGNALFD 0
3920 #define EV_USE_REALTIME 0
3921 #define EV_USE_MONOTONIC 0
3922 #define EV_USE_CLOCK_SYSCALL 0
3923
3924 // disable all backends except select
3925 #define EV_USE_POLL 0 3907 #define EV_USE_POLL 1
3926 #define EV_USE_PORT 0
3927 #define EV_USE_KQUEUE 0
3928 #define EV_USE_EPOLL 0
3929
3930 // disable all watcher types that cna be disabled
3931 #define EV_STAT_ENABLE 0
3932 #define EV_PERIODIC_ENABLE 0
3933 #define EV_IDLE_ENABLE 0
3934 #define EV_FORK_ENABLE 0
3935 #define EV_SIGNAL_ENABLE 0
3936 #define EV_CHILD_ENABLE 0 3908 #define EV_CHILD_ENABLE 1
3937 #define EV_ASYNC_ENABLE 0 3909 #define EV_ASYNC_ENABLE 1
3938 #define EV_EMBED_ENABLE 0 3910
3911The actual value is a bitset, it can be a combination of the following
3912values:
3913
3914=over 4
3915
3916=item C<1> - faster/larger code
3917
3918Use larger code to speed up some operations.
3919
3920Currently this is used to override some inlining decisions (enlarging the roughly
392130% code size on amd64.
3922
3923When optimising for size, use of compiler flags such as C<-Os> with
3924gcc recommended, as well as C<-DNDEBUG>, as libev contains a number of
3925assertions.
3926
3927=item C<2> - faster/larger data structures
3928
3929Replaces the small 2-heap for timer management by a faster 4-heap, larger
3930hash table sizes and so on. This will usually further increase codesize
3931and can additionally have an effect on the size of data structures at
3932runtime.
3933
3934=item C<4> - full API configuration
3935
3936This enables priorities (sets C<EV_MAXPRI>=2 and C<EV_MINPRI>=-2), and
3937enables multiplicity (C<EV_MULTIPLICITY>=1).
3938
3939It also enables a lot of the "lesser used" core API functions. See C<ev.h>
3940for details on which parts of the API are still available without this
3941feature, and do not complain if this subset changes over time.
3942
3943=item C<8> - enable all optional watcher types
3944
3945Enables all optional watcher types. If you want to selectively enable
3946only some watcher types other than I/O and timers (e.g. prepare,
3947embed, async, child...) you can enable them manually by defining
3948C<EV_watchertype_ENABLE> to C<1> instead.
3949
3950=item C<16> - enable all backends
3951
3952This enables all backends - without this feature, you need to enable at
3953least one backend manually (C<EV_USE_SELECT> is a good choice).
3954
3955=item C<32> - enable OS-specific "helper" APIs
3956
3957Enable inotify, eventfd, signalfd and similar OS-specific helper APIs by
3958default.
3959
3960=back
3961
3962Compiling with C<gcc -Os -DEV_STANDALONE -DEV_USE_EPOLL=1 -DEV_FEATURES=0>
3963reduces the compiled size of libev from 24.7Kb to 6.5Kb on my GNU/Linux
3964amd64 system, while still giving you I/O watchers, timers and monotonic
3965clock support.
3966
3967With an intelligent-enough linker (gcc+binutils are intelligent enough
3968when you use C<-Wl,--gc-sections -ffunction-sections>) functions unused by
3969your program might be left out as well - a binary starting a timer and an
3970I/O watcher then might come out at only 5Kb.
3939 3971
3940=item EV_AVOID_STDIO 3972=item EV_AVOID_STDIO
3941 3973
3942If this is set to C<1> at compiletime, then libev will avoid using stdio 3974If this is set to C<1> at compiletime, then libev will avoid using stdio
3943functions (printf, scanf, perror etc.). This will increase the codesize 3975functions (printf, scanf, perror etc.). This will increase the codesize
3958statically allocates some 12-24 bytes per signal number. 3990statically allocates some 12-24 bytes per signal number.
3959 3991
3960=item EV_PID_HASHSIZE 3992=item EV_PID_HASHSIZE
3961 3993
3962C<ev_child> watchers use a small hash table to distribute workload by 3994C<ev_child> watchers use a small hash table to distribute workload by
3963pid. The default size is C<16> (or C<1> with C<EV_MINIMAL>), usually more 3995pid. The default size is C<16> (or C<1> with C<EV_FEATURES> disabled),
3964than enough. If you need to manage thousands of children you might want to 3996usually more than enough. If you need to manage thousands of children you
3965increase this value (I<must> be a power of two). 3997might want to increase this value (I<must> be a power of two).
3966 3998
3967=item EV_INOTIFY_HASHSIZE 3999=item EV_INOTIFY_HASHSIZE
3968 4000
3969C<ev_stat> watchers use a small hash table to distribute workload by 4001C<ev_stat> watchers use a small hash table to distribute workload by
3970inotify watch id. The default size is C<16> (or C<1> with C<EV_MINIMAL>), 4002inotify watch id. The default size is C<16> (or C<1> with C<EV_FEATURES>
3971usually more than enough. If you need to manage thousands of C<ev_stat> 4003disabled), usually more than enough. If you need to manage thousands of
3972watchers you might want to increase this value (I<must> be a power of 4004C<ev_stat> watchers you might want to increase this value (I<must> be a
3973two). 4005power of two).
3974 4006
3975=item EV_USE_4HEAP 4007=item EV_USE_4HEAP
3976 4008
3977Heaps are not very cache-efficient. To improve the cache-efficiency of the 4009Heaps are not very cache-efficient. To improve the cache-efficiency of the
3978timer and periodics heaps, libev uses a 4-heap when this symbol is defined 4010timer and periodics heaps, libev uses a 4-heap when this symbol is defined
3979to C<1>. The 4-heap uses more complicated (longer) code but has noticeably 4011to C<1>. The 4-heap uses more complicated (longer) code but has noticeably
3980faster performance with many (thousands) of watchers. 4012faster performance with many (thousands) of watchers.
3981 4013
3982The default is C<1> unless C<EV_MINIMAL> is set in which case it is C<0> 4014The default is C<1>, unless C<EV_FEATURES> overrides it, in which case it
3983(disabled). 4015will be C<0>.
3984 4016
3985=item EV_HEAP_CACHE_AT 4017=item EV_HEAP_CACHE_AT
3986 4018
3987Heaps are not very cache-efficient. To improve the cache-efficiency of the 4019Heaps are not very cache-efficient. To improve the cache-efficiency of the
3988timer and periodics heaps, libev can cache the timestamp (I<at>) within 4020timer and periodics heaps, libev can cache the timestamp (I<at>) within
3989the heap structure (selected by defining C<EV_HEAP_CACHE_AT> to C<1>), 4021the heap structure (selected by defining C<EV_HEAP_CACHE_AT> to C<1>),
3990which uses 8-12 bytes more per watcher and a few hundred bytes more code, 4022which uses 8-12 bytes more per watcher and a few hundred bytes more code,
3991but avoids random read accesses on heap changes. This improves performance 4023but avoids random read accesses on heap changes. This improves performance
3992noticeably with many (hundreds) of watchers. 4024noticeably with many (hundreds) of watchers.
3993 4025
3994The default is C<1> unless C<EV_MINIMAL> is set in which case it is C<0> 4026The default is C<1>, unless C<EV_FEATURES> overrides it, in which case it
3995(disabled). 4027will be C<0>.
3996 4028
3997=item EV_VERIFY 4029=item EV_VERIFY
3998 4030
3999Controls how much internal verification (see C<ev_loop_verify ()>) will 4031Controls how much internal verification (see C<ev_loop_verify ()>) will
4000be done: If set to C<0>, no internal verification code will be compiled 4032be done: If set to C<0>, no internal verification code will be compiled
4002called. If set to C<2>, then the internal verification code will be 4034called. If set to C<2>, then the internal verification code will be
4003called once per loop, which can slow down libev. If set to C<3>, then the 4035called once per loop, which can slow down libev. If set to C<3>, then the
4004verification code will be called very frequently, which will slow down 4036verification code will be called very frequently, which will slow down
4005libev considerably. 4037libev considerably.
4006 4038
4007The default is C<1>, unless C<EV_MINIMAL> is set, in which case it will be 4039The default is C<1>, unless C<EV_FEATURES> overrides it, in which case it
4008C<0>. 4040will be C<0>.
4009 4041
4010=item EV_COMMON 4042=item EV_COMMON
4011 4043
4012By default, all watchers have a C<void *data> member. By redefining 4044By default, all watchers have a C<void *data> member. By redefining
4013this macro to a something else you can include more and other types of 4045this macro to a something else you can include more and other types of
4071file. 4103file.
4072 4104
4073The usage in rxvt-unicode is simpler. It has a F<ev_cpp.h> header file 4105The usage in rxvt-unicode is simpler. It has a F<ev_cpp.h> header file
4074that everybody includes and which overrides some configure choices: 4106that everybody includes and which overrides some configure choices:
4075 4107
4076 #define EV_MINIMAL 1 4108 #define EV_FEATURES 0
4077 #define EV_USE_POLL 0 4109 #define EV_USE_SELECT 1
4078 #define EV_MULTIPLICITY 0
4079 #define EV_PERIODIC_ENABLE 0
4080 #define EV_STAT_ENABLE 0
4081 #define EV_FORK_ENABLE 0
4082 #define EV_CONFIG_H <config.h> 4110 #define EV_CONFIG_H <config.h>
4083 #define EV_MINPRI 0
4084 #define EV_MAXPRI 0
4085 4111
4086 #include "ev++.h" 4112 #include "ev++.h"
4087 4113
4088And a F<ev_cpp.C> implementation file that contains libev proper and is compiled: 4114And a F<ev_cpp.C> implementation file that contains libev proper and is compiled:
4089 4115

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines