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

Comparing libev/ev.pod (file contents):
Revision 1.230 by root, Wed Apr 15 18:47:07 2009 UTC vs.
Revision 1.275 by root, Sat Dec 26 09:21:54 2009 UTC

62 62
63 // unloop was called, so exit 63 // unloop was called, so exit
64 return 0; 64 return 0;
65 } 65 }
66 66
67=head1 DESCRIPTION 67=head1 ABOUT THIS DOCUMENT
68
69This document documents the libev software package.
68 70
69The newest version of this document is also available as an html-formatted 71The newest version of this document is also available as an html-formatted
70web page you might find easier to navigate when reading it for the first 72web page you might find easier to navigate when reading it for the first
71time: L<http://pod.tst.eu/http://cvs.schmorp.de/libev/ev.pod>. 73time: L<http://pod.tst.eu/http://cvs.schmorp.de/libev/ev.pod>.
74
75While this document tries to be as complete as possible in documenting
76libev, its usage and the rationale behind its design, it is not a tutorial
77on event-based programming, nor will it introduce event-based programming
78with libev.
79
80Familarity with event based programming techniques in general is assumed
81throughout this document.
82
83=head1 ABOUT LIBEV
72 84
73Libev is an event loop: you register interest in certain events (such as a 85Libev is an event loop: you register interest in certain events (such as a
74file descriptor being readable or a timeout occurring), and it will manage 86file descriptor being readable or a timeout occurring), and it will manage
75these event sources and provide your program with events. 87these event sources and provide your program with events.
76 88
86=head2 FEATURES 98=head2 FEATURES
87 99
88Libev supports C<select>, C<poll>, the Linux-specific C<epoll>, the 100Libev supports C<select>, C<poll>, the Linux-specific C<epoll>, the
89BSD-specific C<kqueue> and the Solaris-specific event port mechanisms 101BSD-specific C<kqueue> and the Solaris-specific event port mechanisms
90for file descriptor events (C<ev_io>), the Linux C<inotify> interface 102for file descriptor events (C<ev_io>), the Linux C<inotify> interface
91(for C<ev_stat>), relative timers (C<ev_timer>), absolute timers 103(for C<ev_stat>), Linux eventfd/signalfd (for faster and cleaner
92with customised rescheduling (C<ev_periodic>), synchronous signals 104inter-thread wakeup (C<ev_async>)/signal handling (C<ev_signal>)) relative
93(C<ev_signal>), process status change events (C<ev_child>), and event 105timers (C<ev_timer>), absolute timers with customised rescheduling
94watchers dealing with the event loop mechanism itself (C<ev_idle>, 106(C<ev_periodic>), synchronous signals (C<ev_signal>), process status
95C<ev_embed>, C<ev_prepare> and C<ev_check> watchers) as well as 107change events (C<ev_child>), and event watchers dealing with the event
96file watchers (C<ev_stat>) and even limited support for fork events 108loop mechanism itself (C<ev_idle>, C<ev_embed>, C<ev_prepare> and
97(C<ev_fork>). 109C<ev_check> watchers) as well as file watchers (C<ev_stat>) and even
110limited support for fork events (C<ev_fork>).
98 111
99It also is quite fast (see this 112It also is quite fast (see this
100L<benchmark|http://libev.schmorp.de/bench.html> comparing it to libevent 113L<benchmark|http://libev.schmorp.de/bench.html> comparing it to libevent
101for example). 114for example).
102 115
105Libev is very configurable. In this manual the default (and most common) 118Libev is very configurable. In this manual the default (and most common)
106configuration will be described, which supports multiple event loops. For 119configuration will be described, which supports multiple event loops. For
107more info about various configuration options please have a look at 120more info about various configuration options please have a look at
108B<EMBED> section in this manual. If libev was configured without support 121B<EMBED> section in this manual. If libev was configured without support
109for multiple event loops, then all functions taking an initial argument of 122for multiple event loops, then all functions taking an initial argument of
110name C<loop> (which is always of type C<ev_loop *>) will not have 123name C<loop> (which is always of type C<struct ev_loop *>) will not have
111this argument. 124this argument.
112 125
113=head2 TIME REPRESENTATION 126=head2 TIME REPRESENTATION
114 127
115Libev represents time as a single floating point number, representing the 128Libev represents time as a single floating point number, representing
116(fractional) number of seconds since the (POSIX) epoch (somewhere near 129the (fractional) number of seconds since the (POSIX) epoch (somewhere
117the beginning of 1970, details are complicated, don't ask). This type is 130near the beginning of 1970, details are complicated, don't ask). This
118called C<ev_tstamp>, which is what you should use too. It usually aliases 131type is called C<ev_tstamp>, which is what you should use too. It usually
119to the C<double> type in C, and when you need to do any calculations on 132aliases to the C<double> type in C. When you need to do any calculations
120it, you should treat it as some floating point value. Unlike the name 133on it, you should treat it as some floating point value. Unlike the name
121component C<stamp> might indicate, it is also used for time differences 134component C<stamp> might indicate, it is also used for time differences
122throughout libev. 135throughout libev.
123 136
124=head1 ERROR HANDLING 137=head1 ERROR HANDLING
125 138
350flag. 363flag.
351 364
352This flag setting cannot be overridden or specified in the C<LIBEV_FLAGS> 365This flag setting cannot be overridden or specified in the C<LIBEV_FLAGS>
353environment variable. 366environment variable.
354 367
368=item C<EVFLAG_NOINOTIFY>
369
370When this flag is specified, then libev will not attempt to use the
371I<inotify> API for it's C<ev_stat> watchers. Apart from debugging and
372testing, this flag can be useful to conserve inotify file descriptors, as
373otherwise each loop using C<ev_stat> watchers consumes one inotify handle.
374
375=item C<EVFLAG_NOSIGFD>
376
377When this flag is specified, then libev will not attempt to use the
378I<signalfd> API for it's C<ev_signal> (and C<ev_child>) watchers. This is
379probably only useful to work around any bugs in libev. Consequently, this
380flag might go away once the signalfd functionality is considered stable,
381so it's useful mostly in environment variables and not in program code.
382
355=item C<EVBACKEND_SELECT> (value 1, portable select backend) 383=item C<EVBACKEND_SELECT> (value 1, portable select backend)
356 384
357This is your standard select(2) backend. Not I<completely> standard, as 385This is your standard select(2) backend. Not I<completely> standard, as
358libev tries to roll its own fd_set with no limits on the number of fds, 386libev tries to roll its own fd_set with no limits on the number of fds,
359but if that fails, expect a fairly low limit on the number of fds when 387but if that fails, expect a fairly low limit on the number of fds when
382 410
383This backend maps C<EV_READ> to C<POLLIN | POLLERR | POLLHUP>, and 411This backend maps C<EV_READ> to C<POLLIN | POLLERR | POLLHUP>, and
384C<EV_WRITE> to C<POLLOUT | POLLERR | POLLHUP>. 412C<EV_WRITE> to C<POLLOUT | POLLERR | POLLHUP>.
385 413
386=item C<EVBACKEND_EPOLL> (value 4, Linux) 414=item C<EVBACKEND_EPOLL> (value 4, Linux)
415
416Use the linux-specific epoll(7) interface (for both pre- and post-2.6.9
417kernels).
387 418
388For few fds, this backend is a bit little slower than poll and select, 419For few fds, this backend is a bit little slower than poll and select,
389but it scales phenomenally better. While poll and select usually scale 420but it scales phenomenally better. While poll and select usually scale
390like O(total_fds) where n is the total number of fds (or the highest fd), 421like O(total_fds) where n is the total number of fds (or the highest fd),
391epoll scales either O(1) or O(active_fds). 422epoll scales either O(1) or O(active_fds).
506 537
507It is definitely not recommended to use this flag. 538It is definitely not recommended to use this flag.
508 539
509=back 540=back
510 541
511If one or more of these are or'ed into the flags value, then only these 542If one or more of the backend flags are or'ed into the flags value,
512backends will be tried (in the reverse order as listed here). If none are 543then only these backends will be tried (in the reverse order as listed
513specified, all backends in C<ev_recommended_backends ()> will be tried. 544here). If none are specified, all backends in C<ev_recommended_backends
545()> will be tried.
514 546
515Example: This is the most typical usage. 547Example: This is the most typical usage.
516 548
517 if (!ev_default_loop (0)) 549 if (!ev_default_loop (0))
518 fatal ("could not initialise libev, bad $LIBEV_FLAGS in environment?"); 550 fatal ("could not initialise libev, bad $LIBEV_FLAGS in environment?");
561as signal and child watchers) would need to be stopped manually. 593as signal and child watchers) would need to be stopped manually.
562 594
563In general it is not advisable to call this function except in the 595In general it is not advisable to call this function except in the
564rare occasion where you really need to free e.g. the signal handling 596rare occasion where you really need to free e.g. the signal handling
565pipe fds. If you need dynamically allocated loops it is better to use 597pipe fds. If you need dynamically allocated loops it is better to use
566C<ev_loop_new> and C<ev_loop_destroy>). 598C<ev_loop_new> and C<ev_loop_destroy>.
567 599
568=item ev_loop_destroy (loop) 600=item ev_loop_destroy (loop)
569 601
570Like C<ev_default_destroy>, but destroys an event loop created by an 602Like C<ev_default_destroy>, but destroys an event loop created by an
571earlier call to C<ev_loop_new>. 603earlier call to C<ev_loop_new>.
609 641
610This value can sometimes be useful as a generation counter of sorts (it 642This value can sometimes be useful as a generation counter of sorts (it
611"ticks" the number of loop iterations), as it roughly corresponds with 643"ticks" the number of loop iterations), as it roughly corresponds with
612C<ev_prepare> and C<ev_check> calls. 644C<ev_prepare> and C<ev_check> calls.
613 645
646=item unsigned int ev_loop_depth (loop)
647
648Returns the number of times C<ev_loop> was entered minus the number of
649times C<ev_loop> was exited, in other words, the recursion depth.
650
651Outside C<ev_loop>, this number is zero. In a callback, this number is
652C<1>, unless C<ev_loop> was invoked recursively (or from another thread),
653in which case it is higher.
654
655Leaving C<ev_loop> abnormally (setjmp/longjmp, cancelling the thread
656etc.), doesn't count as exit.
657
614=item unsigned int ev_backend (loop) 658=item unsigned int ev_backend (loop)
615 659
616Returns one of the C<EVBACKEND_*> flags indicating the event backend in 660Returns one of the C<EVBACKEND_*> flags indicating the event backend in
617use. 661use.
618 662
632 676
633This function is rarely useful, but when some event callback runs for a 677This function is rarely useful, but when some event callback runs for a
634very long time without entering the event loop, updating libev's idea of 678very long time without entering the event loop, updating libev's idea of
635the current time is a good idea. 679the current time is a good idea.
636 680
637See also "The special problem of time updates" in the C<ev_timer> section. 681See also L<The special problem of time updates> in the C<ev_timer> section.
682
683=item ev_suspend (loop)
684
685=item ev_resume (loop)
686
687These two functions suspend and resume a loop, for use when the loop is
688not used for a while and timeouts should not be processed.
689
690A typical use case would be an interactive program such as a game: When
691the user presses C<^Z> to suspend the game and resumes it an hour later it
692would be best to handle timeouts as if no time had actually passed while
693the program was suspended. This can be achieved by calling C<ev_suspend>
694in your C<SIGTSTP> handler, sending yourself a C<SIGSTOP> and calling
695C<ev_resume> directly afterwards to resume timer processing.
696
697Effectively, all C<ev_timer> watchers will be delayed by the time spend
698between C<ev_suspend> and C<ev_resume>, and all C<ev_periodic> watchers
699will be rescheduled (that is, they will lose any events that would have
700occured while suspended).
701
702After calling C<ev_suspend> you B<must not> call I<any> function on the
703given loop other than C<ev_resume>, and you B<must not> call C<ev_resume>
704without a previous call to C<ev_suspend>.
705
706Calling C<ev_suspend>/C<ev_resume> has the side effect of updating the
707event loop time (see C<ev_now_update>).
638 708
639=item ev_loop (loop, int flags) 709=item ev_loop (loop, int flags)
640 710
641Finally, this is it, the event handler. This function usually is called 711Finally, this is it, the event handler. This function usually is called
642after you initialised all your watchers and you want to start handling 712after you have initialised all your watchers and you want to start
643events. 713handling events.
644 714
645If the flags argument is specified as C<0>, it will not return until 715If the flags argument is specified as C<0>, it will not return until
646either no event watchers are active anymore or C<ev_unloop> was called. 716either no event watchers are active anymore or C<ev_unloop> was called.
647 717
648Please note that an explicit C<ev_unloop> is usually better than 718Please note that an explicit C<ev_unloop> is usually better than
773 843
774By setting a higher I<io collect interval> you allow libev to spend more 844By setting a higher I<io collect interval> you allow libev to spend more
775time collecting I/O events, so you can handle more events per iteration, 845time collecting I/O events, so you can handle more events per iteration,
776at the cost of increasing latency. Timeouts (both C<ev_periodic> and 846at the cost of increasing latency. Timeouts (both C<ev_periodic> and
777C<ev_timer>) will be not affected. Setting this to a non-null value will 847C<ev_timer>) will be not affected. Setting this to a non-null value will
778introduce an additional C<ev_sleep ()> call into most loop iterations. 848introduce an additional C<ev_sleep ()> call into most loop iterations. The
849sleep time ensures that libev will not poll for I/O events more often then
850once per this interval, on average.
779 851
780Likewise, by setting a higher I<timeout collect interval> you allow libev 852Likewise, by setting a higher I<timeout collect interval> you allow libev
781to spend more time collecting timeouts, at the expense of increased 853to spend more time collecting timeouts, at the expense of increased
782latency/jitter/inexactness (the watcher callback will be called 854latency/jitter/inexactness (the watcher callback will be called
783later). C<ev_io> watchers will not be affected. Setting this to a non-null 855later). C<ev_io> watchers will not be affected. Setting this to a non-null
785 857
786Many (busy) programs can usually benefit by setting the I/O collect 858Many (busy) programs can usually benefit by setting the I/O collect
787interval to a value near C<0.1> or so, which is often enough for 859interval to a value near C<0.1> or so, which is often enough for
788interactive servers (of course not for games), likewise for timeouts. It 860interactive servers (of course not for games), likewise for timeouts. It
789usually doesn't make much sense to set it to a lower value than C<0.01>, 861usually doesn't make much sense to set it to a lower value than C<0.01>,
790as this approaches the timing granularity of most systems. 862as this approaches the timing granularity of most systems. Note that if
863you do transactions with the outside world and you can't increase the
864parallelity, then this setting will limit your transaction rate (if you
865need to poll once per transaction and the I/O collect interval is 0.01,
866then you can't do more than 100 transations per second).
791 867
792Setting the I<timeout collect interval> can improve the opportunity for 868Setting the I<timeout collect interval> can improve the opportunity for
793saving power, as the program will "bundle" timer callback invocations that 869saving power, as the program will "bundle" timer callback invocations that
794are "near" in time together, by delaying some, thus reducing the number of 870are "near" in time together, by delaying some, thus reducing the number of
795times the process sleeps and wakes up again. Another useful technique to 871times the process sleeps and wakes up again. Another useful technique to
796reduce iterations/wake-ups is to use C<ev_periodic> watchers and make sure 872reduce iterations/wake-ups is to use C<ev_periodic> watchers and make sure
797they fire on, say, one-second boundaries only. 873they fire on, say, one-second boundaries only.
874
875Example: we only need 0.1s timeout granularity, and we wish not to poll
876more often than 100 times per second:
877
878 ev_set_timeout_collect_interval (EV_DEFAULT_UC_ 0.1);
879 ev_set_io_collect_interval (EV_DEFAULT_UC_ 0.01);
880
881=item ev_invoke_pending (loop)
882
883This call will simply invoke all pending watchers while resetting their
884pending state. Normally, C<ev_loop> does this automatically when required,
885but when overriding the invoke callback this call comes handy.
886
887=item int ev_pending_count (loop)
888
889Returns the number of pending watchers - zero indicates that no watchers
890are pending.
891
892=item ev_set_invoke_pending_cb (loop, void (*invoke_pending_cb)(EV_P))
893
894This overrides the invoke pending functionality of the loop: Instead of
895invoking all pending watchers when there are any, C<ev_loop> will call
896this callback instead. This is useful, for example, when you want to
897invoke the actual watchers inside another context (another thread etc.).
898
899If you want to reset the callback, use C<ev_invoke_pending> as new
900callback.
901
902=item ev_set_loop_release_cb (loop, void (*release)(EV_P), void (*acquire)(EV_P))
903
904Sometimes you want to share the same loop between multiple threads. This
905can be done relatively simply by putting mutex_lock/unlock calls around
906each call to a libev function.
907
908However, C<ev_loop> can run an indefinite time, so it is not feasible to
909wait for it to return. One way around this is to wake up the loop via
910C<ev_unloop> and C<av_async_send>, another way is to set these I<release>
911and I<acquire> callbacks on the loop.
912
913When set, then C<release> will be called just before the thread is
914suspended waiting for new events, and C<acquire> is called just
915afterwards.
916
917Ideally, C<release> will just call your mutex_unlock function, and
918C<acquire> will just call the mutex_lock function again.
919
920While event loop modifications are allowed between invocations of
921C<release> and C<acquire> (that's their only purpose after all), no
922modifications done will affect the event loop, i.e. adding watchers will
923have no effect on the set of file descriptors being watched, or the time
924waited. Use an C<ev_async> watcher to wake up C<ev_loop> when you want it
925to take note of any changes you made.
926
927In theory, threads executing C<ev_loop> will be async-cancel safe between
928invocations of C<release> and C<acquire>.
929
930See also the locking example in the C<THREADS> section later in this
931document.
932
933=item ev_set_userdata (loop, void *data)
934
935=item ev_userdata (loop)
936
937Set and retrieve a single C<void *> associated with a loop. When
938C<ev_set_userdata> has never been called, then C<ev_userdata> returns
939C<0.>
940
941These two functions can be used to associate arbitrary data with a loop,
942and are intended solely for the C<invoke_pending_cb>, C<release> and
943C<acquire> callbacks described above, but of course can be (ab-)used for
944any other purpose as well.
798 945
799=item ev_loop_verify (loop) 946=item ev_loop_verify (loop)
800 947
801This function only does something when C<EV_VERIFY> support has been 948This function only does something when C<EV_VERIFY> support has been
802compiled in, which is the default for non-minimal builds. It tries to go 949compiled in, which is the default for non-minimal builds. It tries to go
979 1126
980 ev_io w; 1127 ev_io w;
981 ev_init (&w, my_cb); 1128 ev_init (&w, my_cb);
982 ev_io_set (&w, STDIN_FILENO, EV_READ); 1129 ev_io_set (&w, STDIN_FILENO, EV_READ);
983 1130
984=item C<ev_TYPE_set> (ev_TYPE *, [args]) 1131=item C<ev_TYPE_set> (ev_TYPE *watcher, [args])
985 1132
986This macro initialises the type-specific parts of a watcher. You need to 1133This macro initialises the type-specific parts of a watcher. You need to
987call C<ev_init> at least once before you call this macro, but you can 1134call C<ev_init> at least once before you call this macro, but you can
988call C<ev_TYPE_set> any number of times. You must not, however, call this 1135call C<ev_TYPE_set> any number of times. You must not, however, call this
989macro on a watcher that is active (it can be pending, however, which is a 1136macro on a watcher that is active (it can be pending, however, which is a
1002 1149
1003Example: Initialise and set an C<ev_io> watcher in one step. 1150Example: Initialise and set an C<ev_io> watcher in one step.
1004 1151
1005 ev_io_init (&w, my_cb, STDIN_FILENO, EV_READ); 1152 ev_io_init (&w, my_cb, STDIN_FILENO, EV_READ);
1006 1153
1007=item C<ev_TYPE_start> (loop *, ev_TYPE *watcher) 1154=item C<ev_TYPE_start> (loop, ev_TYPE *watcher)
1008 1155
1009Starts (activates) the given watcher. Only active watchers will receive 1156Starts (activates) the given watcher. Only active watchers will receive
1010events. If the watcher is already active nothing will happen. 1157events. If the watcher is already active nothing will happen.
1011 1158
1012Example: Start the C<ev_io> watcher that is being abused as example in this 1159Example: Start the C<ev_io> watcher that is being abused as example in this
1013whole section. 1160whole section.
1014 1161
1015 ev_io_start (EV_DEFAULT_UC, &w); 1162 ev_io_start (EV_DEFAULT_UC, &w);
1016 1163
1017=item C<ev_TYPE_stop> (loop *, ev_TYPE *watcher) 1164=item C<ev_TYPE_stop> (loop, ev_TYPE *watcher)
1018 1165
1019Stops the given watcher if active, and clears the pending status (whether 1166Stops the given watcher if active, and clears the pending status (whether
1020the watcher was active or not). 1167the watcher was active or not).
1021 1168
1022It is possible that stopped watchers are pending - for example, 1169It is possible that stopped watchers are pending - for example,
1047=item ev_cb_set (ev_TYPE *watcher, callback) 1194=item ev_cb_set (ev_TYPE *watcher, callback)
1048 1195
1049Change the callback. You can change the callback at virtually any time 1196Change the callback. You can change the callback at virtually any time
1050(modulo threads). 1197(modulo threads).
1051 1198
1052=item ev_set_priority (ev_TYPE *watcher, priority) 1199=item ev_set_priority (ev_TYPE *watcher, int priority)
1053 1200
1054=item int ev_priority (ev_TYPE *watcher) 1201=item int ev_priority (ev_TYPE *watcher)
1055 1202
1056Set and query the priority of the watcher. The priority is a small 1203Set and query the priority of the watcher. The priority is a small
1057integer between C<EV_MAXPRI> (default: C<2>) and C<EV_MINPRI> 1204integer between C<EV_MAXPRI> (default: C<2>) and C<EV_MINPRI>
1058(default: C<-2>). Pending watchers with higher priority will be invoked 1205(default: C<-2>). Pending watchers with higher priority will be invoked
1059before watchers with lower priority, but priority will not keep watchers 1206before watchers with lower priority, but priority will not keep watchers
1060from being executed (except for C<ev_idle> watchers). 1207from being executed (except for C<ev_idle> watchers).
1061 1208
1062This means that priorities are I<only> used for ordering callback
1063invocation after new events have been received. This is useful, for
1064example, to reduce latency after idling, or more often, to bind two
1065watchers on the same event and make sure one is called first.
1066
1067If you need to suppress invocation when higher priority events are pending 1209If you need to suppress invocation when higher priority events are pending
1068you need to look at C<ev_idle> watchers, which provide this functionality. 1210you need to look at C<ev_idle> watchers, which provide this functionality.
1069 1211
1070You I<must not> change the priority of a watcher as long as it is active or 1212You I<must not> change the priority of a watcher as long as it is active or
1071pending. 1213pending.
1072
1073The default priority used by watchers when no priority has been set is
1074always C<0>, which is supposed to not be too high and not be too low :).
1075 1214
1076Setting a priority outside the range of C<EV_MINPRI> to C<EV_MAXPRI> is 1215Setting a priority outside the range of C<EV_MINPRI> to C<EV_MAXPRI> is
1077fine, as long as you do not mind that the priority value you query might 1216fine, as long as you do not mind that the priority value you query might
1078or might not have been clamped to the valid range. 1217or might not have been clamped to the valid range.
1218
1219The default priority used by watchers when no priority has been set is
1220always C<0>, which is supposed to not be too high and not be too low :).
1221
1222See L<WATCHER PRIORITY MODELS>, below, for a more thorough treatment of
1223priorities.
1079 1224
1080=item ev_invoke (loop, ev_TYPE *watcher, int revents) 1225=item ev_invoke (loop, ev_TYPE *watcher, int revents)
1081 1226
1082Invoke the C<watcher> with the given C<loop> and C<revents>. Neither 1227Invoke the C<watcher> with the given C<loop> and C<revents>. Neither
1083C<loop> nor C<revents> need to be valid as long as the watcher callback 1228C<loop> nor C<revents> need to be valid as long as the watcher callback
1090returns its C<revents> bitset (as if its callback was invoked). If the 1235returns its C<revents> bitset (as if its callback was invoked). If the
1091watcher isn't pending it does nothing and returns C<0>. 1236watcher isn't pending it does nothing and returns C<0>.
1092 1237
1093Sometimes it can be useful to "poll" a watcher instead of waiting for its 1238Sometimes it can be useful to "poll" a watcher instead of waiting for its
1094callback to be invoked, which can be accomplished with this function. 1239callback to be invoked, which can be accomplished with this function.
1240
1241=item ev_feed_event (loop, ev_TYPE *watcher, int revents)
1242
1243Feeds the given event set into the event loop, as if the specified event
1244had happened for the specified watcher (which must be a pointer to an
1245initialised but not necessarily started event watcher). Obviously you must
1246not free the watcher as long as it has pending events.
1247
1248Stopping the watcher, letting libev invoke it, or calling
1249C<ev_clear_pending> will clear the pending event, even if the watcher was
1250not started in the first place.
1251
1252See also C<ev_feed_fd_event> and C<ev_feed_signal_event> for related
1253functions that do not need a watcher.
1095 1254
1096=back 1255=back
1097 1256
1098 1257
1099=head2 ASSOCIATING CUSTOM DATA WITH A WATCHER 1258=head2 ASSOCIATING CUSTOM DATA WITH A WATCHER
1148 #include <stddef.h> 1307 #include <stddef.h>
1149 1308
1150 static void 1309 static void
1151 t1_cb (EV_P_ ev_timer *w, int revents) 1310 t1_cb (EV_P_ ev_timer *w, int revents)
1152 { 1311 {
1153 struct my_biggy big = (struct my_biggy * 1312 struct my_biggy big = (struct my_biggy *)
1154 (((char *)w) - offsetof (struct my_biggy, t1)); 1313 (((char *)w) - offsetof (struct my_biggy, t1));
1155 } 1314 }
1156 1315
1157 static void 1316 static void
1158 t2_cb (EV_P_ ev_timer *w, int revents) 1317 t2_cb (EV_P_ ev_timer *w, int revents)
1159 { 1318 {
1160 struct my_biggy big = (struct my_biggy * 1319 struct my_biggy big = (struct my_biggy *)
1161 (((char *)w) - offsetof (struct my_biggy, t2)); 1320 (((char *)w) - offsetof (struct my_biggy, t2));
1162 } 1321 }
1322
1323=head2 WATCHER PRIORITY MODELS
1324
1325Many event loops support I<watcher priorities>, which are usually small
1326integers that influence the ordering of event callback invocation
1327between watchers in some way, all else being equal.
1328
1329In libev, Watcher priorities can be set using C<ev_set_priority>. See its
1330description for the more technical details such as the actual priority
1331range.
1332
1333There are two common ways how these these priorities are being interpreted
1334by event loops:
1335
1336In the more common lock-out model, higher priorities "lock out" invocation
1337of lower priority watchers, which means as long as higher priority
1338watchers receive events, lower priority watchers are not being invoked.
1339
1340The less common only-for-ordering model uses priorities solely to order
1341callback invocation within a single event loop iteration: Higher priority
1342watchers are invoked before lower priority ones, but they all get invoked
1343before polling for new events.
1344
1345Libev uses the second (only-for-ordering) model for all its watchers
1346except for idle watchers (which use the lock-out model).
1347
1348The rationale behind this is that implementing the lock-out model for
1349watchers is not well supported by most kernel interfaces, and most event
1350libraries will just poll for the same events again and again as long as
1351their callbacks have not been executed, which is very inefficient in the
1352common case of one high-priority watcher locking out a mass of lower
1353priority ones.
1354
1355Static (ordering) priorities are most useful when you have two or more
1356watchers handling the same resource: a typical usage example is having an
1357C<ev_io> watcher to receive data, and an associated C<ev_timer> to handle
1358timeouts. Under load, data might be received while the program handles
1359other jobs, but since timers normally get invoked first, the timeout
1360handler will be executed before checking for data. In that case, giving
1361the timer a lower priority than the I/O watcher ensures that I/O will be
1362handled first even under adverse conditions (which is usually, but not
1363always, what you want).
1364
1365Since idle watchers use the "lock-out" model, meaning that idle watchers
1366will only be executed when no same or higher priority watchers have
1367received events, they can be used to implement the "lock-out" model when
1368required.
1369
1370For example, to emulate how many other event libraries handle priorities,
1371you can associate an C<ev_idle> watcher to each such watcher, and in
1372the normal watcher callback, you just start the idle watcher. The real
1373processing is done in the idle watcher callback. This causes libev to
1374continously poll and process kernel event data for the watcher, but when
1375the lock-out case is known to be rare (which in turn is rare :), this is
1376workable.
1377
1378Usually, however, the lock-out model implemented that way will perform
1379miserably under the type of load it was designed to handle. In that case,
1380it might be preferable to stop the real watcher before starting the
1381idle watcher, so the kernel will not have to process the event in case
1382the actual processing will be delayed for considerable time.
1383
1384Here is an example of an I/O watcher that should run at a strictly lower
1385priority than the default, and which should only process data when no
1386other events are pending:
1387
1388 ev_idle idle; // actual processing watcher
1389 ev_io io; // actual event watcher
1390
1391 static void
1392 io_cb (EV_P_ ev_io *w, int revents)
1393 {
1394 // stop the I/O watcher, we received the event, but
1395 // are not yet ready to handle it.
1396 ev_io_stop (EV_A_ w);
1397
1398 // start the idle watcher to ahndle the actual event.
1399 // it will not be executed as long as other watchers
1400 // with the default priority are receiving events.
1401 ev_idle_start (EV_A_ &idle);
1402 }
1403
1404 static void
1405 idle_cb (EV_P_ ev_idle *w, int revents)
1406 {
1407 // actual processing
1408 read (STDIN_FILENO, ...);
1409
1410 // have to start the I/O watcher again, as
1411 // we have handled the event
1412 ev_io_start (EV_P_ &io);
1413 }
1414
1415 // initialisation
1416 ev_idle_init (&idle, idle_cb);
1417 ev_io_init (&io, io_cb, STDIN_FILENO, EV_READ);
1418 ev_io_start (EV_DEFAULT_ &io);
1419
1420In the "real" world, it might also be beneficial to start a timer, so that
1421low-priority connections can not be locked out forever under load. This
1422enables your program to keep a lower latency for important connections
1423during short periods of high load, while not completely locking out less
1424important ones.
1163 1425
1164 1426
1165=head1 WATCHER TYPES 1427=head1 WATCHER TYPES
1166 1428
1167This section describes each watcher in detail, but will not repeat 1429This section describes each watcher in detail, but will not repeat
1193descriptors to non-blocking mode is also usually a good idea (but not 1455descriptors to non-blocking mode is also usually a good idea (but not
1194required if you know what you are doing). 1456required if you know what you are doing).
1195 1457
1196If you cannot use non-blocking mode, then force the use of a 1458If you cannot use non-blocking mode, then force the use of a
1197known-to-be-good backend (at the time of this writing, this includes only 1459known-to-be-good backend (at the time of this writing, this includes only
1198C<EVBACKEND_SELECT> and C<EVBACKEND_POLL>). 1460C<EVBACKEND_SELECT> and C<EVBACKEND_POLL>). The same applies to file
1461descriptors for which non-blocking operation makes no sense (such as
1462files) - libev doesn't guarentee any specific behaviour in that case.
1199 1463
1200Another thing you have to watch out for is that it is quite easy to 1464Another thing you have to watch out for is that it is quite easy to
1201receive "spurious" readiness notifications, that is your callback might 1465receive "spurious" readiness notifications, that is your callback might
1202be called with C<EV_READ> but a subsequent C<read>(2) will actually block 1466be called with C<EV_READ> but a subsequent C<read>(2) will actually block
1203because there is no data. Not only are some backends known to create a 1467because there is no data. Not only are some backends known to create a
1324year, it will still time out after (roughly) one hour. "Roughly" because 1588year, it will still time out after (roughly) one hour. "Roughly" because
1325detecting time jumps is hard, and some inaccuracies are unavoidable (the 1589detecting time jumps is hard, and some inaccuracies are unavoidable (the
1326monotonic clock option helps a lot here). 1590monotonic clock option helps a lot here).
1327 1591
1328The callback is guaranteed to be invoked only I<after> its timeout has 1592The callback is guaranteed to be invoked only I<after> its timeout has
1329passed. If multiple timers become ready during the same loop iteration 1593passed (not I<at>, so on systems with very low-resolution clocks this
1330then the ones with earlier time-out values are invoked before ones with 1594might introduce a small delay). If multiple timers become ready during the
1331later time-out values (but this is no longer true when a callback calls 1595same loop iteration then the ones with earlier time-out values are invoked
1332C<ev_loop> recursively). 1596before ones of the same priority with later time-out values (but this is
1597no longer true when a callback calls C<ev_loop> recursively).
1333 1598
1334=head3 Be smart about timeouts 1599=head3 Be smart about timeouts
1335 1600
1336Many real-world problems involve some kind of timeout, usually for error 1601Many real-world problems involve some kind of timeout, usually for error
1337recovery. A typical example is an HTTP request - if the other side hangs, 1602recovery. A typical example is an HTTP request - if the other side hangs,
1381C<after> argument to C<ev_timer_set>, and only ever use the C<repeat> 1646C<after> argument to C<ev_timer_set>, and only ever use the C<repeat>
1382member and C<ev_timer_again>. 1647member and C<ev_timer_again>.
1383 1648
1384At start: 1649At start:
1385 1650
1386 ev_timer_init (timer, callback); 1651 ev_init (timer, callback);
1387 timer->repeat = 60.; 1652 timer->repeat = 60.;
1388 ev_timer_again (loop, timer); 1653 ev_timer_again (loop, timer);
1389 1654
1390Each time there is some activity: 1655Each time there is some activity:
1391 1656
1453 1718
1454To start the timer, simply initialise the watcher and set C<last_activity> 1719To start the timer, simply initialise the watcher and set C<last_activity>
1455to the current time (meaning we just have some activity :), then call the 1720to the current time (meaning we just have some activity :), then call the
1456callback, which will "do the right thing" and start the timer: 1721callback, which will "do the right thing" and start the timer:
1457 1722
1458 ev_timer_init (timer, callback); 1723 ev_init (timer, callback);
1459 last_activity = ev_now (loop); 1724 last_activity = ev_now (loop);
1460 callback (loop, timer, EV_TIMEOUT); 1725 callback (loop, timer, EV_TIMEOUT);
1461 1726
1462And when there is some activity, simply store the current time in 1727And when there is some activity, simply store the current time in
1463C<last_activity>, no libev calls at all: 1728C<last_activity>, no libev calls at all:
1524 1789
1525If the event loop is suspended for a long time, you can also force an 1790If the event loop is suspended for a long time, you can also force an
1526update of the time returned by C<ev_now ()> by calling C<ev_now_update 1791update of the time returned by C<ev_now ()> by calling C<ev_now_update
1527()>. 1792()>.
1528 1793
1794=head3 The special problems of suspended animation
1795
1796When you leave the server world it is quite customary to hit machines that
1797can suspend/hibernate - what happens to the clocks during such a suspend?
1798
1799Some quick tests made with a Linux 2.6.28 indicate that a suspend freezes
1800all processes, while the clocks (C<times>, C<CLOCK_MONOTONIC>) continue
1801to run until the system is suspended, but they will not advance while the
1802system is suspended. That means, on resume, it will be as if the program
1803was frozen for a few seconds, but the suspend time will not be counted
1804towards C<ev_timer> when a monotonic clock source is used. The real time
1805clock advanced as expected, but if it is used as sole clocksource, then a
1806long suspend would be detected as a time jump by libev, and timers would
1807be adjusted accordingly.
1808
1809I would not be surprised to see different behaviour in different between
1810operating systems, OS versions or even different hardware.
1811
1812The other form of suspend (job control, or sending a SIGSTOP) will see a
1813time jump in the monotonic clocks and the realtime clock. If the program
1814is suspended for a very long time, and monotonic clock sources are in use,
1815then you can expect C<ev_timer>s to expire as the full suspension time
1816will be counted towards the timers. When no monotonic clock source is in
1817use, then libev will again assume a timejump and adjust accordingly.
1818
1819It might be beneficial for this latter case to call C<ev_suspend>
1820and C<ev_resume> in code that handles C<SIGTSTP>, to at least get
1821deterministic behaviour in this case (you can do nothing against
1822C<SIGSTOP>).
1823
1529=head3 Watcher-Specific Functions and Data Members 1824=head3 Watcher-Specific Functions and Data Members
1530 1825
1531=over 4 1826=over 4
1532 1827
1533=item ev_timer_init (ev_timer *, callback, ev_tstamp after, ev_tstamp repeat) 1828=item ev_timer_init (ev_timer *, callback, ev_tstamp after, ev_tstamp repeat)
1556If the timer is started but non-repeating, stop it (as if it timed out). 1851If the timer is started but non-repeating, stop it (as if it timed out).
1557 1852
1558If the timer is repeating, either start it if necessary (with the 1853If the timer is repeating, either start it if necessary (with the
1559C<repeat> value), or reset the running timer to the C<repeat> value. 1854C<repeat> value), or reset the running timer to the C<repeat> value.
1560 1855
1561This sounds a bit complicated, see "Be smart about timeouts", above, for a 1856This sounds a bit complicated, see L<Be smart about timeouts>, above, for a
1562usage example. 1857usage example.
1858
1859=item ev_tstamp ev_timer_remaining (loop, ev_timer *)
1860
1861Returns the remaining time until a timer fires. If the timer is active,
1862then this time is relative to the current event loop time, otherwise it's
1863the timeout value currently configured.
1864
1865That is, after an C<ev_timer_set (w, 5, 7)>, C<ev_timer_remaining> returns
1866C<5>. When the timer is started and one second passes, C<ev_timer_remain>
1867will return C<4>. When the timer expires and is restarted, it will return
1868roughly C<7> (likely slightly less as callback invocation takes some time,
1869too), and so on.
1563 1870
1564=item ev_tstamp repeat [read-write] 1871=item ev_tstamp repeat [read-write]
1565 1872
1566The current C<repeat> value. Will be used each time the watcher times out 1873The current C<repeat> value. Will be used each time the watcher times out
1567or C<ev_timer_again> is called, and determines the next timeout (if any), 1874or C<ev_timer_again> is called, and determines the next timeout (if any),
1803Signal watchers will trigger an event when the process receives a specific 2110Signal watchers will trigger an event when the process receives a specific
1804signal one or more times. Even though signals are very asynchronous, libev 2111signal one or more times. Even though signals are very asynchronous, libev
1805will try it's best to deliver signals synchronously, i.e. as part of the 2112will try it's best to deliver signals synchronously, i.e. as part of the
1806normal event processing, like any other event. 2113normal event processing, like any other event.
1807 2114
1808If you want signals asynchronously, just use C<sigaction> as you would 2115If you want signals to be delivered truly asynchronously, just use
1809do without libev and forget about sharing the signal. You can even use 2116C<sigaction> as you would do without libev and forget about sharing
1810C<ev_async> from a signal handler to synchronously wake up an event loop. 2117the signal. You can even use C<ev_async> from a signal handler to
2118synchronously wake up an event loop.
1811 2119
1812You can configure as many watchers as you like per signal. Only when the 2120You can configure as many watchers as you like for the same signal, but
2121only within the same loop, i.e. you can watch for C<SIGINT> in your
2122default loop and for C<SIGIO> in another loop, but you cannot watch for
2123C<SIGINT> in both the default loop and another loop at the same time. At
2124the moment, C<SIGCHLD> is permanently tied to the default loop.
2125
1813first watcher gets started will libev actually register a signal handler 2126When the first watcher gets started will libev actually register something
1814with the kernel (thus it coexists with your own signal handlers as long as 2127with the kernel (thus it coexists with your own signal handlers as long as
1815you don't register any with libev for the same signal). Similarly, when 2128you don't register any with libev for the same signal).
1816the last signal watcher for a signal is stopped, libev will reset the
1817signal handler to SIG_DFL (regardless of what it was set to before).
1818 2129
1819If possible and supported, libev will install its handlers with 2130If possible and supported, libev will install its handlers with
1820C<SA_RESTART> behaviour enabled, so system calls should not be unduly 2131C<SA_RESTART> (or equivalent) behaviour enabled, so system calls should
1821interrupted. If you have a problem with system calls getting interrupted by 2132not be unduly interrupted. If you have a problem with system calls getting
1822signals you can block all signals in an C<ev_check> watcher and unblock 2133interrupted by signals you can block all signals in an C<ev_check> watcher
1823them in an C<ev_prepare> watcher. 2134and unblock them in an C<ev_prepare> watcher.
2135
2136=head3 The special problem of inheritance over execve
2137
2138Both the signal mask (C<sigprocmask>) and the signal disposition
2139(C<sigaction>) are unspecified after starting a signal watcher (and after
2140stopping it again), that is, libev might or might not block the signal,
2141and might or might not set or restore the installed signal handler.
2142
2143While this does not matter for the signal disposition (libev never
2144sets signals to C<SIG_IGN>, so handlers will be reset to C<SIG_DFL> on
2145C<execve>), this matters for the signal mask: many programs do not expect
2146certain signals to be blocked.
2147
2148This means that before calling C<exec> (from the child) you should reset
2149the signal mask to whatever "default" you expect (all clear is a good
2150choice usually).
2151
2152The simplest way to ensure that the signal mask is reset in the child is
2153to install a fork handler with C<pthread_atfork> that resets it. That will
2154catch fork calls done by libraries (such as the libc) as well.
2155
2156In current versions of libev, you can also ensure that the signal mask is
2157not blocking any signals (except temporarily, so thread users watch out)
2158by specifying the C<EVFLAG_NOSIGFD> when creating the event loop. This
2159is not guaranteed for future versions, however.
1824 2160
1825=head3 Watcher-Specific Functions and Data Members 2161=head3 Watcher-Specific Functions and Data Members
1826 2162
1827=over 4 2163=over 4
1828 2164
1860some child status changes (most typically when a child of yours dies or 2196some child status changes (most typically when a child of yours dies or
1861exits). It is permissible to install a child watcher I<after> the child 2197exits). It is permissible to install a child watcher I<after> the child
1862has been forked (which implies it might have already exited), as long 2198has been forked (which implies it might have already exited), as long
1863as the event loop isn't entered (or is continued from a watcher), i.e., 2199as the event loop isn't entered (or is continued from a watcher), i.e.,
1864forking and then immediately registering a watcher for the child is fine, 2200forking and then immediately registering a watcher for the child is fine,
1865but forking and registering a watcher a few event loop iterations later is 2201but forking and registering a watcher a few event loop iterations later or
1866not. 2202in the next callback invocation is not.
1867 2203
1868Only the default event loop is capable of handling signals, and therefore 2204Only the default event loop is capable of handling signals, and therefore
1869you can only register child watchers in the default event loop. 2205you can only register child watchers in the default event loop.
1870 2206
2207Due to some design glitches inside libev, child watchers will always be
2208handled at maximum priority (their priority is set to C<EV_MAXPRI> by
2209libev)
2210
1871=head3 Process Interaction 2211=head3 Process Interaction
1872 2212
1873Libev grabs C<SIGCHLD> as soon as the default event loop is 2213Libev grabs C<SIGCHLD> as soon as the default event loop is
1874initialised. This is necessary to guarantee proper behaviour even if 2214initialised. This is necessary to guarantee proper behaviour even if the
1875the first child watcher is started after the child exits. The occurrence 2215first child watcher is started after the child exits. The occurrence
1876of C<SIGCHLD> is recorded asynchronously, but child reaping is done 2216of C<SIGCHLD> is recorded asynchronously, but child reaping is done
1877synchronously as part of the event loop processing. Libev always reaps all 2217synchronously as part of the event loop processing. Libev always reaps all
1878children, even ones not watched. 2218children, even ones not watched.
1879 2219
1880=head3 Overriding the Built-In Processing 2220=head3 Overriding the Built-In Processing
1890=head3 Stopping the Child Watcher 2230=head3 Stopping the Child Watcher
1891 2231
1892Currently, the child watcher never gets stopped, even when the 2232Currently, the child watcher never gets stopped, even when the
1893child terminates, so normally one needs to stop the watcher in the 2233child terminates, so normally one needs to stop the watcher in the
1894callback. Future versions of libev might stop the watcher automatically 2234callback. Future versions of libev might stop the watcher automatically
1895when a child exit is detected. 2235when a child exit is detected (calling C<ev_child_stop> twice is not a
2236problem).
1896 2237
1897=head3 Watcher-Specific Functions and Data Members 2238=head3 Watcher-Specific Functions and Data Members
1898 2239
1899=over 4 2240=over 4
1900 2241
2226 // no longer anything immediate to do. 2567 // no longer anything immediate to do.
2227 } 2568 }
2228 2569
2229 ev_idle *idle_watcher = malloc (sizeof (ev_idle)); 2570 ev_idle *idle_watcher = malloc (sizeof (ev_idle));
2230 ev_idle_init (idle_watcher, idle_cb); 2571 ev_idle_init (idle_watcher, idle_cb);
2231 ev_idle_start (loop, idle_cb); 2572 ev_idle_start (loop, idle_watcher);
2232 2573
2233 2574
2234=head2 C<ev_prepare> and C<ev_check> - customise your event loop! 2575=head2 C<ev_prepare> and C<ev_check> - customise your event loop!
2235 2576
2236Prepare and check watchers are usually (but not always) used in pairs: 2577Prepare and check watchers are usually (but not always) used in pairs:
2329 struct pollfd fds [nfd]; 2670 struct pollfd fds [nfd];
2330 // actual code will need to loop here and realloc etc. 2671 // actual code will need to loop here and realloc etc.
2331 adns_beforepoll (ads, fds, &nfd, &timeout, timeval_from (ev_time ())); 2672 adns_beforepoll (ads, fds, &nfd, &timeout, timeval_from (ev_time ()));
2332 2673
2333 /* the callback is illegal, but won't be called as we stop during check */ 2674 /* the callback is illegal, but won't be called as we stop during check */
2334 ev_timer_init (&tw, 0, timeout * 1e-3); 2675 ev_timer_init (&tw, 0, timeout * 1e-3, 0.);
2335 ev_timer_start (loop, &tw); 2676 ev_timer_start (loop, &tw);
2336 2677
2337 // create one ev_io per pollfd 2678 // create one ev_io per pollfd
2338 for (int i = 0; i < nfd; ++i) 2679 for (int i = 0; i < nfd; ++i)
2339 { 2680 {
2569event loop blocks next and before C<ev_check> watchers are being called, 2910event loop blocks next and before C<ev_check> watchers are being called,
2570and only in the child after the fork. If whoever good citizen calling 2911and only in the child after the fork. If whoever good citizen calling
2571C<ev_default_fork> cheats and calls it in the wrong process, the fork 2912C<ev_default_fork> cheats and calls it in the wrong process, the fork
2572handlers will be invoked, too, of course. 2913handlers will be invoked, too, of course.
2573 2914
2915=head3 The special problem of life after fork - how is it possible?
2916
2917Most uses of C<fork()> consist of forking, then some simple calls to ste
2918up/change the process environment, followed by a call to C<exec()>. This
2919sequence should be handled by libev without any problems.
2920
2921This changes when the application actually wants to do event handling
2922in the child, or both parent in child, in effect "continuing" after the
2923fork.
2924
2925The default mode of operation (for libev, with application help to detect
2926forks) is to duplicate all the state in the child, as would be expected
2927when I<either> the parent I<or> the child process continues.
2928
2929When both processes want to continue using libev, then this is usually the
2930wrong result. In that case, usually one process (typically the parent) is
2931supposed to continue with all watchers in place as before, while the other
2932process typically wants to start fresh, i.e. without any active watchers.
2933
2934The cleanest and most efficient way to achieve that with libev is to
2935simply create a new event loop, which of course will be "empty", and
2936use that for new watchers. This has the advantage of not touching more
2937memory than necessary, and thus avoiding the copy-on-write, and the
2938disadvantage of having to use multiple event loops (which do not support
2939signal watchers).
2940
2941When this is not possible, or you want to use the default loop for
2942other reasons, then in the process that wants to start "fresh", call
2943C<ev_default_destroy ()> followed by C<ev_default_loop (...)>. Destroying
2944the default loop will "orphan" (not stop) all registered watchers, so you
2945have to be careful not to execute code that modifies those watchers. Note
2946also that in that case, you have to re-register any signal watchers.
2947
2574=head3 Watcher-Specific Functions and Data Members 2948=head3 Watcher-Specific Functions and Data Members
2575 2949
2576=over 4 2950=over 4
2577 2951
2578=item ev_fork_init (ev_signal *, callback) 2952=item ev_fork_init (ev_signal *, callback)
2607=head3 Queueing 2981=head3 Queueing
2608 2982
2609C<ev_async> does not support queueing of data in any way. The reason 2983C<ev_async> does not support queueing of data in any way. The reason
2610is that the author does not know of a simple (or any) algorithm for a 2984is that the author does not know of a simple (or any) algorithm for a
2611multiple-writer-single-reader queue that works in all cases and doesn't 2985multiple-writer-single-reader queue that works in all cases and doesn't
2612need elaborate support such as pthreads. 2986need elaborate support such as pthreads or unportable memory access
2987semantics.
2613 2988
2614That means that if you want to queue data, you have to provide your own 2989That means that if you want to queue data, you have to provide your own
2615queue. But at least I can tell you how to implement locking around your 2990queue. But at least I can tell you how to implement locking around your
2616queue: 2991queue:
2617 2992
2775 /* doh, nothing entered */; 3150 /* doh, nothing entered */;
2776 } 3151 }
2777 3152
2778 ev_once (STDIN_FILENO, EV_READ, 10., stdin_ready, 0); 3153 ev_once (STDIN_FILENO, EV_READ, 10., stdin_ready, 0);
2779 3154
2780=item ev_feed_event (struct ev_loop *, watcher *, int revents)
2781
2782Feeds the given event set into the event loop, as if the specified event
2783had happened for the specified watcher (which must be a pointer to an
2784initialised but not necessarily started event watcher).
2785
2786=item ev_feed_fd_event (struct ev_loop *, int fd, int revents) 3155=item ev_feed_fd_event (loop, int fd, int revents)
2787 3156
2788Feed an event on the given fd, as if a file descriptor backend detected 3157Feed an event on the given fd, as if a file descriptor backend detected
2789the given events it. 3158the given events it.
2790 3159
2791=item ev_feed_signal_event (struct ev_loop *loop, int signum) 3160=item ev_feed_signal_event (loop, int signum)
2792 3161
2793Feed an event as if the given signal occurred (C<loop> must be the default 3162Feed an event as if the given signal occurred (C<loop> must be the default
2794loop!). 3163loop!).
2795 3164
2796=back 3165=back
2876 3245
2877=over 4 3246=over 4
2878 3247
2879=item ev::TYPE::TYPE () 3248=item ev::TYPE::TYPE ()
2880 3249
2881=item ev::TYPE::TYPE (struct ev_loop *) 3250=item ev::TYPE::TYPE (loop)
2882 3251
2883=item ev::TYPE::~TYPE 3252=item ev::TYPE::~TYPE
2884 3253
2885The constructor (optionally) takes an event loop to associate the watcher 3254The constructor (optionally) takes an event loop to associate the watcher
2886with. If it is omitted, it will use C<EV_DEFAULT>. 3255with. If it is omitted, it will use C<EV_DEFAULT>.
2963Example: Use a plain function as callback. 3332Example: Use a plain function as callback.
2964 3333
2965 static void io_cb (ev::io &w, int revents) { } 3334 static void io_cb (ev::io &w, int revents) { }
2966 iow.set <io_cb> (); 3335 iow.set <io_cb> ();
2967 3336
2968=item w->set (struct ev_loop *) 3337=item w->set (loop)
2969 3338
2970Associates a different C<struct ev_loop> with this watcher. You can only 3339Associates a different C<struct ev_loop> with this watcher. You can only
2971do this when the watcher is inactive (and not pending either). 3340do this when the watcher is inactive (and not pending either).
2972 3341
2973=item w->set ([arguments]) 3342=item w->set ([arguments])
3070=item Ocaml 3439=item Ocaml
3071 3440
3072Erkki Seppala has written Ocaml bindings for libev, to be found at 3441Erkki Seppala has written Ocaml bindings for libev, to be found at
3073L<http://modeemi.cs.tut.fi/~flux/software/ocaml-ev/>. 3442L<http://modeemi.cs.tut.fi/~flux/software/ocaml-ev/>.
3074 3443
3444=item Lua
3445
3446Brian Maher has written a partial interface to libev
3447for lua (only C<ev_io> and C<ev_timer>), to be found at
3448L<http://github.com/brimworks/lua-ev>.
3449
3075=back 3450=back
3076 3451
3077 3452
3078=head1 MACRO MAGIC 3453=head1 MACRO MAGIC
3079 3454
3245keeps libev from including F<config.h>, and it also defines dummy 3620keeps libev from including F<config.h>, and it also defines dummy
3246implementations for some libevent functions (such as logging, which is not 3621implementations for some libevent functions (such as logging, which is not
3247supported). It will also not define any of the structs usually found in 3622supported). It will also not define any of the structs usually found in
3248F<event.h> that are not directly supported by the libev core alone. 3623F<event.h> that are not directly supported by the libev core alone.
3249 3624
3250In stanbdalone mode, libev will still try to automatically deduce the 3625In standalone mode, libev will still try to automatically deduce the
3251configuration, but has to be more conservative. 3626configuration, but has to be more conservative.
3252 3627
3253=item EV_USE_MONOTONIC 3628=item EV_USE_MONOTONIC
3254 3629
3255If defined to be C<1>, libev will try to detect the availability of the 3630If defined to be C<1>, libev will try to detect the availability of the
3320be used is the winsock select). This means that it will call 3695be used is the winsock select). This means that it will call
3321C<_get_osfhandle> on the fd to convert it to an OS handle. Otherwise, 3696C<_get_osfhandle> on the fd to convert it to an OS handle. Otherwise,
3322it is assumed that all these functions actually work on fds, even 3697it is assumed that all these functions actually work on fds, even
3323on win32. Should not be defined on non-win32 platforms. 3698on win32. Should not be defined on non-win32 platforms.
3324 3699
3325=item EV_FD_TO_WIN32_HANDLE 3700=item EV_FD_TO_WIN32_HANDLE(fd)
3326 3701
3327If C<EV_SELECT_IS_WINSOCKET> is enabled, then libev needs a way to map 3702If C<EV_SELECT_IS_WINSOCKET> is enabled, then libev needs a way to map
3328file descriptors to socket handles. When not defining this symbol (the 3703file descriptors to socket handles. When not defining this symbol (the
3329default), then libev will call C<_get_osfhandle>, which is usually 3704default), then libev will call C<_get_osfhandle>, which is usually
3330correct. In some cases, programs use their own file descriptor management, 3705correct. In some cases, programs use their own file descriptor management,
3331in which case they can provide this function to map fds to socket handles. 3706in which case they can provide this function to map fds to socket handles.
3707
3708=item EV_WIN32_HANDLE_TO_FD(handle)
3709
3710If C<EV_SELECT_IS_WINSOCKET> then libev maps handles to file descriptors
3711using the standard C<_open_osfhandle> function. For programs implementing
3712their own fd to handle mapping, overwriting this function makes it easier
3713to do so. This can be done by defining this macro to an appropriate value.
3714
3715=item EV_WIN32_CLOSE_FD(fd)
3716
3717If programs implement their own fd to handle mapping on win32, then this
3718macro can be used to override the C<close> function, useful to unregister
3719file descriptors again. Note that the replacement function has to close
3720the underlying OS handle.
3332 3721
3333=item EV_USE_POLL 3722=item EV_USE_POLL
3334 3723
3335If defined to be C<1>, libev will compile in support for the C<poll>(2) 3724If defined to be C<1>, libev will compile in support for the C<poll>(2)
3336backend. Otherwise it will be enabled on non-win32 platforms. It 3725backend. Otherwise it will be enabled on non-win32 platforms. It
3468defined to be C<0>, then they are not. 3857defined to be C<0>, then they are not.
3469 3858
3470=item EV_MINIMAL 3859=item EV_MINIMAL
3471 3860
3472If you need to shave off some kilobytes of code at the expense of some 3861If you need to shave off some kilobytes of code at the expense of some
3473speed, define this symbol to C<1>. Currently this is used to override some 3862speed (but with the full API), define this symbol to C<1>. Currently this
3474inlining decisions, saves roughly 30% code size on amd64. It also selects a 3863is used to override some inlining decisions, saves roughly 30% code size
3475much smaller 2-heap for timer management over the default 4-heap. 3864on amd64. It also selects a much smaller 2-heap for timer management over
3865the default 4-heap.
3866
3867You can save even more by disabling watcher types you do not need
3868and setting C<EV_MAXPRI> == C<EV_MINPRI>. Also, disabling C<assert>
3869(C<-DNDEBUG>) will usually reduce code size a lot.
3870
3871Defining C<EV_MINIMAL> to C<2> will additionally reduce the core API to
3872provide a bare-bones event library. See C<ev.h> for details on what parts
3873of the API are still available, and do not complain if this subset changes
3874over time.
3875
3876=item EV_NSIG
3877
3878The highest supported signal number, +1 (or, the number of
3879signals): Normally, libev tries to deduce the maximum number of signals
3880automatically, but sometimes this fails, in which case it can be
3881specified. Also, using a lower number than detected (C<32> should be
3882good for about any system in existance) can save some memory, as libev
3883statically allocates some 12-24 bytes per signal number.
3476 3884
3477=item EV_PID_HASHSIZE 3885=item EV_PID_HASHSIZE
3478 3886
3479C<ev_child> watchers use a small hash table to distribute workload by 3887C<ev_child> watchers use a small hash table to distribute workload by
3480pid. The default size is C<16> (or C<1> with C<EV_MINIMAL>), usually more 3888pid. The default size is C<16> (or C<1> with C<EV_MINIMAL>), usually more
3666default loop and triggering an C<ev_async> watcher from the default loop 4074default loop and triggering an C<ev_async> watcher from the default loop
3667watcher callback into the event loop interested in the signal. 4075watcher callback into the event loop interested in the signal.
3668 4076
3669=back 4077=back
3670 4078
4079=head4 THREAD LOCKING EXAMPLE
4080
4081Here is a fictitious example of how to run an event loop in a different
4082thread than where callbacks are being invoked and watchers are
4083created/added/removed.
4084
4085For a real-world example, see the C<EV::Loop::Async> perl module,
4086which uses exactly this technique (which is suited for many high-level
4087languages).
4088
4089The example uses a pthread mutex to protect the loop data, a condition
4090variable to wait for callback invocations, an async watcher to notify the
4091event loop thread and an unspecified mechanism to wake up the main thread.
4092
4093First, you need to associate some data with the event loop:
4094
4095 typedef struct {
4096 mutex_t lock; /* global loop lock */
4097 ev_async async_w;
4098 thread_t tid;
4099 cond_t invoke_cv;
4100 } userdata;
4101
4102 void prepare_loop (EV_P)
4103 {
4104 // for simplicity, we use a static userdata struct.
4105 static userdata u;
4106
4107 ev_async_init (&u->async_w, async_cb);
4108 ev_async_start (EV_A_ &u->async_w);
4109
4110 pthread_mutex_init (&u->lock, 0);
4111 pthread_cond_init (&u->invoke_cv, 0);
4112
4113 // now associate this with the loop
4114 ev_set_userdata (EV_A_ u);
4115 ev_set_invoke_pending_cb (EV_A_ l_invoke);
4116 ev_set_loop_release_cb (EV_A_ l_release, l_acquire);
4117
4118 // then create the thread running ev_loop
4119 pthread_create (&u->tid, 0, l_run, EV_A);
4120 }
4121
4122The callback for the C<ev_async> watcher does nothing: the watcher is used
4123solely to wake up the event loop so it takes notice of any new watchers
4124that might have been added:
4125
4126 static void
4127 async_cb (EV_P_ ev_async *w, int revents)
4128 {
4129 // just used for the side effects
4130 }
4131
4132The C<l_release> and C<l_acquire> callbacks simply unlock/lock the mutex
4133protecting the loop data, respectively.
4134
4135 static void
4136 l_release (EV_P)
4137 {
4138 userdata *u = ev_userdata (EV_A);
4139 pthread_mutex_unlock (&u->lock);
4140 }
4141
4142 static void
4143 l_acquire (EV_P)
4144 {
4145 userdata *u = ev_userdata (EV_A);
4146 pthread_mutex_lock (&u->lock);
4147 }
4148
4149The event loop thread first acquires the mutex, and then jumps straight
4150into C<ev_loop>:
4151
4152 void *
4153 l_run (void *thr_arg)
4154 {
4155 struct ev_loop *loop = (struct ev_loop *)thr_arg;
4156
4157 l_acquire (EV_A);
4158 pthread_setcanceltype (PTHREAD_CANCEL_ASYNCHRONOUS, 0);
4159 ev_loop (EV_A_ 0);
4160 l_release (EV_A);
4161
4162 return 0;
4163 }
4164
4165Instead of invoking all pending watchers, the C<l_invoke> callback will
4166signal the main thread via some unspecified mechanism (signals? pipe
4167writes? C<Async::Interrupt>?) and then waits until all pending watchers
4168have been called (in a while loop because a) spurious wakeups are possible
4169and b) skipping inter-thread-communication when there are no pending
4170watchers is very beneficial):
4171
4172 static void
4173 l_invoke (EV_P)
4174 {
4175 userdata *u = ev_userdata (EV_A);
4176
4177 while (ev_pending_count (EV_A))
4178 {
4179 wake_up_other_thread_in_some_magic_or_not_so_magic_way ();
4180 pthread_cond_wait (&u->invoke_cv, &u->lock);
4181 }
4182 }
4183
4184Now, whenever the main thread gets told to invoke pending watchers, it
4185will grab the lock, call C<ev_invoke_pending> and then signal the loop
4186thread to continue:
4187
4188 static void
4189 real_invoke_pending (EV_P)
4190 {
4191 userdata *u = ev_userdata (EV_A);
4192
4193 pthread_mutex_lock (&u->lock);
4194 ev_invoke_pending (EV_A);
4195 pthread_cond_signal (&u->invoke_cv);
4196 pthread_mutex_unlock (&u->lock);
4197 }
4198
4199Whenever you want to start/stop a watcher or do other modifications to an
4200event loop, you will now have to lock:
4201
4202 ev_timer timeout_watcher;
4203 userdata *u = ev_userdata (EV_A);
4204
4205 ev_timer_init (&timeout_watcher, timeout_cb, 5.5, 0.);
4206
4207 pthread_mutex_lock (&u->lock);
4208 ev_timer_start (EV_A_ &timeout_watcher);
4209 ev_async_send (EV_A_ &u->async_w);
4210 pthread_mutex_unlock (&u->lock);
4211
4212Note that sending the C<ev_async> watcher is required because otherwise
4213an event loop currently blocking in the kernel will have no knowledge
4214about the newly added timer. By waking up the loop it will pick up any new
4215watchers in the next event loop iteration.
4216
3671=head3 COROUTINES 4217=head3 COROUTINES
3672 4218
3673Libev is very accommodating to coroutines ("cooperative threads"): 4219Libev is very accommodating to coroutines ("cooperative threads"):
3674libev fully supports nesting calls to its functions from different 4220libev fully supports nesting calls to its functions from different
3675coroutines (e.g. you can call C<ev_loop> on the same loop from two 4221coroutines (e.g. you can call C<ev_loop> on the same loop from two
3676different coroutines, and switch freely between both coroutines running the 4222different coroutines, and switch freely between both coroutines running
3677loop, as long as you don't confuse yourself). The only exception is that 4223the loop, as long as you don't confuse yourself). The only exception is
3678you must not do this from C<ev_periodic> reschedule callbacks. 4224that you must not do this from C<ev_periodic> reschedule callbacks.
3679 4225
3680Care has been taken to ensure that libev does not keep local state inside 4226Care has been taken to ensure that libev does not keep local state inside
3681C<ev_loop>, and other calls do not usually allow for coroutine switches as 4227C<ev_loop>, and other calls do not usually allow for coroutine switches as
3682they do not call any callbacks. 4228they do not call any callbacks.
3683 4229
3760way (note also that glib is the slowest event library known to man). 4306way (note also that glib is the slowest event library known to man).
3761 4307
3762There is no supported compilation method available on windows except 4308There is no supported compilation method available on windows except
3763embedding it into other applications. 4309embedding it into other applications.
3764 4310
4311Sensible signal handling is officially unsupported by Microsoft - libev
4312tries its best, but under most conditions, signals will simply not work.
4313
3765Not a libev limitation but worth mentioning: windows apparently doesn't 4314Not a libev limitation but worth mentioning: windows apparently doesn't
3766accept large writes: instead of resulting in a partial write, windows will 4315accept large writes: instead of resulting in a partial write, windows will
3767either accept everything or return C<ENOBUFS> if the buffer is too large, 4316either accept everything or return C<ENOBUFS> if the buffer is too large,
3768so make sure you only write small amounts into your sockets (less than a 4317so make sure you only write small amounts into your sockets (less than a
3769megabyte seems safe, but this apparently depends on the amount of memory 4318megabyte seems safe, but this apparently depends on the amount of memory
3773the abysmal performance of winsockets, using a large number of sockets 4322the abysmal performance of winsockets, using a large number of sockets
3774is not recommended (and not reasonable). If your program needs to use 4323is not recommended (and not reasonable). If your program needs to use
3775more than a hundred or so sockets, then likely it needs to use a totally 4324more than a hundred or so sockets, then likely it needs to use a totally
3776different implementation for windows, as libev offers the POSIX readiness 4325different implementation for windows, as libev offers the POSIX readiness
3777notification model, which cannot be implemented efficiently on windows 4326notification model, which cannot be implemented efficiently on windows
3778(Microsoft monopoly games). 4327(due to Microsoft monopoly games).
3779 4328
3780A typical way to use libev under windows is to embed it (see the embedding 4329A typical way to use libev under windows is to embed it (see the embedding
3781section for details) and use the following F<evwrap.h> header file instead 4330section for details) and use the following F<evwrap.h> header file instead
3782of F<ev.h>: 4331of F<ev.h>:
3783 4332
3819 4368
3820Early versions of winsocket's select only supported waiting for a maximum 4369Early versions of winsocket's select only supported waiting for a maximum
3821of C<64> handles (probably owning to the fact that all windows kernels 4370of C<64> handles (probably owning to the fact that all windows kernels
3822can only wait for C<64> things at the same time internally; Microsoft 4371can only wait for C<64> things at the same time internally; Microsoft
3823recommends spawning a chain of threads and wait for 63 handles and the 4372recommends spawning a chain of threads and wait for 63 handles and the
3824previous thread in each. Great). 4373previous thread in each. Sounds great!).
3825 4374
3826Newer versions support more handles, but you need to define C<FD_SETSIZE> 4375Newer versions support more handles, but you need to define C<FD_SETSIZE>
3827to some high number (e.g. C<2048>) before compiling the winsocket select 4376to some high number (e.g. C<2048>) before compiling the winsocket select
3828call (which might be in libev or elsewhere, for example, perl does its own 4377call (which might be in libev or elsewhere, for example, perl and many
3829select emulation on windows). 4378other interpreters do their own select emulation on windows).
3830 4379
3831Another limit is the number of file descriptors in the Microsoft runtime 4380Another limit is the number of file descriptors in the Microsoft runtime
3832libraries, which by default is C<64> (there must be a hidden I<64> fetish 4381libraries, which by default is C<64> (there must be a hidden I<64>
3833or something like this inside Microsoft). You can increase this by calling 4382fetish or something like this inside Microsoft). You can increase this
3834C<_setmaxstdio>, which can increase this limit to C<2048> (another 4383by calling C<_setmaxstdio>, which can increase this limit to C<2048>
3835arbitrary limit), but is broken in many versions of the Microsoft runtime 4384(another arbitrary limit), but is broken in many versions of the Microsoft
3836libraries.
3837
3838This might get you to about C<512> or C<2048> sockets (depending on 4385runtime libraries. This might get you to about C<512> or C<2048> sockets
3839windows version and/or the phase of the moon). To get more, you need to 4386(depending on windows version and/or the phase of the moon). To get more,
3840wrap all I/O functions and provide your own fd management, but the cost of 4387you need to wrap all I/O functions and provide your own fd management, but
3841calling select (O(n²)) will likely make this unworkable. 4388the cost of calling select (O(n²)) will likely make this unworkable.
3842 4389
3843=back 4390=back
3844 4391
3845=head2 PORTABILITY REQUIREMENTS 4392=head2 PORTABILITY REQUIREMENTS
3846 4393
3889=item C<double> must hold a time value in seconds with enough accuracy 4436=item C<double> must hold a time value in seconds with enough accuracy
3890 4437
3891The type C<double> is used to represent timestamps. It is required to 4438The type C<double> is used to represent timestamps. It is required to
3892have at least 51 bits of mantissa (and 9 bits of exponent), which is good 4439have at least 51 bits of mantissa (and 9 bits of exponent), which is good
3893enough for at least into the year 4000. This requirement is fulfilled by 4440enough for at least into the year 4000. This requirement is fulfilled by
3894implementations implementing IEEE 754 (basically all existing ones). 4441implementations implementing IEEE 754, which is basically all existing
4442ones. With IEEE 754 doubles, you get microsecond accuracy until at least
44432200.
3895 4444
3896=back 4445=back
3897 4446
3898If you know of other additional requirements drop me a note. 4447If you know of other additional requirements drop me a note.
3899 4448
3967involves iterating over all running async watchers or all signal numbers. 4516involves iterating over all running async watchers or all signal numbers.
3968 4517
3969=back 4518=back
3970 4519
3971 4520
4521=head1 GLOSSARY
4522
4523=over 4
4524
4525=item active
4526
4527A watcher is active as long as it has been started (has been attached to
4528an event loop) but not yet stopped (disassociated from the event loop).
4529
4530=item application
4531
4532In this document, an application is whatever is using libev.
4533
4534=item callback
4535
4536The address of a function that is called when some event has been
4537detected. Callbacks are being passed the event loop, the watcher that
4538received the event, and the actual event bitset.
4539
4540=item callback invocation
4541
4542The act of calling the callback associated with a watcher.
4543
4544=item event
4545
4546A change of state of some external event, such as data now being available
4547for reading on a file descriptor, time having passed or simply not having
4548any other events happening anymore.
4549
4550In libev, events are represented as single bits (such as C<EV_READ> or
4551C<EV_TIMEOUT>).
4552
4553=item event library
4554
4555A software package implementing an event model and loop.
4556
4557=item event loop
4558
4559An entity that handles and processes external events and converts them
4560into callback invocations.
4561
4562=item event model
4563
4564The model used to describe how an event loop handles and processes
4565watchers and events.
4566
4567=item pending
4568
4569A watcher is pending as soon as the corresponding event has been detected,
4570and stops being pending as soon as the watcher will be invoked or its
4571pending status is explicitly cleared by the application.
4572
4573A watcher can be pending, but not active. Stopping a watcher also clears
4574its pending status.
4575
4576=item real time
4577
4578The physical time that is observed. It is apparently strictly monotonic :)
4579
4580=item wall-clock time
4581
4582The time and date as shown on clocks. Unlike real time, it can actually
4583be wrong and jump forwards and backwards, e.g. when the you adjust your
4584clock.
4585
4586=item watcher
4587
4588A data structure that describes interest in certain events. Watchers need
4589to be started (attached to an event loop) before they can receive events.
4590
4591=item watcher invocation
4592
4593The act of calling the callback associated with a watcher.
4594
4595=back
4596
3972=head1 AUTHOR 4597=head1 AUTHOR
3973 4598
3974Marc Lehmann <libev@schmorp.de>, with repeated corrections by Mikael Magnusson. 4599Marc Lehmann <libev@schmorp.de>, with repeated corrections by Mikael Magnusson.
3975 4600

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines