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

Comparing libev/ev.pod (file contents):
Revision 1.290 by root, Tue Mar 16 18:03:01 2010 UTC vs.
Revision 1.309 by root, Thu Oct 21 09:23:21 2010 UTC

75While this document tries to be as complete as possible in documenting 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 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 77on event-based programming, nor will it introduce event-based programming
78with libev. 78with libev.
79 79
80Familarity with event based programming techniques in general is assumed 80Familiarity with event based programming techniques in general is assumed
81throughout this document. 81throughout this document.
82 82
83=head1 ABOUT LIBEV 83=head1 ABOUT LIBEV
84 84
85Libev 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
124this argument. 124this argument.
125 125
126=head2 TIME REPRESENTATION 126=head2 TIME REPRESENTATION
127 127
128Libev represents time as a single floating point number, representing 128Libev represents time as a single floating point number, representing
129the (fractional) number of seconds since the (POSIX) epoch (somewhere 129the (fractional) number of seconds since the (POSIX) epoch (in practise
130near the beginning of 1970, details are complicated, don't ask). This 130somewhere near the beginning of 1970, details are complicated, don't
131type is called C<ev_tstamp>, which is what you should use too. It usually 131ask). This type is called C<ev_tstamp>, which is what you should use
132aliases to the C<double> type in C. When you need to do any calculations 132too. It usually aliases to the C<double> type in C. When you need to do
133on it, you should treat it as some floating point value. Unlike the name 133any calculations on it, you should treat it as some floating point value.
134
134component C<stamp> might indicate, it is also used for time differences 135Unlike the name component C<stamp> might indicate, it is also used for
135throughout libev. 136time differences (e.g. delays) throughout libev.
136 137
137=head1 ERROR HANDLING 138=head1 ERROR HANDLING
138 139
139Libev knows three classes of errors: operating system errors, usage errors 140Libev knows three classes of errors: operating system errors, usage errors
140and internal errors (bugs). 141and internal errors (bugs).
191as this indicates an incompatible change. Minor versions are usually 192as this indicates an incompatible change. Minor versions are usually
192compatible to older versions, so a larger minor version alone is usually 193compatible to older versions, so a larger minor version alone is usually
193not a problem. 194not a problem.
194 195
195Example: Make sure we haven't accidentally been linked against the wrong 196Example: Make sure we haven't accidentally been linked against the wrong
196version. 197version (note, however, that this will not detect ABI mismatches :).
197 198
198 assert (("libev version mismatch", 199 assert (("libev version mismatch",
199 ev_version_major () == EV_VERSION_MAJOR 200 ev_version_major () == EV_VERSION_MAJOR
200 && ev_version_minor () >= EV_VERSION_MINOR)); 201 && ev_version_minor () >= EV_VERSION_MINOR));
201 202
345useful to try out specific backends to test their performance, or to work 346useful to try out specific backends to test their performance, or to work
346around bugs. 347around bugs.
347 348
348=item C<EVFLAG_FORKCHECK> 349=item C<EVFLAG_FORKCHECK>
349 350
350Instead of calling C<ev_default_fork> or C<ev_loop_fork> manually after 351Instead of calling C<ev_loop_fork> manually after a fork, you can also
351a fork, you can also make libev check for a fork in each iteration by 352make libev check for a fork in each iteration by enabling this flag.
352enabling this flag.
353 353
354This works by calling C<getpid ()> on every iteration of the loop, 354This works by calling C<getpid ()> on every iteration of the loop,
355and thus this might slow down your event loop if you do a lot of loop 355and thus this might slow down your event loop if you do a lot of loop
356iterations and little real work, but is usually not noticeable (on my 356iterations and little real work, but is usually not noticeable (on my
357GNU/Linux system for example, C<getpid> is actually a simple 5-insn sequence 357GNU/Linux system for example, C<getpid> is actually a simple 5-insn sequence
439of course I<doesn't>, and epoll just loves to report events for totally 439of course I<doesn't>, and epoll just loves to report events for totally
440I<different> file descriptors (even already closed ones, so one cannot 440I<different> file descriptors (even already closed ones, so one cannot
441even remove them from the set) than registered in the set (especially 441even remove them from the set) than registered in the set (especially
442on SMP systems). Libev tries to counter these spurious notifications by 442on SMP systems). Libev tries to counter these spurious notifications by
443employing an additional generation counter and comparing that against the 443employing an additional generation counter and comparing that against the
444events to filter out spurious ones, recreating the set when required. 444events to filter out spurious ones, recreating the set when required. Last
445not least, it also refuses to work with some file descriptors which work
446perfectly fine with C<select> (files, many character devices...).
445 447
446While stopping, setting and starting an I/O watcher in the same iteration 448While stopping, setting and starting an I/O watcher in the same iteration
447will result in some caching, there is still a system call per such 449will result in some caching, there is still a system call per such
448incident (because the same I<file descriptor> could point to a different 450incident (because the same I<file descriptor> could point to a different
449I<file description> now), so its best to avoid that. Also, C<dup ()>'ed 451I<file description> now), so its best to avoid that. Also, C<dup ()>'ed
611name, you can call it anytime, but it makes most sense after forking, in 613name, you can call it anytime, but it makes most sense after forking, in
612the child process (or both child and parent, but that again makes little 614the child process (or both child and parent, but that again makes little
613sense). You I<must> call it in the child before using any of the libev 615sense). You I<must> call it in the child before using any of the libev
614functions, and it will only take effect at the next C<ev_loop> iteration. 616functions, and it will only take effect at the next C<ev_loop> iteration.
615 617
618Again, you I<have> to call it on I<any> loop that you want to re-use after
619a fork, I<even if you do not plan to use the loop in the parent>. This is
620because some kernel interfaces *cough* I<kqueue> *cough* do funny things
621during fork.
622
616On the other hand, you only need to call this function in the child 623On the other hand, you only need to call this function in the child
617process if and only if you want to use the event library in the child. If 624process if and only if you want to use the event loop in the child. If you
618you just fork+exec, you don't have to call it at all. 625just fork+exec or create a new loop in the child, you don't have to call
626it at all.
619 627
620The function itself is quite fast and it's usually not a problem to call 628The function itself is quite fast and it's usually not a problem to call
621it just in case after a fork. To make this easy, the function will fit in 629it just in case after a fork. To make this easy, the function will fit in
622quite nicely into a call to C<pthread_atfork>: 630quite nicely into a call to C<pthread_atfork>:
623 631
625 633
626=item ev_loop_fork (loop) 634=item ev_loop_fork (loop)
627 635
628Like C<ev_default_fork>, but acts on an event loop created by 636Like C<ev_default_fork>, but acts on an event loop created by
629C<ev_loop_new>. Yes, you have to call this on every allocated event loop 637C<ev_loop_new>. Yes, you have to call this on every allocated event loop
630after fork that you want to re-use in the child, and how you do this is 638after fork that you want to re-use in the child, and how you keep track of
631entirely your own problem. 639them is entirely your own problem.
632 640
633=item int ev_is_default_loop (loop) 641=item int ev_is_default_loop (loop)
634 642
635Returns true when the given loop is, in fact, the default loop, and false 643Returns true when the given loop is, in fact, the default loop, and false
636otherwise. 644otherwise.
637 645
638=item unsigned int ev_loop_count (loop) 646=item unsigned int ev_iteration (loop)
639 647
640Returns the count of loop iterations for the loop, which is identical to 648Returns the current iteration count for the loop, which is identical to
641the number of times libev did poll for new events. It starts at C<0> and 649the number of times libev did poll for new events. It starts at C<0> and
642happily wraps around with enough iterations. 650happily wraps around with enough iterations.
643 651
644This value can sometimes be useful as a generation counter of sorts (it 652This value can sometimes be useful as a generation counter of sorts (it
645"ticks" the number of loop iterations), as it roughly corresponds with 653"ticks" the number of loop iterations), as it roughly corresponds with
646C<ev_prepare> and C<ev_check> calls. 654C<ev_prepare> and C<ev_check> calls - and is incremented between the
655prepare and check phases.
647 656
648=item unsigned int ev_loop_depth (loop) 657=item unsigned int ev_depth (loop)
649 658
650Returns the number of times C<ev_loop> was entered minus the number of 659Returns the number of times C<ev_loop> was entered minus the number of
651times C<ev_loop> was exited, in other words, the recursion depth. 660times C<ev_loop> was exited, in other words, the recursion depth.
652 661
653Outside C<ev_loop>, this number is zero. In a callback, this number is 662Outside C<ev_loop>, this number is zero. In a callback, this number is
654C<1>, unless C<ev_loop> was invoked recursively (or from another thread), 663C<1>, unless C<ev_loop> was invoked recursively (or from another thread),
655in which case it is higher. 664in which case it is higher.
656 665
657Leaving C<ev_loop> abnormally (setjmp/longjmp, cancelling the thread 666Leaving C<ev_loop> abnormally (setjmp/longjmp, cancelling the thread
658etc.), doesn't count as exit. 667etc.), doesn't count as "exit" - consider this as a hint to avoid such
668ungentleman behaviour unless it's really convenient.
659 669
660=item unsigned int ev_backend (loop) 670=item unsigned int ev_backend (loop)
661 671
662Returns one of the C<EVBACKEND_*> flags indicating the event backend in 672Returns one of the C<EVBACKEND_*> flags indicating the event backend in
663use. 673use.
697C<ev_resume> directly afterwards to resume timer processing. 707C<ev_resume> directly afterwards to resume timer processing.
698 708
699Effectively, all C<ev_timer> watchers will be delayed by the time spend 709Effectively, all C<ev_timer> watchers will be delayed by the time spend
700between C<ev_suspend> and C<ev_resume>, and all C<ev_periodic> watchers 710between C<ev_suspend> and C<ev_resume>, and all C<ev_periodic> watchers
701will be rescheduled (that is, they will lose any events that would have 711will be rescheduled (that is, they will lose any events that would have
702occured while suspended). 712occurred while suspended).
703 713
704After calling C<ev_suspend> you B<must not> call I<any> function on the 714After calling C<ev_suspend> you B<must not> call I<any> function on the
705given loop other than C<ev_resume>, and you B<must not> call C<ev_resume> 715given loop other than C<ev_resume>, and you B<must not> call C<ev_resume>
706without a previous call to C<ev_suspend>. 716without a previous call to C<ev_suspend>.
707 717
784C<EVUNLOOP_ONE>, which will make the innermost C<ev_loop> call return, or 794C<EVUNLOOP_ONE>, which will make the innermost C<ev_loop> call return, or
785C<EVUNLOOP_ALL>, which will make all nested C<ev_loop> calls return. 795C<EVUNLOOP_ALL>, which will make all nested C<ev_loop> calls return.
786 796
787This "unloop state" will be cleared when entering C<ev_loop> again. 797This "unloop state" will be cleared when entering C<ev_loop> again.
788 798
789It is safe to call C<ev_unloop> from otuside any C<ev_loop> calls. 799It is safe to call C<ev_unloop> from outside any C<ev_loop> calls.
790 800
791=item ev_ref (loop) 801=item ev_ref (loop)
792 802
793=item ev_unref (loop) 803=item ev_unref (loop)
794 804
864usually doesn't make much sense to set it to a lower value than C<0.01>, 874usually doesn't make much sense to set it to a lower value than C<0.01>,
865as this approaches the timing granularity of most systems. Note that if 875as this approaches the timing granularity of most systems. Note that if
866you do transactions with the outside world and you can't increase the 876you do transactions with the outside world and you can't increase the
867parallelity, then this setting will limit your transaction rate (if you 877parallelity, then this setting will limit your transaction rate (if you
868need to poll once per transaction and the I/O collect interval is 0.01, 878need to poll once per transaction and the I/O collect interval is 0.01,
869then you can't do more than 100 transations per second). 879then you can't do more than 100 transactions per second).
870 880
871Setting the I<timeout collect interval> can improve the opportunity for 881Setting the I<timeout collect interval> can improve the opportunity for
872saving power, as the program will "bundle" timer callback invocations that 882saving power, as the program will "bundle" timer callback invocations that
873are "near" in time together, by delaying some, thus reducing the number of 883are "near" in time together, by delaying some, thus reducing the number of
874times the process sleeps and wakes up again. Another useful technique to 884times the process sleeps and wakes up again. Another useful technique to
944These two functions can be used to associate arbitrary data with a loop, 954These two functions can be used to associate arbitrary data with a loop,
945and are intended solely for the C<invoke_pending_cb>, C<release> and 955and are intended solely for the C<invoke_pending_cb>, C<release> and
946C<acquire> callbacks described above, but of course can be (ab-)used for 956C<acquire> callbacks described above, but of course can be (ab-)used for
947any other purpose as well. 957any other purpose as well.
948 958
949=item ev_loop_verify (loop) 959=item ev_verify (loop)
950 960
951This function only does something when C<EV_VERIFY> support has been 961This function only does something when C<EV_VERIFY> support has been
952compiled in, which is the default for non-minimal builds. It tries to go 962compiled in, which is the default for non-minimal builds. It tries to go
953through all internal structures and checks them for validity. If anything 963through all internal structures and checks them for validity. If anything
954is found to be inconsistent, it will print an error message to standard 964is found to be inconsistent, it will print an error message to standard
1372 1382
1373For example, to emulate how many other event libraries handle priorities, 1383For example, to emulate how many other event libraries handle priorities,
1374you can associate an C<ev_idle> watcher to each such watcher, and in 1384you can associate an C<ev_idle> watcher to each such watcher, and in
1375the normal watcher callback, you just start the idle watcher. The real 1385the normal watcher callback, you just start the idle watcher. The real
1376processing is done in the idle watcher callback. This causes libev to 1386processing is done in the idle watcher callback. This causes libev to
1377continously poll and process kernel event data for the watcher, but when 1387continuously poll and process kernel event data for the watcher, but when
1378the lock-out case is known to be rare (which in turn is rare :), this is 1388the lock-out case is known to be rare (which in turn is rare :), this is
1379workable. 1389workable.
1380 1390
1381Usually, however, the lock-out model implemented that way will perform 1391Usually, however, the lock-out model implemented that way will perform
1382miserably under the type of load it was designed to handle. In that case, 1392miserably under the type of load it was designed to handle. In that case,
1396 { 1406 {
1397 // stop the I/O watcher, we received the event, but 1407 // stop the I/O watcher, we received the event, but
1398 // are not yet ready to handle it. 1408 // are not yet ready to handle it.
1399 ev_io_stop (EV_A_ w); 1409 ev_io_stop (EV_A_ w);
1400 1410
1401 // start the idle watcher to ahndle the actual event. 1411 // start the idle watcher to handle the actual event.
1402 // it will not be executed as long as other watchers 1412 // it will not be executed as long as other watchers
1403 // with the default priority are receiving events. 1413 // with the default priority are receiving events.
1404 ev_idle_start (EV_A_ &idle); 1414 ev_idle_start (EV_A_ &idle);
1405 } 1415 }
1406 1416
1460 1470
1461If you cannot use non-blocking mode, then force the use of a 1471If you cannot use non-blocking mode, then force the use of a
1462known-to-be-good backend (at the time of this writing, this includes only 1472known-to-be-good backend (at the time of this writing, this includes only
1463C<EVBACKEND_SELECT> and C<EVBACKEND_POLL>). The same applies to file 1473C<EVBACKEND_SELECT> and C<EVBACKEND_POLL>). The same applies to file
1464descriptors for which non-blocking operation makes no sense (such as 1474descriptors for which non-blocking operation makes no sense (such as
1465files) - libev doesn't guarentee any specific behaviour in that case. 1475files) - libev doesn't guarantee any specific behaviour in that case.
1466 1476
1467Another thing you have to watch out for is that it is quite easy to 1477Another thing you have to watch out for is that it is quite easy to
1468receive "spurious" readiness notifications, that is your callback might 1478receive "spurious" readiness notifications, that is your callback might
1469be called with C<EV_READ> but a subsequent C<read>(2) will actually block 1479be called with C<EV_READ> but a subsequent C<read>(2) will actually block
1470because there is no data. Not only are some backends known to create a 1480because there is no data. Not only are some backends known to create a
1538somewhere, as that would have given you a big clue). 1548somewhere, as that would have given you a big clue).
1539 1549
1540=head3 The special problem of accept()ing when you can't 1550=head3 The special problem of accept()ing when you can't
1541 1551
1542Many implementations of the POSIX C<accept> function (for example, 1552Many implementations of the POSIX C<accept> function (for example,
1543found in port-2004 Linux) have the peculiar behaviour of not removing a 1553found in post-2004 Linux) have the peculiar behaviour of not removing a
1544connection from the pending queue in all error cases. 1554connection from the pending queue in all error cases.
1545 1555
1546For example, larger servers often run out of file descriptors (because 1556For example, larger servers often run out of file descriptors (because
1547of resource limits), causing C<accept> to fail with C<ENFILE> but not 1557of resource limits), causing C<accept> to fail with C<ENFILE> but not
1548rejecting the connection, leading to libev signalling readiness on 1558rejecting the connection, leading to libev signalling readiness on
1729 ev_tstamp timeout = last_activity + 60.; 1739 ev_tstamp timeout = last_activity + 60.;
1730 1740
1731 // if last_activity + 60. is older than now, we did time out 1741 // if last_activity + 60. is older than now, we did time out
1732 if (timeout < now) 1742 if (timeout < now)
1733 { 1743 {
1734 // timeout occured, take action 1744 // timeout occurred, take action
1735 } 1745 }
1736 else 1746 else
1737 { 1747 {
1738 // callback was invoked, but there was some activity, re-arm 1748 // callback was invoked, but there was some activity, re-arm
1739 // the watcher to fire in last_activity + 60, which is 1749 // the watcher to fire in last_activity + 60, which is
1766 callback (loop, timer, EV_TIMER); 1776 callback (loop, timer, EV_TIMER);
1767 1777
1768And when there is some activity, simply store the current time in 1778And when there is some activity, simply store the current time in
1769C<last_activity>, no libev calls at all: 1779C<last_activity>, no libev calls at all:
1770 1780
1771 last_actiivty = ev_now (loop); 1781 last_activity = ev_now (loop);
1772 1782
1773This technique is slightly more complex, but in most cases where the 1783This technique is slightly more complex, but in most cases where the
1774time-out is unlikely to be triggered, much more efficient. 1784time-out is unlikely to be triggered, much more efficient.
1775 1785
1776Changing the timeout is trivial as well (if it isn't hard-coded in the 1786Changing the timeout is trivial as well (if it isn't hard-coded in the
2115Example: Call a callback every hour, or, more precisely, whenever the 2125Example: Call a callback every hour, or, more precisely, whenever the
2116system time is divisible by 3600. The callback invocation times have 2126system time is divisible by 3600. The callback invocation times have
2117potentially a lot of jitter, but good long-term stability. 2127potentially a lot of jitter, but good long-term stability.
2118 2128
2119 static void 2129 static void
2120 clock_cb (struct ev_loop *loop, ev_io *w, int revents) 2130 clock_cb (struct ev_loop *loop, ev_periodic *w, int revents)
2121 { 2131 {
2122 ... its now a full hour (UTC, or TAI or whatever your clock follows) 2132 ... its now a full hour (UTC, or TAI or whatever your clock follows)
2123 } 2133 }
2124 2134
2125 ev_periodic hourly_tick; 2135 ev_periodic hourly_tick;
2957C<ev_default_fork> cheats and calls it in the wrong process, the fork 2967C<ev_default_fork> cheats and calls it in the wrong process, the fork
2958handlers will be invoked, too, of course. 2968handlers will be invoked, too, of course.
2959 2969
2960=head3 The special problem of life after fork - how is it possible? 2970=head3 The special problem of life after fork - how is it possible?
2961 2971
2962Most uses of C<fork()> consist of forking, then some simple calls to ste 2972Most uses of C<fork()> consist of forking, then some simple calls to set
2963up/change the process environment, followed by a call to C<exec()>. This 2973up/change the process environment, followed by a call to C<exec()>. This
2964sequence should be handled by libev without any problems. 2974sequence should be handled by libev without any problems.
2965 2975
2966This changes when the application actually wants to do event handling 2976This changes when the application actually wants to do event handling
2967in the child, or both parent in child, in effect "continuing" after the 2977in the child, or both parent in child, in effect "continuing" after the
3001believe me. 3011believe me.
3002 3012
3003=back 3013=back
3004 3014
3005 3015
3006=head2 C<ev_async> - how to wake up another event loop 3016=head2 C<ev_async> - how to wake up an event loop
3007 3017
3008In general, you cannot use an C<ev_loop> from multiple threads or other 3018In general, you cannot use an C<ev_loop> from multiple threads or other
3009asynchronous sources such as signal handlers (as opposed to multiple event 3019asynchronous sources such as signal handlers (as opposed to multiple event
3010loops - those are of course safe to use in different threads). 3020loops - those are of course safe to use in different threads).
3011 3021
3012Sometimes, however, you need to wake up another event loop you do not 3022Sometimes, however, you need to wake up an event loop you do not control,
3013control, for example because it belongs to another thread. This is what 3023for example because it belongs to another thread. This is what C<ev_async>
3014C<ev_async> watchers do: as long as the C<ev_async> watcher is active, you 3024watchers do: as long as the C<ev_async> watcher is active, you can signal
3015can signal it by calling C<ev_async_send>, which is thread- and signal 3025it by calling C<ev_async_send>, which is thread- and signal safe.
3016safe.
3017 3026
3018This functionality is very similar to C<ev_signal> watchers, as signals, 3027This functionality is very similar to C<ev_signal> watchers, as signals,
3019too, are asynchronous in nature, and signals, too, will be compressed 3028too, are asynchronous in nature, and signals, too, will be compressed
3020(i.e. the number of callback invocations may be less than the number of 3029(i.e. the number of callback invocations may be less than the number of
3021C<ev_async_sent> calls). 3030C<ev_async_sent> calls).
3333 myclass obj; 3342 myclass obj;
3334 ev::io iow; 3343 ev::io iow;
3335 iow.set <myclass, &myclass::io_cb> (&obj); 3344 iow.set <myclass, &myclass::io_cb> (&obj);
3336 3345
3337=item w->set (object *) 3346=item w->set (object *)
3338
3339This is an B<experimental> feature that might go away in a future version.
3340 3347
3341This is a variation of a method callback - leaving out the method to call 3348This is a variation of a method callback - leaving out the method to call
3342will default the method to C<operator ()>, which makes it possible to use 3349will default the method to C<operator ()>, which makes it possible to use
3343functor objects without having to manually specify the C<operator ()> all 3350functor objects without having to manually specify the C<operator ()> all
3344the time. Incidentally, you can then also leave out the template argument 3351the time. Incidentally, you can then also leave out the template argument
3384Associates a different C<struct ev_loop> with this watcher. You can only 3391Associates a different C<struct ev_loop> with this watcher. You can only
3385do this when the watcher is inactive (and not pending either). 3392do this when the watcher is inactive (and not pending either).
3386 3393
3387=item w->set ([arguments]) 3394=item w->set ([arguments])
3388 3395
3389Basically the same as C<ev_TYPE_set>, with the same arguments. Must be 3396Basically the same as C<ev_TYPE_set>, with the same arguments. Either this
3390called at least once. Unlike the C counterpart, an active watcher gets 3397method or a suitable start method must be called at least once. Unlike the
3391automatically stopped and restarted when reconfiguring it with this 3398C counterpart, an active watcher gets automatically stopped and restarted
3392method. 3399when reconfiguring it with this method.
3393 3400
3394=item w->start () 3401=item w->start ()
3395 3402
3396Starts the watcher. Note that there is no C<loop> argument, as the 3403Starts the watcher. Note that there is no C<loop> argument, as the
3397constructor already stores the event loop. 3404constructor already stores the event loop.
3398 3405
3406=item w->start ([arguments])
3407
3408Instead of calling C<set> and C<start> methods separately, it is often
3409convenient to wrap them in one call. Uses the same type of arguments as
3410the configure C<set> method of the watcher.
3411
3399=item w->stop () 3412=item w->stop ()
3400 3413
3401Stops the watcher if it is active. Again, no C<loop> argument. 3414Stops the watcher if it is active. Again, no C<loop> argument.
3402 3415
3403=item w->again () (C<ev::timer>, C<ev::periodic> only) 3416=item w->again () (C<ev::timer>, C<ev::periodic> only)
3415 3428
3416=back 3429=back
3417 3430
3418=back 3431=back
3419 3432
3420Example: Define a class with an IO and idle watcher, start one of them in 3433Example: Define a class with two I/O and idle watchers, start the I/O
3421the constructor. 3434watchers in the constructor.
3422 3435
3423 class myclass 3436 class myclass
3424 { 3437 {
3425 ev::io io ; void io_cb (ev::io &w, int revents); 3438 ev::io io ; void io_cb (ev::io &w, int revents);
3439 ev::io2 io2 ; void io2_cb (ev::io &w, int revents);
3426 ev::idle idle; void idle_cb (ev::idle &w, int revents); 3440 ev::idle idle; void idle_cb (ev::idle &w, int revents);
3427 3441
3428 myclass (int fd) 3442 myclass (int fd)
3429 { 3443 {
3430 io .set <myclass, &myclass::io_cb > (this); 3444 io .set <myclass, &myclass::io_cb > (this);
3445 io2 .set <myclass, &myclass::io2_cb > (this);
3431 idle.set <myclass, &myclass::idle_cb> (this); 3446 idle.set <myclass, &myclass::idle_cb> (this);
3432 3447
3433 io.start (fd, ev::READ); 3448 io.set (fd, ev::WRITE); // configure the watcher
3449 io.start (); // start it whenever convenient
3450
3451 io2.start (fd, ev::READ); // set + start in one call
3434 } 3452 }
3435 }; 3453 };
3436 3454
3437 3455
3438=head1 OTHER LANGUAGE BINDINGS 3456=head1 OTHER LANGUAGE BINDINGS
3657define before including (or compiling) any of its files. The default in 3675define before including (or compiling) any of its files. The default in
3658the absence of autoconf is documented for every option. 3676the absence of autoconf is documented for every option.
3659 3677
3660Symbols marked with "(h)" do not change the ABI, and can have different 3678Symbols marked with "(h)" do not change the ABI, and can have different
3661values when compiling libev vs. including F<ev.h>, so it is permissible 3679values when compiling libev vs. including F<ev.h>, so it is permissible
3662to redefine them before including F<ev.h> without breakign compatibility 3680to redefine them before including F<ev.h> without breaking compatibility
3663to a compiled library. All other symbols change the ABI, which means all 3681to a compiled library. All other symbols change the ABI, which means all
3664users of libev and the libev code itself must be compiled with compatible 3682users of libev and the libev code itself must be compiled with compatible
3665settings. 3683settings.
3666 3684
3667=over 4 3685=over 4
3879EV_PREPARE_ENABLE, EV_CHECK_ENABLE, EV_FORK_ENABLE, EV_SIGNAL_ENABLE, 3897EV_PREPARE_ENABLE, EV_CHECK_ENABLE, EV_FORK_ENABLE, EV_SIGNAL_ENABLE,
3880EV_ASYNC_ENABLE, EV_CHILD_ENABLE. 3898EV_ASYNC_ENABLE, EV_CHILD_ENABLE.
3881 3899
3882If undefined or defined to be C<1> (and the platform supports it), then 3900If undefined or defined to be C<1> (and the platform supports it), then
3883the respective watcher type is supported. If defined to be C<0>, then it 3901the respective watcher type is supported. If defined to be C<0>, then it
3884is not. Disabling watcher types mainly saves codesize. 3902is not. Disabling watcher types mainly saves code size.
3885 3903
3886=item EV_FEATURES 3904=item EV_FEATURES
3887 3905
3888If you need to shave off some kilobytes of code at the expense of some 3906If you need to shave off some kilobytes of code at the expense of some
3889speed (but with the full API), you can define this symbol to request 3907speed (but with the full API), you can define this symbol to request
3909 3927
3910=item C<1> - faster/larger code 3928=item C<1> - faster/larger code
3911 3929
3912Use larger code to speed up some operations. 3930Use larger code to speed up some operations.
3913 3931
3914Currently this is used to override some inlining decisions (enlarging the roughly 3932Currently this is used to override some inlining decisions (enlarging the
391530% code size on amd64. 3933code size by roughly 30% on amd64).
3916 3934
3917When optimising for size, use of compiler flags such as C<-Os> with 3935When optimising for size, use of compiler flags such as C<-Os> with
3918gcc recommended, as well as C<-DNDEBUG>, as libev contains a number of 3936gcc is recommended, as well as C<-DNDEBUG>, as libev contains a number of
3919assertions. 3937assertions.
3920 3938
3921=item C<2> - faster/larger data structures 3939=item C<2> - faster/larger data structures
3922 3940
3923Replaces the small 2-heap for timer management by a faster 4-heap, larger 3941Replaces the small 2-heap for timer management by a faster 4-heap, larger
3924hash table sizes and so on. This will usually further increase codesize 3942hash table sizes and so on. This will usually further increase code size
3925and can additionally have an effect on the size of data structures at 3943and can additionally have an effect on the size of data structures at
3926runtime. 3944runtime.
3927 3945
3928=item C<4> - full API configuration 3946=item C<4> - full API configuration
3929 3947
3966I/O watcher then might come out at only 5Kb. 3984I/O watcher then might come out at only 5Kb.
3967 3985
3968=item EV_AVOID_STDIO 3986=item EV_AVOID_STDIO
3969 3987
3970If this is set to C<1> at compiletime, then libev will avoid using stdio 3988If this is set to C<1> at compiletime, then libev will avoid using stdio
3971functions (printf, scanf, perror etc.). This will increase the codesize 3989functions (printf, scanf, perror etc.). This will increase the code size
3972somewhat, but if your program doesn't otherwise depend on stdio and your 3990somewhat, but if your program doesn't otherwise depend on stdio and your
3973libc allows it, this avoids linking in the stdio library which is quite 3991libc allows it, this avoids linking in the stdio library which is quite
3974big. 3992big.
3975 3993
3976Note that error messages might become less precise when this option is 3994Note that error messages might become less precise when this option is
3980 3998
3981The highest supported signal number, +1 (or, the number of 3999The highest supported signal number, +1 (or, the number of
3982signals): Normally, libev tries to deduce the maximum number of signals 4000signals): Normally, libev tries to deduce the maximum number of signals
3983automatically, but sometimes this fails, in which case it can be 4001automatically, but sometimes this fails, in which case it can be
3984specified. Also, using a lower number than detected (C<32> should be 4002specified. Also, using a lower number than detected (C<32> should be
3985good for about any system in existance) can save some memory, as libev 4003good for about any system in existence) can save some memory, as libev
3986statically allocates some 12-24 bytes per signal number. 4004statically allocates some 12-24 bytes per signal number.
3987 4005
3988=item EV_PID_HASHSIZE 4006=item EV_PID_HASHSIZE
3989 4007
3990C<ev_child> watchers use a small hash table to distribute workload by 4008C<ev_child> watchers use a small hash table to distribute workload by
4022The default is C<1>, unless C<EV_FEATURES> overrides it, in which case it 4040The default is C<1>, unless C<EV_FEATURES> overrides it, in which case it
4023will be C<0>. 4041will be C<0>.
4024 4042
4025=item EV_VERIFY 4043=item EV_VERIFY
4026 4044
4027Controls how much internal verification (see C<ev_loop_verify ()>) will 4045Controls how much internal verification (see C<ev_verify ()>) will
4028be done: If set to C<0>, no internal verification code will be compiled 4046be done: If set to C<0>, no internal verification code will be compiled
4029in. If set to C<1>, then verification code will be compiled in, but not 4047in. If set to C<1>, then verification code will be compiled in, but not
4030called. If set to C<2>, then the internal verification code will be 4048called. If set to C<2>, then the internal verification code will be
4031called once per loop, which can slow down libev. If set to C<3>, then the 4049called once per loop, which can slow down libev. If set to C<3>, then the
4032verification code will be called very frequently, which will slow down 4050verification code will be called very frequently, which will slow down
4036will be C<0>. 4054will be C<0>.
4037 4055
4038=item EV_COMMON 4056=item EV_COMMON
4039 4057
4040By default, all watchers have a C<void *data> member. By redefining 4058By default, all watchers have a C<void *data> member. By redefining
4041this macro to a something else you can include more and other types of 4059this macro to something else you can include more and other types of
4042members. You have to define it each time you include one of the files, 4060members. You have to define it each time you include one of the files,
4043though, and it must be identical each time. 4061though, and it must be identical each time.
4044 4062
4045For example, the perl EV module uses something like this: 4063For example, the perl EV module uses something like this:
4046 4064
4345maintainable. 4363maintainable.
4346 4364
4347And of course, some compiler warnings are just plain stupid, or simply 4365And of course, some compiler warnings are just plain stupid, or simply
4348wrong (because they don't actually warn about the condition their message 4366wrong (because they don't actually warn about the condition their message
4349seems to warn about). For example, certain older gcc versions had some 4367seems to warn about). For example, certain older gcc versions had some
4350warnings that resulted an extreme number of false positives. These have 4368warnings that resulted in an extreme number of false positives. These have
4351been fixed, but some people still insist on making code warn-free with 4369been fixed, but some people still insist on making code warn-free with
4352such buggy versions. 4370such buggy versions.
4353 4371
4354While libev is written to generate as few warnings as possible, 4372While libev is written to generate as few warnings as possible,
4355"warn-free" code is not a goal, and it is recommended not to build libev 4373"warn-free" code is not a goal, and it is recommended not to build libev
4391I suggest using suppression lists. 4409I suggest using suppression lists.
4392 4410
4393 4411
4394=head1 PORTABILITY NOTES 4412=head1 PORTABILITY NOTES
4395 4413
4414=head2 GNU/LINUX 32 BIT LIMITATIONS
4415
4416GNU/Linux is the only common platform that supports 64 bit file/large file
4417interfaces but I<disables> them by default.
4418
4419That means that libev compiled in the default environment doesn't support
4420files larger than 2GiB or so, which mainly affects C<ev_stat> watchers.
4421
4422Unfortunately, many programs try to work around this GNU/Linux issue
4423by enabling the large file API, which makes them incompatible with the
4424standard libev compiled for their system.
4425
4426Likewise, libev cannot enable the large file API itself as this would
4427suddenly make it incompatible to the default compile time environment,
4428i.e. all programs not using special compile switches.
4429
4430=head2 OS/X AND DARWIN BUGS
4431
4432The whole thing is a bug if you ask me - basically any system interface
4433you touch is broken, whether it is locales, poll, kqueue or even the
4434OpenGL drivers.
4435
4436=head3 C<kqueue> is buggy
4437
4438The kqueue syscall is broken in all known versions - most versions support
4439only sockets, many support pipes.
4440
4441Libev tries to work around this by not using C<kqueue> by default on
4442this rotten platform, but of course you can still ask for it when creating
4443a loop.
4444
4445=head3 C<poll> is buggy
4446
4447Instead of fixing C<kqueue>, Apple replaced their (working) C<poll>
4448implementation by something calling C<kqueue> internally around the 10.5.6
4449release, so now C<kqueue> I<and> C<poll> are broken.
4450
4451Libev tries to work around this by not using C<poll> by default on
4452this rotten platform, but of course you can still ask for it when creating
4453a loop.
4454
4455=head3 C<select> is buggy
4456
4457All that's left is C<select>, and of course Apple found a way to fuck this
4458one up as well: On OS/X, C<select> actively limits the number of file
4459descriptors you can pass in to 1024 - your program suddenly crashes when
4460you use more.
4461
4462There is an undocumented "workaround" for this - defining
4463C<_DARWIN_UNLIMITED_SELECT>, which libev tries to use, so select I<should>
4464work on OS/X.
4465
4466=head2 SOLARIS PROBLEMS AND WORKAROUNDS
4467
4468=head3 C<errno> reentrancy
4469
4470The default compile environment on Solaris is unfortunately so
4471thread-unsafe that you can't even use components/libraries compiled
4472without C<-D_REENTRANT> (as long as they use C<errno>), which, of course,
4473isn't defined by default.
4474
4475If you want to use libev in threaded environments you have to make sure
4476it's compiled with C<_REENTRANT> defined.
4477
4478=head3 Event port backend
4479
4480The scalable event interface for Solaris is called "event ports". Unfortunately,
4481this mechanism is very buggy. If you run into high CPU usage, your program
4482freezes or you get a large number of spurious wakeups, make sure you have
4483all the relevant and latest kernel patches applied. No, I don't know which
4484ones, but there are multiple ones.
4485
4486If you can't get it to work, you can try running the program by setting
4487the environment variable C<LIBEV_FLAGS=3> to only allow C<poll> and
4488C<select> backends.
4489
4490=head2 AIX POLL BUG
4491
4492AIX unfortunately has a broken C<poll.h> header. Libev works around
4493this by trying to avoid the poll backend altogether (i.e. it's not even
4494compiled in), which normally isn't a big problem as C<select> works fine
4495with large bitsets, and AIX is dead anyway.
4496
4396=head2 WIN32 PLATFORM LIMITATIONS AND WORKAROUNDS 4497=head2 WIN32 PLATFORM LIMITATIONS AND WORKAROUNDS
4498
4499=head3 General issues
4397 4500
4398Win32 doesn't support any of the standards (e.g. POSIX) that libev 4501Win32 doesn't support any of the standards (e.g. POSIX) that libev
4399requires, and its I/O model is fundamentally incompatible with the POSIX 4502requires, and its I/O model is fundamentally incompatible with the POSIX
4400model. Libev still offers limited functionality on this platform in 4503model. Libev still offers limited functionality on this platform in
4401the form of the C<EVBACKEND_SELECT> backend, and only supports socket 4504the form of the C<EVBACKEND_SELECT> backend, and only supports socket
4402descriptors. This only applies when using Win32 natively, not when using 4505descriptors. This only applies when using Win32 natively, not when using
4403e.g. cygwin. 4506e.g. cygwin. Actually, it only applies to the microsofts own compilers,
4507as every compielr comes with a slightly differently broken/incompatible
4508environment.
4404 4509
4405Lifting these limitations would basically require the full 4510Lifting these limitations would basically require the full
4406re-implementation of the I/O system. If you are into these kinds of 4511re-implementation of the I/O system. If you are into this kind of thing,
4407things, then note that glib does exactly that for you in a very portable 4512then note that glib does exactly that for you in a very portable way (note
4408way (note also that glib is the slowest event library known to man). 4513also that glib is the slowest event library known to man).
4409 4514
4410There is no supported compilation method available on windows except 4515There is no supported compilation method available on windows except
4411embedding it into other applications. 4516embedding it into other applications.
4412 4517
4413Sensible signal handling is officially unsupported by Microsoft - libev 4518Sensible signal handling is officially unsupported by Microsoft - libev
4441you do I<not> compile the F<ev.c> or any other embedded source files!): 4546you do I<not> compile the F<ev.c> or any other embedded source files!):
4442 4547
4443 #include "evwrap.h" 4548 #include "evwrap.h"
4444 #include "ev.c" 4549 #include "ev.c"
4445 4550
4446=over 4
4447
4448=item The winsocket select function 4551=head3 The winsocket C<select> function
4449 4552
4450The winsocket C<select> function doesn't follow POSIX in that it 4553The winsocket C<select> function doesn't follow POSIX in that it
4451requires socket I<handles> and not socket I<file descriptors> (it is 4554requires socket I<handles> and not socket I<file descriptors> (it is
4452also extremely buggy). This makes select very inefficient, and also 4555also extremely buggy). This makes select very inefficient, and also
4453requires a mapping from file descriptors to socket handles (the Microsoft 4556requires a mapping from file descriptors to socket handles (the Microsoft
4462 #define EV_SELECT_IS_WINSOCKET 1 /* forces EV_SELECT_USE_FD_SET, too */ 4565 #define EV_SELECT_IS_WINSOCKET 1 /* forces EV_SELECT_USE_FD_SET, too */
4463 4566
4464Note that winsockets handling of fd sets is O(n), so you can easily get a 4567Note that winsockets handling of fd sets is O(n), so you can easily get a
4465complexity in the O(n²) range when using win32. 4568complexity in the O(n²) range when using win32.
4466 4569
4467=item Limited number of file descriptors 4570=head3 Limited number of file descriptors
4468 4571
4469Windows has numerous arbitrary (and low) limits on things. 4572Windows has numerous arbitrary (and low) limits on things.
4470 4573
4471Early versions of winsocket's select only supported waiting for a maximum 4574Early versions of winsocket's select only supported waiting for a maximum
4472of C<64> handles (probably owning to the fact that all windows kernels 4575of C<64> handles (probably owning to the fact that all windows kernels
4487runtime libraries. This might get you to about C<512> or C<2048> sockets 4590runtime libraries. This might get you to about C<512> or C<2048> sockets
4488(depending on windows version and/or the phase of the moon). To get more, 4591(depending on windows version and/or the phase of the moon). To get more,
4489you need to wrap all I/O functions and provide your own fd management, but 4592you need to wrap all I/O functions and provide your own fd management, but
4490the cost of calling select (O(n²)) will likely make this unworkable. 4593the cost of calling select (O(n²)) will likely make this unworkable.
4491 4594
4492=back
4493
4494=head2 PORTABILITY REQUIREMENTS 4595=head2 PORTABILITY REQUIREMENTS
4495 4596
4496In addition to a working ISO-C implementation and of course the 4597In addition to a working ISO-C implementation and of course the
4497backend-specific APIs, libev relies on a few additional extensions: 4598backend-specific APIs, libev relies on a few additional extensions:
4498 4599
4536watchers. 4637watchers.
4537 4638
4538=item C<double> must hold a time value in seconds with enough accuracy 4639=item C<double> must hold a time value in seconds with enough accuracy
4539 4640
4540The type C<double> is used to represent timestamps. It is required to 4641The type C<double> is used to represent timestamps. It is required to
4541have at least 51 bits of mantissa (and 9 bits of exponent), which is good 4642have at least 51 bits of mantissa (and 9 bits of exponent), which is
4542enough for at least into the year 4000. This requirement is fulfilled by 4643good enough for at least into the year 4000 with millisecond accuracy
4644(the design goal for libev). This requirement is overfulfilled by
4543implementations implementing IEEE 754, which is basically all existing 4645implementations using IEEE 754, which is basically all existing ones. With
4544ones. With IEEE 754 doubles, you get microsecond accuracy until at least 4646IEEE 754 doubles, you get microsecond accuracy until at least 2200.
45452200.
4546 4647
4547=back 4648=back
4548 4649
4549If you know of other additional requirements drop me a note. 4650If you know of other additional requirements drop me a note.
4550 4651
4618involves iterating over all running async watchers or all signal numbers. 4719involves iterating over all running async watchers or all signal numbers.
4619 4720
4620=back 4721=back
4621 4722
4622 4723
4623=head1 PORTING FROM 3.X TO 4.X 4724=head1 PORTING FROM LIBEV 3.X TO 4.X
4624 4725
4625The major version 4 introduced some minor incompatible changes to the API. 4726The major version 4 introduced some minor incompatible changes to the API.
4626 4727
4728At the moment, the C<ev.h> header file tries to implement superficial
4729compatibility, so most programs should still compile. Those might be
4730removed in later versions of libev, so better update early than late.
4731
4627=over 4 4732=over 4
4628 4733
4734=item C<ev_loop_count> renamed to C<ev_iteration>
4735
4736=item C<ev_loop_depth> renamed to C<ev_depth>
4737
4738=item C<ev_loop_verify> renamed to C<ev_verify>
4739
4740Most functions working on C<struct ev_loop> objects don't have an
4741C<ev_loop_> prefix, so it was removed. Note that C<ev_loop_fork> is
4742still called C<ev_loop_fork> because it would otherwise clash with the
4743C<ev_fork> typedef.
4744
4629=item C<EV_TIMEOUT> replaced by C<EV_TIMER> in C<revents> 4745=item C<EV_TIMEOUT> renamed to C<EV_TIMER> in C<revents>
4630 4746
4631This is a simple rename - all other watcher types use their name 4747This is a simple rename - all other watcher types use their name
4632as revents flag, and now C<ev_timer> does, too. 4748as revents flag, and now C<ev_timer> does, too.
4633 4749
4634Both C<EV_TIMER> and C<EV_TIMEOUT> symbols were present in 3.x versions 4750Both C<EV_TIMER> and C<EV_TIMEOUT> symbols were present in 3.x versions
4635and continue to be present for the forseeable future, so this is mostly a 4751and continue to be present for the foreseeable future, so this is mostly a
4636documentation change. 4752documentation change.
4637 4753
4638=item C<EV_MINIMAL> mechanism replaced by C<EV_FEATURES> 4754=item C<EV_MINIMAL> mechanism replaced by C<EV_FEATURES>
4639 4755
4640The preprocessor symbol C<EV_MINIMAL> has been replaced by a different 4756The preprocessor symbol C<EV_MINIMAL> has been replaced by a different

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines