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

Comparing libev/ev.pod (file contents):
Revision 1.191 by root, Tue Sep 30 19:45:23 2008 UTC vs.
Revision 1.202 by root, Fri Oct 24 08:30:01 2008 UTC

10 10
11 // a single header file is required 11 // a single header file is required
12 #include <ev.h> 12 #include <ev.h>
13 13
14 // every watcher type has its own typedef'd struct 14 // every watcher type has its own typedef'd struct
15 // with the name ev_<type> 15 // with the name ev_TYPE
16 ev_io stdin_watcher; 16 ev_io stdin_watcher;
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<struct ev_loop *> (the C<struct>
282types of such loops, the I<default> loop, which supports signals and child 282is I<not> optional in this case, as there is also an C<ev_loop>
283events, and dynamically created loops which do not. 283I<function>).
284
285The library knows two types of such loops, the I<default> loop, which
286supports signals and child events, and dynamically created loops which do
287not.
284 288
285=over 4 289=over 4
286 290
287=item struct ev_loop *ev_default_loop (unsigned int flags) 291=item struct ev_loop *ev_default_loop (unsigned int flags)
288 292
685C<EVUNLOOP_ONE>, which will make the innermost C<ev_loop> call return, or 689C<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. 690C<EVUNLOOP_ALL>, which will make all nested C<ev_loop> calls return.
687 691
688This "unloop state" will be cleared when entering C<ev_loop> again. 692This "unloop state" will be cleared when entering C<ev_loop> again.
689 693
694It is safe to call C<ev_unloop> from otuside any C<ev_loop> calls.
695
690=item ev_ref (loop) 696=item ev_ref (loop)
691 697
692=item ev_unref (loop) 698=item ev_unref (loop)
693 699
694Ref/unref can be used to add or remove a reference count on the event 700Ref/unref can be used to add or remove a reference count on the event
708respectively). 714respectively).
709 715
710Example: Create a signal watcher, but keep it from keeping C<ev_loop> 716Example: Create a signal watcher, but keep it from keeping C<ev_loop>
711running when nothing else is active. 717running when nothing else is active.
712 718
713 struct ev_signal exitsig; 719 ev_signal exitsig;
714 ev_signal_init (&exitsig, sig_cb, SIGINT); 720 ev_signal_init (&exitsig, sig_cb, SIGINT);
715 ev_signal_start (loop, &exitsig); 721 ev_signal_start (loop, &exitsig);
716 evf_unref (loop); 722 evf_unref (loop);
717 723
718Example: For some weird reason, unregister the above signal handler again. 724Example: For some weird reason, unregister the above signal handler again.
766they fire on, say, one-second boundaries only. 772they fire on, say, one-second boundaries only.
767 773
768=item ev_loop_verify (loop) 774=item ev_loop_verify (loop)
769 775
770This function only does something when C<EV_VERIFY> support has been 776This function only does something when C<EV_VERIFY> support has been
771compiled in. which is the default for non-minimal builds. It tries to go 777compiled in, which is the default for non-minimal builds. It tries to go
772through all internal structures and checks them for validity. If anything 778through all internal structures and checks them for validity. If anything
773is found to be inconsistent, it will print an error message to standard 779is found to be inconsistent, it will print an error message to standard
774error and call C<abort ()>. 780error and call C<abort ()>.
775 781
776This can be used to catch bugs inside libev itself: under normal 782This can be used to catch bugs inside libev itself: under normal
780=back 786=back
781 787
782 788
783=head1 ANATOMY OF A WATCHER 789=head1 ANATOMY OF A WATCHER
784 790
791In the following description, uppercase C<TYPE> in names stands for the
792watcher type, e.g. C<ev_TYPE_start> can mean C<ev_timer_start> for timer
793watchers and C<ev_io_start> for I/O watchers.
794
785A watcher is a structure that you create and register to record your 795A 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 796interest 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: 797become readable, you would create an C<ev_io> watcher for that:
788 798
789 static void my_cb (struct ev_loop *loop, struct ev_io *w, int revents) 799 static void my_cb (struct ev_loop *loop, ev_io *w, int revents)
790 { 800 {
791 ev_io_stop (w); 801 ev_io_stop (w);
792 ev_unloop (loop, EVUNLOOP_ALL); 802 ev_unloop (loop, EVUNLOOP_ALL);
793 } 803 }
794 804
795 struct ev_loop *loop = ev_default_loop (0); 805 struct ev_loop *loop = ev_default_loop (0);
806
796 struct ev_io stdin_watcher; 807 ev_io stdin_watcher;
808
797 ev_init (&stdin_watcher, my_cb); 809 ev_init (&stdin_watcher, my_cb);
798 ev_io_set (&stdin_watcher, STDIN_FILENO, EV_READ); 810 ev_io_set (&stdin_watcher, STDIN_FILENO, EV_READ);
799 ev_io_start (loop, &stdin_watcher); 811 ev_io_start (loop, &stdin_watcher);
812
800 ev_loop (loop, 0); 813 ev_loop (loop, 0);
801 814
802As you can see, you are responsible for allocating the memory for your 815As you can see, you are responsible for allocating the memory for your
803watcher structures (and it is usually a bad idea to do this on the stack, 816watcher structures (and it is I<usually> a bad idea to do this on the
804although this can sometimes be quite valid). 817stack).
818
819Each watcher has an associated watcher structure (called C<struct ev_TYPE>
820or simply C<ev_TYPE>, as typedefs are provided for all watcher structs).
805 821
806Each watcher structure must be initialised by a call to C<ev_init 822Each watcher structure must be initialised by a call to C<ev_init
807(watcher *, callback)>, which expects a callback to be provided. This 823(watcher *, callback)>, which expects a callback to be provided. This
808callback gets invoked each time the event occurs (or, in the case of I/O 824callback gets invoked each time the event occurs (or, in the case of I/O
809watchers, each time the event loop detects that the file descriptor given 825watchers, each time the event loop detects that the file descriptor given
810is readable and/or writable). 826is readable and/or writable).
811 827
812Each watcher type has its own C<< ev_<type>_set (watcher *, ...) >> macro 828Each watcher type further has its own C<< ev_TYPE_set (watcher *, ...) >>
813with arguments specific to this watcher type. There is also a macro 829macro to configure it, with arguments specific to the watcher type. There
814to combine initialisation and setting in one call: C<< ev_<type>_init 830is also a macro to combine initialisation and setting in one call: C<<
815(watcher *, callback, ...) >>. 831ev_TYPE_init (watcher *, callback, ...) >>.
816 832
817To make the watcher actually watch out for events, you have to start it 833To make the watcher actually watch out for events, you have to start it
818with a watcher-specific start function (C<< ev_<type>_start (loop, watcher 834with a watcher-specific start function (C<< ev_TYPE_start (loop, watcher
819*) >>), and you can stop watching for events at any time by calling the 835*) >>), and you can stop watching for events at any time by calling the
820corresponding stop function (C<< ev_<type>_stop (loop, watcher *) >>. 836corresponding stop function (C<< ev_TYPE_stop (loop, watcher *) >>.
821 837
822As long as your watcher is active (has been started but not stopped) you 838As long as your watcher is active (has been started but not stopped) you
823must not touch the values stored in it. Most specifically you must never 839must not touch the values stored in it. Most specifically you must never
824reinitialise it or call its C<set> macro. 840reinitialise it or call its C<ev_TYPE_set> macro.
825 841
826Each and every callback receives the event loop pointer as first, the 842Each and every callback receives the event loop pointer as first, the
827registered watcher structure as second, and a bitset of received events as 843registered watcher structure as second, and a bitset of received events as
828third argument. 844third argument.
829 845
892=item C<EV_ERROR> 908=item C<EV_ERROR>
893 909
894An unspecified error has occurred, the watcher has been stopped. This might 910An unspecified error has occurred, the watcher has been stopped. This might
895happen because the watcher could not be properly started because libev 911happen 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 912ran out of memory, a file descriptor was found to be closed or any other
913problem. Libev considers these application bugs.
914
897problem. You best act on it by reporting the problem and somehow coping 915You best act on it by reporting the problem and somehow coping with the
898with the watcher being stopped. 916watcher being stopped. Note that well-written programs should not receive
917an error ever, so when your watcher receives it, this usually indicates a
918bug in your program.
899 919
900Libev will usually signal a few "dummy" events together with an error, for 920Libev 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 921example 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 922callbacks 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 923the error from read() or write(). This will not work in multi-threaded
906 926
907=back 927=back
908 928
909=head2 GENERIC WATCHER FUNCTIONS 929=head2 GENERIC WATCHER FUNCTIONS
910 930
911In the following description, C<TYPE> stands for the watcher type,
912e.g. C<timer> for C<ev_timer> watchers and C<io> for C<ev_io> watchers.
913
914=over 4 931=over 4
915 932
916=item C<ev_init> (ev_TYPE *watcher, callback) 933=item C<ev_init> (ev_TYPE *watcher, callback)
917 934
918This macro initialises the generic portion of a watcher. The contents 935This macro initialises the generic portion of a watcher. The contents
923which rolls both calls into one. 940which rolls both calls into one.
924 941
925You can reinitialise a watcher at any time as long as it has been stopped 942You 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. 943(or never started) and there are no pending events outstanding.
927 944
928The callback is always of type C<void (*)(ev_loop *loop, ev_TYPE *watcher, 945The callback is always of type C<void (*)(struct ev_loop *loop, ev_TYPE *watcher,
929int revents)>. 946int revents)>.
930 947
931Example: Initialise an C<ev_io> watcher in two steps. 948Example: Initialise an C<ev_io> watcher in two steps.
932 949
933 ev_io w; 950 ev_io w;
967 984
968 ev_io_start (EV_DEFAULT_UC, &w); 985 ev_io_start (EV_DEFAULT_UC, &w);
969 986
970=item C<ev_TYPE_stop> (loop *, ev_TYPE *watcher) 987=item C<ev_TYPE_stop> (loop *, ev_TYPE *watcher)
971 988
972Stops the given watcher again (if active) and clears the pending 989Stops the given watcher if active, and clears the pending status (whether
990the watcher was active or not).
991
973status. It is possible that stopped watchers are pending (for example, 992It is possible that stopped watchers are pending - for example,
974non-repeating timers are being stopped when they become pending), but 993non-repeating timers are being stopped when they become pending - but
975C<ev_TYPE_stop> ensures that the watcher is neither active nor pending. If 994calling 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 995pending. 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. 996therefore a good idea to always call its C<ev_TYPE_stop> function.
978 997
979=item bool ev_is_active (ev_TYPE *watcher) 998=item bool ev_is_active (ev_TYPE *watcher)
980 999
981Returns a true value iff the watcher is active (i.e. it has been started 1000Returns 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 1001and not yet been stopped). As long as a watcher is active you must not modify
1024The default priority used by watchers when no priority has been set is 1043The default priority used by watchers when no priority has been set is
1025always C<0>, which is supposed to not be too high and not be too low :). 1044always C<0>, which is supposed to not be too high and not be too low :).
1026 1045
1027Setting a priority outside the range of C<EV_MINPRI> to C<EV_MAXPRI> is 1046Setting a priority outside the range of C<EV_MINPRI> to C<EV_MAXPRI> is
1028fine, as long as you do not mind that the priority value you query might 1047fine, as long as you do not mind that the priority value you query might
1029or might not have been adjusted to be within valid range. 1048or might not have been clamped to the valid range.
1030 1049
1031=item ev_invoke (loop, ev_TYPE *watcher, int revents) 1050=item ev_invoke (loop, ev_TYPE *watcher, int revents)
1032 1051
1033Invoke the C<watcher> with the given C<loop> and C<revents>. Neither 1052Invoke the C<watcher> with the given C<loop> and C<revents>. Neither
1034C<loop> nor C<revents> need to be valid as long as the watcher callback 1053C<loop> nor C<revents> need to be valid as long as the watcher callback
1056member, you can also "subclass" the watcher type and provide your own 1075member, you can also "subclass" the watcher type and provide your own
1057data: 1076data:
1058 1077
1059 struct my_io 1078 struct my_io
1060 { 1079 {
1061 struct ev_io io; 1080 ev_io io;
1062 int otherfd; 1081 int otherfd;
1063 void *somedata; 1082 void *somedata;
1064 struct whatever *mostinteresting; 1083 struct whatever *mostinteresting;
1065 }; 1084 };
1066 1085
1069 ev_io_init (&w.io, my_cb, fd, EV_READ); 1088 ev_io_init (&w.io, my_cb, fd, EV_READ);
1070 1089
1071And since your callback will be called with a pointer to the watcher, you 1090And since your callback will be called with a pointer to the watcher, you
1072can cast it back to your own type: 1091can cast it back to your own type:
1073 1092
1074 static void my_cb (struct ev_loop *loop, struct ev_io *w_, int revents) 1093 static void my_cb (struct ev_loop *loop, ev_io *w_, int revents)
1075 { 1094 {
1076 struct my_io *w = (struct my_io *)w_; 1095 struct my_io *w = (struct my_io *)w_;
1077 ... 1096 ...
1078 } 1097 }
1079 1098
1097programmers): 1116programmers):
1098 1117
1099 #include <stddef.h> 1118 #include <stddef.h>
1100 1119
1101 static void 1120 static void
1102 t1_cb (EV_P_ struct ev_timer *w, int revents) 1121 t1_cb (EV_P_ ev_timer *w, int revents)
1103 { 1122 {
1104 struct my_biggy big = (struct my_biggy * 1123 struct my_biggy big = (struct my_biggy *
1105 (((char *)w) - offsetof (struct my_biggy, t1)); 1124 (((char *)w) - offsetof (struct my_biggy, t1));
1106 } 1125 }
1107 1126
1108 static void 1127 static void
1109 t2_cb (EV_P_ struct ev_timer *w, int revents) 1128 t2_cb (EV_P_ ev_timer *w, int revents)
1110 { 1129 {
1111 struct my_biggy big = (struct my_biggy * 1130 struct my_biggy big = (struct my_biggy *
1112 (((char *)w) - offsetof (struct my_biggy, t2)); 1131 (((char *)w) - offsetof (struct my_biggy, t2));
1113 } 1132 }
1114 1133
1249Example: Call C<stdin_readable_cb> when STDIN_FILENO has become, well 1268Example: Call C<stdin_readable_cb> when STDIN_FILENO has become, well
1250readable, but only once. Since it is likely line-buffered, you could 1269readable, but only once. Since it is likely line-buffered, you could
1251attempt to read a whole line in the callback. 1270attempt to read a whole line in the callback.
1252 1271
1253 static void 1272 static void
1254 stdin_readable_cb (struct ev_loop *loop, struct ev_io *w, int revents) 1273 stdin_readable_cb (struct ev_loop *loop, ev_io *w, int revents)
1255 { 1274 {
1256 ev_io_stop (loop, w); 1275 ev_io_stop (loop, w);
1257 .. read from stdin here (or from w->fd) and handle any I/O errors 1276 .. read from stdin here (or from w->fd) and handle any I/O errors
1258 } 1277 }
1259 1278
1260 ... 1279 ...
1261 struct ev_loop *loop = ev_default_init (0); 1280 struct ev_loop *loop = ev_default_init (0);
1262 struct ev_io stdin_readable; 1281 ev_io stdin_readable;
1263 ev_io_init (&stdin_readable, stdin_readable_cb, STDIN_FILENO, EV_READ); 1282 ev_io_init (&stdin_readable, stdin_readable_cb, STDIN_FILENO, EV_READ);
1264 ev_io_start (loop, &stdin_readable); 1283 ev_io_start (loop, &stdin_readable);
1265 ev_loop (loop, 0); 1284 ev_loop (loop, 0);
1266 1285
1267 1286
1278 1297
1279The callback is guaranteed to be invoked only I<after> its timeout has 1298The callback is guaranteed to be invoked only I<after> its timeout has
1280passed, but if multiple timers become ready during the same loop iteration 1299passed, but if multiple timers become ready during the same loop iteration
1281then order of execution is undefined. 1300then order of execution is undefined.
1282 1301
1302=head3 Be smart about timeouts
1303
1304Many real-world problems involve some kind of timeout, usually for error
1305recovery. A typical example is an HTTP request - if the other side hangs,
1306you want to raise some error after a while.
1307
1308What follows are some ways to handle this problem, from obvious and
1309inefficient to smart and efficient.
1310
1311In the following, a 60 second activity timeout is assumed - a timeout that
1312gets reset to 60 seconds each time there is activity (e.g. each time some
1313data or other life sign was received).
1314
1315=over 4
1316
1317=item 1. Use a timer and stop, reinitialise and start it on activity.
1318
1319This is the most obvious, but not the most simple way: In the beginning,
1320start the watcher:
1321
1322 ev_timer_init (timer, callback, 60., 0.);
1323 ev_timer_start (loop, timer);
1324
1325Then, each time there is some activity, C<ev_timer_stop> it, initialise it
1326and start it again:
1327
1328 ev_timer_stop (loop, timer);
1329 ev_timer_set (timer, 60., 0.);
1330 ev_timer_start (loop, timer);
1331
1332This is relatively simple to implement, but means that each time there is
1333some activity, libev will first have to remove the timer from its internal
1334data structure and then add it again. Libev tries to be fast, but it's
1335still not a constant-time operation.
1336
1337=item 2. Use a timer and re-start it with C<ev_timer_again> inactivity.
1338
1339This is the easiest way, and involves using C<ev_timer_again> instead of
1340C<ev_timer_start>.
1341
1342To implement this, configure an C<ev_timer> with a C<repeat> value
1343of C<60> and then call C<ev_timer_again> at start and each time you
1344successfully read or write some data. If you go into an idle state where
1345you do not expect data to travel on the socket, you can C<ev_timer_stop>
1346the timer, and C<ev_timer_again> will automatically restart it if need be.
1347
1348That means you can ignore both the C<ev_timer_start> function and the
1349C<after> argument to C<ev_timer_set>, and only ever use the C<repeat>
1350member and C<ev_timer_again>.
1351
1352At start:
1353
1354 ev_timer_init (timer, callback);
1355 timer->repeat = 60.;
1356 ev_timer_again (loop, timer);
1357
1358Each time there is some activity:
1359
1360 ev_timer_again (loop, timer);
1361
1362It is even possible to change the time-out on the fly, regardless of
1363whether the watcher is active or not:
1364
1365 timer->repeat = 30.;
1366 ev_timer_again (loop, timer);
1367
1368This is slightly more efficient then stopping/starting the timer each time
1369you want to modify its timeout value, as libev does not have to completely
1370remove and re-insert the timer from/into its internal data structure.
1371
1372It is, however, even simpler than the "obvious" way to do it.
1373
1374=item 3. Let the timer time out, but then re-arm it as required.
1375
1376This method is more tricky, but usually most efficient: Most timeouts are
1377relatively long compared to the intervals between other activity - in
1378our example, within 60 seconds, there are usually many I/O events with
1379associated activity resets.
1380
1381In this case, it would be more efficient to leave the C<ev_timer> alone,
1382but remember the time of last activity, and check for a real timeout only
1383within the callback:
1384
1385 ev_tstamp last_activity; // time of last activity
1386
1387 static void
1388 callback (EV_P_ ev_timer *w, int revents)
1389 {
1390 ev_tstamp now = ev_now (EV_A);
1391 ev_tstamp timeout = last_activity + 60.;
1392
1393 // if last_activity + 60. is older than now, we did time out
1394 if (timeout < now)
1395 {
1396 // timeout occured, take action
1397 }
1398 else
1399 {
1400 // callback was invoked, but there was some activity, re-arm
1401 // the watcher to fire in last_activity + 60, which is
1402 // guaranteed to be in the future, so "again" is positive:
1403 w->again = timeout - now;
1404 ev_timer_again (EV_A_ w);
1405 }
1406 }
1407
1408To summarise the callback: first calculate the real timeout (defined
1409as "60 seconds after the last activity"), then check if that time has
1410been reached, which means something I<did>, in fact, time out. Otherwise
1411the callback was invoked too early (C<timeout> is in the future), so
1412re-schedule the timer to fire at that future time, to see if maybe we have
1413a timeout then.
1414
1415Note how C<ev_timer_again> is used, taking advantage of the
1416C<ev_timer_again> optimisation when the timer is already running.
1417
1418This scheme causes more callback invocations (about one every 60 seconds
1419minus half the average time between activity), but virtually no calls to
1420libev to change the timeout.
1421
1422To start the timer, simply initialise the watcher and set C<last_activity>
1423to the current time (meaning we just have some activity :), then call the
1424callback, which will "do the right thing" and start the timer:
1425
1426 ev_timer_init (timer, callback);
1427 last_activity = ev_now (loop);
1428 callback (loop, timer, EV_TIMEOUT);
1429
1430And when there is some activity, simply store the current time in
1431C<last_activity>, no libev calls at all:
1432
1433 last_actiivty = ev_now (loop);
1434
1435This technique is slightly more complex, but in most cases where the
1436time-out is unlikely to be triggered, much more efficient.
1437
1438Changing the timeout is trivial as well (if it isn't hard-coded in the
1439callback :) - just change the timeout and invoke the callback, which will
1440fix things for you.
1441
1442=item 4. Wee, just use a double-linked list for your timeouts.
1443
1444If there is not one request, but many thousands (millions...), all
1445employing some kind of timeout with the same timeout value, then one can
1446do even better:
1447
1448When starting the timeout, calculate the timeout value and put the timeout
1449at the I<end> of the list.
1450
1451Then use an C<ev_timer> to fire when the timeout at the I<beginning> of
1452the list is expected to fire (for example, using the technique #3).
1453
1454When there is some activity, remove the timer from the list, recalculate
1455the timeout, append it to the end of the list again, and make sure to
1456update the C<ev_timer> if it was taken from the beginning of the list.
1457
1458This way, one can manage an unlimited number of timeouts in O(1) time for
1459starting, stopping and updating the timers, at the expense of a major
1460complication, and having to use a constant timeout. The constant timeout
1461ensures that the list stays sorted.
1462
1463=back
1464
1465So which method the best?
1466
1467Method #2 is a simple no-brain-required solution that is adequate in most
1468situations. Method #3 requires a bit more thinking, but handles many cases
1469better, and isn't very complicated either. In most case, choosing either
1470one is fine, with #3 being better in typical situations.
1471
1472Method #1 is almost always a bad idea, and buys you nothing. Method #4 is
1473rather complicated, but extremely efficient, something that really pays
1474off after the first million or so of active timers, i.e. it's usually
1475overkill :)
1476
1283=head3 The special problem of time updates 1477=head3 The special problem of time updates
1284 1478
1285Establishing the current time is a costly operation (it usually takes at 1479Establishing the current time is a costly operation (it usually takes at
1286least two system calls): EV therefore updates its idea of the current 1480least 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 1481time 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). 1524If the timer is started but non-repeating, stop it (as if it timed out).
1331 1525
1332If the timer is repeating, either start it if necessary (with the 1526If the timer is repeating, either start it if necessary (with the
1333C<repeat> value), or reset the running timer to the C<repeat> value. 1527C<repeat> value), or reset the running timer to the C<repeat> value.
1334 1528
1335This sounds a bit complicated, but here is a useful and typical 1529This 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 1530usage 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 1531
1366=item ev_tstamp repeat [read-write] 1532=item ev_tstamp repeat [read-write]
1367 1533
1368The current C<repeat> value. Will be used each time the watcher times out 1534The 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), 1535or C<ev_timer_again> is called, and determines the next timeout (if any),
1374=head3 Examples 1540=head3 Examples
1375 1541
1376Example: Create a timer that fires after 60 seconds. 1542Example: Create a timer that fires after 60 seconds.
1377 1543
1378 static void 1544 static void
1379 one_minute_cb (struct ev_loop *loop, struct ev_timer *w, int revents) 1545 one_minute_cb (struct ev_loop *loop, ev_timer *w, int revents)
1380 { 1546 {
1381 .. one minute over, w is actually stopped right here 1547 .. one minute over, w is actually stopped right here
1382 } 1548 }
1383 1549
1384 struct ev_timer mytimer; 1550 ev_timer mytimer;
1385 ev_timer_init (&mytimer, one_minute_cb, 60., 0.); 1551 ev_timer_init (&mytimer, one_minute_cb, 60., 0.);
1386 ev_timer_start (loop, &mytimer); 1552 ev_timer_start (loop, &mytimer);
1387 1553
1388Example: Create a timeout timer that times out after 10 seconds of 1554Example: Create a timeout timer that times out after 10 seconds of
1389inactivity. 1555inactivity.
1390 1556
1391 static void 1557 static void
1392 timeout_cb (struct ev_loop *loop, struct ev_timer *w, int revents) 1558 timeout_cb (struct ev_loop *loop, ev_timer *w, int revents)
1393 { 1559 {
1394 .. ten seconds without any activity 1560 .. ten seconds without any activity
1395 } 1561 }
1396 1562
1397 struct ev_timer mytimer; 1563 ev_timer mytimer;
1398 ev_timer_init (&mytimer, timeout_cb, 0., 10.); /* note, only repeat used */ 1564 ev_timer_init (&mytimer, timeout_cb, 0., 10.); /* note, only repeat used */
1399 ev_timer_again (&mytimer); /* start timer */ 1565 ev_timer_again (&mytimer); /* start timer */
1400 ev_loop (loop, 0); 1566 ev_loop (loop, 0);
1401 1567
1402 // and in some piece of code that gets executed on any "activity": 1568 // and in some piece of code that gets executed on any "activity":
1488 1654
1489If you need to stop it, return C<now + 1e30> (or so, fudge fudge) and stop 1655If 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 1656it afterwards (e.g. by starting an C<ev_prepare> watcher, which is the
1491only event loop modification you are allowed to do). 1657only event loop modification you are allowed to do).
1492 1658
1493The callback prototype is C<ev_tstamp (*reschedule_cb)(struct ev_periodic 1659The callback prototype is C<ev_tstamp (*reschedule_cb)(ev_periodic
1494*w, ev_tstamp now)>, e.g.: 1660*w, ev_tstamp now)>, e.g.:
1495 1661
1662 static ev_tstamp
1496 static ev_tstamp my_rescheduler (struct ev_periodic *w, ev_tstamp now) 1663 my_rescheduler (ev_periodic *w, ev_tstamp now)
1497 { 1664 {
1498 return now + 60.; 1665 return now + 60.;
1499 } 1666 }
1500 1667
1501It must return the next time to trigger, based on the passed time value 1668It must return the next time to trigger, based on the passed time value
1538 1705
1539The current interval value. Can be modified any time, but changes only 1706The 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 1707take effect when the periodic timer fires or C<ev_periodic_again> is being
1541called. 1708called.
1542 1709
1543=item ev_tstamp (*reschedule_cb)(struct ev_periodic *w, ev_tstamp now) [read-write] 1710=item ev_tstamp (*reschedule_cb)(ev_periodic *w, ev_tstamp now) [read-write]
1544 1711
1545The current reschedule callback, or C<0>, if this functionality is 1712The current reschedule callback, or C<0>, if this functionality is
1546switched off. Can be changed any time, but changes only take effect when 1713switched off. Can be changed any time, but changes only take effect when
1547the periodic timer fires or C<ev_periodic_again> is being called. 1714the periodic timer fires or C<ev_periodic_again> is being called.
1548 1715
1553Example: Call a callback every hour, or, more precisely, whenever the 1720Example: Call a callback every hour, or, more precisely, whenever the
1554system time is divisible by 3600. The callback invocation times have 1721system time is divisible by 3600. The callback invocation times have
1555potentially a lot of jitter, but good long-term stability. 1722potentially a lot of jitter, but good long-term stability.
1556 1723
1557 static void 1724 static void
1558 clock_cb (struct ev_loop *loop, struct ev_io *w, int revents) 1725 clock_cb (struct ev_loop *loop, ev_io *w, int revents)
1559 { 1726 {
1560 ... its now a full hour (UTC, or TAI or whatever your clock follows) 1727 ... its now a full hour (UTC, or TAI or whatever your clock follows)
1561 } 1728 }
1562 1729
1563 struct ev_periodic hourly_tick; 1730 ev_periodic hourly_tick;
1564 ev_periodic_init (&hourly_tick, clock_cb, 0., 3600., 0); 1731 ev_periodic_init (&hourly_tick, clock_cb, 0., 3600., 0);
1565 ev_periodic_start (loop, &hourly_tick); 1732 ev_periodic_start (loop, &hourly_tick);
1566 1733
1567Example: The same as above, but use a reschedule callback to do it: 1734Example: The same as above, but use a reschedule callback to do it:
1568 1735
1569 #include <math.h> 1736 #include <math.h>
1570 1737
1571 static ev_tstamp 1738 static ev_tstamp
1572 my_scheduler_cb (struct ev_periodic *w, ev_tstamp now) 1739 my_scheduler_cb (ev_periodic *w, ev_tstamp now)
1573 { 1740 {
1574 return now + (3600. - fmod (now, 3600.)); 1741 return now + (3600. - fmod (now, 3600.));
1575 } 1742 }
1576 1743
1577 ev_periodic_init (&hourly_tick, clock_cb, 0., 0., my_scheduler_cb); 1744 ev_periodic_init (&hourly_tick, clock_cb, 0., 0., my_scheduler_cb);
1578 1745
1579Example: Call a callback every hour, starting now: 1746Example: Call a callback every hour, starting now:
1580 1747
1581 struct ev_periodic hourly_tick; 1748 ev_periodic hourly_tick;
1582 ev_periodic_init (&hourly_tick, clock_cb, 1749 ev_periodic_init (&hourly_tick, clock_cb,
1583 fmod (ev_now (loop), 3600.), 3600., 0); 1750 fmod (ev_now (loop), 3600.), 3600., 0);
1584 ev_periodic_start (loop, &hourly_tick); 1751 ev_periodic_start (loop, &hourly_tick);
1585 1752
1586 1753
1628=head3 Examples 1795=head3 Examples
1629 1796
1630Example: Try to exit cleanly on SIGINT. 1797Example: Try to exit cleanly on SIGINT.
1631 1798
1632 static void 1799 static void
1633 sigint_cb (struct ev_loop *loop, struct ev_signal *w, int revents) 1800 sigint_cb (struct ev_loop *loop, ev_signal *w, int revents)
1634 { 1801 {
1635 ev_unloop (loop, EVUNLOOP_ALL); 1802 ev_unloop (loop, EVUNLOOP_ALL);
1636 } 1803 }
1637 1804
1638 struct ev_signal signal_watcher; 1805 ev_signal signal_watcher;
1639 ev_signal_init (&signal_watcher, sigint_cb, SIGINT); 1806 ev_signal_init (&signal_watcher, sigint_cb, SIGINT);
1640 ev_signal_start (loop, &signal_watcher); 1807 ev_signal_start (loop, &signal_watcher);
1641 1808
1642 1809
1643=head2 C<ev_child> - watch out for process status changes 1810=head2 C<ev_child> - watch out for process status changes
1718its completion. 1885its completion.
1719 1886
1720 ev_child cw; 1887 ev_child cw;
1721 1888
1722 static void 1889 static void
1723 child_cb (EV_P_ struct ev_child *w, int revents) 1890 child_cb (EV_P_ ev_child *w, int revents)
1724 { 1891 {
1725 ev_child_stop (EV_A_ w); 1892 ev_child_stop (EV_A_ w);
1726 printf ("process %d exited with status %x\n", w->rpid, w->rstatus); 1893 printf ("process %d exited with status %x\n", w->rpid, w->rstatus);
1727 } 1894 }
1728 1895
1792to exchange stat structures with application programs compiled using the 1959to exchange stat structures with application programs compiled using the
1793default compilation environment. 1960default compilation environment.
1794 1961
1795=head3 Inotify and Kqueue 1962=head3 Inotify and Kqueue
1796 1963
1797When C<inotify (7)> support has been compiled into libev (generally only 1964When C<inotify (7)> support has been compiled into libev (generally
1965only 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 1966implementations) and present at runtime, it will be used to speed up
1799change detection where possible. The inotify descriptor will be created lazily 1967change detection where possible. The inotify descriptor will be created
1800when the first C<ev_stat> watcher is being started. 1968lazily when the first C<ev_stat> watcher is being started.
1801 1969
1802Inotify presence does not change the semantics of C<ev_stat> watchers 1970Inotify presence does not change the semantics of C<ev_stat> watchers
1803except that changes might be detected earlier, and in some cases, to avoid 1971except that changes might be detected earlier, and in some cases, to avoid
1804making regular C<stat> calls. Even in the presence of inotify support 1972making 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, 1973there are many cases where libev has to resort to regular C<stat> polling,
1979 2147
1980Example: Dynamically allocate an C<ev_idle> watcher, start it, and in the 2148Example: Dynamically allocate an C<ev_idle> watcher, start it, and in the
1981callback, free it. Also, use no error checking, as usual. 2149callback, free it. Also, use no error checking, as usual.
1982 2150
1983 static void 2151 static void
1984 idle_cb (struct ev_loop *loop, struct ev_idle *w, int revents) 2152 idle_cb (struct ev_loop *loop, ev_idle *w, int revents)
1985 { 2153 {
1986 free (w); 2154 free (w);
1987 // now do something you wanted to do when the program has 2155 // now do something you wanted to do when the program has
1988 // no longer anything immediate to do. 2156 // no longer anything immediate to do.
1989 } 2157 }
1990 2158
1991 struct ev_idle *idle_watcher = malloc (sizeof (struct ev_idle)); 2159 ev_idle *idle_watcher = malloc (sizeof (ev_idle));
1992 ev_idle_init (idle_watcher, idle_cb); 2160 ev_idle_init (idle_watcher, idle_cb);
1993 ev_idle_start (loop, idle_cb); 2161 ev_idle_start (loop, idle_cb);
1994 2162
1995 2163
1996=head2 C<ev_prepare> and C<ev_check> - customise your event loop! 2164=head2 C<ev_prepare> and C<ev_check> - customise your event loop!
2077 2245
2078 static ev_io iow [nfd]; 2246 static ev_io iow [nfd];
2079 static ev_timer tw; 2247 static ev_timer tw;
2080 2248
2081 static void 2249 static void
2082 io_cb (ev_loop *loop, ev_io *w, int revents) 2250 io_cb (struct ev_loop *loop, ev_io *w, int revents)
2083 { 2251 {
2084 } 2252 }
2085 2253
2086 // create io watchers for each fd and a timer before blocking 2254 // create io watchers for each fd and a timer before blocking
2087 static void 2255 static void
2088 adns_prepare_cb (ev_loop *loop, ev_prepare *w, int revents) 2256 adns_prepare_cb (struct ev_loop *loop, ev_prepare *w, int revents)
2089 { 2257 {
2090 int timeout = 3600000; 2258 int timeout = 3600000;
2091 struct pollfd fds [nfd]; 2259 struct pollfd fds [nfd];
2092 // actual code will need to loop here and realloc etc. 2260 // actual code will need to loop here and realloc etc.
2093 adns_beforepoll (ads, fds, &nfd, &timeout, timeval_from (ev_time ())); 2261 adns_beforepoll (ads, fds, &nfd, &timeout, timeval_from (ev_time ()));
2108 } 2276 }
2109 } 2277 }
2110 2278
2111 // stop all watchers after blocking 2279 // stop all watchers after blocking
2112 static void 2280 static void
2113 adns_check_cb (ev_loop *loop, ev_check *w, int revents) 2281 adns_check_cb (struct ev_loop *loop, ev_check *w, int revents)
2114 { 2282 {
2115 ev_timer_stop (loop, &tw); 2283 ev_timer_stop (loop, &tw);
2116 2284
2117 for (int i = 0; i < nfd; ++i) 2285 for (int i = 0; i < nfd; ++i)
2118 { 2286 {
2286C<loop_lo> (which is C<loop_hi> in the case no embeddable loop can be 2454C<loop_lo> (which is C<loop_hi> in the case no embeddable loop can be
2287used). 2455used).
2288 2456
2289 struct ev_loop *loop_hi = ev_default_init (0); 2457 struct ev_loop *loop_hi = ev_default_init (0);
2290 struct ev_loop *loop_lo = 0; 2458 struct ev_loop *loop_lo = 0;
2291 struct ev_embed embed; 2459 ev_embed embed;
2292 2460
2293 // see if there is a chance of getting one that works 2461 // see if there is a chance of getting one that works
2294 // (remember that a flags value of 0 means autodetection) 2462 // (remember that a flags value of 0 means autodetection)
2295 loop_lo = ev_embeddable_backends () & ev_recommended_backends () 2463 loop_lo = ev_embeddable_backends () & ev_recommended_backends ()
2296 ? ev_loop_new (ev_embeddable_backends () & ev_recommended_backends ()) 2464 ? ev_loop_new (ev_embeddable_backends () & ev_recommended_backends ())
2310kqueue implementation). Store the kqueue/socket-only event loop in 2478kqueue implementation). Store the kqueue/socket-only event loop in
2311C<loop_socket>. (One might optionally use C<EVFLAG_NOENV>, too). 2479C<loop_socket>. (One might optionally use C<EVFLAG_NOENV>, too).
2312 2480
2313 struct ev_loop *loop = ev_default_init (0); 2481 struct ev_loop *loop = ev_default_init (0);
2314 struct ev_loop *loop_socket = 0; 2482 struct ev_loop *loop_socket = 0;
2315 struct ev_embed embed; 2483 ev_embed embed;
2316 2484
2317 if (ev_supported_backends () & ~ev_recommended_backends () & EVBACKEND_KQUEUE) 2485 if (ev_supported_backends () & ~ev_recommended_backends () & EVBACKEND_KQUEUE)
2318 if ((loop_socket = ev_loop_new (EVBACKEND_KQUEUE)) 2486 if ((loop_socket = ev_loop_new (EVBACKEND_KQUEUE))
2319 { 2487 {
2320 ev_embed_init (&embed, 0, loop_socket); 2488 ev_embed_init (&embed, 0, loop_socket);
2502=over 4 2670=over 4
2503 2671
2504=item ev_once (loop, int fd, int events, ev_tstamp timeout, callback) 2672=item ev_once (loop, int fd, int events, ev_tstamp timeout, callback)
2505 2673
2506This function combines a simple timer and an I/O watcher, calls your 2674This function combines a simple timer and an I/O watcher, calls your
2507callback on whichever event happens first and automatically stop both 2675callback 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 2676watchers. 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 2677or timeout without having to allocate/configure/start/stop/free one or
2510more watchers yourself. 2678more watchers yourself.
2511 2679
2512If C<fd> is less than 0, then no I/O watcher will be started and events 2680If 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 2681C<events> argument is being ignored. Otherwise, an C<ev_io> watcher for
2514C<events> set will be created and started. 2682the given C<fd> and C<events> set will be created and started.
2515 2683
2516If C<timeout> is less than 0, then no timeout watcher will be 2684If C<timeout> is less than 0, then no timeout watcher will be
2517started. Otherwise an C<ev_timer> watcher with after = C<timeout> (and 2685started. 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 2686repeat = 0) will be started. C<0> is a valid timeout.
2519dubious value.
2520 2687
2521The callback has the type C<void (*cb)(int revents, void *arg)> and gets 2688The 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 2689passed 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> 2690C<EV_ERROR>, C<EV_READ>, C<EV_WRITE> or C<EV_TIMEOUT>) and the C<arg>
2524value passed to C<ev_once>: 2691value passed to C<ev_once>. Note that it is possible to receive I<both>
2692a timeout and an io event at the same time - you probably should give io
2693events precedence.
2694
2695Example: wait up to ten seconds for data to appear on STDIN_FILENO.
2525 2696
2526 static void stdin_ready (int revents, void *arg) 2697 static void stdin_ready (int revents, void *arg)
2527 { 2698 {
2699 if (revents & EV_READ)
2700 /* stdin might have data for us, joy! */;
2528 if (revents & EV_TIMEOUT) 2701 else if (revents & EV_TIMEOUT)
2529 /* doh, nothing entered */; 2702 /* doh, nothing entered */;
2530 else if (revents & EV_READ)
2531 /* stdin might have data for us, joy! */;
2532 } 2703 }
2533 2704
2534 ev_once (STDIN_FILENO, EV_READ, 10., stdin_ready, 0); 2705 ev_once (STDIN_FILENO, EV_READ, 10., stdin_ready, 0);
2535 2706
2536=item ev_feed_event (ev_loop *, watcher *, int revents) 2707=item ev_feed_event (struct ev_loop *, watcher *, int revents)
2537 2708
2538Feeds the given event set into the event loop, as if the specified event 2709Feeds 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 2710had happened for the specified watcher (which must be a pointer to an
2540initialised but not necessarily started event watcher). 2711initialised but not necessarily started event watcher).
2541 2712
2542=item ev_feed_fd_event (ev_loop *, int fd, int revents) 2713=item ev_feed_fd_event (struct ev_loop *, int fd, int revents)
2543 2714
2544Feed an event on the given fd, as if a file descriptor backend detected 2715Feed an event on the given fd, as if a file descriptor backend detected
2545the given events it. 2716the given events it.
2546 2717
2547=item ev_feed_signal_event (ev_loop *loop, int signum) 2718=item ev_feed_signal_event (struct ev_loop *loop, int signum)
2548 2719
2549Feed an event as if the given signal occurred (C<loop> must be the default 2720Feed an event as if the given signal occurred (C<loop> must be the default
2550loop!). 2721loop!).
2551 2722
2552=back 2723=back
2786 2957
2787=item D 2958=item D
2788 2959
2789Leandro Lucarella has written a D language binding (F<ev.d>) for libev, to 2960Leandro Lucarella has written a D language binding (F<ev.d>) for libev, to
2790be found at L<http://proj.llucax.com.ar/wiki/evd>. 2961be found at L<http://proj.llucax.com.ar/wiki/evd>.
2962
2963=item Ocaml
2964
2965Erkki Seppala has written Ocaml bindings for libev, to be found at
2966L<http://modeemi.cs.tut.fi/~flux/software/ocaml-ev/>.
2791 2967
2792=back 2968=back
2793 2969
2794 2970
2795=head1 MACRO MAGIC 2971=head1 MACRO MAGIC

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines