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.102 by root, Sun Apr 27 21:16:26 2008 UTC vs.
Revision 1.107 by root, Tue May 6 12:15:50 2008 UTC

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->wait; # enters "main loop" till $condvar gets ->broadcast 20 $w->wait; # enters "main loop" till $condvar gets ->send
21 $w->broadcast; # wake up current and all future wait's 21 $w->send; # 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?
288 my $w = AnyEvent->child ( 288 my $w = AnyEvent->child (
289 pid => $pid, 289 pid => $pid,
290 cb => sub { 290 cb => sub {
291 my ($pid, $status) = @_; 291 my ($pid, $status) = @_;
292 warn "pid $pid exited with status $status"; 292 warn "pid $pid exited with status $status";
293 $done->broadcast; 293 $done->send;
294 }, 294 },
295 ); 295 );
296 296
297 # do something else, then wait for process exit 297 # do something else, then wait for process exit
298 $done->wait; 298 $done->wait;
299 299
300=head2 CONDITION VARIABLES 300=head2 CONDITION VARIABLES
301 301
302If you are familiar with some event loops you will know that all of them
303require you to run some blocking "loop", "run" or similar function that
304will actively watch for new events and call your callbacks.
305
306AnyEvent is different, it expects somebody else to run the event loop and
307will only block when necessary (usually when told by the user).
308
309The instrument to do that is called a "condition variable", so called
310because they represent a condition that must become true.
311
302Condition variables can be created by calling the C<< AnyEvent->condvar >> 312Condition variables can be created by calling the C<< AnyEvent->condvar
303method without any arguments. 313>> method, usually without arguments. The only argument pair allowed is
314C<cb>, which specifies a callback to be called when the condition variable
315becomes true.
304 316
305A condition variable waits for a condition - precisely that the C<< 317After creation, the conditon variable is "false" until it becomes "true"
306->broadcast >> method has been called. 318by calling the C<send> method.
307 319
308They are very useful to signal that a condition has been fulfilled, for 320Condition variables are similar to callbacks, except that you can
321optionally wait for them. They can also be called merge points - points
322in time where multiple outstandign events have been processed. And yet
323another way to call them is transations - each condition variable can be
324used to represent a transaction, which finishes at some point and delivers
325a result.
326
327Condition variables are very useful to signal that something has finished,
309example, if you write a module that does asynchronous http requests, 328for example, if you write a module that does asynchronous http requests,
310then a condition variable would be the ideal candidate to signal the 329then a condition variable would be the ideal candidate to signal the
311availability of results. 330availability of results. The user can either act when the callback is
331called or can synchronously C<< ->wait >> for the results.
312 332
313You can also use condition variables to block your main program until 333You can also use them to simulate traditional event loops - for example,
314an event occurs - for example, you could C<< ->wait >> in your main 334you can block your main program until an event occurs - for example, you
315program until the user clicks the Quit button in your app, which would C<< 335could C<< ->wait >> in your main program until the user clicks the Quit
316->broadcast >> the "quit" event. 336button of your app, which would C<< ->send >> the "quit" event.
317 337
318Note that condition variables recurse into the event loop - if you have 338Note that condition variables recurse into the event loop - if you have
319two pirces of code that call C<< ->wait >> in a round-robbin fashion, you 339two pieces of code that call C<< ->wait >> in a round-robbin fashion, you
320lose. Therefore, condition variables are good to export to your caller, but 340lose. Therefore, condition variables are good to export to your caller, but
321you should avoid making a blocking wait yourself, at least in callbacks, 341you should avoid making a blocking wait yourself, at least in callbacks,
322as this asks for trouble. 342as this asks for trouble.
323 343
324This object has two methods: 344Condition variables are represented by hash refs in perl, and the keys
345used by AnyEvent itself are all named C<_ae_XXX> to make subclassing
346easy (it is often useful to build your own transaction class on top of
347AnyEvent). To subclass, use C<AnyEvent::CondVar> as base class and call
348it's C<new> method in your own C<new> method.
349
350There are two "sides" to a condition variable - the "producer side" which
351eventually calls C<< -> send >>, and the "consumer side", which waits
352for the send to occur.
353
354Example:
355
356 # wait till the result is ready
357 my $result_ready = AnyEvent->condvar;
358
359 # do something such as adding a timer
360 # or socket watcher the calls $result_ready->send
361 # when the "result" is ready.
362 # in this case, we simply use a timer:
363 my $w = AnyEvent->timer (
364 after => 1,
365 cb => sub { $result_ready->send },
366 );
367
368 # this "blocks" (while handling events) till the callback
369 # calls send
370 $result_ready->wait;
371
372=head3 METHODS FOR PRODUCERS
373
374These methods should only be used by the producing side, i.e. the
375code/module that eventually sends the signal. Note that it is also
376the producer side which creates the condvar in most cases, but it isn't
377uncommon for the consumer to create it as well.
325 378
326=over 4 379=over 4
327 380
381=item $cv->send (...)
382
383Flag the condition as ready - a running C<< ->wait >> and all further
384calls to C<wait> will (eventually) return after this method has been
385called. If nobody is waiting the send will be remembered.
386
387If a callback has been set on the condition variable, it is called
388immediately from within send.
389
390Any arguments passed to the C<send> call will be returned by all
391future C<< ->wait >> calls.
392
393=item $cv->croak ($error)
394
395Similar to send, but causes all call's wait C<< ->wait >> to invoke
396C<Carp::croak> with the given error message/object/scalar.
397
398This can be used to signal any errors to the condition variable
399user/consumer.
400
401=item $cv->begin ([group callback])
402
403=item $cv->end
404
405These two methods can be used to combine many transactions/events into
406one. For example, a function that pings many hosts in parallel might want
407to use a condition variable for the whole process.
408
409Every call to C<< ->begin >> will increment a counter, and every call to
410C<< ->end >> will decrement it. If the counter reaches C<0> in C<< ->end
411>>, the (last) callback passed to C<begin> will be executed. That callback
412is I<supposed> to call C<< ->send >>, but that is not required. If no
413callback was set, C<send> will be called without any arguments.
414
415Let's clarify this with the ping example:
416
417 my $cv = AnyEvent->condvar;
418
419 my %result;
420 $cv->begin (sub { $cv->send (\%result) });
421
422 for my $host (@list_of_hosts) {
423 $cv->begin;
424 ping_host_then_call_callback $host, sub {
425 $result{$host} = ...;
426 $cv->end;
427 };
428 }
429
430 $cv->end;
431
432This code fragment supposedly pings a number of hosts and calls
433C<send> after results for all then have have been gathered - in any
434order. To achieve this, the code issues a call to C<begin> when it starts
435each ping request and calls C<end> when it has received some result for
436it. Since C<begin> and C<end> only maintain a counter, the order in which
437results arrive is not relevant.
438
439There is an additional bracketing call to C<begin> and C<end> outside the
440loop, which serves two important purposes: first, it sets the callback
441to be called once the counter reaches C<0>, and second, it ensures that
442C<send> is called even when C<no> hosts are being pinged (the loop
443doesn't execute once).
444
445This is the general pattern when you "fan out" into multiple subrequests:
446use an outer C<begin>/C<end> pair to set the callback and ensure C<end>
447is called at least once, and then, for each subrequest you start, call
448C<begin> and for eahc subrequest you finish, call C<end>.
449
450=back
451
452=head3 METHODS FOR CONSUMERS
453
454These methods should only be used by the consuming side, i.e. the
455code awaits the condition.
456
457=over 4
458
328=item $cv->wait 459=item $cv->wait
329 460
330Wait (blocking if necessary) until the C<< ->broadcast >> method has been 461Wait (blocking if necessary) until the C<< ->send >> or C<< ->croak
331called on c<$cv>, while servicing other watchers normally. 462>> methods have been called on c<$cv>, while servicing other watchers
463normally.
332 464
333You can only wait once on a condition - additional calls will return 465You can only wait once on a condition - additional calls are valid but
334immediately. 466will return immediately.
467
468If an error condition has been set by calling C<< ->croak >>, then this
469function will call C<croak>.
470
471In list context, all parameters passed to C<send> will be returned,
472in scalar context only the first one will be returned.
335 473
336Not all event models support a blocking wait - some die in that case 474Not all event models support a blocking wait - some die in that case
337(programs might want to do that to stay interactive), so I<if you are 475(programs might want to do that to stay interactive), so I<if you are
338using this from a module, never require a blocking wait>, but let the 476using this from a module, never require a blocking wait>, but let the
339caller decide whether the call will block or not (for example, by coupling 477caller decide whether the call will block or not (for example, by coupling
346multiple interpreters or coroutines/threads, none of which C<AnyEvent> 484multiple interpreters or coroutines/threads, none of which C<AnyEvent>
347can supply (the coroutine-aware backends L<AnyEvent::Impl::CoroEV> and 485can supply (the coroutine-aware backends L<AnyEvent::Impl::CoroEV> and
348L<AnyEvent::Impl::CoroEvent> explicitly support concurrent C<< ->wait >>'s 486L<AnyEvent::Impl::CoroEvent> explicitly support concurrent C<< ->wait >>'s
349from different coroutines, however). 487from different coroutines, however).
350 488
351=item $cv->broadcast 489You can ensure that C<< -wait >> never blocks by setting a callback and
490only calling C<< ->wait >> from within that callback (or at a later
491time). This will work even when the event loop does not support blocking
492waits otherwise.
352 493
353Flag the condition as ready - a running C<< ->wait >> and all further 494=item $bool = $cv->ready
354calls to C<wait> will (eventually) return after this method has been 495
355called. If nobody is waiting the broadcast will be remembered.. 496Returns true when the condition is "true", i.e. whether C<send> or
497C<croak> have been called.
498
499=item $cb = $cv->cb ([new callback])
500
501This is a mutator function that returns the callback set and optionally
502replaces it before doing so.
503
504The callback will be called when the condition becomes "true", i.e. when
505C<send> or C<croak> are called. Calling C<wait> inside the callback
506or at any later time is guaranteed not to block.
356 507
357=back 508=back
358
359Example:
360
361 # wait till the result is ready
362 my $result_ready = AnyEvent->condvar;
363
364 # do something such as adding a timer
365 # or socket watcher the calls $result_ready->broadcast
366 # when the "result" is ready.
367 # in this case, we simply use a timer:
368 my $w = AnyEvent->timer (
369 after => 1,
370 cb => sub { $result_ready->broadcast },
371 );
372
373 # this "blocks" (while handling events) till the watcher
374 # calls broadcast
375 $result_ready->wait;
376 509
377=head1 GLOBAL VARIABLES AND FUNCTIONS 510=head1 GLOBAL VARIABLES AND FUNCTIONS
378 511
379=over 4 512=over 4
380 513
390 523
391 AnyEvent::Impl::CoroEV based on Coro::EV, best choice. 524 AnyEvent::Impl::CoroEV based on Coro::EV, best choice.
392 AnyEvent::Impl::CoroEvent based on Coro::Event, second best choice. 525 AnyEvent::Impl::CoroEvent based on Coro::Event, second best choice.
393 AnyEvent::Impl::EV based on EV (an interface to libev, best choice). 526 AnyEvent::Impl::EV based on EV (an interface to libev, best choice).
394 AnyEvent::Impl::Event based on Event, second best choice. 527 AnyEvent::Impl::Event based on Event, second best choice.
528 AnyEvent::Impl::Perl pure-perl implementation, fast and portable.
395 AnyEvent::Impl::Glib based on Glib, third-best choice. 529 AnyEvent::Impl::Glib based on Glib, third-best choice.
396 AnyEvent::Impl::Perl pure-perl implementation, inefficient but portable.
397 AnyEvent::Impl::Tk based on Tk, very bad choice. 530 AnyEvent::Impl::Tk based on Tk, very bad choice.
398 AnyEvent::Impl::Qt based on Qt, cannot be autoprobed (see its docs). 531 AnyEvent::Impl::Qt based on Qt, cannot be autoprobed (see its docs).
399 AnyEvent::Impl::EventLib based on Event::Lib, leaks memory and worse. 532 AnyEvent::Impl::EventLib based on Event::Lib, leaks memory and worse.
400 AnyEvent::Impl::POE based on POE, not generic enough for full support. 533 AnyEvent::Impl::POE based on POE, not generic enough for full support.
401 534
427decide which event module to use as soon as the first method is called, so 560decide which event module to use as soon as the first method is called, so
428by calling AnyEvent in your module body you force the user of your module 561by calling AnyEvent in your module body you force the user of your module
429to load the event module first. 562to load the event module first.
430 563
431Never call C<< ->wait >> on a condition variable unless you I<know> that 564Never call C<< ->wait >> on a condition variable unless you I<know> that
432the C<< ->broadcast >> method has been called on it already. This is 565the C<< ->send >> method has been called on it already. This is
433because it will stall the whole program, and the whole point of using 566because it will stall the whole program, and the whole point of using
434events is to stay interactive. 567events is to stay interactive.
435 568
436It is fine, however, to call C<< ->wait >> when the user of your module 569It is fine, however, to call C<< ->wait >> when the user of your module
437requests it (i.e. if you create a http request object ad have a method 570requests it (i.e. if you create a http request object ad have a method
553my @models = ( 686my @models = (
554 [Coro::EV:: => AnyEvent::Impl::CoroEV::], 687 [Coro::EV:: => AnyEvent::Impl::CoroEV::],
555 [Coro::Event:: => AnyEvent::Impl::CoroEvent::], 688 [Coro::Event:: => AnyEvent::Impl::CoroEvent::],
556 [EV:: => AnyEvent::Impl::EV::], 689 [EV:: => AnyEvent::Impl::EV::],
557 [Event:: => AnyEvent::Impl::Event::], 690 [Event:: => AnyEvent::Impl::Event::],
558 [Glib:: => AnyEvent::Impl::Glib::],
559 [Tk:: => AnyEvent::Impl::Tk::], 691 [Tk:: => AnyEvent::Impl::Tk::],
560 [Wx:: => AnyEvent::Impl::POE::], 692 [Wx:: => AnyEvent::Impl::POE::],
561 [Prima:: => AnyEvent::Impl::POE::], 693 [Prima:: => AnyEvent::Impl::POE::],
562 [AnyEvent::Impl::Perl:: => AnyEvent::Impl::Perl::], 694 [AnyEvent::Impl::Perl:: => AnyEvent::Impl::Perl::],
563 # everything below here will not be autoprobed as the pureperl backend should work everywhere 695 # everything below here will not be autoprobed as the pureperl backend should work everywhere
696 [Glib:: => AnyEvent::Impl::Glib::],
564 [Event::Lib:: => AnyEvent::Impl::EventLib::], # too buggy 697 [Event::Lib:: => AnyEvent::Impl::EventLib::], # too buggy
565 [Qt:: => AnyEvent::Impl::Qt::], # requires special main program 698 [Qt:: => AnyEvent::Impl::Qt::], # requires special main program
566 [POE::Kernel:: => AnyEvent::Impl::POE::], # lasciate ogni speranza 699 [POE::Kernel:: => AnyEvent::Impl::POE::], # lasciate ogni speranza
567); 700);
568 701
569our %method = map +($_ => 1), qw(io timer signal child condvar broadcast wait one_event DESTROY); 702our %method = map +($_ => 1), qw(io timer signal child condvar one_event DESTROY);
570 703
571sub detect() { 704sub detect() {
572 unless ($MODEL) { 705 unless ($MODEL) {
573 no strict 'refs'; 706 no strict 'refs';
574 707
1071file descriptor is dup()ed for each watcher. This shows that the dup() 1204file descriptor is dup()ed for each watcher. This shows that the dup()
1072employed by some adaptors is not a big performance issue (it does incur a 1205employed by some adaptors is not a big performance issue (it does incur a
1073hidden memory cost inside the kernel which is not reflected in the figures 1206hidden memory cost inside the kernel which is not reflected in the figures
1074above). 1207above).
1075 1208
1076C<POE>, regardless of underlying event loop (whether using its pure 1209C<POE>, regardless of underlying event loop (whether using its pure perl
1077perl select-based backend or the Event module, the POE-EV backend 1210select-based backend or the Event module, the POE-EV backend couldn't
1078couldn't be tested because it wasn't working) shows abysmal performance 1211be tested because it wasn't working) shows abysmal performance and
1079and memory usage: Watchers use almost 30 times as much memory as 1212memory usage with AnyEvent: Watchers use almost 30 times as much memory
1080EV watchers, and 10 times as much memory as Event (the high memory 1213as EV watchers, and 10 times as much memory as Event (the high memory
1081requirements are caused by requiring a session for each watcher). Watcher 1214requirements are caused by requiring a session for each watcher). Watcher
1082invocation speed is almost 900 times slower than with AnyEvent's pure perl 1215invocation speed is almost 900 times slower than with AnyEvent's pure perl
1216implementation.
1217
1083implementation. The design of the POE adaptor class in AnyEvent can not 1218The design of the POE adaptor class in AnyEvent can not really account
1084really account for this, as session creation overhead is small compared 1219for the performance issues, though, as session creation overhead is
1085to execution of the state machine, which is coded pretty optimally within 1220small compared to execution of the state machine, which is coded pretty
1086L<AnyEvent::Impl::POE>. POE simply seems to be abysmally slow. 1221optimally within L<AnyEvent::Impl::POE> (and while everybody agrees that
1222using multiple sessions is not a good approach, especially regarding
1223memory usage, even the author of POE could not come up with a faster
1224design).
1087 1225
1088=head3 Summary 1226=head3 Summary
1089 1227
1090=over 4 1228=over 4
1091 1229
1170 1308
1171=head3 Summary 1309=head3 Summary
1172 1310
1173=over 4 1311=over 4
1174 1312
1175=item * The pure perl implementation performs extremely well, considering 1313=item * The pure perl implementation performs extremely well.
1176that it uses select.
1177 1314
1178=item * Avoid Glib or POE in large projects where performance matters. 1315=item * Avoid Glib or POE in large projects where performance matters.
1179 1316
1180=back 1317=back
1181 1318
1230 1367
1231 1368
1232=head1 FORK 1369=head1 FORK
1233 1370
1234Most event libraries are not fork-safe. The ones who are usually are 1371Most event libraries are not fork-safe. The ones who are usually are
1235because they are so inefficient. Only L<EV> is fully fork-aware. 1372because they rely on inefficient but fork-safe C<select> or C<poll>
1373calls. Only L<EV> is fully fork-aware.
1236 1374
1237If you have to fork, you must either do so I<before> creating your first 1375If you have to fork, you must either do so I<before> creating your first
1238watcher OR you must not use AnyEvent at all in the child. 1376watcher OR you must not use AnyEvent at all in the child.
1239 1377
1240 1378
1252 1390
1253 BEGIN { delete $ENV{PERL_ANYEVENT_MODEL} } 1391 BEGIN { delete $ENV{PERL_ANYEVENT_MODEL} }
1254 1392
1255 use AnyEvent; 1393 use AnyEvent;
1256 1394
1395Similar considerations apply to $ENV{PERL_ANYEVENT_VERBOSE}, as that can
1396be used to probe what backend is used and gain other information (which is
1397probably even less useful to an attacker than PERL_ANYEVENT_MODEL).
1398
1257 1399
1258=head1 SEE ALSO 1400=head1 SEE ALSO
1259 1401
1260Event modules: L<Coro::EV>, L<EV>, L<EV::Glib>, L<Glib::EV>, 1402Event modules: L<Coro::EV>, L<EV>, L<EV::Glib>, L<Glib::EV>,
1261L<Coro::Event>, L<Event>, L<Glib::Event>, L<Glib>, L<Coro>, L<Tk>, 1403L<Coro::Event>, L<Event>, L<Glib::Event>, L<Glib>, L<Coro>, L<Tk>,

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines