--- Coro/Coro.pm 2001/07/17 02:21:56 1.14 +++ Coro/Coro.pm 2001/07/23 04:23:32 1.23 @@ -16,7 +16,7 @@ # some more async code } - yield; + cede; =head1 DESCRIPTION @@ -25,6 +25,11 @@ This module is still experimental, see the BUGS section below. +In this module, coroutines are defined as "callchain + lexical variables ++ @_ + $_ + $@ + $^W + C stack), that is, a coroutine has it's own +callchain, it's own set of lexicals and it's own set of perl's most +important global variables. + =cut package Coro; @@ -33,14 +38,12 @@ use base Exporter; -$VERSION = 0.05; +$VERSION = 0.10; -@EXPORT = qw(async yield schedule terminate); +@EXPORT = qw(async cede schedule terminate current); @EXPORT_OK = qw($current); { - use subs 'async'; - my @async; # this way of handling attributes simply is NOT scalable ;() @@ -54,15 +57,15 @@ if ($_ eq "Coro") { push @async, $ref; } else { - push @attrs, @_; + push @attrs, $_; } } - return $old ? $old->($package, $name, @attrs) : @attrs; + return $old ? $old->($package, $ref, @attrs) : @attrs; }; } sub INIT { - async pop @async while @async; + &async(pop @async) while @async; } } @@ -74,7 +77,7 @@ our $main = new Coro; -=item $current +=item $current (or as function: current) The current coroutine (the last coroutine switched to). The initial value is C<$main> (of course). @@ -87,6 +90,8 @@ our $current = $main; +sub current() { $current } + =item $idle The coroutine to switch to when no other coroutine is running. The default @@ -101,8 +106,7 @@ }; # we really need priorities... -## my @ready; #d# -our @ready = (); # the ready queue. hehe, rather broken ;) +my @ready; # the ready queue. hehe, rather broken ;) # static methods. not really. @@ -150,14 +154,15 @@ Coro::State::transfer($prev, $current); } -=item yield +=item cede -Yield to other processes. This function puts the current process into the -ready queue and calls C. +"Cede" to other processes. This function puts the current process into the +ready queue and calls C, which has the effect of giving up the +current "timeslice" to other coroutines of the same or higher priority. =cut -sub yield { +sub cede { $current->ready; &schedule; } @@ -170,9 +175,21 @@ =cut +# this coroutine is necessary because a coroutine +# cannot destroy itself. +my @destroy; +my $terminate = new Coro sub { + while() { + delete ((pop @destroy)->{_coro_state}) while @destroy; + &schedule; + } +}; + sub terminate { - $current->{_results} = [@_]; + push @destroy, $current; + $terminate->ready; &schedule; + # NORETURN } =back @@ -223,13 +240,19 @@ 1; -=head1 BUGS +=head1 BUGS/LIMITATIONS - could be faster, especially when the core would introduce special support for coroutines (like it does for threads). - there is still a memleak on coroutine termination that I could not identify. Could be as small as a single SV. - this module is not well-tested. + - if variables or arguments "disappear" (become undef) or become + corrupted please contact the author so he cen iron out the + remaining bugs. + - this module is not thread-safe. You must only ever use this module from + the same thread (this requirement might be loosened in the future to + allow per-thread schedulers, but Coro::State does not yet allow this). =head1 SEE ALSO