ViewVC Help
View File | Revision Log | Show Annotations | Download File
/cvs/AnyEvent/lib/AnyEvent.pm
(Generate patch)

Comparing AnyEvent/lib/AnyEvent.pm (file contents):
Revision 1.84 by root, Fri Apr 25 13:48:42 2008 UTC vs.
Revision 1.96 by root, Sat Apr 26 11:16:16 2008 UTC

141=head2 I/O WATCHERS 141=head2 I/O WATCHERS
142 142
143You can create an I/O watcher by calling the C<< AnyEvent->io >> method 143You can create an I/O watcher by calling the C<< AnyEvent->io >> method
144with the following mandatory key-value pairs as arguments: 144with the following mandatory key-value pairs as arguments:
145 145
146C<fh> the Perl I<file handle> (I<not> file descriptor) to watch for 146C<fh> the Perl I<file handle> (I<not> file descriptor) to watch
147events. C<poll> must be a string that is either C<r> or C<w>, which 147for events. C<poll> must be a string that is either C<r> or C<w>,
148creates a watcher waiting for "r"eadable or "w"ritable events, 148which creates a watcher waiting for "r"eadable or "w"ritable events,
149respectively. C<cb> is the callback to invoke each time the file handle 149respectively. C<cb> is the callback to invoke each time the file handle
150becomes ready. 150becomes ready.
151
152Although the callback might get passed parameters, their value and
153presence is undefined and you cannot rely on them. Portable AnyEvent
154callbacks cannot use arguments passed to I/O watcher callbacks.
151 155
152The I/O watcher might use the underlying file descriptor or a copy of it. 156The I/O watcher might use the underlying file descriptor or a copy of it.
153You must not close a file handle as long as any watcher is active on the 157You must not close a file handle as long as any watcher is active on the
154underlying file descriptor. 158underlying file descriptor.
155 159
156Some event loops issue spurious readyness notifications, so you should 160Some event loops issue spurious readyness notifications, so you should
157always use non-blocking calls when reading/writing from/to your file 161always use non-blocking calls when reading/writing from/to your file
158handles. 162handles.
159
160Although the callback might get passed parameters, their value and
161presence is undefined and you cannot rely on them. Portable AnyEvent
162callbacks cannot use arguments passed to I/O watcher callbacks.
163 163
164Example: 164Example:
165 165
166 # wait for readability of STDIN, then read a line and disable the watcher 166 # wait for readability of STDIN, then read a line and disable the watcher
167 my $w; $w = AnyEvent->io (fh => \*STDIN, poll => 'r', cb => sub { 167 my $w; $w = AnyEvent->io (fh => \*STDIN, poll => 'r', cb => sub {
174 174
175You can create a time watcher by calling the C<< AnyEvent->timer >> 175You can create a time watcher by calling the C<< AnyEvent->timer >>
176method with the following mandatory arguments: 176method with the following mandatory arguments:
177 177
178C<after> specifies after how many seconds (fractional values are 178C<after> specifies after how many seconds (fractional values are
179supported) should the timer activate. C<cb> the callback to invoke in that 179supported) the callback should be invoked. C<cb> is the callback to invoke
180case. 180in that case.
181
182Although the callback might get passed parameters, their value and
183presence is undefined and you cannot rely on them. Portable AnyEvent
184callbacks cannot use arguments passed to time watcher callbacks.
181 185
182The timer callback will be invoked at most once: if you want a repeating 186The timer callback will be invoked at most once: if you want a repeating
183timer you have to create a new watcher (this is a limitation by both Tk 187timer you have to create a new watcher (this is a limitation by both Tk
184and Glib). 188and Glib).
185
186Although the callback might get passed parameters, their value and
187presence is undefined and you cannot rely on them. Portable AnyEvent
188callbacks cannot use arguments passed to time watcher callbacks.
189 189
190Example: 190Example:
191 191
192 # fire an event after 7.7 seconds 192 # fire an event after 7.7 seconds
193 my $w = AnyEvent->timer (after => 7.7, cb => sub { 193 my $w = AnyEvent->timer (after => 7.7, cb => sub {
234 234
235You can watch for signals using a signal watcher, C<signal> is the signal 235You can watch for signals using a signal watcher, C<signal> is the signal
236I<name> without any C<SIG> prefix, C<cb> is the Perl callback to 236I<name> without any C<SIG> prefix, C<cb> is the Perl callback to
237be invoked whenever a signal occurs. 237be invoked whenever a signal occurs.
238 238
239Although the callback might get passed parameters, their value and
240presence is undefined and you cannot rely on them. Portable AnyEvent
241callbacks cannot use arguments passed to signal watcher callbacks.
242
239Multiple signal occurances can be clumped together into one callback 243Multiple signal occurances can be clumped together into one callback
240invocation, and callback invocation will be synchronous. synchronous means 244invocation, and callback invocation will be synchronous. synchronous means
241that it might take a while until the signal gets handled by the process, 245that it might take a while until the signal gets handled by the process,
242but it is guarenteed not to interrupt any other callbacks. 246but it is guarenteed not to interrupt any other callbacks.
243 247
257 261
258The child process is specified by the C<pid> argument (if set to C<0>, it 262The child process is specified by the C<pid> argument (if set to C<0>, it
259watches for any child process exit). The watcher will trigger as often 263watches for any child process exit). The watcher will trigger as often
260as status change for the child are received. This works by installing a 264as status change for the child are received. This works by installing a
261signal handler for C<SIGCHLD>. The callback will be called with the pid 265signal handler for C<SIGCHLD>. The callback will be called with the pid
262and exit status (as returned by waitpid). 266and exit status (as returned by waitpid), so unlike other watcher types,
267you I<can> rely on child watcher callback arguments.
263 268
264There is a slight catch to child watchers, however: you usually start them 269There is a slight catch to child watchers, however: you usually start them
265I<after> the child process was created, and this means the process could 270I<after> the child process was created, and this means the process could
266have exited already (and no SIGCHLD will be sent anymore). 271have exited already (and no SIGCHLD will be sent anymore).
267 272
889 }); 894 });
890 895
891 $quit->wait; 896 $quit->wait;
892 897
893 898
894=head1 BENCHMARK 899=head1 BENCHMARKS
895 900
896To give you an idea of the performance and overheads that AnyEvent adds 901To give you an idea of the performance and overheads that AnyEvent adds
897over the event loops themselves (and to give you an impression of the 902over the event loops themselves and to give you an impression of the speed
898speed of various event loops), here is a benchmark of various supported 903of various event loops I prepared some benchmarks.
899event models natively and with anyevent. The benchmark creates a lot of 904
900timers (with a zero timeout) and I/O watchers (watching STDOUT, a pty, to 905=head2 BENCHMARKING ANYEVENT OVERHEAD
906
907Here is a benchmark of various supported event models used natively and
908through anyevent. The benchmark creates a lot of timers (with a zero
909timeout) and I/O watchers (watching STDOUT, a pty, to become writable,
901become writable, which it is), lets them fire exactly once and destroys 910which it is), lets them fire exactly once and destroys them again.
902them again.
903 911
904Rewriting the benchmark to use many different sockets instead of using 912Source code for this benchmark is found as F<eg/bench> in the AnyEvent
905the same filehandle for all I/O watchers results in a much longer runtime 913distribution.
906(socket creation is expensive), but qualitatively the same figures, so it
907was not used.
908 914
909=head2 Explanation of the columns 915=head3 Explanation of the columns
910 916
911I<watcher> is the number of event watchers created/destroyed. Since 917I<watcher> is the number of event watchers created/destroyed. Since
912different event models feature vastly different performances, each event 918different event models feature vastly different performances, each event
913loop was given a number of watchers so that overall runtime is acceptable 919loop was given a number of watchers so that overall runtime is acceptable
914and similar between tested event loop (and keep them from crashing): Glib 920and similar between tested event loop (and keep them from crashing): Glib
930signal the end of this phase. 936signal the end of this phase.
931 937
932I<destroy> is the time, in microseconds, that it takes to destroy a single 938I<destroy> is the time, in microseconds, that it takes to destroy a single
933watcher. 939watcher.
934 940
935=head2 Results 941=head3 Results
936 942
937 name watchers bytes create invoke destroy comment 943 name watchers bytes create invoke destroy comment
938 EV/EV 400000 244 0.56 0.46 0.31 EV native interface 944 EV/EV 400000 244 0.56 0.46 0.31 EV native interface
939 EV/Any 100000 244 2.50 0.46 0.29 EV + AnyEvent watchers 945 EV/Any 100000 244 2.50 0.46 0.29 EV + AnyEvent watchers
940 CoroEV/Any 100000 244 2.49 0.44 0.29 coroutines + Coro::Signal 946 CoroEV/Any 100000 244 2.49 0.44 0.29 coroutines + Coro::Signal
944 Glib/Any 16000 1357 98.22 12.41 54.00 quadratic behaviour 950 Glib/Any 16000 1357 98.22 12.41 54.00 quadratic behaviour
945 Tk/Any 2000 1860 26.97 67.98 14.00 SEGV with >> 2000 watchers 951 Tk/Any 2000 1860 26.97 67.98 14.00 SEGV with >> 2000 watchers
946 POE/Event 2000 6644 108.64 736.02 14.73 via POE::Loop::Event 952 POE/Event 2000 6644 108.64 736.02 14.73 via POE::Loop::Event
947 POE/Select 2000 6343 94.13 809.12 565.96 via POE::Loop::Select 953 POE/Select 2000 6343 94.13 809.12 565.96 via POE::Loop::Select
948 954
949=head2 Discussion 955=head3 Discussion
950 956
951The benchmark does I<not> measure scalability of the event loop very 957The benchmark does I<not> measure scalability of the event loop very
952well. For example, a select-based event loop (such as the pure perl one) 958well. For example, a select-based event loop (such as the pure perl one)
953can never compete with an event loop that uses epoll when the number of 959can never compete with an event loop that uses epoll when the number of
954file descriptors grows high. In this benchmark, all events become ready at 960file descriptors grows high. In this benchmark, all events become ready at
955the same time, so select/poll-based implementations get an unnatural speed 961the same time, so select/poll-based implementations get an unnatural speed
956boost. 962boost.
957 963
964Also, note that the number of watchers usually has a nonlinear effect on
965overall speed, that is, creating twice as many watchers doesn't take twice
966the time - usually it takes longer. This puts event loops tested with a
967higher number of watchers at a disadvantage.
968
969To put the range of results into perspective, consider that on the
970benchmark machine, handling an event takes roughly 1600 CPU cycles with
971EV, 3100 CPU cycles with AnyEvent's pure perl loop and almost 3000000 CPU
972cycles with POE.
973
958C<EV> is the sole leader regarding speed and memory use, which are both 974C<EV> is the sole leader regarding speed and memory use, which are both
959maximal/minimal, respectively. Even when going through AnyEvent, it uses 975maximal/minimal, respectively. Even when going through AnyEvent, it uses
960far less memory than any other event loop and is still faster than Event 976far less memory than any other event loop and is still faster than Event
961natively. 977natively.
962 978
963The pure perl implementation is hit in a few sweet spots (both the 979The pure perl implementation is hit in a few sweet spots (both the
964zero timeout and the use of a single fd hit optimisations in the perl 980constant timeout and the use of a single fd hit optimisations in the perl
965interpreter and the backend itself, and all watchers become ready at the 981interpreter and the backend itself). Nevertheless this shows that it
966same time). Nevertheless this shows that it adds very little overhead in 982adds very little overhead in itself. Like any select-based backend its
967itself. Like any select-based backend its performance becomes really bad 983performance becomes really bad with lots of file descriptors (and few of
968with lots of file descriptors (and few of them active), of course, but 984them active), of course, but this was not subject of this benchmark.
969this was not subject of this benchmark.
970 985
971The C<Event> module has a relatively high setup and callback invocation cost, 986The C<Event> module has a relatively high setup and callback invocation
972but overall scores on the third place. 987cost, but overall scores in on the third place.
973 988
974C<Glib>'s memory usage is quite a bit bit higher, but it features a 989C<Glib>'s memory usage is quite a bit higher, but it features a
975faster callback invocation and overall ends up in the same class as 990faster callback invocation and overall ends up in the same class as
976C<Event>. However, Glib scales extremely badly, doubling the number of 991C<Event>. However, Glib scales extremely badly, doubling the number of
977watchers increases the processing time by more than a factor of four, 992watchers increases the processing time by more than a factor of four,
978making it completely unusable when using larger numbers of watchers 993making it completely unusable when using larger numbers of watchers
979(note that only a single file descriptor was used in the benchmark, so 994(note that only a single file descriptor was used in the benchmark, so
982The C<Tk> adaptor works relatively well. The fact that it crashes with 997The C<Tk> adaptor works relatively well. The fact that it crashes with
983more than 2000 watchers is a big setback, however, as correctness takes 998more than 2000 watchers is a big setback, however, as correctness takes
984precedence over speed. Nevertheless, its performance is surprising, as the 999precedence over speed. Nevertheless, its performance is surprising, as the
985file descriptor is dup()ed for each watcher. This shows that the dup() 1000file descriptor is dup()ed for each watcher. This shows that the dup()
986employed by some adaptors is not a big performance issue (it does incur a 1001employed by some adaptors is not a big performance issue (it does incur a
987hidden memory cost inside the kernel, though, that is not reflected in the 1002hidden memory cost inside the kernel which is not reflected in the figures
988figures above). 1003above).
989 1004
990C<POE>, regardless of underlying event loop (wether using its pure perl 1005C<POE>, regardless of underlying event loop (whether using its pure
991select-based backend or the Event module) shows abysmal performance and 1006perl select-based backend or the Event module, the POE-EV backend
1007couldn't be tested because it wasn't working) shows abysmal performance
992memory usage: Watchers use almost 30 times as much memory as EV watchers, 1008and memory usage: Watchers use almost 30 times as much memory as
993and 10 times as much memory as both Event or EV via AnyEvent. Watcher 1009EV watchers, and 10 times as much memory as Event (the high memory
1010requirements are caused by requiring a session for each watcher). Watcher
994invocation is almost 900 times slower than with AnyEvent's pure perl 1011invocation speed is almost 900 times slower than with AnyEvent's pure perl
995implementation. The design of the POE adaptor class in AnyEvent can not 1012implementation. The design of the POE adaptor class in AnyEvent can not
996really account for this, as session creation overhead is small compared 1013really account for this, as session creation overhead is small compared
997to execution of the state machine, which is coded pretty optimally within 1014to execution of the state machine, which is coded pretty optimally within
998L<AnyEvent::Impl::POE>. POE simply seems to be abysmally slow. 1015L<AnyEvent::Impl::POE>. POE simply seems to be abysmally slow.
999 1016
1000=head2 Summary 1017=head3 Summary
1001 1018
1019=over 4
1020
1002Using EV through AnyEvent is faster than any other event loop, but most 1021=item * Using EV through AnyEvent is faster than any other event loop
1003event loops have acceptable performance with or without AnyEvent. 1022(even when used without AnyEvent), but most event loops have acceptable
1023performance with or without AnyEvent.
1004 1024
1005The overhead AnyEvent adds is usually much smaller than the overhead of 1025=item * The overhead AnyEvent adds is usually much smaller than the overhead of
1006the actual event loop, only with extremely fast event loops such as the EV 1026the actual event loop, only with extremely fast event loops such as EV
1007adds AnyEvent significant overhead. 1027adds AnyEvent significant overhead.
1008 1028
1009And you should simply avoid POE like the plague if you want performance or 1029=item * You should avoid POE like the plague if you want performance or
1010reasonable memory usage. 1030reasonable memory usage.
1031
1032=back
1033
1034=head2 BENCHMARKING THE LARGE SERVER CASE
1035
1036This benchmark atcually benchmarks the event loop itself. It works by
1037creating a number of "servers": each server consists of a socketpair, a
1038timeout watcher that gets reset on activity (but never fires), and an I/O
1039watcher waiting for input on one side of the socket. Each time the socket
1040watcher reads a byte it will write that byte to a random other "server".
1041
1042The effect is that there will be a lot of I/O watchers, only part of which
1043are active at any one point (so there is a constant number of active
1044fds for each loop iterstaion, but which fds these are is random). The
1045timeout is reset each time something is read because that reflects how
1046most timeouts work (and puts extra pressure on the event loops).
1047
1048In this benchmark, we use 10000 socketpairs (20000 sockets), of which 100
1049(1%) are active. This mirrors the activity of large servers with many
1050connections, most of which are idle at any one point in time.
1051
1052Source code for this benchmark is found as F<eg/bench2> in the AnyEvent
1053distribution.
1054
1055=head3 Explanation of the columns
1056
1057I<sockets> is the number of sockets, and twice the number of "servers" (as
1058each server has a read and write socket end).
1059
1060I<create> is the time it takes to create a socketpair (which is
1061nontrivial) and two watchers: an I/O watcher and a timeout watcher.
1062
1063I<request>, the most important value, is the time it takes to handle a
1064single "request", that is, reading the token from the pipe and forwarding
1065it to another server. This includes deleting the old timeout and creating
1066a new one that moves the timeout into the future.
1067
1068=head3 Results
1069
1070 name sockets create request
1071 EV 20000 69.01 11.16
1072 Perl 20000 75.28 112.76
1073 Event 20000 212.62 257.32
1074 Glib 20000 651.16 1896.30
1075 POE 20000 349.67 12317.24 uses POE::Loop::Event
1076
1077=head3 Discussion
1078
1079This benchmark I<does> measure scalability and overall performance of the
1080particular event loop.
1081
1082EV is again fastest. Since it is using epoll on my system, the setup time
1083is relatively high, though.
1084
1085Perl surprisingly comes second. It is much faster than the C-based event
1086loops Event and Glib.
1087
1088Event suffers from high setup time as well (look at its code and you will
1089understand why). Callback invocation also has a high overhead compared to
1090the C<< $_->() for .. >>-style loop that the Perl event loop uses. Event
1091uses select or poll in basically all documented configurations.
1092
1093Glib is hit hard by its quadratic behaviour w.r.t. many watchers. It
1094clearly fails to perform with many filehandles or in busy servers.
1095
1096POE is still completely out of the picture, taking over 1000 times as long
1097as EV, and over 100 times as long as the Perl implementation, even though
1098it uses a C-based event loop in this case.
1099
1100=head3 Summary
1101
1102=over 4
1103
1104=item * The pure perl implementation performs extremely well, considering
1105that it uses select.
1106
1107=item * Avoid Glib or POE in large projects where performance matters.
1108
1109=back
1110
1111=head2 BENCHMARKING SMALL SERVERS
1112
1113While event loops should scale (and select-based ones do not...) even to
1114large servers, most programs we (or I :) actually write have only a few
1115I/O watchers.
1116
1117In this benchmark, I use the same benchmark program as in the large server
1118case, but it uses only eight "servers", of which three are active at any
1119one time. This should reflect performance for a small server relatively
1120well.
1121
1122The columns are identical to the previous table.
1123
1124=head3 Results
1125
1126 name sockets create request
1127 EV 16 20.00 6.54
1128 Event 16 81.27 35.86
1129 Glib 16 32.63 15.48
1130 Perl 16 24.62 162.37
1131 POE 16 261.87 276.28 uses POE::Loop::Event
1132
1133=head3 Discussion
1134
1135The benchmark tries to test the performance of a typical small
1136server. While knowing how various event loops perform is interesting, keep
1137in mind that their overhead in this case is usually not as important, due
1138to the small absolute number of watchers.
1139
1140EV is again fastest.
1141
1142The C-based event loops Event and Glib come in second this time, as the
1143overhead of running an iteration is much smaller in C than in Perl (little
1144code to execute in the inner loop, and perl's function calling overhead is
1145high, and updating all the data structures is costly).
1146
1147The pure perl event loop is much slower, but still competitive.
1148
1149POE also performs much better in this case, but is is stillf ar behind the
1150others.
1151
1152=head3 Summary
1153
1154=over 4
1155
1156=item * C-based event loops perform very well with small number of
1157watchers, as the management overhead dominates.
1158
1159=back
1011 1160
1012 1161
1013=head1 FORK 1162=head1 FORK
1014 1163
1015Most event libraries are not fork-safe. The ones who are usually are 1164Most event libraries are not fork-safe. The ones who are usually are

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines