… | |
… | |
56 | |
56 | |
57 | =over 4 |
57 | =over 4 |
58 | |
58 | |
59 | =item ev_tstamp ev_time () |
59 | =item ev_tstamp ev_time () |
60 | |
60 | |
61 | Returns the current time as libev would use it. |
61 | Returns the current time as libev would use it. Please note that the |
|
|
62 | C<ev_now> function is usually faster and also often returns the timestamp |
|
|
63 | you actually want to know. |
62 | |
64 | |
63 | =item int ev_version_major () |
65 | =item int ev_version_major () |
64 | |
66 | |
65 | =item int ev_version_minor () |
67 | =item int ev_version_minor () |
66 | |
68 | |
… | |
… | |
72 | |
74 | |
73 | Usually, it's a good idea to terminate if the major versions mismatch, |
75 | Usually, it's a good idea to terminate if the major versions mismatch, |
74 | as this indicates an incompatible change. Minor versions are usually |
76 | as this indicates an incompatible change. Minor versions are usually |
75 | compatible to older versions, so a larger minor version alone is usually |
77 | compatible to older versions, so a larger minor version alone is usually |
76 | not a problem. |
78 | not a problem. |
|
|
79 | |
|
|
80 | =item unsigned int ev_supported_backends () |
|
|
81 | |
|
|
82 | Return the set of all backends (i.e. their corresponding C<EV_BACKEND_*> |
|
|
83 | value) compiled into this binary of libev (independent of their |
|
|
84 | availability on the system you are running on). See C<ev_default_loop> for |
|
|
85 | a description of the set values. |
|
|
86 | |
|
|
87 | =item unsigned int ev_recommended_backends () |
|
|
88 | |
|
|
89 | Return the set of all backends compiled into this binary of libev and also |
|
|
90 | recommended for this platform. This set is often smaller than the one |
|
|
91 | returned by C<ev_supported_backends>, as for example kqueue is broken on |
|
|
92 | most BSDs and will not be autodetected unless you explicitly request it |
|
|
93 | (assuming you know what you are doing). This is the set of backends that |
|
|
94 | libev will probe for if you specify no backends explicitly. |
77 | |
95 | |
78 | =item ev_set_allocator (void *(*cb)(void *ptr, long size)) |
96 | =item ev_set_allocator (void *(*cb)(void *ptr, long size)) |
79 | |
97 | |
80 | Sets the allocation function to use (the prototype is similar to the |
98 | Sets the allocation function to use (the prototype is similar to the |
81 | realloc C function, the semantics are identical). It is used to allocate |
99 | realloc C function, the semantics are identical). It is used to allocate |
… | |
… | |
117 | =item struct ev_loop *ev_default_loop (unsigned int flags) |
135 | =item struct ev_loop *ev_default_loop (unsigned int flags) |
118 | |
136 | |
119 | This will initialise the default event loop if it hasn't been initialised |
137 | This will initialise the default event loop if it hasn't been initialised |
120 | yet and return it. If the default loop could not be initialised, returns |
138 | yet and return it. If the default loop could not be initialised, returns |
121 | false. If it already was initialised it simply returns it (and ignores the |
139 | false. If it already was initialised it simply returns it (and ignores the |
122 | flags). |
140 | flags. If that is troubling you, check C<ev_backend ()> afterwards). |
123 | |
141 | |
124 | If you don't know what event loop to use, use the one returned from this |
142 | If you don't know what event loop to use, use the one returned from this |
125 | function. |
143 | function. |
126 | |
144 | |
127 | The flags argument can be used to specify special behaviour or specific |
145 | The flags argument can be used to specify special behaviour or specific |
128 | backends to use, and is usually specified as 0 (or EVFLAG_AUTO). |
146 | backends to use, and is usually specified as C<0> (or C<EVFLAG_AUTO>). |
129 | |
147 | |
130 | It supports the following flags: |
148 | The following flags are supported: |
131 | |
149 | |
132 | =over 4 |
150 | =over 4 |
133 | |
151 | |
134 | =item C<EVFLAG_AUTO> |
152 | =item C<EVFLAG_AUTO> |
135 | |
153 | |
… | |
… | |
143 | C<LIBEV_FLAGS>. Otherwise (the default), this environment variable will |
161 | C<LIBEV_FLAGS>. Otherwise (the default), this environment variable will |
144 | override the flags completely if it is found in the environment. This is |
162 | override the flags completely if it is found in the environment. This is |
145 | useful to try out specific backends to test their performance, or to work |
163 | useful to try out specific backends to test their performance, or to work |
146 | around bugs. |
164 | around bugs. |
147 | |
165 | |
148 | =item C<EVMETHOD_SELECT> (portable select backend) |
166 | =item C<EVBACKEND_SELECT> (value 1, portable select backend) |
149 | |
167 | |
|
|
168 | This is your standard select(2) backend. Not I<completely> standard, as |
|
|
169 | libev tries to roll its own fd_set with no limits on the number of fds, |
|
|
170 | but if that fails, expect a fairly low limit on the number of fds when |
|
|
171 | using this backend. It doesn't scale too well (O(highest_fd)), but its usually |
|
|
172 | the fastest backend for a low number of fds. |
|
|
173 | |
150 | =item C<EVMETHOD_POLL> (poll backend, available everywhere except on windows) |
174 | =item C<EVBACKEND_POLL> (value 2, poll backend, available everywhere except on windows) |
151 | |
175 | |
152 | =item C<EVMETHOD_EPOLL> (linux only) |
176 | And this is your standard poll(2) backend. It's more complicated than |
|
|
177 | select, but handles sparse fds better and has no artificial limit on the |
|
|
178 | number of fds you can use (except it will slow down considerably with a |
|
|
179 | lot of inactive fds). It scales similarly to select, i.e. O(total_fds). |
153 | |
180 | |
154 | =item C<EVMETHOD_KQUEUE> (some bsds only) |
181 | =item C<EVBACKEND_EPOLL> (value 4, Linux) |
155 | |
182 | |
156 | =item C<EVMETHOD_DEVPOLL> (solaris 8 only) |
183 | For few fds, this backend is a bit little slower than poll and select, |
|
|
184 | but it scales phenomenally better. While poll and select usually scale like |
|
|
185 | O(total_fds) where n is the total number of fds (or the highest fd), epoll scales |
|
|
186 | either O(1) or O(active_fds). |
157 | |
187 | |
158 | =item C<EVMETHOD_PORT> (solaris 10 only) |
188 | While stopping and starting an I/O watcher in the same iteration will |
|
|
189 | result in some caching, there is still a syscall per such incident |
|
|
190 | (because the fd could point to a different file description now), so its |
|
|
191 | best to avoid that. Also, dup()ed file descriptors might not work very |
|
|
192 | well if you register events for both fds. |
|
|
193 | |
|
|
194 | Please note that epoll sometimes generates spurious notifications, so you |
|
|
195 | need to use non-blocking I/O or other means to avoid blocking when no data |
|
|
196 | (or space) is available. |
|
|
197 | |
|
|
198 | =item C<EVBACKEND_KQUEUE> (value 8, most BSD clones) |
|
|
199 | |
|
|
200 | Kqueue deserves special mention, as at the time of this writing, it |
|
|
201 | was broken on all BSDs except NetBSD (usually it doesn't work with |
|
|
202 | anything but sockets and pipes, except on Darwin, where of course its |
|
|
203 | completely useless). For this reason its not being "autodetected" |
|
|
204 | unless you explicitly specify it explicitly in the flags (i.e. using |
|
|
205 | C<EVBACKEND_KQUEUE>). |
|
|
206 | |
|
|
207 | It scales in the same way as the epoll backend, but the interface to the |
|
|
208 | kernel is more efficient (which says nothing about its actual speed, of |
|
|
209 | course). While starting and stopping an I/O watcher does not cause an |
|
|
210 | extra syscall as with epoll, it still adds up to four event changes per |
|
|
211 | incident, so its best to avoid that. |
|
|
212 | |
|
|
213 | =item C<EVBACKEND_DEVPOLL> (value 16, Solaris 8) |
|
|
214 | |
|
|
215 | This is not implemented yet (and might never be). |
|
|
216 | |
|
|
217 | =item C<EVBACKEND_PORT> (value 32, Solaris 10) |
|
|
218 | |
|
|
219 | This uses the Solaris 10 port mechanism. As with everything on Solaris, |
|
|
220 | it's really slow, but it still scales very well (O(active_fds)). |
|
|
221 | |
|
|
222 | Please note that solaris ports can result in a lot of spurious |
|
|
223 | notifications, so you need to use non-blocking I/O or other means to avoid |
|
|
224 | blocking when no data (or space) is available. |
|
|
225 | |
|
|
226 | =item C<EVBACKEND_ALL> |
|
|
227 | |
|
|
228 | Try all backends (even potentially broken ones that wouldn't be tried |
|
|
229 | with C<EVFLAG_AUTO>). Since this is a mask, you can do stuff such as |
|
|
230 | C<EVBACKEND_ALL & ~EVBACKEND_KQUEUE>. |
|
|
231 | |
|
|
232 | =back |
159 | |
233 | |
160 | If one or more of these are ored into the flags value, then only these |
234 | If one or more of these are ored into the flags value, then only these |
161 | backends will be tried (in the reverse order as given here). If one are |
235 | backends will be tried (in the reverse order as given here). If none are |
162 | specified, any backend will do. |
236 | specified, most compiled-in backend will be tried, usually in reverse |
|
|
237 | order of their flag values :) |
163 | |
238 | |
164 | =back |
239 | The most typical usage is like this: |
|
|
240 | |
|
|
241 | if (!ev_default_loop (0)) |
|
|
242 | fatal ("could not initialise libev, bad $LIBEV_FLAGS in environment?"); |
|
|
243 | |
|
|
244 | Restrict libev to the select and poll backends, and do not allow |
|
|
245 | environment settings to be taken into account: |
|
|
246 | |
|
|
247 | ev_default_loop (EVBACKEND_POLL | EVBACKEND_SELECT | EVFLAG_NOENV); |
|
|
248 | |
|
|
249 | Use whatever libev has to offer, but make sure that kqueue is used if |
|
|
250 | available (warning, breaks stuff, best use only with your own private |
|
|
251 | event loop and only if you know the OS supports your types of fds): |
|
|
252 | |
|
|
253 | ev_default_loop (ev_recommended_backends () | EVBACKEND_KQUEUE); |
165 | |
254 | |
166 | =item struct ev_loop *ev_loop_new (unsigned int flags) |
255 | =item struct ev_loop *ev_loop_new (unsigned int flags) |
167 | |
256 | |
168 | Similar to C<ev_default_loop>, but always creates a new event loop that is |
257 | Similar to C<ev_default_loop>, but always creates a new event loop that is |
169 | always distinct from the default loop. Unlike the default loop, it cannot |
258 | always distinct from the default loop. Unlike the default loop, it cannot |
… | |
… | |
186 | This function reinitialises the kernel state for backends that have |
275 | This function reinitialises the kernel state for backends that have |
187 | one. Despite the name, you can call it anytime, but it makes most sense |
276 | one. Despite the name, you can call it anytime, but it makes most sense |
188 | after forking, in either the parent or child process (or both, but that |
277 | after forking, in either the parent or child process (or both, but that |
189 | again makes little sense). |
278 | again makes little sense). |
190 | |
279 | |
191 | You I<must> call this function after forking if and only if you want to |
280 | You I<must> call this function in the child process after forking if and |
192 | use the event library in both processes. If you just fork+exec, you don't |
281 | only if you want to use the event library in both processes. If you just |
193 | have to call it. |
282 | fork+exec, you don't have to call it. |
194 | |
283 | |
195 | The function itself is quite fast and it's usually not a problem to call |
284 | The function itself is quite fast and it's usually not a problem to call |
196 | it just in case after a fork. To make this easy, the function will fit in |
285 | it just in case after a fork. To make this easy, the function will fit in |
197 | quite nicely into a call to C<pthread_atfork>: |
286 | quite nicely into a call to C<pthread_atfork>: |
198 | |
287 | |
199 | pthread_atfork (0, 0, ev_default_fork); |
288 | pthread_atfork (0, 0, ev_default_fork); |
200 | |
289 | |
|
|
290 | At the moment, C<EVBACKEND_SELECT> and C<EVBACKEND_POLL> are safe to use |
|
|
291 | without calling this function, so if you force one of those backends you |
|
|
292 | do not need to care. |
|
|
293 | |
201 | =item ev_loop_fork (loop) |
294 | =item ev_loop_fork (loop) |
202 | |
295 | |
203 | Like C<ev_default_fork>, but acts on an event loop created by |
296 | Like C<ev_default_fork>, but acts on an event loop created by |
204 | C<ev_loop_new>. Yes, you have to call this on every allocated event loop |
297 | C<ev_loop_new>. Yes, you have to call this on every allocated event loop |
205 | after fork, and how you do this is entirely your own problem. |
298 | after fork, and how you do this is entirely your own problem. |
206 | |
299 | |
207 | =item unsigned int ev_method (loop) |
300 | =item unsigned int ev_backend (loop) |
208 | |
301 | |
209 | Returns one of the C<EVMETHOD_*> flags indicating the event backend in |
302 | Returns one of the C<EVBACKEND_*> flags indicating the event backend in |
210 | use. |
303 | use. |
211 | |
304 | |
212 | =item ev_tstamp ev_now (loop) |
305 | =item ev_tstamp ev_now (loop) |
213 | |
306 | |
214 | Returns the current "event loop time", which is the time the event loop |
307 | Returns the current "event loop time", which is the time the event loop |
… | |
… | |
221 | |
314 | |
222 | Finally, this is it, the event handler. This function usually is called |
315 | Finally, this is it, the event handler. This function usually is called |
223 | after you initialised all your watchers and you want to start handling |
316 | after you initialised all your watchers and you want to start handling |
224 | events. |
317 | events. |
225 | |
318 | |
226 | If the flags argument is specified as 0, it will not return until either |
319 | If the flags argument is specified as C<0>, it will not return until |
227 | no event watchers are active anymore or C<ev_unloop> was called. |
320 | either no event watchers are active anymore or C<ev_unloop> was called. |
228 | |
321 | |
229 | A flags value of C<EVLOOP_NONBLOCK> will look for new events, will handle |
322 | A flags value of C<EVLOOP_NONBLOCK> will look for new events, will handle |
230 | those events and any outstanding ones, but will not block your process in |
323 | those events and any outstanding ones, but will not block your process in |
231 | case there are no events and will return after one iteration of the loop. |
324 | case there are no events and will return after one iteration of the loop. |
232 | |
325 | |
233 | A flags value of C<EVLOOP_ONESHOT> will look for new events (waiting if |
326 | A flags value of C<EVLOOP_ONESHOT> will look for new events (waiting if |
234 | neccessary) and will handle those and any outstanding ones. It will block |
327 | neccessary) and will handle those and any outstanding ones. It will block |
235 | your process until at least one new event arrives, and will return after |
328 | your process until at least one new event arrives, and will return after |
236 | one iteration of the loop. |
329 | one iteration of the loop. This is useful if you are waiting for some |
|
|
330 | external event in conjunction with something not expressible using other |
|
|
331 | libev watchers. However, a pair of C<ev_prepare>/C<ev_check> watchers is |
|
|
332 | usually a better approach for this kind of thing. |
237 | |
333 | |
238 | This flags value could be used to implement alternative looping |
334 | Here are the gory details of what C<ev_loop> does: |
239 | constructs, but the C<prepare> and C<check> watchers provide a better and |
335 | |
240 | more generic mechanism. |
336 | * If there are no active watchers (reference count is zero), return. |
|
|
337 | - Queue prepare watchers and then call all outstanding watchers. |
|
|
338 | - If we have been forked, recreate the kernel state. |
|
|
339 | - Update the kernel state with all outstanding changes. |
|
|
340 | - Update the "event loop time". |
|
|
341 | - Calculate for how long to block. |
|
|
342 | - Block the process, waiting for any events. |
|
|
343 | - Queue all outstanding I/O (fd) events. |
|
|
344 | - Update the "event loop time" and do time jump handling. |
|
|
345 | - Queue all outstanding timers. |
|
|
346 | - Queue all outstanding periodics. |
|
|
347 | - If no events are pending now, queue all idle watchers. |
|
|
348 | - Queue all check watchers. |
|
|
349 | - Call all queued watchers in reverse order (i.e. check watchers first). |
|
|
350 | Signals and child watchers are implemented as I/O watchers, and will |
|
|
351 | be handled here by queueing them when their watcher gets executed. |
|
|
352 | - If ev_unloop has been called or EVLOOP_ONESHOT or EVLOOP_NONBLOCK |
|
|
353 | were used, return, otherwise continue with step *. |
241 | |
354 | |
242 | =item ev_unloop (loop, how) |
355 | =item ev_unloop (loop, how) |
243 | |
356 | |
244 | Can be used to make a call to C<ev_loop> return early (but only after it |
357 | Can be used to make a call to C<ev_loop> return early (but only after it |
245 | has processed all outstanding events). The C<how> argument must be either |
358 | has processed all outstanding events). The C<how> argument must be either |
… | |
… | |
302 | *) >>), and you can stop watching for events at any time by calling the |
415 | *) >>), and you can stop watching for events at any time by calling the |
303 | corresponding stop function (C<< ev_<type>_stop (loop, watcher *) >>. |
416 | corresponding stop function (C<< ev_<type>_stop (loop, watcher *) >>. |
304 | |
417 | |
305 | As long as your watcher is active (has been started but not stopped) you |
418 | As long as your watcher is active (has been started but not stopped) you |
306 | must not touch the values stored in it. Most specifically you must never |
419 | must not touch the values stored in it. Most specifically you must never |
307 | reinitialise it or call its set method. |
420 | reinitialise it or call its set macro. |
308 | |
421 | |
309 | You can check whether an event is active by calling the C<ev_is_active |
422 | You can check whether an event is active by calling the C<ev_is_active |
310 | (watcher *)> macro. To see whether an event is outstanding (but the |
423 | (watcher *)> macro. To see whether an event is outstanding (but the |
311 | callback for it has not been called yet) you can use the C<ev_is_pending |
424 | callback for it has not been called yet) you can use the C<ev_is_pending |
312 | (watcher *)> macro. |
425 | (watcher *)> macro. |
… | |
… | |
429 | descriptors correctly if you register interest in two or more fds pointing |
542 | descriptors correctly if you register interest in two or more fds pointing |
430 | to the same underlying file/socket etc. description (that is, they share |
543 | to the same underlying file/socket etc. description (that is, they share |
431 | the same underlying "file open"). |
544 | the same underlying "file open"). |
432 | |
545 | |
433 | If you must do this, then force the use of a known-to-be-good backend |
546 | If you must do this, then force the use of a known-to-be-good backend |
434 | (at the time of this writing, this includes only EVMETHOD_SELECT and |
547 | (at the time of this writing, this includes only C<EVBACKEND_SELECT> and |
435 | EVMETHOD_POLL). |
548 | C<EVBACKEND_POLL>). |
436 | |
549 | |
437 | =over 4 |
550 | =over 4 |
438 | |
551 | |
439 | =item ev_io_init (ev_io *, callback, int fd, int events) |
552 | =item ev_io_init (ev_io *, callback, int fd, int events) |
440 | |
553 | |
… | |
… | |
442 | |
555 | |
443 | Configures an C<ev_io> watcher. The fd is the file descriptor to rceeive |
556 | Configures an C<ev_io> watcher. The fd is the file descriptor to rceeive |
444 | events for and events is either C<EV_READ>, C<EV_WRITE> or C<EV_READ | |
557 | events for and events is either C<EV_READ>, C<EV_WRITE> or C<EV_READ | |
445 | EV_WRITE> to receive the given events. |
558 | EV_WRITE> to receive the given events. |
446 | |
559 | |
|
|
560 | Please note that most of the more scalable backend mechanisms (for example |
|
|
561 | epoll and solaris ports) can result in spurious readyness notifications |
|
|
562 | for file descriptors, so you practically need to use non-blocking I/O (and |
|
|
563 | treat callback invocation as hint only), or retest separately with a safe |
|
|
564 | interface before doing I/O (XLib can do this), or force the use of either |
|
|
565 | C<EVBACKEND_SELECT> or C<EVBACKEND_POLL>, which don't suffer from this |
|
|
566 | problem. Also note that it is quite easy to have your callback invoked |
|
|
567 | when the readyness condition is no longer valid even when employing |
|
|
568 | typical ways of handling events, so its a good idea to use non-blocking |
|
|
569 | I/O unconditionally. |
|
|
570 | |
447 | =back |
571 | =back |
448 | |
572 | |
449 | =head2 C<ev_timer> - relative and optionally recurring timeouts |
573 | =head2 C<ev_timer> - relative and optionally recurring timeouts |
450 | |
574 | |
451 | Timer watchers are simple relative timers that generate an event after a |
575 | Timer watchers are simple relative timers that generate an event after a |
452 | given time, and optionally repeating in regular intervals after that. |
576 | given time, and optionally repeating in regular intervals after that. |
453 | |
577 | |
454 | The timers are based on real time, that is, if you register an event that |
578 | The timers are based on real time, that is, if you register an event that |
455 | times out after an hour and you reset your system clock to last years |
579 | times out after an hour and you reset your system clock to last years |
456 | time, it will still time out after (roughly) and hour. "Roughly" because |
580 | time, it will still time out after (roughly) and hour. "Roughly" because |
457 | detecting time jumps is hard, and soem inaccuracies are unavoidable (the |
581 | detecting time jumps is hard, and some inaccuracies are unavoidable (the |
458 | monotonic clock option helps a lot here). |
582 | monotonic clock option helps a lot here). |
459 | |
583 | |
460 | The relative timeouts are calculated relative to the C<ev_now ()> |
584 | The relative timeouts are calculated relative to the C<ev_now ()> |
461 | time. This is usually the right thing as this timestamp refers to the time |
585 | time. This is usually the right thing as this timestamp refers to the time |
462 | of the event triggering whatever timeout you are modifying/starting. If |
586 | of the event triggering whatever timeout you are modifying/starting. If |
463 | you suspect event processing to be delayed and you *need* to base the timeout |
587 | you suspect event processing to be delayed and you I<need> to base the timeout |
464 | on the current time, use something like this to adjust for this: |
588 | on the current time, use something like this to adjust for this: |
465 | |
589 | |
466 | ev_timer_set (&timer, after + ev_now () - ev_time (), 0.); |
590 | ev_timer_set (&timer, after + ev_now () - ev_time (), 0.); |
|
|
591 | |
|
|
592 | The callback is guarenteed to be invoked only when its timeout has passed, |
|
|
593 | but if multiple timers become ready during the same loop iteration then |
|
|
594 | order of execution is undefined. |
467 | |
595 | |
468 | =over 4 |
596 | =over 4 |
469 | |
597 | |
470 | =item ev_timer_init (ev_timer *, callback, ev_tstamp after, ev_tstamp repeat) |
598 | =item ev_timer_init (ev_timer *, callback, ev_tstamp after, ev_tstamp repeat) |
471 | |
599 | |
… | |
… | |
518 | again). |
646 | again). |
519 | |
647 | |
520 | They can also be used to implement vastly more complex timers, such as |
648 | They can also be used to implement vastly more complex timers, such as |
521 | triggering an event on eahc midnight, local time. |
649 | triggering an event on eahc midnight, local time. |
522 | |
650 | |
|
|
651 | As with timers, the callback is guarenteed to be invoked only when the |
|
|
652 | time (C<at>) has been passed, but if multiple periodic timers become ready |
|
|
653 | during the same loop iteration then order of execution is undefined. |
|
|
654 | |
523 | =over 4 |
655 | =over 4 |
524 | |
656 | |
525 | =item ev_periodic_init (ev_periodic *, callback, ev_tstamp at, ev_tstamp interval, reschedule_cb) |
657 | =item ev_periodic_init (ev_periodic *, callback, ev_tstamp at, ev_tstamp interval, reschedule_cb) |
526 | |
658 | |
527 | =item ev_periodic_set (ev_periodic *, ev_tstamp after, ev_tstamp repeat, reschedule_cb) |
659 | =item ev_periodic_set (ev_periodic *, ev_tstamp after, ev_tstamp repeat, reschedule_cb) |
528 | |
660 | |
529 | Lots of arguments, lets sort it out... There are basically three modes of |
661 | Lots of arguments, lets sort it out... There are basically three modes of |
530 | operation, and we will explain them from simplest to complex: |
662 | operation, and we will explain them from simplest to complex: |
531 | |
|
|
532 | |
663 | |
533 | =over 4 |
664 | =over 4 |
534 | |
665 | |
535 | =item * absolute timer (interval = reschedule_cb = 0) |
666 | =item * absolute timer (interval = reschedule_cb = 0) |
536 | |
667 | |