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

Comparing Coro/Coro.pm (file contents):
Revision 1.296 by root, Thu May 12 23:24:28 2011 UTC vs.
Revision 1.297 by root, Thu May 12 23:55:39 2011 UTC

90 } 1, 2, 3; 90 } 1, 2, 3;
91 91
92This creates a new coro thread and puts it into the ready queue, meaning 92This creates a new coro thread and puts it into the ready queue, meaning
93it will run as soon as the CPU is free for it. 93it will run as soon as the CPU is free for it.
94 94
95C<async> will return a coro object - you can store this for future 95C<async> will return a Coro object - you can store this for future
96reference or ignore it, the thread itself will keep a reference to it's 96reference or ignore it - a thread that is running, ready to run or waiting
97thread object - threads are alive on their own. 97for some event is alive on it's own.
98 98
99Another way to create a thread is to call the C<new> constructor with a 99Another way to create a thread is to call the C<new> constructor with a
100code-reference: 100code-reference:
101 101
102 new Coro sub { 102 new Coro sub {
131A lot can happen after the coro thread has started running. Quite usually, 131A lot can happen after the coro thread has started running. Quite usually,
132it will not run to the end in one go (because you could use a function 132it will not run to the end in one go (because you could use a function
133instead), but it will give up the CPU regularly because it waits for 133instead), but it will give up the CPU regularly because it waits for
134external events. 134external events.
135 135
136As long as a coro thread runs, it's coro object is available in the global 136As long as a coro thread runs, its Coro object is available in the global
137variable C<$Coro::current>. 137variable C<$Coro::current>.
138 138
139The low-level way to give up the CPU is to call the scheduler, which 139The low-level way to give up the CPU is to call the scheduler, which
140selects a new coro thread to run: 140selects a new coro thread to run:
141 141
219So, cancelling a thread that runs in an XS event loop might not be the 219So, cancelling a thread that runs in an XS event loop might not be the
220best idea, but any other combination that deals with perl only (cancelling 220best idea, but any other combination that deals with perl only (cancelling
221when a thread is in a C<tie> method or an C<AUTOLOAD> for example) is 221when a thread is in a C<tie> method or an C<AUTOLOAD> for example) is
222safe. 222safe.
223 223
224Lastly, a coro thread object that isn't referenced is C<< ->cancel >>'ed
225automatically - just like other objects in Perl. This is not such a common
226case, however - a running thread is referencedy b C<$Coro::current>, a
227thread ready to run is referenced by the ready queue, a thread waiting
228on a lock or semaphore is referenced by being in some wait list and so
229on. But a thread that isn't in any of those queues gets cancelled:
230
231 async {
232 schedule; # cede to other coros, don't go into the ready queue
233 };
234
235 cede;
236 # now the async above is destroyed, as it is not referenced by anything.
237
224=item 5. Cleanup 238=item 5. Cleanup
225 239
226Threads will allocate various resources. Most but not all will be returned 240Threads will allocate various resources. Most but not all will be returned
227when a thread terminates, during clean-up. 241when a thread terminates, during clean-up.
228 242
251 # if we reutrn, or die or get cancelled, here, 265 # if we reutrn, or die or get cancelled, here,
252 # then the semaphore will be "up"ed. 266 # then the semaphore will be "up"ed.
253 }; 267 };
254 268
255The C<Guard::guard> function comes in handy for any custom cleanup you 269The C<Guard::guard> function comes in handy for any custom cleanup you
256might want to do: 270might want to do (but you cannot switch to other coroutines form those
271code blocks):
257 272
258 async { 273 async {
259 my $window = new Gtk2::Window "toplevel"; 274 my $window = new Gtk2::Window "toplevel";
260 # The window will not be cleaned up automatically, even when $window 275 # The window will not be cleaned up automatically, even when $window
261 # gets freed, so use a guard to ensure it's destruction 276 # gets freed, so use a guard to ensure it's destruction
274 # if we return or die here, the description will be restored 289 # if we return or die here, the description will be restored
275 } 290 }
276 291
277=item 6. Viva La Zombie Muerte 292=item 6. Viva La Zombie Muerte
278 293
279Even after a thread has terminated and cleaned up it's resources, the coro 294Even after a thread has terminated and cleaned up its resources, the Coro
280object still is there and stores the return values of the thread. Only in 295object still is there and stores the return values of the thread.
281this state will the coro object be "reference counted" in the normal perl
282sense: the thread code keeps a reference to it when it is active, but not
283after it has terminated.
284 296
285The means the coro object gets freed automatically when the thread has 297The means the Coro object gets freed automatically when the thread has
286terminated and cleaned up and there arenot other references. 298terminated and cleaned up and there arenot other references.
287 299
288If there are, the coro object will stay around, and you can call C<< 300If there are, the Coro object will stay around, and you can call C<<
289->join >> as many times as you wish to retrieve the result values: 301->join >> as many times as you wish to retrieve the result values:
290 302
291 async { 303 async {
292 print "hi\n"; 304 print "hi\n";
293 1 305 1
713To avoid this, it is best to put a suspended coro into the ready queue 725To avoid this, it is best to put a suspended coro into the ready queue
714unconditionally, as every synchronisation mechanism must protect itself 726unconditionally, as every synchronisation mechanism must protect itself
715against spurious wakeups, and the one in the Coro family certainly do 727against spurious wakeups, and the one in the Coro family certainly do
716that. 728that.
717 729
730=item $state->is_new
731
732Returns true iff this Coro object is "new", i.e. has never been run
733yet. Those states basically consist of only the code reference to call and
734the arguments, but consumes very little other resources. New states will
735automatically get assigned a perl interpreter when they are transfered to.
736
737=item $state->is_zombie
738
739Returns true iff the Coro object has been cancelled, i.e.
740it's resources freed because they were C<cancel>'ed, C<terminate>'d,
741C<safe_cancel>'ed or simply went out of scope.
742
743The name "zombie" stems from UNIX culture, where a process that has
744exited and only stores and exit status and no other resources is called a
745"zombie".
746
718=item $is_ready = $coro->is_ready 747=item $is_ready = $coro->is_ready
719 748
720Returns true iff the Coro object is in the ready queue. Unless the Coro 749Returns true iff the Coro object is in the ready queue. Unless the Coro
721object gets destroyed, it will eventually be scheduled by the scheduler. 750object gets destroyed, it will eventually be scheduled by the scheduler.
722 751
854Wait until the coro terminates and return any values given to the 883Wait until the coro terminates and return any values given to the
855C<terminate> or C<cancel> functions. C<join> can be called concurrently 884C<terminate> or C<cancel> functions. C<join> can be called concurrently
856from multiple threads, and all will be resumed and given the status 885from multiple threads, and all will be resumed and given the status
857return once the C<$coro> terminates. 886return once the C<$coro> terminates.
858 887
859=cut
860
861sub xjoin {
862 my $self = shift;
863
864 unless ($self->{_status}) {
865 my $current = $current;
866
867 push @{$self->{_on_destroy}}, sub {
868 $current->ready;
869 undef $current;
870 };
871
872 &schedule while $current;
873 }
874
875 wantarray ? @{$self->{_status}} : $self->{_status}[0]
876}
877
878=item $coro->on_destroy (\&cb) 888=item $coro->on_destroy (\&cb)
879 889
880Registers a callback that is called when this coro thread gets destroyed, 890Registers a callback that is called when this coro thread gets destroyed,
881that is, after it's resources have been freed but before it is joined. The 891that is, after it's resources have been freed but before it is joined. The
882callback gets passed the terminate/cancel arguments, if any, and I<must 892callback gets passed the terminate/cancel arguments, if any, and I<must
883not> die, under any circumstances. 893not> die, under any circumstances.
884 894
885There can be any number of C<on_destroy> callbacks per coro, and there is 895There can be any number of C<on_destroy> callbacks per coro, and there is
886no way currently to remove a callback once added. 896no way currently to remove a callback once added.
887
888=cut
889
890sub xon_destroy {
891 my ($self, $cb) = @_;
892
893 push @{ $self->{_on_destroy} }, $cb;
894}
895 897
896=item $oldprio = $coro->prio ($newprio) 898=item $oldprio = $coro->prio ($newprio)
897 899
898Sets (or gets, if the argument is missing) the priority of the 900Sets (or gets, if the argument is missing) the priority of the
899coro thread. Higher priority coro get run before lower priority 901coro thread. Higher priority coro get run before lower priority

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines