… | |
… | |
26 | Libev supports select, poll, the linux-specific epoll and the bsd-specific |
26 | Libev supports select, poll, the linux-specific epoll and the bsd-specific |
27 | kqueue mechanisms for file descriptor events, relative timers, absolute |
27 | kqueue mechanisms for file descriptor events, relative timers, absolute |
28 | timers with customised rescheduling, signal events, process status change |
28 | timers with customised rescheduling, signal events, process status change |
29 | events (related to SIGCHLD), and event watchers dealing with the event |
29 | events (related to SIGCHLD), and event watchers dealing with the event |
30 | loop mechanism itself (idle, prepare and check watchers). It also is quite |
30 | loop mechanism itself (idle, prepare and check watchers). It also is quite |
31 | fast (see a L<benchmark|http://libev.schmorp.de/bench.html> comparing it |
31 | fast (see this L<benchmark|http://libev.schmorp.de/bench.html> comparing |
32 | to libevent). |
32 | it to libevent for example). |
33 | |
33 | |
34 | =head1 CONVENTIONS |
34 | =head1 CONVENTIONS |
35 | |
35 | |
36 | Libev is very configurable. In this manual the default configuration |
36 | Libev is very configurable. In this manual the default configuration |
37 | will be described, which supports multiple event loops. For more info |
37 | will be described, which supports multiple event loops. For more info |
38 | about various configuraiton options please have a look at the file |
38 | about various configuration options please have a look at the file |
39 | F<README.embed> in the libev distribution. If libev was configured without |
39 | F<README.embed> in the libev distribution. If libev was configured without |
40 | support for multiple event loops, then all functions taking an initial |
40 | support for multiple event loops, then all functions taking an initial |
41 | argument of name C<loop> (which is always of type C<struct ev_loop *>) |
41 | argument of name C<loop> (which is always of type C<struct ev_loop *>) |
42 | will not have this argument. |
42 | will not have this argument. |
43 | |
43 | |
… | |
… | |
63 | you linked against by calling the functions C<ev_version_major> and |
63 | you linked against by calling the functions C<ev_version_major> and |
64 | C<ev_version_minor>. If you want, you can compare against the global |
64 | C<ev_version_minor>. If you want, you can compare against the global |
65 | symbols C<EV_VERSION_MAJOR> and C<EV_VERSION_MINOR>, which specify the |
65 | symbols C<EV_VERSION_MAJOR> and C<EV_VERSION_MINOR>, which specify the |
66 | version of the library your program was compiled against. |
66 | version of the library your program was compiled against. |
67 | |
67 | |
68 | Usually, its a good idea to terminate if the major versions mismatch, |
68 | Usually, it's a good idea to terminate if the major versions mismatch, |
69 | as this indicates an incompatible change. Minor versions are usually |
69 | as this indicates an incompatible change. Minor versions are usually |
70 | compatible to older versions, so a larger minor version alone is usually |
70 | compatible to older versions, so a larger minor version alone is usually |
71 | not a problem. |
71 | not a problem. |
72 | |
72 | |
73 | =item ev_set_allocator (void *(*cb)(void *ptr, long size)) |
73 | =item ev_set_allocator (void *(*cb)(void *ptr, long size)) |
74 | |
74 | |
75 | Sets the allocation function to use (the prototype is similar to the |
75 | Sets the allocation function to use (the prototype is similar to the |
76 | realloc function). It is used to allocate and free memory (no surprises |
76 | realloc C function, the semantics are identical). It is used to allocate |
77 | here). If it returns zero when memory needs to be allocated, the library |
77 | and free memory (no surprises here). If it returns zero when memory |
78 | might abort or take some potentially destructive action. The default is |
78 | needs to be allocated, the library might abort or take some potentially |
79 | your system realloc function. |
79 | destructive action. The default is your system realloc function. |
80 | |
80 | |
81 | You could override this function in high-availability programs to, say, |
81 | You could override this function in high-availability programs to, say, |
82 | free some memory if it cannot allocate memory, to use a special allocator, |
82 | free some memory if it cannot allocate memory, to use a special allocator, |
83 | or even to sleep a while and retry until some memory is available. |
83 | or even to sleep a while and retry until some memory is available. |
84 | |
84 | |
… | |
… | |
86 | |
86 | |
87 | Set the callback function to call on a retryable syscall error (such |
87 | Set the callback function to call on a retryable syscall error (such |
88 | as failed select, poll, epoll_wait). The message is a printable string |
88 | as failed select, poll, epoll_wait). The message is a printable string |
89 | indicating the system call or subsystem causing the problem. If this |
89 | indicating the system call or subsystem causing the problem. If this |
90 | callback is set, then libev will expect it to remedy the sitution, no |
90 | callback is set, then libev will expect it to remedy the sitution, no |
91 | matter what, when it returns. That is, libev will geenrally retry the |
91 | matter what, when it returns. That is, libev will generally retry the |
92 | requested operation, or, if the condition doesn't go away, do bad stuff |
92 | requested operation, or, if the condition doesn't go away, do bad stuff |
93 | (such as abort). |
93 | (such as abort). |
94 | |
94 | |
95 | =back |
95 | =back |
96 | |
96 | |
… | |
… | |
100 | types of such loops, the I<default> loop, which supports signals and child |
100 | types of such loops, the I<default> loop, which supports signals and child |
101 | events, and dynamically created loops which do not. |
101 | events, and dynamically created loops which do not. |
102 | |
102 | |
103 | If you use threads, a common model is to run the default event loop |
103 | If you use threads, a common model is to run the default event loop |
104 | in your main thread (or in a separate thrad) and for each thread you |
104 | in your main thread (or in a separate thrad) and for each thread you |
105 | create, you also create another event loop. Libev itself does no lockign |
105 | create, you also create another event loop. Libev itself does no locking |
106 | whatsoever, so if you mix calls to different event loops, make sure you |
106 | whatsoever, so if you mix calls to the same event loop in different |
107 | lock (this is usually a bad idea, though, even if done right). |
107 | threads, make sure you lock (this is usually a bad idea, though, even if |
|
|
108 | done correctly, because it's hideous and inefficient). |
108 | |
109 | |
109 | =over 4 |
110 | =over 4 |
110 | |
111 | |
111 | =item struct ev_loop *ev_default_loop (unsigned int flags) |
112 | =item struct ev_loop *ev_default_loop (unsigned int flags) |
112 | |
113 | |
… | |
… | |
117 | |
118 | |
118 | If you don't know what event loop to use, use the one returned from this |
119 | If you don't know what event loop to use, use the one returned from this |
119 | function. |
120 | function. |
120 | |
121 | |
121 | The flags argument can be used to specify special behaviour or specific |
122 | The flags argument can be used to specify special behaviour or specific |
122 | backends to use, and is usually specified as 0 (or EVFLAG_AUTO) |
123 | backends to use, and is usually specified as 0 (or EVFLAG_AUTO). |
123 | |
124 | |
124 | It supports the following flags: |
125 | It supports the following flags: |
125 | |
126 | |
126 | =over 4 |
127 | =over 4 |
127 | |
128 | |
128 | =item EVFLAG_AUTO |
129 | =item EVFLAG_AUTO |
129 | |
130 | |
130 | The default flags value. Use this if you have no clue (its the right |
131 | The default flags value. Use this if you have no clue (it's the right |
131 | thing, believe me). |
132 | thing, believe me). |
132 | |
133 | |
133 | =item EVFLAG_NOENV |
134 | =item EVFLAG_NOENV |
134 | |
135 | |
135 | If this flag bit is ored into the flag value then libev will I<not> look |
136 | If this flag bit is ored into the flag value (or the program runs setuid |
136 | at the environment variable C<LIBEV_FLAGS>. Otherwise (the default), this |
137 | or setgid) then libev will I<not> look at the environment variable |
137 | environment variable will override the flags completely. This is useful |
138 | C<LIBEV_FLAGS>. Otherwise (the default), this environment variable will |
|
|
139 | override the flags completely if it is found in the environment. This is |
138 | to try out specific backends to tets their performance, or to work around |
140 | useful to try out specific backends to test their performance, or to work |
139 | bugs. |
141 | around bugs. |
140 | |
142 | |
141 | =item EVMETHOD_SELECT portable select backend |
143 | =item EVMETHOD_SELECT (portable select backend) |
142 | |
144 | |
143 | =item EVMETHOD_POLL poll backend (everywhere except windows) |
145 | =item EVMETHOD_POLL (poll backend, available everywhere except on windows) |
144 | |
146 | |
145 | =item EVMETHOD_EPOLL linux only |
147 | =item EVMETHOD_EPOLL (linux only) |
146 | |
148 | |
147 | =item EVMETHOD_KQUEUE some bsds only |
149 | =item EVMETHOD_KQUEUE (some bsds only) |
148 | |
150 | |
149 | =item EVMETHOD_DEVPOLL solaris 8 only |
151 | =item EVMETHOD_DEVPOLL (solaris 8 only) |
150 | |
152 | |
151 | =item EVMETHOD_PORT solaris 10 only |
153 | =item EVMETHOD_PORT (solaris 10 only) |
152 | |
154 | |
153 | If one or more of these are ored into the flags value, then only these |
155 | If one or more of these are ored into the flags value, then only these |
154 | backends will be tried (in the reverse order as given here). If one are |
156 | backends will be tried (in the reverse order as given here). If one are |
155 | specified, any backend will do. |
157 | specified, any backend will do. |
156 | |
158 | |
… | |
… | |
165 | |
167 | |
166 | =item ev_default_destroy () |
168 | =item ev_default_destroy () |
167 | |
169 | |
168 | Destroys the default loop again (frees all memory and kernel state |
170 | Destroys the default loop again (frees all memory and kernel state |
169 | etc.). This stops all registered event watchers (by not touching them in |
171 | etc.). This stops all registered event watchers (by not touching them in |
170 | any way whatsoever, although you cnanot rely on this :). |
172 | any way whatsoever, although you cannot rely on this :). |
171 | |
173 | |
172 | =item ev_loop_destroy (loop) |
174 | =item ev_loop_destroy (loop) |
173 | |
175 | |
174 | Like C<ev_default_destroy>, but destroys an event loop created by an |
176 | Like C<ev_default_destroy>, but destroys an event loop created by an |
175 | earlier call to C<ev_loop_new>. |
177 | earlier call to C<ev_loop_new>. |
… | |
… | |
183 | |
185 | |
184 | You I<must> call this function after forking if and only if you want to |
186 | You I<must> call this function after forking if and only if you want to |
185 | use the event library in both processes. If you just fork+exec, you don't |
187 | use the event library in both processes. If you just fork+exec, you don't |
186 | have to call it. |
188 | have to call it. |
187 | |
189 | |
188 | The function itself is quite fast and its usually not a problem to call |
190 | The function itself is quite fast and it's usually not a problem to call |
189 | it just in case after a fork. To make this easy, the function will fit in |
191 | it just in case after a fork. To make this easy, the function will fit in |
190 | quite nicely into a call to C<pthread_atfork>: |
192 | quite nicely into a call to C<pthread_atfork>: |
191 | |
193 | |
192 | pthread_atfork (0, 0, ev_default_fork); |
194 | pthread_atfork (0, 0, ev_default_fork); |
193 | |
195 | |
… | |
… | |
200 | =item unsigned int ev_method (loop) |
202 | =item unsigned int ev_method (loop) |
201 | |
203 | |
202 | Returns one of the C<EVMETHOD_*> flags indicating the event backend in |
204 | Returns one of the C<EVMETHOD_*> flags indicating the event backend in |
203 | use. |
205 | use. |
204 | |
206 | |
205 | =item ev_tstamp = ev_now (loop) |
207 | =item ev_tstamp ev_now (loop) |
206 | |
208 | |
207 | Returns the current "event loop time", which is the time the event loop |
209 | Returns the current "event loop time", which is the time the event loop |
208 | got events and started processing them. This timestamp does not change |
210 | got events and started processing them. This timestamp does not change |
209 | as long as callbacks are being processed, and this is also the base time |
211 | as long as callbacks are being processed, and this is also the base time |
210 | used for relative timers. You can treat it as the timestamp of the event |
212 | used for relative timers. You can treat it as the timestamp of the event |
… | |
… | |
219 | If the flags argument is specified as 0, it will not return until either |
221 | If the flags argument is specified as 0, it will not return until either |
220 | no event watchers are active anymore or C<ev_unloop> was called. |
222 | no event watchers are active anymore or C<ev_unloop> was called. |
221 | |
223 | |
222 | A flags value of C<EVLOOP_NONBLOCK> will look for new events, will handle |
224 | A flags value of C<EVLOOP_NONBLOCK> will look for new events, will handle |
223 | those events and any outstanding ones, but will not block your process in |
225 | those events and any outstanding ones, but will not block your process in |
224 | case there are no events. |
226 | case there are no events and will return after one iteration of the loop. |
225 | |
227 | |
226 | A flags value of C<EVLOOP_ONESHOT> will look for new events (waiting if |
228 | A flags value of C<EVLOOP_ONESHOT> will look for new events (waiting if |
227 | neccessary) and will handle those and any outstanding ones. It will block |
229 | neccessary) and will handle those and any outstanding ones. It will block |
228 | your process until at least one new event arrives. |
230 | your process until at least one new event arrives, and will return after |
|
|
231 | one iteration of the loop. |
229 | |
232 | |
230 | This flags value could be used to implement alternative looping |
233 | This flags value could be used to implement alternative looping |
231 | constructs, but the C<prepare> and C<check> watchers provide a better and |
234 | constructs, but the C<prepare> and C<check> watchers provide a better and |
232 | more generic mechanism. |
235 | more generic mechanism. |
233 | |
236 | |
234 | =item ev_unloop (loop, how) |
237 | =item ev_unloop (loop, how) |
235 | |
238 | |
236 | Can be used to make a call to C<ev_loop> return early. The C<how> argument |
239 | Can be used to make a call to C<ev_loop> return early (but only after it |
|
|
240 | has processed all outstanding events). The C<how> argument must be either |
237 | must be either C<EVUNLOOP_ONCE>, which will make the innermost C<ev_loop> |
241 | C<EVUNLOOP_ONCE>, which will make the innermost C<ev_loop> call return, or |
238 | call return, or C<EVUNLOOP_ALL>, which will make all nested C<ev_loop> |
242 | C<EVUNLOOP_ALL>, which will make all nested C<ev_loop> calls return. |
239 | calls return. |
|
|
240 | |
243 | |
241 | =item ev_ref (loop) |
244 | =item ev_ref (loop) |
242 | |
245 | |
243 | =item ev_unref (loop) |
246 | =item ev_unref (loop) |
244 | |
247 | |
245 | Ref/unref can be used to add or remove a refcount on the event loop: Every |
248 | Ref/unref can be used to add or remove a reference count on the event |
246 | watcher keeps one reference. If you have a long-runing watcher you never |
249 | loop: Every watcher keeps one reference, and as long as the reference |
247 | unregister that should not keep ev_loop from running, ev_unref() after |
250 | count is nonzero, C<ev_loop> will not return on its own. If you have |
248 | starting, and ev_ref() before stopping it. Libev itself uses this for |
251 | a watcher you never unregister that should not keep C<ev_loop> from |
249 | example for its internal signal pipe: It is not visible to you as a user |
252 | returning, ev_unref() after starting, and ev_ref() before stopping it. For |
250 | and should not keep C<ev_loop> from exiting if the work is done. It is |
253 | example, libev itself uses this for its internal signal pipe: It is not |
251 | also an excellent way to do this for generic recurring timers or from |
254 | visible to the libev user and should not keep C<ev_loop> from exiting if |
252 | within third-party libraries. Just remember to unref after start and ref |
255 | no event watchers registered by it are active. It is also an excellent |
253 | before stop. |
256 | way to do this for generic recurring timers or from within third-party |
|
|
257 | libraries. Just remember to I<unref after start> and I<ref before stop>. |
254 | |
258 | |
255 | =back |
259 | =back |
256 | |
260 | |
257 | =head1 ANATOMY OF A WATCHER |
261 | =head1 ANATOMY OF A WATCHER |
258 | |
262 | |
… | |
… | |
408 | in each iteration of the event loop (This behaviour is called |
412 | in each iteration of the event loop (This behaviour is called |
409 | level-triggering because you keep receiving events as long as the |
413 | level-triggering because you keep receiving events as long as the |
410 | condition persists. Remember you cna stop the watcher if you don't want to |
414 | condition persists. Remember you cna stop the watcher if you don't want to |
411 | act on the event and neither want to receive future events). |
415 | act on the event and neither want to receive future events). |
412 | |
416 | |
|
|
417 | In general you can register as many read and/or write event watchers oer |
|
|
418 | fd as you want (as long as you don't confuse yourself). Setting all file |
|
|
419 | descriptors to non-blocking mode is also usually a good idea (but not |
|
|
420 | required if you know what you are doing). |
|
|
421 | |
|
|
422 | You have to be careful with dup'ed file descriptors, though. Some backends |
|
|
423 | (the linux epoll backend is a notable example) cannot handle dup'ed file |
|
|
424 | descriptors correctly if you register interest in two or more fds pointing |
|
|
425 | to the same file/socket etc. description. |
|
|
426 | |
|
|
427 | If you must do this, then force the use of a known-to-be-good backend |
|
|
428 | (at the time of this writing, this includes only EVMETHOD_SELECT and |
|
|
429 | EVMETHOD_POLL). |
|
|
430 | |
413 | =over 4 |
431 | =over 4 |
414 | |
432 | |
415 | =item ev_io_init (ev_io *, callback, int fd, int events) |
433 | =item ev_io_init (ev_io *, callback, int fd, int events) |
416 | |
434 | |
417 | =item ev_io_set (ev_io *, int fd, int events) |
435 | =item ev_io_set (ev_io *, int fd, int events) |
… | |
… | |
430 | The timers are based on real time, that is, if you register an event that |
448 | The timers are based on real time, that is, if you register an event that |
431 | times out after an hour and youreset your system clock to last years |
449 | times out after an hour and youreset your system clock to last years |
432 | time, it will still time out after (roughly) and hour. "Roughly" because |
450 | time, it will still time out after (roughly) and hour. "Roughly" because |
433 | detecting time jumps is hard, and soem inaccuracies are unavoidable (the |
451 | detecting time jumps is hard, and soem inaccuracies are unavoidable (the |
434 | monotonic clock option helps a lot here). |
452 | monotonic clock option helps a lot here). |
|
|
453 | |
|
|
454 | The relative timeouts are calculated relative to the C<ev_now ()> |
|
|
455 | time. This is usually the right thing as this timestamp refers to the time |
|
|
456 | of the event triggering whatever timeout you are modifying/starting. If |
|
|
457 | you suspect event processing to be delayed and you *need* to base the timeout |
|
|
458 | ion the current time, use something like this to adjust for this: |
|
|
459 | |
|
|
460 | ev_timer_set (&timer, after + ev_now () - ev_time (), 0.); |
435 | |
461 | |
436 | =over 4 |
462 | =over 4 |
437 | |
463 | |
438 | =item ev_timer_init (ev_timer *, callback, ev_tstamp after, ev_tstamp repeat) |
464 | =item ev_timer_init (ev_timer *, callback, ev_tstamp after, ev_tstamp repeat) |
439 | |
465 | |
… | |
… | |
569 | |
595 | |
570 | =head2 ev_signal - signal me when a signal gets signalled |
596 | =head2 ev_signal - signal me when a signal gets signalled |
571 | |
597 | |
572 | Signal watchers will trigger an event when the process receives a specific |
598 | Signal watchers will trigger an event when the process receives a specific |
573 | signal one or more times. Even though signals are very asynchronous, libev |
599 | signal one or more times. Even though signals are very asynchronous, libev |
574 | will try its best to deliver signals synchronously, i.e. as part of the |
600 | will try it's best to deliver signals synchronously, i.e. as part of the |
575 | normal event processing, like any other event. |
601 | normal event processing, like any other event. |
576 | |
602 | |
577 | You cna configure as many watchers as you like per signal. Only when the |
603 | You cna configure as many watchers as you like per signal. Only when the |
578 | first watcher gets started will libev actually register a signal watcher |
604 | first watcher gets started will libev actually register a signal watcher |
579 | with the kernel (thus it coexists with your own signal handlers as long |
605 | with the kernel (thus it coexists with your own signal handlers as long |