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

Comparing libev/ev.pod (file contents):
Revision 1.189 by root, Tue Sep 30 19:33:33 2008 UTC vs.
Revision 1.199 by root, Thu Oct 23 07:18:21 2008 UTC

17 ev_timer timeout_watcher; 17 ev_timer timeout_watcher;
18 18
19 // all watcher callbacks have a similar signature 19 // all watcher callbacks have a similar signature
20 // this callback is called when data is readable on stdin 20 // this callback is called when data is readable on stdin
21 static void 21 static void
22 stdin_cb (EV_P_ struct ev_io *w, int revents) 22 stdin_cb (EV_P_ ev_io *w, int revents)
23 { 23 {
24 puts ("stdin ready"); 24 puts ("stdin ready");
25 // for one-shot events, one must manually stop the watcher 25 // for one-shot events, one must manually stop the watcher
26 // with its corresponding stop function. 26 // with its corresponding stop function.
27 ev_io_stop (EV_A_ w); 27 ev_io_stop (EV_A_ w);
30 ev_unloop (EV_A_ EVUNLOOP_ALL); 30 ev_unloop (EV_A_ EVUNLOOP_ALL);
31 } 31 }
32 32
33 // another callback, this time for a time-out 33 // another callback, this time for a time-out
34 static void 34 static void
35 timeout_cb (EV_P_ struct ev_timer *w, int revents) 35 timeout_cb (EV_P_ ev_timer *w, int revents)
36 { 36 {
37 puts ("timeout"); 37 puts ("timeout");
38 // this causes the innermost ev_loop to stop iterating 38 // this causes the innermost ev_loop to stop iterating
39 ev_unloop (EV_A_ EVUNLOOP_ONE); 39 ev_unloop (EV_A_ EVUNLOOP_ONE);
40 } 40 }
41 41
42 int 42 int
43 main (void) 43 main (void)
44 { 44 {
45 // use the default event loop unless you have special needs 45 // use the default event loop unless you have special needs
46 struct ev_loop *loop = ev_default_loop (0); 46 ev_loop *loop = ev_default_loop (0);
47 47
48 // initialise an io watcher, then start it 48 // initialise an io watcher, then start it
49 // this one will watch for stdin to become readable 49 // this one will watch for stdin to become readable
50 ev_io_init (&stdin_watcher, stdin_cb, /*STDIN_FILENO*/ 0, EV_READ); 50 ev_io_init (&stdin_watcher, stdin_cb, /*STDIN_FILENO*/ 0, EV_READ);
51 ev_io_start (loop, &stdin_watcher); 51 ev_io_start (loop, &stdin_watcher);
103Libev is very configurable. In this manual the default (and most common) 103Libev is very configurable. In this manual the default (and most common)
104configuration will be described, which supports multiple event loops. For 104configuration will be described, which supports multiple event loops. For
105more info about various configuration options please have a look at 105more info about various configuration options please have a look at
106B<EMBED> section in this manual. If libev was configured without support 106B<EMBED> section in this manual. If libev was configured without support
107for multiple event loops, then all functions taking an initial argument of 107for multiple event loops, then all functions taking an initial argument of
108name C<loop> (which is always of type C<struct ev_loop *>) will not have 108name C<loop> (which is always of type C<ev_loop *>) will not have
109this argument. 109this argument.
110 110
111=head2 TIME REPRESENTATION 111=head2 TIME REPRESENTATION
112 112
113Libev represents time as a single floating point number, representing the 113Libev represents time as a single floating point number, representing the
276 276
277=back 277=back
278 278
279=head1 FUNCTIONS CONTROLLING THE EVENT LOOP 279=head1 FUNCTIONS CONTROLLING THE EVENT LOOP
280 280
281An event loop is described by a C<struct ev_loop *>. The library knows two 281An event loop is described by a C<ev_loop *>. The library knows two
282types of such loops, the I<default> loop, which supports signals and child 282types of such loops, the I<default> loop, which supports signals and child
283events, and dynamically created loops which do not. 283events, and dynamically created loops which do not.
284 284
285=over 4 285=over 4
286 286
685C<EVUNLOOP_ONE>, which will make the innermost C<ev_loop> call return, or 685C<EVUNLOOP_ONE>, which will make the innermost C<ev_loop> call return, or
686C<EVUNLOOP_ALL>, which will make all nested C<ev_loop> calls return. 686C<EVUNLOOP_ALL>, which will make all nested C<ev_loop> calls return.
687 687
688This "unloop state" will be cleared when entering C<ev_loop> again. 688This "unloop state" will be cleared when entering C<ev_loop> again.
689 689
690It is safe to call C<ev_unloop> from otuside any C<ev_loop> calls.
691
690=item ev_ref (loop) 692=item ev_ref (loop)
691 693
692=item ev_unref (loop) 694=item ev_unref (loop)
693 695
694Ref/unref can be used to add or remove a reference count on the event 696Ref/unref can be used to add or remove a reference count on the event
708respectively). 710respectively).
709 711
710Example: Create a signal watcher, but keep it from keeping C<ev_loop> 712Example: Create a signal watcher, but keep it from keeping C<ev_loop>
711running when nothing else is active. 713running when nothing else is active.
712 714
713 struct ev_signal exitsig; 715 ev_signal exitsig;
714 ev_signal_init (&exitsig, sig_cb, SIGINT); 716 ev_signal_init (&exitsig, sig_cb, SIGINT);
715 ev_signal_start (loop, &exitsig); 717 ev_signal_start (loop, &exitsig);
716 evf_unref (loop); 718 evf_unref (loop);
717 719
718Example: For some weird reason, unregister the above signal handler again. 720Example: For some weird reason, unregister the above signal handler again.
784 786
785A watcher is a structure that you create and register to record your 787A watcher is a structure that you create and register to record your
786interest in some event. For instance, if you want to wait for STDIN to 788interest in some event. For instance, if you want to wait for STDIN to
787become readable, you would create an C<ev_io> watcher for that: 789become readable, you would create an C<ev_io> watcher for that:
788 790
789 static void my_cb (struct ev_loop *loop, struct ev_io *w, int revents) 791 static void my_cb (struct ev_loop *loop, ev_io *w, int revents)
790 { 792 {
791 ev_io_stop (w); 793 ev_io_stop (w);
792 ev_unloop (loop, EVUNLOOP_ALL); 794 ev_unloop (loop, EVUNLOOP_ALL);
793 } 795 }
794 796
795 struct ev_loop *loop = ev_default_loop (0); 797 struct ev_loop *loop = ev_default_loop (0);
796 struct ev_io stdin_watcher; 798 ev_io stdin_watcher;
797 ev_init (&stdin_watcher, my_cb); 799 ev_init (&stdin_watcher, my_cb);
798 ev_io_set (&stdin_watcher, STDIN_FILENO, EV_READ); 800 ev_io_set (&stdin_watcher, STDIN_FILENO, EV_READ);
799 ev_io_start (loop, &stdin_watcher); 801 ev_io_start (loop, &stdin_watcher);
800 ev_loop (loop, 0); 802 ev_loop (loop, 0);
801 803
892=item C<EV_ERROR> 894=item C<EV_ERROR>
893 895
894An unspecified error has occurred, the watcher has been stopped. This might 896An unspecified error has occurred, the watcher has been stopped. This might
895happen because the watcher could not be properly started because libev 897happen because the watcher could not be properly started because libev
896ran out of memory, a file descriptor was found to be closed or any other 898ran out of memory, a file descriptor was found to be closed or any other
899problem. Libev considers these application bugs.
900
897problem. You best act on it by reporting the problem and somehow coping 901You best act on it by reporting the problem and somehow coping with the
898with the watcher being stopped. 902watcher being stopped. Note that well-written programs should not receive
903an error ever, so when your watcher receives it, this usually indicates a
904bug in your program.
899 905
900Libev will usually signal a few "dummy" events together with an error, for 906Libev will usually signal a few "dummy" events together with an error, for
901example it might indicate that a fd is readable or writable, and if your 907example it might indicate that a fd is readable or writable, and if your
902callbacks is well-written it can just attempt the operation and cope with 908callbacks is well-written it can just attempt the operation and cope with
903the error from read() or write(). This will not work in multi-threaded 909the error from read() or write(). This will not work in multi-threaded
923which rolls both calls into one. 929which rolls both calls into one.
924 930
925You can reinitialise a watcher at any time as long as it has been stopped 931You can reinitialise a watcher at any time as long as it has been stopped
926(or never started) and there are no pending events outstanding. 932(or never started) and there are no pending events outstanding.
927 933
928The callback is always of type C<void (*)(ev_loop *loop, ev_TYPE *watcher, 934The callback is always of type C<void (*)(struct ev_loop *loop, ev_TYPE *watcher,
929int revents)>. 935int revents)>.
930 936
931Example: Initialise an C<ev_io> watcher in two steps. 937Example: Initialise an C<ev_io> watcher in two steps.
932 938
933 ev_io w; 939 ev_io w;
967 973
968 ev_io_start (EV_DEFAULT_UC, &w); 974 ev_io_start (EV_DEFAULT_UC, &w);
969 975
970=item C<ev_TYPE_stop> (loop *, ev_TYPE *watcher) 976=item C<ev_TYPE_stop> (loop *, ev_TYPE *watcher)
971 977
972Stops the given watcher again (if active) and clears the pending 978Stops the given watcher if active, and clears the pending status (whether
979the watcher was active or not).
980
973status. It is possible that stopped watchers are pending (for example, 981It is possible that stopped watchers are pending - for example,
974non-repeating timers are being stopped when they become pending), but 982non-repeating timers are being stopped when they become pending - but
975C<ev_TYPE_stop> ensures that the watcher is neither active nor pending. If 983calling C<ev_TYPE_stop> ensures that the watcher is neither active nor
976you want to free or reuse the memory used by the watcher it is therefore a 984pending. If you want to free or reuse the memory used by the watcher it is
977good idea to always call its C<ev_TYPE_stop> function. 985therefore a good idea to always call its C<ev_TYPE_stop> function.
978 986
979=item bool ev_is_active (ev_TYPE *watcher) 987=item bool ev_is_active (ev_TYPE *watcher)
980 988
981Returns a true value iff the watcher is active (i.e. it has been started 989Returns a true value iff the watcher is active (i.e. it has been started
982and not yet been stopped). As long as a watcher is active you must not modify 990and not yet been stopped). As long as a watcher is active you must not modify
1056member, you can also "subclass" the watcher type and provide your own 1064member, you can also "subclass" the watcher type and provide your own
1057data: 1065data:
1058 1066
1059 struct my_io 1067 struct my_io
1060 { 1068 {
1061 struct ev_io io; 1069 ev_io io;
1062 int otherfd; 1070 int otherfd;
1063 void *somedata; 1071 void *somedata;
1064 struct whatever *mostinteresting; 1072 struct whatever *mostinteresting;
1065 }; 1073 };
1066 1074
1069 ev_io_init (&w.io, my_cb, fd, EV_READ); 1077 ev_io_init (&w.io, my_cb, fd, EV_READ);
1070 1078
1071And since your callback will be called with a pointer to the watcher, you 1079And since your callback will be called with a pointer to the watcher, you
1072can cast it back to your own type: 1080can cast it back to your own type:
1073 1081
1074 static void my_cb (struct ev_loop *loop, struct ev_io *w_, int revents) 1082 static void my_cb (struct ev_loop *loop, ev_io *w_, int revents)
1075 { 1083 {
1076 struct my_io *w = (struct my_io *)w_; 1084 struct my_io *w = (struct my_io *)w_;
1077 ... 1085 ...
1078 } 1086 }
1079 1087
1097programmers): 1105programmers):
1098 1106
1099 #include <stddef.h> 1107 #include <stddef.h>
1100 1108
1101 static void 1109 static void
1102 t1_cb (EV_P_ struct ev_timer *w, int revents) 1110 t1_cb (EV_P_ ev_timer *w, int revents)
1103 { 1111 {
1104 struct my_biggy big = (struct my_biggy * 1112 struct my_biggy big = (struct my_biggy *
1105 (((char *)w) - offsetof (struct my_biggy, t1)); 1113 (((char *)w) - offsetof (struct my_biggy, t1));
1106 } 1114 }
1107 1115
1108 static void 1116 static void
1109 t2_cb (EV_P_ struct ev_timer *w, int revents) 1117 t2_cb (EV_P_ ev_timer *w, int revents)
1110 { 1118 {
1111 struct my_biggy big = (struct my_biggy * 1119 struct my_biggy big = (struct my_biggy *
1112 (((char *)w) - offsetof (struct my_biggy, t2)); 1120 (((char *)w) - offsetof (struct my_biggy, t2));
1113 } 1121 }
1114 1122
1249Example: Call C<stdin_readable_cb> when STDIN_FILENO has become, well 1257Example: Call C<stdin_readable_cb> when STDIN_FILENO has become, well
1250readable, but only once. Since it is likely line-buffered, you could 1258readable, but only once. Since it is likely line-buffered, you could
1251attempt to read a whole line in the callback. 1259attempt to read a whole line in the callback.
1252 1260
1253 static void 1261 static void
1254 stdin_readable_cb (struct ev_loop *loop, struct ev_io *w, int revents) 1262 stdin_readable_cb (struct ev_loop *loop, ev_io *w, int revents)
1255 { 1263 {
1256 ev_io_stop (loop, w); 1264 ev_io_stop (loop, w);
1257 .. read from stdin here (or from w->fd) and handle any I/O errors 1265 .. read from stdin here (or from w->fd) and handle any I/O errors
1258 } 1266 }
1259 1267
1260 ... 1268 ...
1261 struct ev_loop *loop = ev_default_init (0); 1269 struct ev_loop *loop = ev_default_init (0);
1262 struct ev_io stdin_readable; 1270 ev_io stdin_readable;
1263 ev_io_init (&stdin_readable, stdin_readable_cb, STDIN_FILENO, EV_READ); 1271 ev_io_init (&stdin_readable, stdin_readable_cb, STDIN_FILENO, EV_READ);
1264 ev_io_start (loop, &stdin_readable); 1272 ev_io_start (loop, &stdin_readable);
1265 ev_loop (loop, 0); 1273 ev_loop (loop, 0);
1266 1274
1267 1275
1278 1286
1279The callback is guaranteed to be invoked only I<after> its timeout has 1287The callback is guaranteed to be invoked only I<after> its timeout has
1280passed, but if multiple timers become ready during the same loop iteration 1288passed, but if multiple timers become ready during the same loop iteration
1281then order of execution is undefined. 1289then order of execution is undefined.
1282 1290
1291=head3 Be smart about timeouts
1292
1293Many real-world problems involve some kind of timeout, usually for error
1294recovery. A typical example is an HTTP request - if the other side hangs,
1295you want to raise some error after a while.
1296
1297What follows are some ways to handle this problem, from obvious and
1298inefficient to smart and efficient.
1299
1300In the following, a 60 second activity timeout is assumed - a timeout that
1301gets reset to 60 seconds each time there is activity (e.g. each time some
1302data or other life sign was received).
1303
1304=over 4
1305
1306=item 1. Use a timer and stop, reinitialise and start it on activity.
1307
1308This is the most obvious, but not the most simple way: In the beginning,
1309start the watcher:
1310
1311 ev_timer_init (timer, callback, 60., 0.);
1312 ev_timer_start (loop, timer);
1313
1314Then, each time there is some activity, C<ev_timer_stop> it, initialise it
1315and start it again:
1316
1317 ev_timer_stop (loop, timer);
1318 ev_timer_set (timer, 60., 0.);
1319 ev_timer_start (loop, timer);
1320
1321This is relatively simple to implement, but means that each time there is
1322some activity, libev will first have to remove the timer from its internal
1323data structure and then add it again. Libev tries to be fast, but it's
1324still not a constant-time operation.
1325
1326=item 2. Use a timer and re-start it with C<ev_timer_again> inactivity.
1327
1328This is the easiest way, and involves using C<ev_timer_again> instead of
1329C<ev_timer_start>.
1330
1331To implement this, configure an C<ev_timer> with a C<repeat> value
1332of C<60> and then call C<ev_timer_again> at start and each time you
1333successfully read or write some data. If you go into an idle state where
1334you do not expect data to travel on the socket, you can C<ev_timer_stop>
1335the timer, and C<ev_timer_again> will automatically restart it if need be.
1336
1337That means you can ignore both the C<ev_timer_start> function and the
1338C<after> argument to C<ev_timer_set>, and only ever use the C<repeat>
1339member and C<ev_timer_again>.
1340
1341At start:
1342
1343 ev_timer_init (timer, callback);
1344 timer->repeat = 60.;
1345 ev_timer_again (loop, timer);
1346
1347Each time there is some activity:
1348
1349 ev_timer_again (loop, timer);
1350
1351It is even possible to change the time-out on the fly, regardless of
1352whether the watcher is active or not:
1353
1354 timer->repeat = 30.;
1355 ev_timer_again (loop, timer);
1356
1357This is slightly more efficient then stopping/starting the timer each time
1358you want to modify its timeout value, as libev does not have to completely
1359remove and re-insert the timer from/into its internal data structure.
1360
1361It is, however, even simpler than the "obvious" way to do it.
1362
1363=item 3. Let the timer time out, but then re-arm it as required.
1364
1365This method is more tricky, but usually most efficient: Most timeouts are
1366relatively long compared to the intervals between other activity - in
1367our example, within 60 seconds, there are usually many I/O events with
1368associated activity resets.
1369
1370In this case, it would be more efficient to leave the C<ev_timer> alone,
1371but remember the time of last activity, and check for a real timeout only
1372within the callback:
1373
1374 ev_tstamp last_activity; // time of last activity
1375
1376 static void
1377 callback (EV_P_ ev_timer *w, int revents)
1378 {
1379 ev_tstamp now = ev_now (EV_A);
1380 ev_tstamp timeout = last_activity + 60.;
1381
1382 // if last_activity + 60. is older than now, we did time out
1383 if (timeout < now)
1384 {
1385 // timeout occured, take action
1386 }
1387 else
1388 {
1389 // callback was invoked, but there was some activity, re-arm
1390 // the watcher to fire in last_activity + 60, which is
1391 // guaranteed to be in the future, so "again" is positive:
1392 w->again = timeout - now;
1393 ev_timer_again (EV_A_ w);
1394 }
1395 }
1396
1397To summarise the callback: first calculate the real timeout (defined
1398as "60 seconds after the last activity"), then check if that time has
1399been reached, which means something I<did>, in fact, time out. Otherwise
1400the callback was invoked too early (C<timeout> is in the future), so
1401re-schedule the timer to fire at that future time, to see if maybe we have
1402a timeout then.
1403
1404Note how C<ev_timer_again> is used, taking advantage of the
1405C<ev_timer_again> optimisation when the timer is already running.
1406
1407This scheme causes more callback invocations (about one every 60 seconds
1408minus half the average time between activity), but virtually no calls to
1409libev to change the timeout.
1410
1411To start the timer, simply initialise the watcher and set C<last_activity>
1412to the current time (meaning we just have some activity :), then call the
1413callback, which will "do the right thing" and start the timer:
1414
1415 ev_timer_init (timer, callback);
1416 last_activity = ev_now (loop);
1417 callback (loop, timer, EV_TIMEOUT);
1418
1419And when there is some activity, simply store the current time in
1420C<last_activity>, no libev calls at all:
1421
1422 last_actiivty = ev_now (loop);
1423
1424This technique is slightly more complex, but in most cases where the
1425time-out is unlikely to be triggered, much more efficient.
1426
1427Changing the timeout is trivial as well (if it isn't hard-coded in the
1428callback :) - just change the timeout and invoke the callback, which will
1429fix things for you.
1430
1431=item 4. Whee, use a double-linked list for your timeouts.
1432
1433If there is not one request, but many thousands, all employing some kind
1434of timeout with the same timeout value, then one can do even better:
1435
1436When starting the timeout, calculate the timeout value and put the timeout
1437at the I<end> of the list.
1438
1439Then use an C<ev_timer> to fire when the timeout at the I<beginning> of
1440the list is expected to fire (for example, using the technique #3).
1441
1442When there is some activity, remove the timer from the list, recalculate
1443the timeout, append it to the end of the list again, and make sure to
1444update the C<ev_timer> if it was taken from the beginning of the list.
1445
1446This way, one can manage an unlimited number of timeouts in O(1) time for
1447starting, stopping and updating the timers, at the expense of a major
1448complication, and having to use a constant timeout. The constant timeout
1449ensures that the list stays sorted.
1450
1451=back
1452
1453So what method is the best?
1454
1455The method #2 is a simple no-brain-required solution that is adequate in
1456most situations. Method #3 requires a bit more thinking, but handles many
1457cases better, and isn't very complicated either. In most case, choosing
1458either one is fine.
1459
1460Method #1 is almost always a bad idea, and buys you nothing. Method #4 is
1461rather complicated, but extremely efficient, something that really pays
1462off after the first or so million of active timers, i.e. it's usually
1463overkill :)
1464
1283=head3 The special problem of time updates 1465=head3 The special problem of time updates
1284 1466
1285Establishing the current time is a costly operation (it usually takes at 1467Establishing the current time is a costly operation (it usually takes at
1286least two system calls): EV therefore updates its idea of the current 1468least two system calls): EV therefore updates its idea of the current
1287time only before and after C<ev_loop> collects new events, which causes a 1469time only before and after C<ev_loop> collects new events, which causes a
1330If the timer is started but non-repeating, stop it (as if it timed out). 1512If the timer is started but non-repeating, stop it (as if it timed out).
1331 1513
1332If the timer is repeating, either start it if necessary (with the 1514If the timer is repeating, either start it if necessary (with the
1333C<repeat> value), or reset the running timer to the C<repeat> value. 1515C<repeat> value), or reset the running timer to the C<repeat> value.
1334 1516
1335This sounds a bit complicated, but here is a useful and typical 1517This sounds a bit complicated, see "Be smart about timeouts", above, for a
1336example: Imagine you have a TCP connection and you want a so-called idle 1518usage example.
1337timeout, that is, you want to be called when there have been, say, 60
1338seconds of inactivity on the socket. The easiest way to do this is to
1339configure an C<ev_timer> with a C<repeat> value of C<60> and then call
1340C<ev_timer_again> each time you successfully read or write some data. If
1341you go into an idle state where you do not expect data to travel on the
1342socket, you can C<ev_timer_stop> the timer, and C<ev_timer_again> will
1343automatically restart it if need be.
1344
1345That means you can ignore the C<after> value and C<ev_timer_start>
1346altogether and only ever use the C<repeat> value and C<ev_timer_again>:
1347
1348 ev_timer_init (timer, callback, 0., 5.);
1349 ev_timer_again (loop, timer);
1350 ...
1351 timer->again = 17.;
1352 ev_timer_again (loop, timer);
1353 ...
1354 timer->again = 10.;
1355 ev_timer_again (loop, timer);
1356
1357This is more slightly efficient then stopping/starting the timer each time
1358you want to modify its timeout value.
1359
1360Note, however, that it is often even more efficient to remember the
1361time of the last activity and let the timer time-out naturally. In the
1362callback, you then check whether the time-out is real, or, if there was
1363some activity, you reschedule the watcher to time-out in "last_activity +
1364timeout - ev_now ()" seconds.
1365 1519
1366=item ev_tstamp repeat [read-write] 1520=item ev_tstamp repeat [read-write]
1367 1521
1368The current C<repeat> value. Will be used each time the watcher times out 1522The current C<repeat> value. Will be used each time the watcher times out
1369or C<ev_timer_again> is called, and determines the next timeout (if any), 1523or C<ev_timer_again> is called, and determines the next timeout (if any),
1374=head3 Examples 1528=head3 Examples
1375 1529
1376Example: Create a timer that fires after 60 seconds. 1530Example: Create a timer that fires after 60 seconds.
1377 1531
1378 static void 1532 static void
1379 one_minute_cb (struct ev_loop *loop, struct ev_timer *w, int revents) 1533 one_minute_cb (struct ev_loop *loop, ev_timer *w, int revents)
1380 { 1534 {
1381 .. one minute over, w is actually stopped right here 1535 .. one minute over, w is actually stopped right here
1382 } 1536 }
1383 1537
1384 struct ev_timer mytimer; 1538 ev_timer mytimer;
1385 ev_timer_init (&mytimer, one_minute_cb, 60., 0.); 1539 ev_timer_init (&mytimer, one_minute_cb, 60., 0.);
1386 ev_timer_start (loop, &mytimer); 1540 ev_timer_start (loop, &mytimer);
1387 1541
1388Example: Create a timeout timer that times out after 10 seconds of 1542Example: Create a timeout timer that times out after 10 seconds of
1389inactivity. 1543inactivity.
1390 1544
1391 static void 1545 static void
1392 timeout_cb (struct ev_loop *loop, struct ev_timer *w, int revents) 1546 timeout_cb (struct ev_loop *loop, ev_timer *w, int revents)
1393 { 1547 {
1394 .. ten seconds without any activity 1548 .. ten seconds without any activity
1395 } 1549 }
1396 1550
1397 struct ev_timer mytimer; 1551 ev_timer mytimer;
1398 ev_timer_init (&mytimer, timeout_cb, 0., 10.); /* note, only repeat used */ 1552 ev_timer_init (&mytimer, timeout_cb, 0., 10.); /* note, only repeat used */
1399 ev_timer_again (&mytimer); /* start timer */ 1553 ev_timer_again (&mytimer); /* start timer */
1400 ev_loop (loop, 0); 1554 ev_loop (loop, 0);
1401 1555
1402 // and in some piece of code that gets executed on any "activity": 1556 // and in some piece of code that gets executed on any "activity":
1488 1642
1489If you need to stop it, return C<now + 1e30> (or so, fudge fudge) and stop 1643If you need to stop it, return C<now + 1e30> (or so, fudge fudge) and stop
1490it afterwards (e.g. by starting an C<ev_prepare> watcher, which is the 1644it afterwards (e.g. by starting an C<ev_prepare> watcher, which is the
1491only event loop modification you are allowed to do). 1645only event loop modification you are allowed to do).
1492 1646
1493The callback prototype is C<ev_tstamp (*reschedule_cb)(struct ev_periodic 1647The callback prototype is C<ev_tstamp (*reschedule_cb)(ev_periodic
1494*w, ev_tstamp now)>, e.g.: 1648*w, ev_tstamp now)>, e.g.:
1495 1649
1650 static ev_tstamp
1496 static ev_tstamp my_rescheduler (struct ev_periodic *w, ev_tstamp now) 1651 my_rescheduler (ev_periodic *w, ev_tstamp now)
1497 { 1652 {
1498 return now + 60.; 1653 return now + 60.;
1499 } 1654 }
1500 1655
1501It must return the next time to trigger, based on the passed time value 1656It must return the next time to trigger, based on the passed time value
1538 1693
1539The current interval value. Can be modified any time, but changes only 1694The current interval value. Can be modified any time, but changes only
1540take effect when the periodic timer fires or C<ev_periodic_again> is being 1695take effect when the periodic timer fires or C<ev_periodic_again> is being
1541called. 1696called.
1542 1697
1543=item ev_tstamp (*reschedule_cb)(struct ev_periodic *w, ev_tstamp now) [read-write] 1698=item ev_tstamp (*reschedule_cb)(ev_periodic *w, ev_tstamp now) [read-write]
1544 1699
1545The current reschedule callback, or C<0>, if this functionality is 1700The current reschedule callback, or C<0>, if this functionality is
1546switched off. Can be changed any time, but changes only take effect when 1701switched off. Can be changed any time, but changes only take effect when
1547the periodic timer fires or C<ev_periodic_again> is being called. 1702the periodic timer fires or C<ev_periodic_again> is being called.
1548 1703
1553Example: Call a callback every hour, or, more precisely, whenever the 1708Example: Call a callback every hour, or, more precisely, whenever the
1554system time is divisible by 3600. The callback invocation times have 1709system time is divisible by 3600. The callback invocation times have
1555potentially a lot of jitter, but good long-term stability. 1710potentially a lot of jitter, but good long-term stability.
1556 1711
1557 static void 1712 static void
1558 clock_cb (struct ev_loop *loop, struct ev_io *w, int revents) 1713 clock_cb (struct ev_loop *loop, ev_io *w, int revents)
1559 { 1714 {
1560 ... its now a full hour (UTC, or TAI or whatever your clock follows) 1715 ... its now a full hour (UTC, or TAI or whatever your clock follows)
1561 } 1716 }
1562 1717
1563 struct ev_periodic hourly_tick; 1718 ev_periodic hourly_tick;
1564 ev_periodic_init (&hourly_tick, clock_cb, 0., 3600., 0); 1719 ev_periodic_init (&hourly_tick, clock_cb, 0., 3600., 0);
1565 ev_periodic_start (loop, &hourly_tick); 1720 ev_periodic_start (loop, &hourly_tick);
1566 1721
1567Example: The same as above, but use a reschedule callback to do it: 1722Example: The same as above, but use a reschedule callback to do it:
1568 1723
1569 #include <math.h> 1724 #include <math.h>
1570 1725
1571 static ev_tstamp 1726 static ev_tstamp
1572 my_scheduler_cb (struct ev_periodic *w, ev_tstamp now) 1727 my_scheduler_cb (ev_periodic *w, ev_tstamp now)
1573 { 1728 {
1574 return now + (3600. - fmod (now, 3600.)); 1729 return now + (3600. - fmod (now, 3600.));
1575 } 1730 }
1576 1731
1577 ev_periodic_init (&hourly_tick, clock_cb, 0., 0., my_scheduler_cb); 1732 ev_periodic_init (&hourly_tick, clock_cb, 0., 0., my_scheduler_cb);
1578 1733
1579Example: Call a callback every hour, starting now: 1734Example: Call a callback every hour, starting now:
1580 1735
1581 struct ev_periodic hourly_tick; 1736 ev_periodic hourly_tick;
1582 ev_periodic_init (&hourly_tick, clock_cb, 1737 ev_periodic_init (&hourly_tick, clock_cb,
1583 fmod (ev_now (loop), 3600.), 3600., 0); 1738 fmod (ev_now (loop), 3600.), 3600., 0);
1584 ev_periodic_start (loop, &hourly_tick); 1739 ev_periodic_start (loop, &hourly_tick);
1585 1740
1586 1741
1628=head3 Examples 1783=head3 Examples
1629 1784
1630Example: Try to exit cleanly on SIGINT. 1785Example: Try to exit cleanly on SIGINT.
1631 1786
1632 static void 1787 static void
1633 sigint_cb (struct ev_loop *loop, struct ev_signal *w, int revents) 1788 sigint_cb (struct ev_loop *loop, ev_signal *w, int revents)
1634 { 1789 {
1635 ev_unloop (loop, EVUNLOOP_ALL); 1790 ev_unloop (loop, EVUNLOOP_ALL);
1636 } 1791 }
1637 1792
1638 struct ev_signal signal_watcher; 1793 ev_signal signal_watcher;
1639 ev_signal_init (&signal_watcher, sigint_cb, SIGINT); 1794 ev_signal_init (&signal_watcher, sigint_cb, SIGINT);
1640 ev_signal_start (loop, &signal_watcher); 1795 ev_signal_start (loop, &signal_watcher);
1641 1796
1642 1797
1643=head2 C<ev_child> - watch out for process status changes 1798=head2 C<ev_child> - watch out for process status changes
1718its completion. 1873its completion.
1719 1874
1720 ev_child cw; 1875 ev_child cw;
1721 1876
1722 static void 1877 static void
1723 child_cb (EV_P_ struct ev_child *w, int revents) 1878 child_cb (EV_P_ ev_child *w, int revents)
1724 { 1879 {
1725 ev_child_stop (EV_A_ w); 1880 ev_child_stop (EV_A_ w);
1726 printf ("process %d exited with status %x\n", w->rpid, w->rstatus); 1881 printf ("process %d exited with status %x\n", w->rpid, w->rstatus);
1727 } 1882 }
1728 1883
1792to exchange stat structures with application programs compiled using the 1947to exchange stat structures with application programs compiled using the
1793default compilation environment. 1948default compilation environment.
1794 1949
1795=head3 Inotify and Kqueue 1950=head3 Inotify and Kqueue
1796 1951
1797When C<inotify (7)> support has been compiled into libev (generally only 1952When C<inotify (7)> support has been compiled into libev (generally
1953only available with Linux 2.6.25 or above due to bugs in earlier
1798available with Linux) and present at runtime, it will be used to speed up 1954implementations) and present at runtime, it will be used to speed up
1799change detection where possible. The inotify descriptor will be created lazily 1955change detection where possible. The inotify descriptor will be created
1800when the first C<ev_stat> watcher is being started. 1956lazily when the first C<ev_stat> watcher is being started.
1801 1957
1802Inotify presence does not change the semantics of C<ev_stat> watchers 1958Inotify presence does not change the semantics of C<ev_stat> watchers
1803except that changes might be detected earlier, and in some cases, to avoid 1959except that changes might be detected earlier, and in some cases, to avoid
1804making regular C<stat> calls. Even in the presence of inotify support 1960making regular C<stat> calls. Even in the presence of inotify support
1805there are many cases where libev has to resort to regular C<stat> polling, 1961there are many cases where libev has to resort to regular C<stat> polling,
1979 2135
1980Example: Dynamically allocate an C<ev_idle> watcher, start it, and in the 2136Example: Dynamically allocate an C<ev_idle> watcher, start it, and in the
1981callback, free it. Also, use no error checking, as usual. 2137callback, free it. Also, use no error checking, as usual.
1982 2138
1983 static void 2139 static void
1984 idle_cb (struct ev_loop *loop, struct ev_idle *w, int revents) 2140 idle_cb (struct ev_loop *loop, ev_idle *w, int revents)
1985 { 2141 {
1986 free (w); 2142 free (w);
1987 // now do something you wanted to do when the program has 2143 // now do something you wanted to do when the program has
1988 // no longer anything immediate to do. 2144 // no longer anything immediate to do.
1989 } 2145 }
1990 2146
1991 struct ev_idle *idle_watcher = malloc (sizeof (struct ev_idle)); 2147 ev_idle *idle_watcher = malloc (sizeof (ev_idle));
1992 ev_idle_init (idle_watcher, idle_cb); 2148 ev_idle_init (idle_watcher, idle_cb);
1993 ev_idle_start (loop, idle_cb); 2149 ev_idle_start (loop, idle_cb);
1994 2150
1995 2151
1996=head2 C<ev_prepare> and C<ev_check> - customise your event loop! 2152=head2 C<ev_prepare> and C<ev_check> - customise your event loop!
2077 2233
2078 static ev_io iow [nfd]; 2234 static ev_io iow [nfd];
2079 static ev_timer tw; 2235 static ev_timer tw;
2080 2236
2081 static void 2237 static void
2082 io_cb (ev_loop *loop, ev_io *w, int revents) 2238 io_cb (struct ev_loop *loop, ev_io *w, int revents)
2083 { 2239 {
2084 } 2240 }
2085 2241
2086 // create io watchers for each fd and a timer before blocking 2242 // create io watchers for each fd and a timer before blocking
2087 static void 2243 static void
2088 adns_prepare_cb (ev_loop *loop, ev_prepare *w, int revents) 2244 adns_prepare_cb (struct ev_loop *loop, ev_prepare *w, int revents)
2089 { 2245 {
2090 int timeout = 3600000; 2246 int timeout = 3600000;
2091 struct pollfd fds [nfd]; 2247 struct pollfd fds [nfd];
2092 // actual code will need to loop here and realloc etc. 2248 // actual code will need to loop here and realloc etc.
2093 adns_beforepoll (ads, fds, &nfd, &timeout, timeval_from (ev_time ())); 2249 adns_beforepoll (ads, fds, &nfd, &timeout, timeval_from (ev_time ()));
2108 } 2264 }
2109 } 2265 }
2110 2266
2111 // stop all watchers after blocking 2267 // stop all watchers after blocking
2112 static void 2268 static void
2113 adns_check_cb (ev_loop *loop, ev_check *w, int revents) 2269 adns_check_cb (struct ev_loop *loop, ev_check *w, int revents)
2114 { 2270 {
2115 ev_timer_stop (loop, &tw); 2271 ev_timer_stop (loop, &tw);
2116 2272
2117 for (int i = 0; i < nfd; ++i) 2273 for (int i = 0; i < nfd; ++i)
2118 { 2274 {
2286C<loop_lo> (which is C<loop_hi> in the case no embeddable loop can be 2442C<loop_lo> (which is C<loop_hi> in the case no embeddable loop can be
2287used). 2443used).
2288 2444
2289 struct ev_loop *loop_hi = ev_default_init (0); 2445 struct ev_loop *loop_hi = ev_default_init (0);
2290 struct ev_loop *loop_lo = 0; 2446 struct ev_loop *loop_lo = 0;
2291 struct ev_embed embed; 2447 ev_embed embed;
2292 2448
2293 // see if there is a chance of getting one that works 2449 // see if there is a chance of getting one that works
2294 // (remember that a flags value of 0 means autodetection) 2450 // (remember that a flags value of 0 means autodetection)
2295 loop_lo = ev_embeddable_backends () & ev_recommended_backends () 2451 loop_lo = ev_embeddable_backends () & ev_recommended_backends ()
2296 ? ev_loop_new (ev_embeddable_backends () & ev_recommended_backends ()) 2452 ? ev_loop_new (ev_embeddable_backends () & ev_recommended_backends ())
2310kqueue implementation). Store the kqueue/socket-only event loop in 2466kqueue implementation). Store the kqueue/socket-only event loop in
2311C<loop_socket>. (One might optionally use C<EVFLAG_NOENV>, too). 2467C<loop_socket>. (One might optionally use C<EVFLAG_NOENV>, too).
2312 2468
2313 struct ev_loop *loop = ev_default_init (0); 2469 struct ev_loop *loop = ev_default_init (0);
2314 struct ev_loop *loop_socket = 0; 2470 struct ev_loop *loop_socket = 0;
2315 struct ev_embed embed; 2471 ev_embed embed;
2316 2472
2317 if (ev_supported_backends () & ~ev_recommended_backends () & EVBACKEND_KQUEUE) 2473 if (ev_supported_backends () & ~ev_recommended_backends () & EVBACKEND_KQUEUE)
2318 if ((loop_socket = ev_loop_new (EVBACKEND_KQUEUE)) 2474 if ((loop_socket = ev_loop_new (EVBACKEND_KQUEUE))
2319 { 2475 {
2320 ev_embed_init (&embed, 0, loop_socket); 2476 ev_embed_init (&embed, 0, loop_socket);
2384=over 4 2540=over 4
2385 2541
2386=item queueing from a signal handler context 2542=item queueing from a signal handler context
2387 2543
2388To implement race-free queueing, you simply add to the queue in the signal 2544To implement race-free queueing, you simply add to the queue in the signal
2389handler but you block the signal handler in the watcher callback. Here is an example that does that for 2545handler but you block the signal handler in the watcher callback. Here is
2390some fictitious SIGUSR1 handler: 2546an example that does that for some fictitious SIGUSR1 handler:
2391 2547
2392 static ev_async mysig; 2548 static ev_async mysig;
2393 2549
2394 static void 2550 static void
2395 sigusr1_handler (void) 2551 sigusr1_handler (void)
2502=over 4 2658=over 4
2503 2659
2504=item ev_once (loop, int fd, int events, ev_tstamp timeout, callback) 2660=item ev_once (loop, int fd, int events, ev_tstamp timeout, callback)
2505 2661
2506This function combines a simple timer and an I/O watcher, calls your 2662This function combines a simple timer and an I/O watcher, calls your
2507callback on whichever event happens first and automatically stop both 2663callback on whichever event happens first and automatically stops both
2508watchers. This is useful if you want to wait for a single event on an fd 2664watchers. This is useful if you want to wait for a single event on an fd
2509or timeout without having to allocate/configure/start/stop/free one or 2665or timeout without having to allocate/configure/start/stop/free one or
2510more watchers yourself. 2666more watchers yourself.
2511 2667
2512If C<fd> is less than 0, then no I/O watcher will be started and events 2668If C<fd> is less than 0, then no I/O watcher will be started and the
2513is being ignored. Otherwise, an C<ev_io> watcher for the given C<fd> and 2669C<events> argument is being ignored. Otherwise, an C<ev_io> watcher for
2514C<events> set will be created and started. 2670the given C<fd> and C<events> set will be created and started.
2515 2671
2516If C<timeout> is less than 0, then no timeout watcher will be 2672If C<timeout> is less than 0, then no timeout watcher will be
2517started. Otherwise an C<ev_timer> watcher with after = C<timeout> (and 2673started. Otherwise an C<ev_timer> watcher with after = C<timeout> (and
2518repeat = 0) will be started. While C<0> is a valid timeout, it is of 2674repeat = 0) will be started. C<0> is a valid timeout.
2519dubious value.
2520 2675
2521The callback has the type C<void (*cb)(int revents, void *arg)> and gets 2676The callback has the type C<void (*cb)(int revents, void *arg)> and gets
2522passed an C<revents> set like normal event callbacks (a combination of 2677passed an C<revents> set like normal event callbacks (a combination of
2523C<EV_ERROR>, C<EV_READ>, C<EV_WRITE> or C<EV_TIMEOUT>) and the C<arg> 2678C<EV_ERROR>, C<EV_READ>, C<EV_WRITE> or C<EV_TIMEOUT>) and the C<arg>
2524value passed to C<ev_once>: 2679value passed to C<ev_once>. Note that it is possible to receive I<both>
2680a timeout and an io event at the same time - you probably should give io
2681events precedence.
2682
2683Example: wait up to ten seconds for data to appear on STDIN_FILENO.
2525 2684
2526 static void stdin_ready (int revents, void *arg) 2685 static void stdin_ready (int revents, void *arg)
2527 { 2686 {
2687 if (revents & EV_READ)
2688 /* stdin might have data for us, joy! */;
2528 if (revents & EV_TIMEOUT) 2689 else if (revents & EV_TIMEOUT)
2529 /* doh, nothing entered */; 2690 /* doh, nothing entered */;
2530 else if (revents & EV_READ)
2531 /* stdin might have data for us, joy! */;
2532 } 2691 }
2533 2692
2534 ev_once (STDIN_FILENO, EV_READ, 10., stdin_ready, 0); 2693 ev_once (STDIN_FILENO, EV_READ, 10., stdin_ready, 0);
2535 2694
2536=item ev_feed_event (ev_loop *, watcher *, int revents) 2695=item ev_feed_event (struct ev_loop *, watcher *, int revents)
2537 2696
2538Feeds the given event set into the event loop, as if the specified event 2697Feeds the given event set into the event loop, as if the specified event
2539had happened for the specified watcher (which must be a pointer to an 2698had happened for the specified watcher (which must be a pointer to an
2540initialised but not necessarily started event watcher). 2699initialised but not necessarily started event watcher).
2541 2700
2542=item ev_feed_fd_event (ev_loop *, int fd, int revents) 2701=item ev_feed_fd_event (struct ev_loop *, int fd, int revents)
2543 2702
2544Feed an event on the given fd, as if a file descriptor backend detected 2703Feed an event on the given fd, as if a file descriptor backend detected
2545the given events it. 2704the given events it.
2546 2705
2547=item ev_feed_signal_event (ev_loop *loop, int signum) 2706=item ev_feed_signal_event (struct ev_loop *loop, int signum)
2548 2707
2549Feed an event as if the given signal occurred (C<loop> must be the default 2708Feed an event as if the given signal occurred (C<loop> must be the default
2550loop!). 2709loop!).
2551 2710
2552=back 2711=back
3313=head2 THREADS AND COROUTINES 3472=head2 THREADS AND COROUTINES
3314 3473
3315=head3 THREADS 3474=head3 THREADS
3316 3475
3317All libev functions are reentrant and thread-safe unless explicitly 3476All libev functions are reentrant and thread-safe unless explicitly
3318documented otherwise, but it uses no locking itself. This means that you 3477documented otherwise, but libev implements no locking itself. This means
3319can use as many loops as you want in parallel, as long as there are no 3478that you can use as many loops as you want in parallel, as long as there
3320concurrent calls into any libev function with the same loop parameter 3479are no concurrent calls into any libev function with the same loop
3321(C<ev_default_*> calls have an implicit default loop parameter, of 3480parameter (C<ev_default_*> calls have an implicit default loop parameter,
3322course): libev guarantees that different event loops share no data 3481of course): libev guarantees that different event loops share no data
3323structures that need any locking. 3482structures that need any locking.
3324 3483
3325Or to put it differently: calls with different loop parameters can be done 3484Or to put it differently: calls with different loop parameters can be done
3326concurrently from multiple threads, calls with the same loop parameter 3485concurrently from multiple threads, calls with the same loop parameter
3327must be done serially (but can be done from different threads, as long as 3486must be done serially (but can be done from different threads, as long as
3369 3528
3370=back 3529=back
3371 3530
3372=head3 COROUTINES 3531=head3 COROUTINES
3373 3532
3374Libev is much more accommodating to coroutines ("cooperative threads"): 3533Libev is very accommodating to coroutines ("cooperative threads"):
3375libev fully supports nesting calls to it's functions from different 3534libev fully supports nesting calls to its functions from different
3376coroutines (e.g. you can call C<ev_loop> on the same loop from two 3535coroutines (e.g. you can call C<ev_loop> on the same loop from two
3377different coroutines and switch freely between both coroutines running the 3536different coroutines, and switch freely between both coroutines running the
3378loop, as long as you don't confuse yourself). The only exception is that 3537loop, as long as you don't confuse yourself). The only exception is that
3379you must not do this from C<ev_periodic> reschedule callbacks. 3538you must not do this from C<ev_periodic> reschedule callbacks.
3380 3539
3381Care has been taken to ensure that libev does not keep local state inside 3540Care has been taken to ensure that libev does not keep local state inside
3382C<ev_loop>, and other calls do not usually allow coroutine switches. 3541C<ev_loop>, and other calls do not usually allow for coroutine switches as
3542they do not clal any callbacks.
3383 3543
3384=head2 COMPILER WARNINGS 3544=head2 COMPILER WARNINGS
3385 3545
3386Depending on your compiler and compiler settings, you might get no or a 3546Depending on your compiler and compiler settings, you might get no or a
3387lot of warnings when compiling libev code. Some people are apparently 3547lot of warnings when compiling libev code. Some people are apparently
3408with any compiler warnings enabled unless you are prepared to cope with 3568with any compiler warnings enabled unless you are prepared to cope with
3409them (e.g. by ignoring them). Remember that warnings are just that: 3569them (e.g. by ignoring them). Remember that warnings are just that:
3410warnings, not errors, or proof of bugs. 3570warnings, not errors, or proof of bugs.
3411 3571
3412 3572
3413=head1 VALGRIND 3573=head2 VALGRIND
3414 3574
3415Valgrind has a special section here because it is a popular tool that is 3575Valgrind has a special section here because it is a popular tool that is
3416highly useful. Unfortunately, valgrind reports are very hard to interpret. 3576highly useful. Unfortunately, valgrind reports are very hard to interpret.
3417 3577
3418If you think you found a bug (memory leak, uninitialised data access etc.) 3578If you think you found a bug (memory leak, uninitialised data access etc.)
3441 3601
3442If you need, for some reason, empty reports from valgrind for your project 3602If you need, for some reason, empty reports from valgrind for your project
3443I suggest using suppression lists. 3603I suggest using suppression lists.
3444 3604
3445 3605
3446
3447=head1 COMPLEXITIES
3448
3449In this section the complexities of (many of) the algorithms used inside
3450libev will be explained. For complexity discussions about backends see the
3451documentation for C<ev_default_init>.
3452
3453All of the following are about amortised time: If an array needs to be
3454extended, libev needs to realloc and move the whole array, but this
3455happens asymptotically never with higher number of elements, so O(1) might
3456mean it might do a lengthy realloc operation in rare cases, but on average
3457it is much faster and asymptotically approaches constant time.
3458
3459=over 4
3460
3461=item Starting and stopping timer/periodic watchers: O(log skipped_other_timers)
3462
3463This means that, when you have a watcher that triggers in one hour and
3464there are 100 watchers that would trigger before that then inserting will
3465have to skip roughly seven (C<ld 100>) of these watchers.
3466
3467=item Changing timer/periodic watchers (by autorepeat or calling again): O(log skipped_other_timers)
3468
3469That means that changing a timer costs less than removing/adding them
3470as only the relative motion in the event queue has to be paid for.
3471
3472=item Starting io/check/prepare/idle/signal/child/fork/async watchers: O(1)
3473
3474These just add the watcher into an array or at the head of a list.
3475
3476=item Stopping check/prepare/idle/fork/async watchers: O(1)
3477
3478=item Stopping an io/signal/child watcher: O(number_of_watchers_for_this_(fd/signal/pid % EV_PID_HASHSIZE))
3479
3480These watchers are stored in lists then need to be walked to find the
3481correct watcher to remove. The lists are usually short (you don't usually
3482have many watchers waiting for the same fd or signal).
3483
3484=item Finding the next timer in each loop iteration: O(1)
3485
3486By virtue of using a binary or 4-heap, the next timer is always found at a
3487fixed position in the storage array.
3488
3489=item Each change on a file descriptor per loop iteration: O(number_of_watchers_for_this_fd)
3490
3491A change means an I/O watcher gets started or stopped, which requires
3492libev to recalculate its status (and possibly tell the kernel, depending
3493on backend and whether C<ev_io_set> was used).
3494
3495=item Activating one watcher (putting it into the pending state): O(1)
3496
3497=item Priority handling: O(number_of_priorities)
3498
3499Priorities are implemented by allocating some space for each
3500priority. When doing priority-based operations, libev usually has to
3501linearly search all the priorities, but starting/stopping and activating
3502watchers becomes O(1) with respect to priority handling.
3503
3504=item Sending an ev_async: O(1)
3505
3506=item Processing ev_async_send: O(number_of_async_watchers)
3507
3508=item Processing signals: O(max_signal_number)
3509
3510Sending involves a system call I<iff> there were no other C<ev_async_send>
3511calls in the current loop iteration. Checking for async and signal events
3512involves iterating over all running async watchers or all signal numbers.
3513
3514=back
3515
3516
3517=head1 PORTABILITY 3606=head1 PORTABILITY NOTES
3518 3607
3519=head2 WIN32 PLATFORM LIMITATIONS AND WORKAROUNDS 3608=head2 WIN32 PLATFORM LIMITATIONS AND WORKAROUNDS
3520 3609
3521Win32 doesn't support any of the standards (e.g. POSIX) that libev 3610Win32 doesn't support any of the standards (e.g. POSIX) that libev
3522requires, and its I/O model is fundamentally incompatible with the POSIX 3611requires, and its I/O model is fundamentally incompatible with the POSIX
3667=back 3756=back
3668 3757
3669If you know of other additional requirements drop me a note. 3758If you know of other additional requirements drop me a note.
3670 3759
3671 3760
3761=head1 ALGORITHMIC COMPLEXITIES
3762
3763In this section the complexities of (many of) the algorithms used inside
3764libev will be documented. For complexity discussions about backends see
3765the documentation for C<ev_default_init>.
3766
3767All of the following are about amortised time: If an array needs to be
3768extended, libev needs to realloc and move the whole array, but this
3769happens asymptotically rarer with higher number of elements, so O(1) might
3770mean that libev does a lengthy realloc operation in rare cases, but on
3771average it is much faster and asymptotically approaches constant time.
3772
3773=over 4
3774
3775=item Starting and stopping timer/periodic watchers: O(log skipped_other_timers)
3776
3777This means that, when you have a watcher that triggers in one hour and
3778there are 100 watchers that would trigger before that, then inserting will
3779have to skip roughly seven (C<ld 100>) of these watchers.
3780
3781=item Changing timer/periodic watchers (by autorepeat or calling again): O(log skipped_other_timers)
3782
3783That means that changing a timer costs less than removing/adding them,
3784as only the relative motion in the event queue has to be paid for.
3785
3786=item Starting io/check/prepare/idle/signal/child/fork/async watchers: O(1)
3787
3788These just add the watcher into an array or at the head of a list.
3789
3790=item Stopping check/prepare/idle/fork/async watchers: O(1)
3791
3792=item Stopping an io/signal/child watcher: O(number_of_watchers_for_this_(fd/signal/pid % EV_PID_HASHSIZE))
3793
3794These watchers are stored in lists, so they need to be walked to find the
3795correct watcher to remove. The lists are usually short (you don't usually
3796have many watchers waiting for the same fd or signal: one is typical, two
3797is rare).
3798
3799=item Finding the next timer in each loop iteration: O(1)
3800
3801By virtue of using a binary or 4-heap, the next timer is always found at a
3802fixed position in the storage array.
3803
3804=item Each change on a file descriptor per loop iteration: O(number_of_watchers_for_this_fd)
3805
3806A change means an I/O watcher gets started or stopped, which requires
3807libev to recalculate its status (and possibly tell the kernel, depending
3808on backend and whether C<ev_io_set> was used).
3809
3810=item Activating one watcher (putting it into the pending state): O(1)
3811
3812=item Priority handling: O(number_of_priorities)
3813
3814Priorities are implemented by allocating some space for each
3815priority. When doing priority-based operations, libev usually has to
3816linearly search all the priorities, but starting/stopping and activating
3817watchers becomes O(1) with respect to priority handling.
3818
3819=item Sending an ev_async: O(1)
3820
3821=item Processing ev_async_send: O(number_of_async_watchers)
3822
3823=item Processing signals: O(max_signal_number)
3824
3825Sending involves a system call I<iff> there were no other C<ev_async_send>
3826calls in the current loop iteration. Checking for async and signal events
3827involves iterating over all running async watchers or all signal numbers.
3828
3829=back
3830
3831
3672=head1 AUTHOR 3832=head1 AUTHOR
3673 3833
3674Marc Lehmann <libev@schmorp.de>. 3834Marc Lehmann <libev@schmorp.de>.
3675 3835

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines