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

Comparing Coro/Coro.pm (file contents):
Revision 1.121 by root, Fri Apr 13 12:56:55 2007 UTC vs.
Revision 1.128 by root, Wed Sep 19 21:39:15 2007 UTC

… …
20 20
21=head1 DESCRIPTION 21=head1 DESCRIPTION
22 22
23This module collection manages coroutines. Coroutines are similar 23This module collection manages coroutines. Coroutines are similar
24to threads but don't run in parallel at the same time even on SMP 24to threads but don't run in parallel at the same time even on SMP
25machines. The specific flavor of coroutine use din this module also 25machines. The specific flavor of coroutine used in this module also
26guarentees you that it will not switch between coroutines unless 26guarantees you that it will not switch between coroutines unless
27necessary, at easily-identified points in your program, so locking and 27necessary, at easily-identified points in your program, so locking and
28parallel access are rarely an issue, making coroutine programming much 28parallel access are rarely an issue, making coroutine programming much
29safer than threads programming. 29safer than threads programming.
30 30
31(Perl, however, does not natively support real threads but instead does a 31(Perl, however, does not natively support real threads but instead does a
… …
50 50
51our $idle; # idle handler 51our $idle; # idle handler
52our $main; # main coroutine 52our $main; # main coroutine
53our $current; # current coroutine 53our $current; # current coroutine
54 54
55our $VERSION = '3.56'; 55our $VERSION = '3.7';
56 56
57our @EXPORT = qw(async async_pool cede schedule terminate current unblock_sub); 57our @EXPORT = qw(async async_pool cede schedule terminate current unblock_sub);
58our %EXPORT_TAGS = ( 58our %EXPORT_TAGS = (
59 prio => [qw(PRIO_MAX PRIO_HIGH PRIO_NORMAL PRIO_LOW PRIO_IDLE PRIO_MIN)], 59 prio => [qw(PRIO_MAX PRIO_HIGH PRIO_NORMAL PRIO_LOW PRIO_IDLE PRIO_MIN)],
60); 60);
… …
108 108
109The current coroutine (the last coroutine switched to). The initial value 109The current coroutine (the last coroutine switched to). The initial value
110is C<$main> (of course). 110is C<$main> (of course).
111 111
112This variable is B<strictly> I<read-only>. It is provided for performance 112This variable is B<strictly> I<read-only>. It is provided for performance
113reasons. If performance is not essentiel you are encouraged to use the 113reasons. If performance is not essential you are encouraged to use the
114C<Coro::current> function instead. 114C<Coro::current> function instead.
115 115
116=cut 116=cut
117 117
118# maybe some other module used Coro::Specific before... 118# maybe some other module used Coro::Specific before...
… …
185 185
186Create a new asynchronous coroutine and return it's coroutine object 186Create a new asynchronous coroutine and return it's coroutine object
187(usually unused). When the sub returns the new coroutine is automatically 187(usually unused). When the sub returns the new coroutine is automatically
188terminated. 188terminated.
189 189
190Calling C<exit> in a coroutine will try to do the same as calling exit 190Calling C<exit> in a coroutine will do the same as calling exit outside
191outside the coroutine, but this is experimental. It is best not to rely on 191the coroutine. Likewise, when the coroutine dies, the program will exit,
192exit doing any cleanups or even not crashing. 192just as it would in the main program.
193
194When the coroutine dies, the program will exit, just as in the main
195program.
196 193
197 # create a new coroutine that just prints its arguments 194 # create a new coroutine that just prints its arguments
198 async { 195 async {
199 print "@_\n"; 196 print "@_\n";
200 } 1,2,3,4; 197 } 1,2,3,4;
… …
252 } 249 }
253} 250}
254 251
255sub async_pool(&@) { 252sub async_pool(&@) {
256 # this is also inlined into the unlock_scheduler 253 # this is also inlined into the unlock_scheduler
254 my $coro = (pop @pool) || do {
257 my $coro = (pop @pool or new Coro \&pool_handler); 255 my $coro = new Coro \&pool_handler;
256 $coro->{desc} = "async_pool";
257 $coro
258 };
258 259
259 $coro->{_invoke} = [@_]; 260 $coro->{_invoke} = [@_];
260 $coro->ready; 261 $coro->ready;
261 262
262 $coro 263 $coro
… …
280 # wake up sleeping coroutine 281 # wake up sleeping coroutine
281 $current->ready; 282 $current->ready;
282 undef $current; 283 undef $current;
283 }; 284 };
284 285
285 # call schedule until event occured. 286 # call schedule until event occurred.
286 # in case we are woken up for other reasons 287 # in case we are woken up for other reasons
287 # (current still defined), loop. 288 # (current still defined), loop.
288 Coro::schedule while $current; 289 Coro::schedule while $current;
289 } 290 }
290 291
… …
461=over 4 462=over 4
462 463
463=item Coro::nready 464=item Coro::nready
464 465
465Returns the number of coroutines that are currently in the ready state, 466Returns the number of coroutines that are currently in the ready state,
466i.e. that can be swicthed to. The value C<0> means that the only runnable 467i.e. that can be switched to. The value C<0> means that the only runnable
467coroutine is the currently running one, so C<cede> would have no effect, 468coroutine is the currently running one, so C<cede> would have no effect,
468and C<schedule> would cause a deadlock unless there is an idle handler 469and C<schedule> would cause a deadlock unless there is an idle handler
469that wakes up some coroutines. 470that wakes up some coroutines.
470 471
471=item my $guard = Coro::guard { ... } 472=item my $guard = Coro::guard { ... }
… …
507This utility function takes a BLOCK or code reference and "unblocks" it, 508This utility function takes a BLOCK or code reference and "unblocks" it,
508returning the new coderef. This means that the new coderef will return 509returning the new coderef. This means that the new coderef will return
509immediately without blocking, returning nothing, while the original code 510immediately without blocking, returning nothing, while the original code
510ref will be called (with parameters) from within its own coroutine. 511ref will be called (with parameters) from within its own coroutine.
511 512
512The reason this fucntion exists is that many event libraries (such as the 513The reason this function exists is that many event libraries (such as the
513venerable L<Event|Event> module) are not coroutine-safe (a weaker form 514venerable L<Event|Event> module) are not coroutine-safe (a weaker form
514of thread-safety). This means you must not block within event callbacks, 515of thread-safety). This means you must not block within event callbacks,
515otherwise you might suffer from crashes or worse. 516otherwise you might suffer from crashes or worse.
516 517
517This function allows your callbacks to block by executing them in another 518This function allows your callbacks to block by executing them in another
… …
563 564
564 - you must make very sure that no coro is still active on global 565 - you must make very sure that no coro is still active on global
565 destruction. very bad things might happen otherwise (usually segfaults). 566 destruction. very bad things might happen otherwise (usually segfaults).
566 567
567 - this module is not thread-safe. You should only ever use this module 568 - this module is not thread-safe. You should only ever use this module
568 from the same thread (this requirement might be losened in the future 569 from the same thread (this requirement might be loosened in the future
569 to allow per-thread schedulers, but Coro::State does not yet allow 570 to allow per-thread schedulers, but Coro::State does not yet allow
570 this). 571 this).
571 572
572=head1 SEE ALSO 573=head1 SEE ALSO
573 574

Diff Legend

– Removed lines
+ Added lines
< Changed lines
> Changed lines