… | |
… | |
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 | |
44 | =head1 TIME AND OTHER GLOBAL FUNCTIONS |
44 | =head1 TIME REPRESENTATION |
45 | |
45 | |
46 | Libev represents time as a single floating point number, representing the |
46 | Libev represents time as a single floating point number, representing the |
47 | (fractional) number of seconds since the (POSIX) epoch (somewhere near |
47 | (fractional) number of seconds since the (POSIX) epoch (somewhere near |
48 | the beginning of 1970, details are complicated, don't ask). This type is |
48 | the beginning of 1970, details are complicated, don't ask). This type is |
49 | called C<ev_tstamp>, which is what you should use too. It usually aliases |
49 | called C<ev_tstamp>, which is what you should use too. It usually aliases |
50 | to the double type in C. |
50 | to the double type in C. |
51 | |
51 | |
|
|
52 | =head1 GLOBAL FUNCTIONS |
|
|
53 | |
|
|
54 | These functions can be called anytime, even before initialising the |
|
|
55 | library in any way. |
|
|
56 | |
52 | =over 4 |
57 | =over 4 |
53 | |
58 | |
54 | =item ev_tstamp ev_time () |
59 | =item ev_tstamp ev_time () |
55 | |
60 | |
56 | 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. |
57 | |
64 | |
58 | =item int ev_version_major () |
65 | =item int ev_version_major () |
59 | |
66 | |
60 | =item int ev_version_minor () |
67 | =item int ev_version_minor () |
61 | |
68 | |
… | |
… | |
99 | An event loop is described by a C<struct ev_loop *>. The library knows two |
106 | An event loop is described by a C<struct ev_loop *>. The library knows two |
100 | types of such loops, the I<default> loop, which supports signals and child |
107 | types of such loops, the I<default> loop, which supports signals and child |
101 | events, and dynamically created loops which do not. |
108 | events, and dynamically created loops which do not. |
102 | |
109 | |
103 | If you use threads, a common model is to run the default event loop |
110 | 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 |
111 | in your main thread (or in a separate thread) and for each thread you |
105 | create, you also create another event loop. Libev itself does no locking |
112 | create, you also create another event loop. Libev itself does no locking |
106 | whatsoever, so if you mix calls to the same event loop in different |
113 | whatsoever, so if you mix calls to the same event loop in different |
107 | threads, make sure you lock (this is usually a bad idea, though, even if |
114 | threads, make sure you lock (this is usually a bad idea, though, even if |
108 | done correctly, because it's hideous and inefficient). |
115 | done correctly, because it's hideous and inefficient). |
109 | |
116 | |
… | |
… | |
236 | |
243 | |
237 | =item ev_unloop (loop, how) |
244 | =item ev_unloop (loop, how) |
238 | |
245 | |
239 | Can be used to make a call to C<ev_loop> return early (but only after it |
246 | 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 |
247 | has processed all outstanding events). The C<how> argument must be either |
241 | C<EVUNLOOP_ONCE>, which will make the innermost C<ev_loop> call return, or |
248 | C<EVUNLOOP_ONE>, which will make the innermost C<ev_loop> call return, or |
242 | C<EVUNLOOP_ALL>, which will make all nested C<ev_loop> calls return. |
249 | C<EVUNLOOP_ALL>, which will make all nested C<ev_loop> calls return. |
243 | |
250 | |
244 | =item ev_ref (loop) |
251 | =item ev_ref (loop) |
245 | |
252 | |
246 | =item ev_unref (loop) |
253 | =item ev_unref (loop) |
… | |
… | |
412 | in each iteration of the event loop (This behaviour is called |
419 | in each iteration of the event loop (This behaviour is called |
413 | level-triggering because you keep receiving events as long as the |
420 | level-triggering because you keep receiving events as long as the |
414 | condition persists. Remember you can stop the watcher if you don't want to |
421 | condition persists. Remember you can stop the watcher if you don't want to |
415 | act on the event and neither want to receive future events). |
422 | act on the event and neither want to receive future events). |
416 | |
423 | |
417 | In general you can register as many read and/or write event watchers oer |
424 | In general you can register as many read and/or write event watchers per |
418 | fd as you want (as long as you don't confuse yourself). Setting all file |
425 | 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 |
426 | descriptors to non-blocking mode is also usually a good idea (but not |
420 | required if you know what you are doing). |
427 | required if you know what you are doing). |
421 | |
428 | |
422 | You have to be careful with dup'ed file descriptors, though. Some backends |
429 | 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 |
430 | (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 |
431 | descriptors correctly if you register interest in two or more fds pointing |
425 | to the same file/socket etc. description. |
432 | to the same underlying file/socket etc. description (that is, they share |
|
|
433 | the same underlying "file open"). |
426 | |
434 | |
427 | If you must do this, then force the use of a known-to-be-good backend |
435 | 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 |
436 | (at the time of this writing, this includes only EVMETHOD_SELECT and |
429 | EVMETHOD_POLL). |
437 | EVMETHOD_POLL). |
430 | |
438 | |
… | |
… | |
444 | |
452 | |
445 | Timer watchers are simple relative timers that generate an event after a |
453 | Timer watchers are simple relative timers that generate an event after a |
446 | given time, and optionally repeating in regular intervals after that. |
454 | given time, and optionally repeating in regular intervals after that. |
447 | |
455 | |
448 | The timers are based on real time, that is, if you register an event that |
456 | The timers are based on real time, that is, if you register an event that |
449 | times out after an hour and youreset your system clock to last years |
457 | times out after an hour and you reset your system clock to last years |
450 | time, it will still time out after (roughly) and hour. "Roughly" because |
458 | time, it will still time out after (roughly) and hour. "Roughly" because |
451 | detecting time jumps is hard, and soem inaccuracies are unavoidable (the |
459 | detecting time jumps is hard, and soem inaccuracies are unavoidable (the |
452 | monotonic clock option helps a lot here). |
460 | monotonic clock option helps a lot here). |
453 | |
461 | |
454 | The relative timeouts are calculated relative to the C<ev_now ()> |
462 | 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 |
463 | 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 |
464 | 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 |
465 | 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: |
466 | on the current time, use something like this to adjust for this: |
459 | |
467 | |
460 | ev_timer_set (&timer, after + ev_now () - ev_time (), 0.); |
468 | ev_timer_set (&timer, after + ev_now () - ev_time (), 0.); |
461 | |
469 | |
462 | =over 4 |
470 | =over 4 |
463 | |
471 | |
… | |
… | |
471 | later, again, and again, until stopped manually. |
479 | later, again, and again, until stopped manually. |
472 | |
480 | |
473 | The timer itself will do a best-effort at avoiding drift, that is, if you |
481 | The timer itself will do a best-effort at avoiding drift, that is, if you |
474 | configure a timer to trigger every 10 seconds, then it will trigger at |
482 | configure a timer to trigger every 10 seconds, then it will trigger at |
475 | exactly 10 second intervals. If, however, your program cannot keep up with |
483 | exactly 10 second intervals. If, however, your program cannot keep up with |
476 | the timer (ecause it takes longer than those 10 seconds to do stuff) the |
484 | the timer (because it takes longer than those 10 seconds to do stuff) the |
477 | timer will not fire more than once per event loop iteration. |
485 | timer will not fire more than once per event loop iteration. |
478 | |
486 | |
479 | =item ev_timer_again (loop) |
487 | =item ev_timer_again (loop) |
480 | |
488 | |
481 | This will act as if the timer timed out and restart it again if it is |
489 | This will act as if the timer timed out and restart it again if it is |
… | |
… | |
558 | In this mode the values for C<interval> and C<at> are both being |
566 | In this mode the values for C<interval> and C<at> are both being |
559 | ignored. Instead, each time the periodic watcher gets scheduled, the |
567 | ignored. Instead, each time the periodic watcher gets scheduled, the |
560 | reschedule callback will be called with the watcher as first, and the |
568 | reschedule callback will be called with the watcher as first, and the |
561 | current time as second argument. |
569 | current time as second argument. |
562 | |
570 | |
563 | NOTE: I<This callback MUST NOT stop or destroy the periodic or any other |
571 | NOTE: I<This callback MUST NOT stop or destroy any periodic watcher, |
564 | periodic watcher, ever, or make any event loop modifications>. If you need |
572 | ever, or make any event loop modifications>. If you need to stop it, |
565 | to stop it, return C<now + 1e30> (or so, fudge fudge) and stop it afterwards. |
573 | return C<now + 1e30> (or so, fudge fudge) and stop it afterwards (e.g. by |
566 | |
574 | starting a prepare watcher). |
567 | Also, I<< this callback must always return a time that is later than the |
|
|
568 | passed C<now> value >>. Not even C<now> itself will be ok. |
|
|
569 | |
575 | |
570 | Its prototype is C<ev_tstamp (*reschedule_cb)(struct ev_periodic *w, |
576 | Its prototype is C<ev_tstamp (*reschedule_cb)(struct ev_periodic *w, |
571 | ev_tstamp now)>, e.g.: |
577 | ev_tstamp now)>, e.g.: |
572 | |
578 | |
573 | static ev_tstamp my_rescheduler (struct ev_periodic *w, ev_tstamp now) |
579 | static ev_tstamp my_rescheduler (struct ev_periodic *w, ev_tstamp now) |
… | |
… | |
578 | It must return the next time to trigger, based on the passed time value |
584 | It must return the next time to trigger, based on the passed time value |
579 | (that is, the lowest time value larger than to the second argument). It |
585 | (that is, the lowest time value larger than to the second argument). It |
580 | will usually be called just before the callback will be triggered, but |
586 | will usually be called just before the callback will be triggered, but |
581 | might be called at other times, too. |
587 | might be called at other times, too. |
582 | |
588 | |
|
|
589 | NOTE: I<< This callback must always return a time that is later than the |
|
|
590 | passed C<now> value >>. Not even C<now> itself will do, it I<must> be larger. |
|
|
591 | |
583 | This can be used to create very complex timers, such as a timer that |
592 | This can be used to create very complex timers, such as a timer that |
584 | triggers on each midnight, local time. To do this, you would calculate the |
593 | triggers on each midnight, local time. To do this, you would calculate the |
585 | next midnight after C<now> and return the timestamp value for this. How you do this |
594 | next midnight after C<now> and return the timestamp value for this. How |
586 | is, again, up to you (but it is not trivial). |
595 | you do this is, again, up to you (but it is not trivial, which is the main |
|
|
596 | reason I omitted it as an example). |
587 | |
597 | |
588 | =back |
598 | =back |
589 | |
599 | |
590 | =item ev_periodic_again (loop, ev_periodic *) |
600 | =item ev_periodic_again (loop, ev_periodic *) |
591 | |
601 | |
… | |
… | |
670 | =back |
680 | =back |
671 | |
681 | |
672 | =head2 C<ev_prepare> and C<ev_check> - customise your event loop |
682 | =head2 C<ev_prepare> and C<ev_check> - customise your event loop |
673 | |
683 | |
674 | Prepare and check watchers are usually (but not always) used in tandem: |
684 | Prepare and check watchers are usually (but not always) used in tandem: |
675 | Prepare watchers get invoked before the process blocks and check watchers |
685 | prepare watchers get invoked before the process blocks and check watchers |
676 | afterwards. |
686 | afterwards. |
677 | |
687 | |
678 | Their main purpose is to integrate other event mechanisms into libev. This |
688 | Their main purpose is to integrate other event mechanisms into libev. This |
679 | could be used, for example, to track variable changes, implement your own |
689 | could be used, for example, to track variable changes, implement your own |
680 | watchers, integrate net-snmp or a coroutine library and lots more. |
690 | watchers, integrate net-snmp or a coroutine library and lots more. |
… | |
… | |
683 | to be watched by the other library, registering C<ev_io> watchers for |
693 | to be watched by the other library, registering C<ev_io> watchers for |
684 | them and starting an C<ev_timer> watcher for any timeouts (many libraries |
694 | them and starting an C<ev_timer> watcher for any timeouts (many libraries |
685 | provide just this functionality). Then, in the check watcher you check for |
695 | provide just this functionality). Then, in the check watcher you check for |
686 | any events that occured (by checking the pending status of all watchers |
696 | any events that occured (by checking the pending status of all watchers |
687 | and stopping them) and call back into the library. The I/O and timer |
697 | and stopping them) and call back into the library. The I/O and timer |
688 | callbacks will never actually be called (but must be valid neverthelles, |
698 | callbacks will never actually be called (but must be valid nevertheless, |
689 | because you never know, you know?). |
699 | because you never know, you know?). |
690 | |
700 | |
691 | As another example, the Perl Coro module uses these hooks to integrate |
701 | As another example, the Perl Coro module uses these hooks to integrate |
692 | coroutines into libev programs, by yielding to other active coroutines |
702 | coroutines into libev programs, by yielding to other active coroutines |
693 | during each prepare and only letting the process block if no coroutines |
703 | during each prepare and only letting the process block if no coroutines |
694 | are ready to run (its actually more complicated, it only runs coroutines |
704 | are ready to run (it's actually more complicated: it only runs coroutines |
695 | with priority higher than the event loop and one lower priority once, |
705 | with priority higher than or equal to the event loop and one coroutine |
696 | using idle watchers to keep the event loop from blocking if lower-priority |
706 | of lower priority, but only once, using idle watchers to keep the event |
697 | coroutines exist, thus mapping low-priority coroutines to idle/background |
707 | loop from blocking if lower-priority coroutines are active, thus mapping |
698 | tasks). |
708 | low-priority coroutines to idle/background tasks). |
699 | |
709 | |
700 | =over 4 |
710 | =over 4 |
701 | |
711 | |
702 | =item ev_prepare_init (ev_prepare *, callback) |
712 | =item ev_prepare_init (ev_prepare *, callback) |
703 | |
713 | |
… | |
… | |
718 | =item ev_once (loop, int fd, int events, ev_tstamp timeout, callback) |
728 | =item ev_once (loop, int fd, int events, ev_tstamp timeout, callback) |
719 | |
729 | |
720 | This function combines a simple timer and an I/O watcher, calls your |
730 | This function combines a simple timer and an I/O watcher, calls your |
721 | callback on whichever event happens first and automatically stop both |
731 | callback on whichever event happens first and automatically stop both |
722 | watchers. This is useful if you want to wait for a single event on an fd |
732 | watchers. This is useful if you want to wait for a single event on an fd |
723 | or timeout without havign to allocate/configure/start/stop/free one or |
733 | or timeout without having to allocate/configure/start/stop/free one or |
724 | more watchers yourself. |
734 | more watchers yourself. |
725 | |
735 | |
726 | If C<fd> is less than 0, then no I/O watcher will be started and events |
736 | If C<fd> is less than 0, then no I/O watcher will be started and events |
727 | is being ignored. Otherwise, an C<ev_io> watcher for the given C<fd> and |
737 | is being ignored. Otherwise, an C<ev_io> watcher for the given C<fd> and |
728 | C<events> set will be craeted and started. |
738 | C<events> set will be craeted and started. |
… | |
… | |
731 | started. Otherwise an C<ev_timer> watcher with after = C<timeout> (and |
741 | started. Otherwise an C<ev_timer> watcher with after = C<timeout> (and |
732 | repeat = 0) will be started. While C<0> is a valid timeout, it is of |
742 | repeat = 0) will be started. While C<0> is a valid timeout, it is of |
733 | dubious value. |
743 | dubious value. |
734 | |
744 | |
735 | The callback has the type C<void (*cb)(int revents, void *arg)> and gets |
745 | The callback has the type C<void (*cb)(int revents, void *arg)> and gets |
736 | passed an events set like normal event callbacks (with a combination of |
746 | passed an C<revents> set like normal event callbacks (a combination of |
737 | C<EV_ERROR>, C<EV_READ>, C<EV_WRITE> or C<EV_TIMEOUT>) and the C<arg> |
747 | C<EV_ERROR>, C<EV_READ>, C<EV_WRITE> or C<EV_TIMEOUT>) and the C<arg> |
738 | value passed to C<ev_once>: |
748 | value passed to C<ev_once>: |
739 | |
749 | |
740 | static void stdin_ready (int revents, void *arg) |
750 | static void stdin_ready (int revents, void *arg) |
741 | { |
751 | { |
… | |
… | |
762 | |
772 | |
763 | Feed an event as if the given signal occured (loop must be the default loop!). |
773 | Feed an event as if the given signal occured (loop must be the default loop!). |
764 | |
774 | |
765 | =back |
775 | =back |
766 | |
776 | |
|
|
777 | =head1 LIBEVENT EMULATION |
|
|
778 | |
|
|
779 | Libev offers a compatibility emulation layer for libevent. It cannot |
|
|
780 | emulate the internals of libevent, so here are some usage hints: |
|
|
781 | |
|
|
782 | =over 4 |
|
|
783 | |
|
|
784 | =item * Use it by including <event.h>, as usual. |
|
|
785 | |
|
|
786 | =item * The following members are fully supported: ev_base, ev_callback, |
|
|
787 | ev_arg, ev_fd, ev_res, ev_events. |
|
|
788 | |
|
|
789 | =item * Avoid using ev_flags and the EVLIST_*-macros, while it is |
|
|
790 | maintained by libev, it does not work exactly the same way as in libevent (consider |
|
|
791 | it a private API). |
|
|
792 | |
|
|
793 | =item * Priorities are not currently supported. Initialising priorities |
|
|
794 | will fail and all watchers will have the same priority, even though there |
|
|
795 | is an ev_pri field. |
|
|
796 | |
|
|
797 | =item * Other members are not supported. |
|
|
798 | |
|
|
799 | =item * The libev emulation is I<not> ABI compatible to libevent, you need |
|
|
800 | to use the libev header file and library. |
|
|
801 | |
|
|
802 | =back |
|
|
803 | |
|
|
804 | =head1 C++ SUPPORT |
|
|
805 | |
|
|
806 | TBD. |
|
|
807 | |
767 | =head1 AUTHOR |
808 | =head1 AUTHOR |
768 | |
809 | |
769 | Marc Lehmann <libev@schmorp.de>. |
810 | Marc Lehmann <libev@schmorp.de>. |
770 | |
811 | |