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.288 by root, Tue Mar 16 00:54:52 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 3896A typical way to use this symbol is to define it to C<0> (or to a bitset
3895and setting C<EV_MAXPRI> == C<EV_MINPRI>. Also, disabling C<assert> 3897with some broad features you want) and then selectively re-enable
3896(C<-DNDEBUG>) will usually reduce code size a lot. Disabling inotify, 3898additional parts you want, for example if you want everything minimal,
3897eventfd and signalfd will further help, and disabling backends one doesn't 3899but multiple event loop support, async and child watchers and the poll
3898need (e.g. poll, epoll, kqueue, ports) will help further. 3900backend, use this:
3899 3901
3900Defining C<EV_MINIMAL> to C<2> will additionally reduce the core API to 3902 #define EV_FEATURES 0
3901provide a bare-bones event library. See C<ev.h> for details on what parts
3902of the API are still available, and do not complain if this subset changes
3903over time.
3904
3905This example set of settings reduces the compiled size of libev from 24Kb
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 3903 #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 3904 #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 3905 #define EV_CHILD_ENABLE 1
3937 #define EV_ASYNC_ENABLE 0 3906 #define EV_ASYNC_ENABLE 1
3938 #define EV_EMBED_ENABLE 0 3907
3908The actual value is a bitset, it can be a combination of the following
3909values:
3910
3911=over 4
3912
3913=item C<1> - faster/larger code
3914
3915Use larger code to speed up some operations.
3916
3917Currently this is used to override some inlining decisions (enlarging the roughly
391830% code size on amd64.
3919
3920When optimising for size, use of compiler flags such as C<-Os> with
3921gcc recommended, as well as C<-DNDEBUG>, as libev contains a number of
3922assertions.
3923
3924=item C<2> - faster/larger data structures
3925
3926Replaces the small 2-heap for timer management by a faster 4-heap, larger
3927hash table sizes and so on. This will usually further increase codesize
3928and can additionally have an effect on the size of data structures at
3929runtime.
3930
3931=item C<4> - full API configuration
3932
3933This enables priorities (sets C<EV_MAXPRI>=2 and C<EV_MINPRI>=-2), and
3934enables multiplicity (C<EV_MULTIPLICITY>=1).
3935
3936=item C<8> - full API
3937
3938This enables a lot of the "lesser used" API functions. See C<ev.h> for
3939details on which parts of the API are still available without this
3940feature, and do not complain if this subset changes over time.
3941
3942=item C<16> - enable all optional watcher types
3943
3944Enables all optional watcher types. If you want to selectively enable
3945only some watcher types other than I/O and timers (e.g. prepare,
3946embed, async, child...) you can enable them manually by defining
3947C<EV_watchertype_ENABLE> to C<1> instead.
3948
3949=item C<32> - enable all backends
3950
3951This enables all backends - without this feature, you need to enable at
3952least one backend manually (C<EV_USE_SELECT> is a good choice).
3953
3954=item C<64> - enable OS-specific "helper" APIs
3955
3956Enable inotify, eventfd, signalfd and similar OS-specific helper APIs by
3957default.
3958
3959=back
3960
3961Compiling with C<gcc -Os -DEV_STANDALONE -DEV_USE_EPOLL=1 -DEV_FEATURES=0>
3962reduces the compiled size of libev from 24.7Kb code/2.8Kb data to 6.5Kb
3963code/0.3Kb data on my GNU/Linux amd64 system, while still giving you I/O
3964watchers, timers and monotonic clock support.
3965
3966With an intelligent-enough linker (gcc+binutils are intelligent enough
3967when you use C<-Wl,--gc-sections -ffunction-sections>) functions unused by
3968your program might be left out as well - a binary starting a timer and an
3969I/O watcher then might come out at only 5Kb.
3939 3970
3940=item EV_AVOID_STDIO 3971=item EV_AVOID_STDIO
3941 3972
3942If this is set to C<1> at compiletime, then libev will avoid using stdio 3973If this is set to C<1> at compiletime, then libev will avoid using stdio
3943functions (printf, scanf, perror etc.). This will increase the codesize 3974functions (printf, scanf, perror etc.). This will increase the codesize
3958statically allocates some 12-24 bytes per signal number. 3989statically allocates some 12-24 bytes per signal number.
3959 3990
3960=item EV_PID_HASHSIZE 3991=item EV_PID_HASHSIZE
3961 3992
3962C<ev_child> watchers use a small hash table to distribute workload by 3993C<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 3994pid. 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 3995usually more than enough. If you need to manage thousands of children you
3965increase this value (I<must> be a power of two). 3996might want to increase this value (I<must> be a power of two).
3966 3997
3967=item EV_INOTIFY_HASHSIZE 3998=item EV_INOTIFY_HASHSIZE
3968 3999
3969C<ev_stat> watchers use a small hash table to distribute workload by 4000C<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>), 4001inotify 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> 4002disabled), 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 4003C<ev_stat> watchers you might want to increase this value (I<must> be a
3973two). 4004power of two).
3974 4005
3975=item EV_USE_4HEAP 4006=item EV_USE_4HEAP
3976 4007
3977Heaps are not very cache-efficient. To improve the cache-efficiency of the 4008Heaps 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 4009timer 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 4010to C<1>. The 4-heap uses more complicated (longer) code but has noticeably
3980faster performance with many (thousands) of watchers. 4011faster performance with many (thousands) of watchers.
3981 4012
3982The default is C<1> unless C<EV_MINIMAL> is set in which case it is C<0> 4013The default is C<1>, unless C<EV_FEATURES> overrides it, in which case it
3983(disabled). 4014will be C<0>.
3984 4015
3985=item EV_HEAP_CACHE_AT 4016=item EV_HEAP_CACHE_AT
3986 4017
3987Heaps are not very cache-efficient. To improve the cache-efficiency of the 4018Heaps are not very cache-efficient. To improve the cache-efficiency of the
3988timer and periodics heaps, libev can cache the timestamp (I<at>) within 4019timer 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>), 4020the 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, 4021which 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 4022but avoids random read accesses on heap changes. This improves performance
3992noticeably with many (hundreds) of watchers. 4023noticeably with many (hundreds) of watchers.
3993 4024
3994The default is C<1> unless C<EV_MINIMAL> is set in which case it is C<0> 4025The default is C<1>, unless C<EV_FEATURES> overrides it, in which case it
3995(disabled). 4026will be C<0>.
3996 4027
3997=item EV_VERIFY 4028=item EV_VERIFY
3998 4029
3999Controls how much internal verification (see C<ev_loop_verify ()>) will 4030Controls how much internal verification (see C<ev_loop_verify ()>) will
4000be done: If set to C<0>, no internal verification code will be compiled 4031be 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 4033called. 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 4034called 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 4035verification code will be called very frequently, which will slow down
4005libev considerably. 4036libev considerably.
4006 4037
4007The default is C<1>, unless C<EV_MINIMAL> is set, in which case it will be 4038The default is C<1>, unless C<EV_FEATURES> overrides it, in which case it
4008C<0>. 4039will be C<0>.
4009 4040
4010=item EV_COMMON 4041=item EV_COMMON
4011 4042
4012By default, all watchers have a C<void *data> member. By redefining 4043By 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 4044this macro to a something else you can include more and other types of
4071file. 4102file.
4072 4103
4073The usage in rxvt-unicode is simpler. It has a F<ev_cpp.h> header file 4104The usage in rxvt-unicode is simpler. It has a F<ev_cpp.h> header file
4074that everybody includes and which overrides some configure choices: 4105that everybody includes and which overrides some configure choices:
4075 4106
4076 #define EV_MINIMAL 1 4107 #define EV_FEATURES 8
4077 #define EV_USE_POLL 0 4108 #define EV_USE_SELECT 1
4078 #define EV_MULTIPLICITY 0
4079 #define EV_PERIODIC_ENABLE 0 4109 #define EV_PREPARE_ENABLE 1
4110 #define EV_IDLE_ENABLE 1
4080 #define EV_STAT_ENABLE 0 4111 #define EV_SIGNAL_ENABLE 1
4081 #define EV_FORK_ENABLE 0 4112 #define EV_CHILD_ENABLE 1
4113 #define EV_USE_STDEXCEPT 0
4082 #define EV_CONFIG_H <config.h> 4114 #define EV_CONFIG_H <config.h>
4083 #define EV_MINPRI 0
4084 #define EV_MAXPRI 0
4085 4115
4086 #include "ev++.h" 4116 #include "ev++.h"
4087 4117
4088And a F<ev_cpp.C> implementation file that contains libev proper and is compiled: 4118And a F<ev_cpp.C> implementation file that contains libev proper and is compiled:
4089 4119

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines