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.131 by root, Sat May 24 17:48:38 2008 UTC

1=head1 NAME 1=head1 => NAME
2 2
3AnyEvent - provide framework for multiple event loops 3AnyEvent - provide framework for multiple event loops
4 4
5EV, Event, Coro::EV, Coro::Event, Glib, Tk, Perl, Event::Lib, Qt, POE - various supported event loops 5EV, Event, Glib, Tk, Perl, Event::Lib, Qt, POE - various supported event loops
6 6
7=head1 SYNOPSIS 7=head1 SYNOPSIS
8 8
9 use AnyEvent; 9 use AnyEvent;
10 10
15 my $w = AnyEvent->timer (after => $seconds, cb => sub { 15 my $w = AnyEvent->timer (after => $seconds, cb => sub {
16 ... 16 ...
17 }); 17 });
18 18
19 my $w = AnyEvent->condvar; # stores whether a condition was flagged 19 my $w = AnyEvent->condvar; # stores whether a condition was flagged
20 $w->send; # wake up current and all future recv's
20 $w->wait; # enters "main loop" till $condvar gets ->broadcast 21 $w->recv; # enters "main loop" till $condvar gets ->send
21 $w->broadcast; # wake up current and all future wait's
22 22
23=head1 WHY YOU SHOULD USE THIS MODULE (OR NOT) 23=head1 WHY YOU SHOULD USE THIS MODULE (OR NOT)
24 24
25Glib, POE, IO::Async, Event... CPAN offers event models by the dozen 25Glib, POE, IO::Async, Event... CPAN offers event models by the dozen
26nowadays. So what is different about AnyEvent? 26nowadays. So what is different about AnyEvent?
57as those use one of the supported event loops. It is trivial to add new 57as those use one of the supported event loops. It is trivial to add new
58event loops to AnyEvent, too, so it is future-proof). 58event loops to AnyEvent, too, so it is future-proof).
59 59
60In addition to being free of having to use I<the one and only true event 60In addition to being free of having to use I<the one and only true event
61model>, AnyEvent also is free of bloat and policy: with POE or similar 61model>, AnyEvent also is free of bloat and policy: with POE or similar
62modules, you get an enourmous amount of code and strict rules you have to 62modules, you get an enormous amount of code and strict rules you have to
63follow. AnyEvent, on the other hand, is lean and up to the point, by only 63follow. AnyEvent, on the other hand, is lean and up to the point, by only
64offering the functionality that is necessary, in as thin as a wrapper as 64offering the functionality that is necessary, in as thin as a wrapper as
65technically possible. 65technically possible.
66 66
67Of course, if you want lots of policy (this can arguably be somewhat 67Of course, if you want lots of policy (this can arguably be somewhat
68useful) and you want to force your users to use the one and only event 68useful) and you want to force your users to use the one and only event
69model, you should I<not> use this module. 69model, you should I<not> use this module.
70
71 70
72=head1 DESCRIPTION 71=head1 DESCRIPTION
73 72
74L<AnyEvent> provides an identical interface to multiple event loops. This 73L<AnyEvent> provides an identical interface to multiple event loops. This
75allows module authors to utilise an event loop without forcing module 74allows module authors to utilise an event loop without forcing module
79The interface itself is vaguely similar, but not identical to the L<Event> 78The interface itself is vaguely similar, but not identical to the L<Event>
80module. 79module.
81 80
82During the first call of any watcher-creation method, the module tries 81During the first call of any watcher-creation method, the module tries
83to detect the currently loaded event loop by probing whether one of the 82to detect the currently loaded event loop by probing whether one of the
84following modules is already loaded: L<Coro::EV>, L<Coro::Event>, L<EV>, 83following modules is already loaded: L<EV>,
85L<Event>, L<Glib>, L<AnyEvent::Impl::Perl>, L<Tk>, L<Event::Lib>, L<Qt>, 84L<Event>, L<Glib>, L<AnyEvent::Impl::Perl>, L<Tk>, L<Event::Lib>, L<Qt>,
86L<POE>. The first one found is used. If none are found, the module tries 85L<POE>. The first one found is used. If none are found, the module tries
87to load these modules (excluding Tk, Event::Lib, Qt and POE as the pure perl 86to load these modules (excluding Tk, Event::Lib, Qt and POE as the pure perl
88adaptor should always succeed) in the order given. The first one that can 87adaptor should always succeed) in the order given. The first one that can
89be successfully loaded will be used. If, after this, still none could be 88be successfully loaded will be used. If, after this, still none could be
109 108
110=head1 WATCHERS 109=head1 WATCHERS
111 110
112AnyEvent has the central concept of a I<watcher>, which is an object that 111AnyEvent has the central concept of a I<watcher>, which is an object that
113stores relevant data for each kind of event you are waiting for, such as 112stores relevant data for each kind of event you are waiting for, such as
114the callback to call, the filehandle to watch, etc. 113the callback to call, the file handle to watch, etc.
115 114
116These watchers are normal Perl objects with normal Perl lifetime. After 115These watchers are normal Perl objects with normal Perl lifetime. After
117creating a watcher it will immediately "watch" for events and invoke the 116creating a watcher it will immediately "watch" for events and invoke the
118callback when the event occurs (of course, only when the event model 117callback when the event occurs (of course, only when the event model
119is in control). 118is in control).
141=head2 I/O WATCHERS 140=head2 I/O WATCHERS
142 141
143You can create an I/O watcher by calling the C<< AnyEvent->io >> method 142You can create an I/O watcher by calling the C<< AnyEvent->io >> method
144with the following mandatory key-value pairs as arguments: 143with the following mandatory key-value pairs as arguments:
145 144
146C<fh> the Perl I<file handle> (I<not> file descriptor) to watch for 145C<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 146for 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, 147which creates a watcher waiting for "r"eadable or "w"ritable events,
149respectively. C<cb> is the callback to invoke each time the file handle 148respectively. C<cb> is the callback to invoke each time the file handle
150becomes ready. 149becomes ready.
150
151Although the callback might get passed parameters, their value and
152presence is undefined and you cannot rely on them. Portable AnyEvent
153callbacks cannot use arguments passed to I/O watcher callbacks.
151 154
152The I/O watcher might use the underlying file descriptor or a copy of it. 155The 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 156You must not close a file handle as long as any watcher is active on the
154underlying file descriptor. 157underlying file descriptor.
155 158
156Some event loops issue spurious readyness notifications, so you should 159Some event loops issue spurious readyness notifications, so you should
157always use non-blocking calls when reading/writing from/to your file 160always use non-blocking calls when reading/writing from/to your file
158handles. 161handles.
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 162
164Example: 163Example:
165 164
166 # wait for readability of STDIN, then read a line and disable the watcher 165 # 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 { 166 my $w; $w = AnyEvent->io (fh => \*STDIN, poll => 'r', cb => sub {
174 173
175You can create a time watcher by calling the C<< AnyEvent->timer >> 174You can create a time watcher by calling the C<< AnyEvent->timer >>
176method with the following mandatory arguments: 175method with the following mandatory arguments:
177 176
178C<after> specifies after how many seconds (fractional values are 177C<after> specifies after how many seconds (fractional values are
179supported) should the timer activate. C<cb> the callback to invoke in that 178supported) the callback should be invoked. C<cb> is the callback to invoke
180case. 179in that case.
180
181Although the callback might get passed parameters, their value and
182presence is undefined and you cannot rely on them. Portable AnyEvent
183callbacks cannot use arguments passed to time watcher callbacks.
181 184
182The timer callback will be invoked at most once: if you want a repeating 185The 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 186timer you have to create a new watcher (this is a limitation by both Tk
184and Glib). 187and 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 188
190Example: 189Example:
191 190
192 # fire an event after 7.7 seconds 191 # fire an event after 7.7 seconds
193 my $w = AnyEvent->timer (after => 7.7, cb => sub { 192 my $w = AnyEvent->timer (after => 7.7, cb => sub {
234 233
235You can watch for signals using a signal watcher, C<signal> is the signal 234You 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 235I<name> without any C<SIG> prefix, C<cb> is the Perl callback to
237be invoked whenever a signal occurs. 236be invoked whenever a signal occurs.
238 237
238Although the callback might get passed parameters, their value and
239presence is undefined and you cannot rely on them. Portable AnyEvent
240callbacks cannot use arguments passed to signal watcher callbacks.
241
239Multiple signal occurances can be clumped together into one callback 242Multiple signal occurrences can be clumped together into one callback
240invocation, and callback invocation will be synchronous. synchronous means 243invocation, and callback invocation will be synchronous. Synchronous means
241that it might take a while until the signal gets handled by the process, 244that it might take a while until the signal gets handled by the process,
242but it is guarenteed not to interrupt any other callbacks. 245but it is guaranteed not to interrupt any other callbacks.
243 246
244The main advantage of using these watchers is that you can share a signal 247The main advantage of using these watchers is that you can share a signal
245between multiple watchers. 248between multiple watchers.
246 249
247This watcher might use C<%SIG>, so programs overwriting those signals 250This watcher might use C<%SIG>, so programs overwriting those signals
257 260
258The child process is specified by the C<pid> argument (if set to C<0>, it 261The 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 262watches for any child process exit). The watcher will trigger as often
260as status change for the child are received. This works by installing a 263as 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 264signal handler for C<SIGCHLD>. The callback will be called with the pid
262and exit status (as returned by waitpid). 265and exit status (as returned by waitpid), so unlike other watcher types,
266you I<can> rely on child watcher callback arguments.
263 267
264There is a slight catch to child watchers, however: you usually start them 268There 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 269I<after> the child process was created, and this means the process could
266have exited already (and no SIGCHLD will be sent anymore). 270have exited already (and no SIGCHLD will be sent anymore).
267 271
274C<fork> the child (alternatively, you can call C<AnyEvent::detect>). 278C<fork> the child (alternatively, you can call C<AnyEvent::detect>).
275 279
276Example: fork a process and wait for it 280Example: fork a process and wait for it
277 281
278 my $done = AnyEvent->condvar; 282 my $done = AnyEvent->condvar;
279
280 AnyEvent::detect; # force event module to be initialised
281 283
282 my $pid = fork or exit 5; 284 my $pid = fork or exit 5;
283 285
284 my $w = AnyEvent->child ( 286 my $w = AnyEvent->child (
285 pid => $pid, 287 pid => $pid,
286 cb => sub { 288 cb => sub {
287 my ($pid, $status) = @_; 289 my ($pid, $status) = @_;
288 warn "pid $pid exited with status $status"; 290 warn "pid $pid exited with status $status";
289 $done->broadcast; 291 $done->send;
290 }, 292 },
291 ); 293 );
292 294
293 # do something else, then wait for process exit 295 # do something else, then wait for process exit
294 $done->wait; 296 $done->recv;
295 297
296=head2 CONDITION VARIABLES 298=head2 CONDITION VARIABLES
297 299
300If you are familiar with some event loops you will know that all of them
301require you to run some blocking "loop", "run" or similar function that
302will actively watch for new events and call your callbacks.
303
304AnyEvent is different, it expects somebody else to run the event loop and
305will only block when necessary (usually when told by the user).
306
307The instrument to do that is called a "condition variable", so called
308because they represent a condition that must become true.
309
298Condition variables can be created by calling the C<< AnyEvent->condvar >> 310Condition variables can be created by calling the C<< AnyEvent->condvar
299method without any arguments. 311>> method, usually without arguments. The only argument pair allowed is
312C<cb>, which specifies a callback to be called when the condition variable
313becomes true.
300 314
301A condition variable waits for a condition - precisely that the C<< 315After creation, the condition variable is "false" until it becomes "true"
302->broadcast >> method has been called. 316by calling the C<send> method (or calling the condition variable as if it
317were a callback).
303 318
304They are very useful to signal that a condition has been fulfilled, for 319Condition variables are similar to callbacks, except that you can
320optionally wait for them. They can also be called merge points - points
321in time where multiple outstanding events have been processed. And yet
322another way to call them is transactions - each condition variable can be
323used to represent a transaction, which finishes at some point and delivers
324a result.
325
326Condition variables are very useful to signal that something has finished,
305example, if you write a module that does asynchronous http requests, 327for example, if you write a module that does asynchronous http requests,
306then a condition variable would be the ideal candidate to signal the 328then a condition variable would be the ideal candidate to signal the
307availability of results. 329availability of results. The user can either act when the callback is
330called or can synchronously C<< ->recv >> for the results.
308 331
309You can also use condition variables to block your main program until 332You can also use them to simulate traditional event loops - for example,
310an event occurs - for example, you could C<< ->wait >> in your main 333you can block your main program until an event occurs - for example, you
311program until the user clicks the Quit button in your app, which would C<< 334could C<< ->recv >> in your main program until the user clicks the Quit
312->broadcast >> the "quit" event. 335button of your app, which would C<< ->send >> the "quit" event.
313 336
314Note that condition variables recurse into the event loop - if you have 337Note that condition variables recurse into the event loop - if you have
315two pirces of code that call C<< ->wait >> in a round-robbin fashion, you 338two pieces of code that call C<< ->recv >> in a round-robin fashion, you
316lose. Therefore, condition variables are good to export to your caller, but 339lose. Therefore, condition variables are good to export to your caller, but
317you should avoid making a blocking wait yourself, at least in callbacks, 340you should avoid making a blocking wait yourself, at least in callbacks,
318as this asks for trouble. 341as this asks for trouble.
319 342
320This object has two methods: 343Condition variables are represented by hash refs in perl, and the keys
344used by AnyEvent itself are all named C<_ae_XXX> to make subclassing
345easy (it is often useful to build your own transaction class on top of
346AnyEvent). To subclass, use C<AnyEvent::CondVar> as base class and call
347it's C<new> method in your own C<new> method.
348
349There are two "sides" to a condition variable - the "producer side" which
350eventually calls C<< -> send >>, and the "consumer side", which waits
351for the send to occur.
352
353Example: wait for a timer.
354
355 # wait till the result is ready
356 my $result_ready = AnyEvent->condvar;
357
358 # do something such as adding a timer
359 # or socket watcher the calls $result_ready->send
360 # when the "result" is ready.
361 # in this case, we simply use a timer:
362 my $w = AnyEvent->timer (
363 after => 1,
364 cb => sub { $result_ready->send },
365 );
366
367 # this "blocks" (while handling events) till the callback
368 # calls send
369 $result_ready->recv;
370
371Example: wait for a timer, but take advantage of the fact that
372condition variables are also code references.
373
374 my $done = AnyEvent->condvar;
375 my $delay = AnyEvent->timer (after => 5, cb => $done);
376 $done->recv;
377
378=head3 METHODS FOR PRODUCERS
379
380These methods should only be used by the producing side, i.e. the
381code/module that eventually sends the signal. Note that it is also
382the producer side which creates the condvar in most cases, but it isn't
383uncommon for the consumer to create it as well.
321 384
322=over 4 385=over 4
323 386
387=item $cv->send (...)
388
389Flag the condition as ready - a running C<< ->recv >> and all further
390calls to C<recv> will (eventually) return after this method has been
391called. If nobody is waiting the send will be remembered.
392
393If a callback has been set on the condition variable, it is called
394immediately from within send.
395
396Any arguments passed to the C<send> call will be returned by all
397future C<< ->recv >> calls.
398
399Condition variables are overloaded so one can call them directly (as a
400code reference). Calling them directly is the same as calling C<send>.
401
402=item $cv->croak ($error)
403
404Similar to send, but causes all call's to C<< ->recv >> to invoke
405C<Carp::croak> with the given error message/object/scalar.
406
407This can be used to signal any errors to the condition variable
408user/consumer.
409
410=item $cv->begin ([group callback])
411
324=item $cv->wait 412=item $cv->end
325 413
326Wait (blocking if necessary) until the C<< ->broadcast >> method has been 414These two methods are EXPERIMENTAL and MIGHT CHANGE.
415
416These two methods can be used to combine many transactions/events into
417one. For example, a function that pings many hosts in parallel might want
418to use a condition variable for the whole process.
419
420Every call to C<< ->begin >> will increment a counter, and every call to
421C<< ->end >> will decrement it. If the counter reaches C<0> in C<< ->end
422>>, the (last) callback passed to C<begin> will be executed. That callback
423is I<supposed> to call C<< ->send >>, but that is not required. If no
424callback was set, C<send> will be called without any arguments.
425
426Let's clarify this with the ping example:
427
428 my $cv = AnyEvent->condvar;
429
430 my %result;
431 $cv->begin (sub { $cv->send (\%result) });
432
433 for my $host (@list_of_hosts) {
434 $cv->begin;
435 ping_host_then_call_callback $host, sub {
436 $result{$host} = ...;
437 $cv->end;
438 };
439 }
440
441 $cv->end;
442
443This code fragment supposedly pings a number of hosts and calls
444C<send> after results for all then have have been gathered - in any
445order. To achieve this, the code issues a call to C<begin> when it starts
446each ping request and calls C<end> when it has received some result for
447it. Since C<begin> and C<end> only maintain a counter, the order in which
448results arrive is not relevant.
449
450There is an additional bracketing call to C<begin> and C<end> outside the
451loop, which serves two important purposes: first, it sets the callback
452to be called once the counter reaches C<0>, and second, it ensures that
453C<send> is called even when C<no> hosts are being pinged (the loop
454doesn't execute once).
455
456This is the general pattern when you "fan out" into multiple subrequests:
457use an outer C<begin>/C<end> pair to set the callback and ensure C<end>
458is called at least once, and then, for each subrequest you start, call
459C<begin> and for each subrequest you finish, call C<end>.
460
461=back
462
463=head3 METHODS FOR CONSUMERS
464
465These methods should only be used by the consuming side, i.e. the
466code awaits the condition.
467
468=over 4
469
470=item $cv->recv
471
472Wait (blocking if necessary) until the C<< ->send >> or C<< ->croak
327called on c<$cv>, while servicing other watchers normally. 473>> methods have been called on c<$cv>, while servicing other watchers
474normally.
328 475
329You can only wait once on a condition - additional calls will return 476You can only wait once on a condition - additional calls are valid but
330immediately. 477will return immediately.
478
479If an error condition has been set by calling C<< ->croak >>, then this
480function will call C<croak>.
481
482In list context, all parameters passed to C<send> will be returned,
483in scalar context only the first one will be returned.
331 484
332Not all event models support a blocking wait - some die in that case 485Not all event models support a blocking wait - some die in that case
333(programs might want to do that to stay interactive), so I<if you are 486(programs might want to do that to stay interactive), so I<if you are
334using this from a module, never require a blocking wait>, but let the 487using this from a module, never require a blocking wait>, but let the
335caller decide whether the call will block or not (for example, by coupling 488caller decide whether the call will block or not (for example, by coupling
336condition variables with some kind of request results and supporting 489condition variables with some kind of request results and supporting
337callbacks so the caller knows that getting the result will not block, 490callbacks so the caller knows that getting the result will not block,
338while still suppporting blocking waits if the caller so desires). 491while still supporting blocking waits if the caller so desires).
339 492
340Another reason I<never> to C<< ->wait >> in a module is that you cannot 493Another reason I<never> to C<< ->recv >> in a module is that you cannot
341sensibly have two C<< ->wait >>'s in parallel, as that would require 494sensibly have two C<< ->recv >>'s in parallel, as that would require
342multiple interpreters or coroutines/threads, none of which C<AnyEvent> 495multiple interpreters or coroutines/threads, none of which C<AnyEvent>
343can supply (the coroutine-aware backends L<AnyEvent::Impl::CoroEV> and 496can supply.
344L<AnyEvent::Impl::CoroEvent> explicitly support concurrent C<< ->wait >>'s
345from different coroutines, however).
346 497
347=item $cv->broadcast 498The L<Coro> module, however, I<can> and I<does> supply coroutines and, in
499fact, L<Coro::AnyEvent> replaces AnyEvent's condvars by coroutine-safe
500versions and also integrates coroutines into AnyEvent, making blocking
501C<< ->recv >> calls perfectly safe as long as they are done from another
502coroutine (one that doesn't run the event loop).
348 503
349Flag the condition as ready - a running C<< ->wait >> and all further 504You can ensure that C<< -recv >> never blocks by setting a callback and
350calls to C<wait> will (eventually) return after this method has been 505only calling C<< ->recv >> from within that callback (or at a later
351called. If nobody is waiting the broadcast will be remembered.. 506time). This will work even when the event loop does not support blocking
507waits otherwise.
508
509=item $bool = $cv->ready
510
511Returns true when the condition is "true", i.e. whether C<send> or
512C<croak> have been called.
513
514=item $cb = $cv->cb ([new callback])
515
516This is a mutator function that returns the callback set and optionally
517replaces it before doing so.
518
519The callback will be called when the condition becomes "true", i.e. when
520C<send> or C<croak> are called. Calling C<recv> inside the callback
521or at any later time is guaranteed not to block.
352 522
353=back 523=back
354
355Example:
356
357 # wait till the result is ready
358 my $result_ready = AnyEvent->condvar;
359
360 # do something such as adding a timer
361 # or socket watcher the calls $result_ready->broadcast
362 # when the "result" is ready.
363 # in this case, we simply use a timer:
364 my $w = AnyEvent->timer (
365 after => 1,
366 cb => sub { $result_ready->broadcast },
367 );
368
369 # this "blocks" (while handling events) till the watcher
370 # calls broadcast
371 $result_ready->wait;
372 524
373=head1 GLOBAL VARIABLES AND FUNCTIONS 525=head1 GLOBAL VARIABLES AND FUNCTIONS
374 526
375=over 4 527=over 4
376 528
382C<AnyEvent::Impl:xxx> modules, but can be any other class in the case 534C<AnyEvent::Impl:xxx> modules, but can be any other class in the case
383AnyEvent has been extended at runtime (e.g. in I<rxvt-unicode>). 535AnyEvent has been extended at runtime (e.g. in I<rxvt-unicode>).
384 536
385The known classes so far are: 537The known classes so far are:
386 538
387 AnyEvent::Impl::CoroEV based on Coro::EV, best choice.
388 AnyEvent::Impl::CoroEvent based on Coro::Event, second best choice.
389 AnyEvent::Impl::EV based on EV (an interface to libev, best choice). 539 AnyEvent::Impl::EV based on EV (an interface to libev, best choice).
390 AnyEvent::Impl::Event based on Event, second best choice. 540 AnyEvent::Impl::Event based on Event, second best choice.
541 AnyEvent::Impl::Perl pure-perl implementation, fast and portable.
391 AnyEvent::Impl::Glib based on Glib, third-best choice. 542 AnyEvent::Impl::Glib based on Glib, third-best choice.
392 AnyEvent::Impl::Perl pure-perl implementation, inefficient but portable.
393 AnyEvent::Impl::Tk based on Tk, very bad choice. 543 AnyEvent::Impl::Tk based on Tk, very bad choice.
394 AnyEvent::Impl::Qt based on Qt, cannot be autoprobed (see its docs). 544 AnyEvent::Impl::Qt based on Qt, cannot be autoprobed (see its docs).
395 AnyEvent::Impl::EventLib based on Event::Lib, leaks memory and worse. 545 AnyEvent::Impl::EventLib based on Event::Lib, leaks memory and worse.
396 AnyEvent::Impl::POE based on POE, not generic enough for full support. 546 AnyEvent::Impl::POE based on POE, not generic enough for full support.
397 547
410Returns C<$AnyEvent::MODEL>, forcing autodetection of the event model 560Returns C<$AnyEvent::MODEL>, forcing autodetection of the event model
411if necessary. You should only call this function right before you would 561if necessary. You should only call this function right before you would
412have created an AnyEvent watcher anyway, that is, as late as possible at 562have created an AnyEvent watcher anyway, that is, as late as possible at
413runtime. 563runtime.
414 564
565=item $guard = AnyEvent::post_detect { BLOCK }
566
567Arranges for the code block to be executed as soon as the event model is
568autodetected (or immediately if this has already happened).
569
570If called in scalar or list context, then it creates and returns an object
571that automatically removes the callback again when it is destroyed. See
572L<Coro::BDB> for a case where this is useful.
573
574=item @AnyEvent::post_detect
575
576If there are any code references in this array (you can C<push> to it
577before or after loading AnyEvent), then they will called directly after
578the event loop has been chosen.
579
580You should check C<$AnyEvent::MODEL> before adding to this array, though:
581if it contains a true value then the event loop has already been detected,
582and the array will be ignored.
583
584Best use C<AnyEvent::post_detect { BLOCK }> instead.
585
415=back 586=back
416 587
417=head1 WHAT TO DO IN A MODULE 588=head1 WHAT TO DO IN A MODULE
418 589
419As a module author, you should C<use AnyEvent> and call AnyEvent methods 590As a module author, you should C<use AnyEvent> and call AnyEvent methods
422Be careful when you create watchers in the module body - AnyEvent will 593Be careful when you create watchers in the module body - AnyEvent will
423decide which event module to use as soon as the first method is called, so 594decide which event module to use as soon as the first method is called, so
424by calling AnyEvent in your module body you force the user of your module 595by calling AnyEvent in your module body you force the user of your module
425to load the event module first. 596to load the event module first.
426 597
427Never call C<< ->wait >> on a condition variable unless you I<know> that 598Never call C<< ->recv >> on a condition variable unless you I<know> that
428the C<< ->broadcast >> method has been called on it already. This is 599the C<< ->send >> method has been called on it already. This is
429because it will stall the whole program, and the whole point of using 600because it will stall the whole program, and the whole point of using
430events is to stay interactive. 601events is to stay interactive.
431 602
432It is fine, however, to call C<< ->wait >> when the user of your module 603It is fine, however, to call C<< ->recv >> when the user of your module
433requests it (i.e. if you create a http request object ad have a method 604requests it (i.e. if you create a http request object ad have a method
434called C<results> that returns the results, it should call C<< ->wait >> 605called C<results> that returns the results, it should call C<< ->recv >>
435freely, as the user of your module knows what she is doing. always). 606freely, as the user of your module knows what she is doing. always).
436 607
437=head1 WHAT TO DO IN THE MAIN PROGRAM 608=head1 WHAT TO DO IN THE MAIN PROGRAM
438 609
439There will always be a single main program - the only place that should 610There will always be a single main program - the only place that should
453 624
454You can chose to use a rather inefficient pure-perl implementation by 625You can chose to use a rather inefficient pure-perl implementation by
455loading the C<AnyEvent::Impl::Perl> module, which gives you similar 626loading the C<AnyEvent::Impl::Perl> module, which gives you similar
456behaviour everywhere, but letting AnyEvent chose is generally better. 627behaviour everywhere, but letting AnyEvent chose is generally better.
457 628
629=head1 OTHER MODULES
630
631The following is a non-exhaustive list of additional modules that use
632AnyEvent and can therefore be mixed easily with other AnyEvent modules
633in the same program. Some of the modules come with AnyEvent, some are
634available via CPAN.
635
636=over 4
637
638=item L<AnyEvent::Util>
639
640Contains various utility functions that replace often-used but blocking
641functions such as C<inet_aton> by event-/callback-based versions.
642
643=item L<AnyEvent::Handle>
644
645Provide read and write buffers and manages watchers for reads and writes.
646
647=item L<AnyEvent::Socket>
648
649Provides various utility functions for (internet protocol) sockets,
650addresses and name resolution. Also functions to create non-blocking tcp
651connections or tcp servers, with IPv6 and SRV record support and more.
652
653=item L<AnyEvent::HTTPD>
654
655Provides a simple web application server framework.
656
657=item L<AnyEvent::DNS>
658
659Provides rich asynchronous DNS resolver capabilities.
660
661=item L<AnyEvent::FastPing>
662
663The fastest ping in the west.
664
665=item L<Net::IRC3>
666
667AnyEvent based IRC client module family.
668
669=item L<Net::XMPP2>
670
671AnyEvent based XMPP (Jabber protocol) module family.
672
673=item L<Net::FCP>
674
675AnyEvent-based implementation of the Freenet Client Protocol, birthplace
676of AnyEvent.
677
678=item L<Event::ExecFlow>
679
680High level API for event-based execution flow control.
681
682=item L<Coro>
683
684Has special support for AnyEvent via L<Coro::AnyEvent>.
685
686=item L<AnyEvent::AIO>, L<IO::AIO>
687
688Truly asynchronous I/O, should be in the toolbox of every event
689programmer. AnyEvent::AIO transparently fuses IO::AIO and AnyEvent
690together.
691
692=item L<AnyEvent::BDB>, L<BDB>
693
694Truly asynchronous Berkeley DB access. AnyEvent::AIO transparently fuses
695IO::AIO and AnyEvent together.
696
697=item L<IO::Lambda>
698
699The lambda approach to I/O - don't ask, look there. Can use AnyEvent.
700
701=back
702
458=cut 703=cut
459 704
460package AnyEvent; 705package AnyEvent;
461 706
462no warnings; 707no warnings;
463use strict; 708use strict;
464 709
465use Carp; 710use Carp;
466 711
467our $VERSION = '3.3'; 712our $VERSION = '4.0';
468our $MODEL; 713our $MODEL;
469 714
470our $AUTOLOAD; 715our $AUTOLOAD;
471our @ISA; 716our @ISA;
472 717
473our $verbose = $ENV{PERL_ANYEVENT_VERBOSE}*1; 718our $verbose = $ENV{PERL_ANYEVENT_VERBOSE}*1;
474 719
475our @REGISTRY; 720our @REGISTRY;
476 721
722our %PROTOCOL; # (ipv4|ipv6) => (1|2)
723
724{
725 my $idx;
726 $PROTOCOL{$_} = ++$idx
727 for split /\s*,\s*/, $ENV{PERL_ANYEVENT_PROTOCOLS} || "ipv4,ipv6";
728}
729
477my @models = ( 730my @models = (
478 [Coro::EV:: => AnyEvent::Impl::CoroEV::],
479 [Coro::Event:: => AnyEvent::Impl::CoroEvent::],
480 [EV:: => AnyEvent::Impl::EV::], 731 [EV:: => AnyEvent::Impl::EV::],
481 [Event:: => AnyEvent::Impl::Event::], 732 [Event:: => AnyEvent::Impl::Event::],
482 [Glib:: => AnyEvent::Impl::Glib::],
483 [Tk:: => AnyEvent::Impl::Tk::], 733 [Tk:: => AnyEvent::Impl::Tk::],
484 [Wx:: => AnyEvent::Impl::POE::], 734 [Wx:: => AnyEvent::Impl::POE::],
485 [Prima:: => AnyEvent::Impl::POE::], 735 [Prima:: => AnyEvent::Impl::POE::],
486 [AnyEvent::Impl::Perl:: => AnyEvent::Impl::Perl::], 736 [AnyEvent::Impl::Perl:: => AnyEvent::Impl::Perl::],
487 # everything below here will not be autoprobed as the pureperl backend should work everywhere 737 # everything below here will not be autoprobed as the pureperl backend should work everywhere
738 [Glib:: => AnyEvent::Impl::Glib::],
488 [Event::Lib:: => AnyEvent::Impl::EventLib::], # too buggy 739 [Event::Lib:: => AnyEvent::Impl::EventLib::], # too buggy
489 [Qt:: => AnyEvent::Impl::Qt::], # requires special main program 740 [Qt:: => AnyEvent::Impl::Qt::], # requires special main program
490 [POE::Kernel:: => AnyEvent::Impl::POE::], # lasciate ogni speranza 741 [POE::Kernel:: => AnyEvent::Impl::POE::], # lasciate ogni speranza
491); 742);
492 743
493our %method = map +($_ => 1), qw(io timer signal child condvar broadcast wait one_event DESTROY); 744our %method = map +($_ => 1), qw(io timer signal child condvar one_event DESTROY);
745
746our @post_detect;
747
748sub post_detect(&) {
749 my ($cb) = @_;
750
751 if ($MODEL) {
752 $cb->();
753
754 1
755 } else {
756 push @post_detect, $cb;
757
758 defined wantarray
759 ? bless \$cb, "AnyEvent::Util::PostDetect"
760 : ()
761 }
762}
763
764sub AnyEvent::Util::PostDetect::DESTROY {
765 @post_detect = grep $_ != ${$_[0]}, @post_detect;
766}
494 767
495sub detect() { 768sub detect() {
496 unless ($MODEL) { 769 unless ($MODEL) {
497 no strict 'refs'; 770 no strict 'refs';
498 771
532 last; 805 last;
533 } 806 }
534 } 807 }
535 808
536 $MODEL 809 $MODEL
537 or die "No event module selected for AnyEvent and autodetect failed. Install any one of these modules: EV (or Coro+EV), Event (or Coro+Event) or Glib."; 810 or die "No event module selected for AnyEvent and autodetect failed. Install any one of these modules: EV, Event or Glib.";
538 } 811 }
539 } 812 }
540 813
541 unshift @ISA, $MODEL; 814 unshift @ISA, $MODEL;
542 push @{"$MODEL\::ISA"}, "AnyEvent::Base"; 815 push @{"$MODEL\::ISA"}, "AnyEvent::Base";
816
817 (shift @post_detect)->() while @post_detect;
543 } 818 }
544 819
545 $MODEL 820 $MODEL
546} 821}
547 822
557 $class->$func (@_); 832 $class->$func (@_);
558} 833}
559 834
560package AnyEvent::Base; 835package AnyEvent::Base;
561 836
562# default implementation for ->condvar, ->wait, ->broadcast 837# default implementation for ->condvar
563 838
564sub condvar { 839sub condvar {
565 bless \my $flag, "AnyEvent::Base::CondVar" 840 bless { @_ == 3 ? (_ae_cb => $_[2]) : () }, AnyEvent::CondVar::
566}
567
568sub AnyEvent::Base::CondVar::broadcast {
569 ${$_[0]}++;
570}
571
572sub AnyEvent::Base::CondVar::wait {
573 AnyEvent->one_event while !${$_[0]};
574} 841}
575 842
576# default implementation for ->signal 843# default implementation for ->signal
577 844
578our %SIG_CB; 845our %SIG_CB;
652 delete $PID_CB{$pid} unless keys %{ $PID_CB{$pid} }; 919 delete $PID_CB{$pid} unless keys %{ $PID_CB{$pid} };
653 920
654 undef $CHLD_W unless keys %PID_CB; 921 undef $CHLD_W unless keys %PID_CB;
655} 922}
656 923
924package AnyEvent::CondVar;
925
926our @ISA = AnyEvent::CondVar::Base::;
927
928package AnyEvent::CondVar::Base;
929
930use overload
931 '&{}' => sub { my $self = shift; sub { $self->send (@_) } },
932 fallback => 1;
933
934sub _send {
935 # nop
936}
937
938sub send {
939 my $cv = shift;
940 $cv->{_ae_sent} = [@_];
941 (delete $cv->{_ae_cb})->($cv) if $cv->{_ae_cb};
942 $cv->_send;
943}
944
945sub croak {
946 $_[0]{_ae_croak} = $_[1];
947 $_[0]->send;
948}
949
950sub ready {
951 $_[0]{_ae_sent}
952}
953
954sub _wait {
955 AnyEvent->one_event while !$_[0]{_ae_sent};
956}
957
958sub recv {
959 $_[0]->_wait;
960
961 Carp::croak $_[0]{_ae_croak} if $_[0]{_ae_croak};
962 wantarray ? @{ $_[0]{_ae_sent} } : $_[0]{_ae_sent}[0]
963}
964
965sub cb {
966 $_[0]{_ae_cb} = $_[1] if @_ > 1;
967 $_[0]{_ae_cb}
968}
969
970sub begin {
971 ++$_[0]{_ae_counter};
972 $_[0]{_ae_end_cb} = $_[1] if @_ > 1;
973}
974
975sub end {
976 return if --$_[0]{_ae_counter};
977 &{ $_[0]{_ae_end_cb} || sub { $_[0]->send } };
978}
979
980# undocumented/compatibility with pre-3.4
981*broadcast = \&send;
982*wait = \&_wait;
983
657=head1 SUPPLYING YOUR OWN EVENT MODEL INTERFACE 984=head1 SUPPLYING YOUR OWN EVENT MODEL INTERFACE
658 985
659This is an advanced topic that you do not normally need to use AnyEvent in 986This is an advanced topic that you do not normally need to use AnyEvent in
660a module. This section is only of use to event loop authors who want to 987a module. This section is only of use to event loop authors who want to
661provide AnyEvent compatibility. 988provide AnyEvent compatibility.
717model it chooses. 1044model it chooses.
718 1045
719=item C<PERL_ANYEVENT_MODEL> 1046=item C<PERL_ANYEVENT_MODEL>
720 1047
721This can be used to specify the event model to be used by AnyEvent, before 1048This can be used to specify the event model to be used by AnyEvent, before
722autodetection and -probing kicks in. It must be a string consisting 1049auto detection and -probing kicks in. It must be a string consisting
723entirely of ASCII letters. The string C<AnyEvent::Impl::> gets prepended 1050entirely of ASCII letters. The string C<AnyEvent::Impl::> gets prepended
724and the resulting module name is loaded and if the load was successful, 1051and the resulting module name is loaded and if the load was successful,
725used as event model. If it fails to load AnyEvent will proceed with 1052used as event model. If it fails to load AnyEvent will proceed with
726autodetection and -probing. 1053auto detection and -probing.
727 1054
728This functionality might change in future versions. 1055This functionality might change in future versions.
729 1056
730For example, to force the pure perl model (L<AnyEvent::Impl::Perl>) you 1057For example, to force the pure perl model (L<AnyEvent::Impl::Perl>) you
731could start your program like this: 1058could start your program like this:
732 1059
733 PERL_ANYEVENT_MODEL=Perl perl ... 1060 PERL_ANYEVENT_MODEL=Perl perl ...
1061
1062=item C<PERL_ANYEVENT_PROTOCOLS>
1063
1064Used by both L<AnyEvent::DNS> and L<AnyEvent::Socket> to determine preferences
1065for IPv4 or IPv6. The default is unspecified (and might change, or be the result
1066of auto probing).
1067
1068Must be set to a comma-separated list of protocols or address families,
1069current supported: C<ipv4> and C<ipv6>. Only protocols mentioned will be
1070used, and preference will be given to protocols mentioned earlier in the
1071list.
1072
1073This variable can effectively be used for denial-of-service attacks
1074against local programs (e.g. when setuid), although the impact is likely
1075small, as the program has to handle connection errors already-
1076
1077Examples: C<PERL_ANYEVENT_PROTOCOLS=ipv4,ipv6> - prefer IPv4 over IPv6,
1078but support both and try to use both. C<PERL_ANYEVENT_PROTOCOLS=ipv4>
1079- only support IPv4, never try to resolve or contact IPv6
1080addresses. C<PERL_ANYEVENT_PROTOCOLS=ipv6,ipv4> support either IPv4 or
1081IPv6, but prefer IPv6 over IPv4.
1082
1083=item C<PERL_ANYEVENT_EDNS0>
1084
1085Used by L<AnyEvent::DNS> to decide whether to use the EDNS0 extension
1086for DNS. This extension is generally useful to reduce DNS traffic, but
1087some (broken) firewalls drop such DNS packets, which is why it is off by
1088default.
1089
1090Setting this variable to C<1> will cause L<AnyEvent::DNS> to announce
1091EDNS0 in its DNS requests.
734 1092
735=back 1093=back
736 1094
737=head1 EXAMPLE PROGRAM 1095=head1 EXAMPLE PROGRAM
738 1096
749 poll => 'r', 1107 poll => 'r',
750 cb => sub { 1108 cb => sub {
751 warn "io event <$_[0]>\n"; # will always output <r> 1109 warn "io event <$_[0]>\n"; # will always output <r>
752 chomp (my $input = <STDIN>); # read a line 1110 chomp (my $input = <STDIN>); # read a line
753 warn "read: $input\n"; # output what has been read 1111 warn "read: $input\n"; # output what has been read
754 $cv->broadcast if $input =~ /^q/i; # quit program if /^q/i 1112 $cv->send if $input =~ /^q/i; # quit program if /^q/i
755 }, 1113 },
756 ); 1114 );
757 1115
758 my $time_watcher; # can only be used once 1116 my $time_watcher; # can only be used once
759 1117
764 }); 1122 });
765 } 1123 }
766 1124
767 new_timer; # create first timer 1125 new_timer; # create first timer
768 1126
769 $cv->wait; # wait until user enters /^q/i 1127 $cv->recv; # wait until user enters /^q/i
770 1128
771=head1 REAL-WORLD EXAMPLE 1129=head1 REAL-WORLD EXAMPLE
772 1130
773Consider the L<Net::FCP> module. It features (among others) the following 1131Consider the L<Net::FCP> module. It features (among others) the following
774API calls, which are to freenet what HTTP GET requests are to http: 1132API calls, which are to freenet what HTTP GET requests are to http:
824 syswrite $txn->{fh}, $txn->{request} 1182 syswrite $txn->{fh}, $txn->{request}
825 or die "connection or write error"; 1183 or die "connection or write error";
826 $txn->{w} = AnyEvent->io (fh => $txn->{fh}, poll => 'r', cb => sub { $txn->fh_ready_r }); 1184 $txn->{w} = AnyEvent->io (fh => $txn->{fh}, poll => 'r', cb => sub { $txn->fh_ready_r });
827 1185
828Again, C<fh_ready_r> waits till all data has arrived, and then stores the 1186Again, C<fh_ready_r> waits till all data has arrived, and then stores the
829result and signals any possible waiters that the request ahs finished: 1187result and signals any possible waiters that the request has finished:
830 1188
831 sysread $txn->{fh}, $txn->{buf}, length $txn->{$buf}; 1189 sysread $txn->{fh}, $txn->{buf}, length $txn->{$buf};
832 1190
833 if (end-of-file or data complete) { 1191 if (end-of-file or data complete) {
834 $txn->{result} = $txn->{buf}; 1192 $txn->{result} = $txn->{buf};
835 $txn->{finished}->broadcast; 1193 $txn->{finished}->send;
836 $txb->{cb}->($txn) of $txn->{cb}; # also call callback 1194 $txb->{cb}->($txn) of $txn->{cb}; # also call callback
837 } 1195 }
838 1196
839The C<result> method, finally, just waits for the finished signal (if the 1197The C<result> method, finally, just waits for the finished signal (if the
840request was already finished, it doesn't wait, of course, and returns the 1198request was already finished, it doesn't wait, of course, and returns the
841data: 1199data:
842 1200
843 $txn->{finished}->wait; 1201 $txn->{finished}->recv;
844 return $txn->{result}; 1202 return $txn->{result};
845 1203
846The actual code goes further and collects all errors (C<die>s, exceptions) 1204The actual code goes further and collects all errors (C<die>s, exceptions)
847that occured during request processing. The C<result> method detects 1205that occurred during request processing. The C<result> method detects
848whether an exception as thrown (it is stored inside the $txn object) 1206whether an exception as thrown (it is stored inside the $txn object)
849and just throws the exception, which means connection errors and other 1207and just throws the exception, which means connection errors and other
850problems get reported tot he code that tries to use the result, not in a 1208problems get reported tot he code that tries to use the result, not in a
851random callback. 1209random callback.
852 1210
883 1241
884 my $quit = AnyEvent->condvar; 1242 my $quit = AnyEvent->condvar;
885 1243
886 $fcp->txn_client_get ($url)->cb (sub { 1244 $fcp->txn_client_get ($url)->cb (sub {
887 ... 1245 ...
888 $quit->broadcast; 1246 $quit->send;
889 }); 1247 });
890 1248
891 $quit->wait; 1249 $quit->recv;
892 1250
893 1251
894=head1 BENCHMARK 1252=head1 BENCHMARKS
895 1253
896To give you an idea of the performance and overheads that AnyEvent adds 1254To 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 1255over 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 1256of various event loops I prepared some benchmarks.
899event models natively and with anyevent. The benchmark creates a lot of 1257
900timers (with a zero timeout) and I/O watchers (watching STDOUT, a pty, to 1258=head2 BENCHMARKING ANYEVENT OVERHEAD
1259
1260Here is a benchmark of various supported event models used natively and
1261through AnyEvent. The benchmark creates a lot of timers (with a zero
1262timeout) and I/O watchers (watching STDOUT, a pty, to become writable,
901become writable, which it is), lets them fire exactly once and destroys 1263which it is), lets them fire exactly once and destroys them again.
902them again.
903 1264
904Rewriting the benchmark to use many different sockets instead of using 1265Source 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 1266distribution.
906(socket creation is expensive), but qualitatively the same figures, so it
907was not used.
908 1267
909=head2 Explanation of the columns 1268=head3 Explanation of the columns
910 1269
911I<watcher> is the number of event watchers created/destroyed. Since 1270I<watcher> is the number of event watchers created/destroyed. Since
912different event models feature vastly different performances, each event 1271different event models feature vastly different performances, each event
913loop was given a number of watchers so that overall runtime is acceptable 1272loop was given a number of watchers so that overall runtime is acceptable
914and similar between tested event loop (and keep them from crashing): Glib 1273and similar between tested event loop (and keep them from crashing): Glib
924all watchers, to avoid adding memory overhead. That means closure creation 1283all watchers, to avoid adding memory overhead. That means closure creation
925and memory usage is not included in the figures. 1284and memory usage is not included in the figures.
926 1285
927I<invoke> is the time, in microseconds, used to invoke a simple 1286I<invoke> is the time, in microseconds, used to invoke a simple
928callback. The callback simply counts down a Perl variable and after it was 1287callback. The callback simply counts down a Perl variable and after it was
929invoked "watcher" times, it would C<< ->broadcast >> a condvar once to 1288invoked "watcher" times, it would C<< ->send >> a condvar once to
930signal the end of this phase. 1289signal the end of this phase.
931 1290
932I<destroy> is the time, in microseconds, that it takes to destroy a single 1291I<destroy> is the time, in microseconds, that it takes to destroy a single
933watcher. 1292watcher.
934 1293
935=head2 Results 1294=head3 Results
936 1295
937 name watchers bytes create invoke destroy comment 1296 name watchers bytes create invoke destroy comment
938 EV/EV 400000 244 0.56 0.46 0.31 EV native interface 1297 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 1298 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 1299 CoroEV/Any 100000 244 2.49 0.44 0.29 coroutines + Coro::Signal
941 Perl/Any 100000 513 4.92 0.87 1.12 pure perl implementation 1300 Perl/Any 100000 513 4.92 0.87 1.12 pure perl implementation
942 Event/Event 16000 516 31.88 31.30 0.85 Event native interface 1301 Event/Event 16000 516 31.88 31.30 0.85 Event native interface
943 Event/Any 16000 936 39.17 33.63 1.43 Event + AnyEvent watchers 1302 Event/Any 16000 590 35.75 31.42 1.08 Event + AnyEvent watchers
944 Glib/Any 16000 1357 98.22 12.41 54.00 quadratic behaviour 1303 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 1304 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 1305 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 1306 POE/Select 2000 6343 94.13 809.12 565.96 via POE::Loop::Select
948 1307
949=head2 Discussion 1308=head3 Discussion
950 1309
951The benchmark does I<not> measure scalability of the event loop very 1310The 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) 1311well. 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 1312can 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 1313file descriptors grows high. In this benchmark, all events become ready at
955the same time, so select/poll-based implementations get an unnatural speed 1314the same time, so select/poll-based implementations get an unnatural speed
956boost. 1315boost.
957 1316
1317Also, note that the number of watchers usually has a nonlinear effect on
1318overall speed, that is, creating twice as many watchers doesn't take twice
1319the time - usually it takes longer. This puts event loops tested with a
1320higher number of watchers at a disadvantage.
1321
1322To put the range of results into perspective, consider that on the
1323benchmark machine, handling an event takes roughly 1600 CPU cycles with
1324EV, 3100 CPU cycles with AnyEvent's pure perl loop and almost 3000000 CPU
1325cycles with POE.
1326
958C<EV> is the sole leader regarding speed and memory use, which are both 1327C<EV> is the sole leader regarding speed and memory use, which are both
959maximal/minimal, respectively. Even when going through AnyEvent, it uses 1328maximal/minimal, respectively. Even when going through AnyEvent, it uses
960far less memory than any other event loop and is still faster than Event 1329far less memory than any other event loop and is still faster than Event
961natively. 1330natively.
962 1331
963The pure perl implementation is hit in a few sweet spots (both the 1332The 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 1333constant 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 1334interpreter and the backend itself). Nevertheless this shows that it
966same time). Nevertheless this shows that it adds very little overhead in 1335adds very little overhead in itself. Like any select-based backend its
967itself. Like any select-based backend its performance becomes really bad 1336performance becomes really bad with lots of file descriptors (and few of
968with lots of file descriptors (and few of them active), of course, but 1337them active), of course, but this was not subject of this benchmark.
969this was not subject of this benchmark.
970 1338
971The C<Event> module has a relatively high setup and callback invocation cost, 1339The C<Event> module has a relatively high setup and callback invocation
972but overall scores on the third place. 1340cost, but overall scores in on the third place.
973 1341
974C<Glib>'s memory usage is quite a bit bit higher, but it features a 1342C<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 1343faster callback invocation and overall ends up in the same class as
976C<Event>. However, Glib scales extremely badly, doubling the number of 1344C<Event>. However, Glib scales extremely badly, doubling the number of
977watchers increases the processing time by more than a factor of four, 1345watchers increases the processing time by more than a factor of four,
978making it completely unusable when using larger numbers of watchers 1346making it completely unusable when using larger numbers of watchers
979(note that only a single file descriptor was used in the benchmark, so 1347(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 1350The C<Tk> adaptor works relatively well. The fact that it crashes with
983more than 2000 watchers is a big setback, however, as correctness takes 1351more than 2000 watchers is a big setback, however, as correctness takes
984precedence over speed. Nevertheless, its performance is surprising, as the 1352precedence over speed. Nevertheless, its performance is surprising, as the
985file descriptor is dup()ed for each watcher. This shows that the dup() 1353file 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 1354employed 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 1355hidden memory cost inside the kernel which is not reflected in the figures
988figures above). 1356above).
989 1357
990C<POE>, regardless of underlying event loop (wether using its pure perl 1358C<POE>, regardless of underlying event loop (whether using its pure perl
991select-based backend or the Event module) shows abysmal performance and 1359select-based backend or the Event module, the POE-EV backend couldn't
1360be tested because it wasn't working) shows abysmal performance and
992memory usage: Watchers use almost 30 times as much memory as EV watchers, 1361memory usage with AnyEvent: Watchers use almost 30 times as much memory
993and 10 times as much memory as both Event or EV via AnyEvent. Watcher 1362as EV watchers, and 10 times as much memory as Event (the high memory
1363requirements are caused by requiring a session for each watcher). Watcher
994invocation is almost 900 times slower than with AnyEvent's pure perl 1364invocation speed is almost 900 times slower than with AnyEvent's pure perl
1365implementation.
1366
995implementation. The design of the POE adaptor class in AnyEvent can not 1367The design of the POE adaptor class in AnyEvent can not really account
996really account for this, as session creation overhead is small compared 1368for the performance issues, though, as session creation overhead is
997to execution of the state machine, which is coded pretty optimally within 1369small compared to execution of the state machine, which is coded pretty
998L<AnyEvent::Impl::POE>. POE simply seems to be abysmally slow. 1370optimally within L<AnyEvent::Impl::POE> (and while everybody agrees that
1371using multiple sessions is not a good approach, especially regarding
1372memory usage, even the author of POE could not come up with a faster
1373design).
999 1374
1000=head2 Summary 1375=head3 Summary
1001 1376
1377=over 4
1378
1002Using EV through AnyEvent is faster than any other event loop, but most 1379=item * Using EV through AnyEvent is faster than any other event loop
1003event loops have acceptable performance with or without AnyEvent. 1380(even when used without AnyEvent), but most event loops have acceptable
1381performance with or without AnyEvent.
1004 1382
1005The overhead AnyEvent adds is usually much smaller than the overhead of 1383=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 1384the actual event loop, only with extremely fast event loops such as EV
1007adds AnyEvent significant overhead. 1385adds AnyEvent significant overhead.
1008 1386
1009And you should simply avoid POE like the plague if you want performance or 1387=item * You should avoid POE like the plague if you want performance or
1010reasonable memory usage. 1388reasonable memory usage.
1011 1389
1390=back
1391
1392=head2 BENCHMARKING THE LARGE SERVER CASE
1393
1394This benchmark actually benchmarks the event loop itself. It works by
1395creating a number of "servers": each server consists of a socket pair, a
1396timeout watcher that gets reset on activity (but never fires), and an I/O
1397watcher waiting for input on one side of the socket. Each time the socket
1398watcher reads a byte it will write that byte to a random other "server".
1399
1400The effect is that there will be a lot of I/O watchers, only part of which
1401are active at any one point (so there is a constant number of active
1402fds for each loop iteration, but which fds these are is random). The
1403timeout is reset each time something is read because that reflects how
1404most timeouts work (and puts extra pressure on the event loops).
1405
1406In this benchmark, we use 10000 socket pairs (20000 sockets), of which 100
1407(1%) are active. This mirrors the activity of large servers with many
1408connections, most of which are idle at any one point in time.
1409
1410Source code for this benchmark is found as F<eg/bench2> in the AnyEvent
1411distribution.
1412
1413=head3 Explanation of the columns
1414
1415I<sockets> is the number of sockets, and twice the number of "servers" (as
1416each server has a read and write socket end).
1417
1418I<create> is the time it takes to create a socket pair (which is
1419nontrivial) and two watchers: an I/O watcher and a timeout watcher.
1420
1421I<request>, the most important value, is the time it takes to handle a
1422single "request", that is, reading the token from the pipe and forwarding
1423it to another server. This includes deleting the old timeout and creating
1424a new one that moves the timeout into the future.
1425
1426=head3 Results
1427
1428 name sockets create request
1429 EV 20000 69.01 11.16
1430 Perl 20000 73.32 35.87
1431 Event 20000 212.62 257.32
1432 Glib 20000 651.16 1896.30
1433 POE 20000 349.67 12317.24 uses POE::Loop::Event
1434
1435=head3 Discussion
1436
1437This benchmark I<does> measure scalability and overall performance of the
1438particular event loop.
1439
1440EV is again fastest. Since it is using epoll on my system, the setup time
1441is relatively high, though.
1442
1443Perl surprisingly comes second. It is much faster than the C-based event
1444loops Event and Glib.
1445
1446Event suffers from high setup time as well (look at its code and you will
1447understand why). Callback invocation also has a high overhead compared to
1448the C<< $_->() for .. >>-style loop that the Perl event loop uses. Event
1449uses select or poll in basically all documented configurations.
1450
1451Glib is hit hard by its quadratic behaviour w.r.t. many watchers. It
1452clearly fails to perform with many filehandles or in busy servers.
1453
1454POE is still completely out of the picture, taking over 1000 times as long
1455as EV, and over 100 times as long as the Perl implementation, even though
1456it uses a C-based event loop in this case.
1457
1458=head3 Summary
1459
1460=over 4
1461
1462=item * The pure perl implementation performs extremely well.
1463
1464=item * Avoid Glib or POE in large projects where performance matters.
1465
1466=back
1467
1468=head2 BENCHMARKING SMALL SERVERS
1469
1470While event loops should scale (and select-based ones do not...) even to
1471large servers, most programs we (or I :) actually write have only a few
1472I/O watchers.
1473
1474In this benchmark, I use the same benchmark program as in the large server
1475case, but it uses only eight "servers", of which three are active at any
1476one time. This should reflect performance for a small server relatively
1477well.
1478
1479The columns are identical to the previous table.
1480
1481=head3 Results
1482
1483 name sockets create request
1484 EV 16 20.00 6.54
1485 Perl 16 25.75 12.62
1486 Event 16 81.27 35.86
1487 Glib 16 32.63 15.48
1488 POE 16 261.87 276.28 uses POE::Loop::Event
1489
1490=head3 Discussion
1491
1492The benchmark tries to test the performance of a typical small
1493server. While knowing how various event loops perform is interesting, keep
1494in mind that their overhead in this case is usually not as important, due
1495to the small absolute number of watchers (that is, you need efficiency and
1496speed most when you have lots of watchers, not when you only have a few of
1497them).
1498
1499EV is again fastest.
1500
1501Perl again comes second. It is noticeably faster than the C-based event
1502loops Event and Glib, although the difference is too small to really
1503matter.
1504
1505POE also performs much better in this case, but is is still far behind the
1506others.
1507
1508=head3 Summary
1509
1510=over 4
1511
1512=item * C-based event loops perform very well with small number of
1513watchers, as the management overhead dominates.
1514
1515=back
1516
1012 1517
1013=head1 FORK 1518=head1 FORK
1014 1519
1015Most event libraries are not fork-safe. The ones who are usually are 1520Most event libraries are not fork-safe. The ones who are usually are
1016because they are so inefficient. Only L<EV> is fully fork-aware. 1521because they rely on inefficient but fork-safe C<select> or C<poll>
1522calls. Only L<EV> is fully fork-aware.
1017 1523
1018If you have to fork, you must either do so I<before> creating your first 1524If you have to fork, you must either do so I<before> creating your first
1019watcher OR you must not use AnyEvent at all in the child. 1525watcher OR you must not use AnyEvent at all in the child.
1020 1526
1021 1527
1033 1539
1034 BEGIN { delete $ENV{PERL_ANYEVENT_MODEL} } 1540 BEGIN { delete $ENV{PERL_ANYEVENT_MODEL} }
1035 1541
1036 use AnyEvent; 1542 use AnyEvent;
1037 1543
1544Similar considerations apply to $ENV{PERL_ANYEVENT_VERBOSE}, as that can
1545be used to probe what backend is used and gain other information (which is
1546probably even less useful to an attacker than PERL_ANYEVENT_MODEL).
1547
1038 1548
1039=head1 SEE ALSO 1549=head1 SEE ALSO
1040 1550
1041Event modules: L<Coro::EV>, L<EV>, L<EV::Glib>, L<Glib::EV>, 1551Utility functions: L<AnyEvent::Util>.
1042L<Coro::Event>, L<Event>, L<Glib::Event>, L<Glib>, L<Coro>, L<Tk>, 1552
1553Event modules: L<EV>, L<EV::Glib>, L<Glib::EV>, L<Event>, L<Glib::Event>,
1043L<Event::Lib>, L<Qt>, L<POE>. 1554L<Glib>, L<Tk>, L<Event::Lib>, L<Qt>, L<POE>.
1044 1555
1045Implementations: L<AnyEvent::Impl::CoroEV>, L<AnyEvent::Impl::EV>, 1556Implementations: L<AnyEvent::Impl::EV>, L<AnyEvent::Impl::Event>,
1046L<AnyEvent::Impl::CoroEvent>, L<AnyEvent::Impl::Event>, L<AnyEvent::Impl::Glib>, 1557L<AnyEvent::Impl::Glib>, L<AnyEvent::Impl::Tk>, L<AnyEvent::Impl::Perl>,
1047L<AnyEvent::Impl::Tk>, L<AnyEvent::Impl::Perl>, L<AnyEvent::Impl::EventLib>, 1558L<AnyEvent::Impl::EventLib>, L<AnyEvent::Impl::Qt>,
1048L<AnyEvent::Impl::Qt>, L<AnyEvent::Impl::POE>. 1559L<AnyEvent::Impl::POE>.
1049 1560
1561Non-blocking file handles, sockets, TCP clients and
1562servers: L<AnyEvent::Handle>, L<AnyEvent::Socket>.
1563
1564Asynchronous DNS: L<AnyEvent::DNS>.
1565
1566Coroutine support: L<Coro>, L<Coro::AnyEvent>, L<Coro::EV>, L<Coro::Event>,
1567
1050Nontrivial usage examples: L<Net::FCP>, L<Net::XMPP2>. 1568Nontrivial usage examples: L<Net::FCP>, L<Net::XMPP2>, L<AnyEvent::DNS>.
1051 1569
1052 1570
1053=head1 AUTHOR 1571=head1 AUTHOR
1054 1572
1055 Marc Lehmann <schmorp@schmorp.de> 1573 Marc Lehmann <schmorp@schmorp.de>

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines