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

Comparing Coro/Coro.pm (file contents):
Revision 1.295 by root, Tue May 10 19:55:48 2011 UTC vs.
Revision 1.305 by root, Thu Aug 4 19:37:58 2011 UTC

16 cede; # yield to coro 16 cede; # yield to coro
17 print "3\n"; 17 print "3\n";
18 cede; # and again 18 cede; # and again
19 19
20 # use locking 20 # use locking
21 use Coro::Semaphore;
22 my $lock = new Coro::Semaphore; 21 my $lock = new Coro::Semaphore;
23 my $locked; 22 my $locked;
24 23
25 $lock->down; 24 $lock->down;
26 $locked = 1; 25 $locked = 1;
90 } 1, 2, 3; 89 } 1, 2, 3;
91 90
92This creates a new coro thread and puts it into the ready queue, meaning 91This 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. 92it will run as soon as the CPU is free for it.
94 93
95C<async> will return a coro object - you can store this for future 94C<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 95reference or ignore it - a thread that is running, ready to run or waiting
97thread object - threads are alive on their own. 96for some event is alive on it's own.
98 97
99Another way to create a thread is to call the C<new> constructor with a 98Another way to create a thread is to call the C<new> constructor with a
100code-reference: 99code-reference:
101 100
102 new Coro sub { 101 new Coro sub {
131A lot can happen after the coro thread has started running. Quite usually, 130A 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 131it 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 132instead), but it will give up the CPU regularly because it waits for
134external events. 133external events.
135 134
136As long as a coro thread runs, it's coro object is available in the global 135As long as a coro thread runs, its Coro object is available in the global
137variable C<$Coro::current>. 136variable C<$Coro::current>.
138 137
139The low-level way to give up the CPU is to call the scheduler, which 138The low-level way to give up the CPU is to call the scheduler, which
140selects a new coro thread to run: 139selects a new coro thread to run:
141 140
219So, cancelling a thread that runs in an XS event loop might not be the 218So, 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 219best 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 220when a thread is in a C<tie> method or an C<AUTOLOAD> for example) is
222safe. 221safe.
223 222
223Lastly, a coro thread object that isn't referenced is C<< ->cancel >>'ed
224automatically - just like other objects in Perl. This is not such a common
225case, however - a running thread is referencedy b C<$Coro::current>, a
226thread ready to run is referenced by the ready queue, a thread waiting
227on a lock or semaphore is referenced by being in some wait list and so
228on. But a thread that isn't in any of those queues gets cancelled:
229
230 async {
231 schedule; # cede to other coros, don't go into the ready queue
232 };
233
234 cede;
235 # now the async above is destroyed, as it is not referenced by anything.
236
224=item 5. Cleanup 237=item 5. Cleanup
225 238
226Threads will allocate various resources. Most but not all will be returned 239Threads will allocate various resources. Most but not all will be returned
227when a thread terminates, during clean-up. 240when a thread terminates, during clean-up.
228 241
251 # if we reutrn, or die or get cancelled, here, 264 # if we reutrn, or die or get cancelled, here,
252 # then the semaphore will be "up"ed. 265 # then the semaphore will be "up"ed.
253 }; 266 };
254 267
255The C<Guard::guard> function comes in handy for any custom cleanup you 268The C<Guard::guard> function comes in handy for any custom cleanup you
256might want to do: 269might want to do (but you cannot switch to other coroutines form those
270code blocks):
257 271
258 async { 272 async {
259 my $window = new Gtk2::Window "toplevel"; 273 my $window = new Gtk2::Window "toplevel";
260 # The window will not be cleaned up automatically, even when $window 274 # The window will not be cleaned up automatically, even when $window
261 # gets freed, so use a guard to ensure it's destruction 275 # gets freed, so use a guard to ensure it's destruction
274 # if we return or die here, the description will be restored 288 # if we return or die here, the description will be restored
275 } 289 }
276 290
277=item 6. Viva La Zombie Muerte 291=item 6. Viva La Zombie Muerte
278 292
279Even after a thread has terminated and cleaned up it's resources, the coro 293Even 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 294object 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 295
285The means the coro object gets freed automatically when the thread has 296The means the Coro object gets freed automatically when the thread has
286terminated and cleaned up and there arenot other references. 297terminated and cleaned up and there arenot other references.
287 298
288If there are, the coro object will stay around, and you can call C<< 299If 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: 300->join >> as many times as you wish to retrieve the result values:
290 301
291 async { 302 async {
292 print "hi\n"; 303 print "hi\n";
293 1 304 1
331 342
332our $idle; # idle handler 343our $idle; # idle handler
333our $main; # main coro 344our $main; # main coro
334our $current; # current coro 345our $current; # current coro
335 346
336our $VERSION = 5.372; 347our $VERSION = 6.05;
337 348
338our @EXPORT = qw(async async_pool cede schedule terminate current unblock_sub rouse_cb rouse_wait); 349our @EXPORT = qw(async async_pool cede schedule terminate current unblock_sub rouse_cb rouse_wait);
339our %EXPORT_TAGS = ( 350our %EXPORT_TAGS = (
340 prio => [qw(PRIO_MAX PRIO_HIGH PRIO_NORMAL PRIO_LOW PRIO_IDLE PRIO_MIN)], 351 prio => [qw(PRIO_MAX PRIO_HIGH PRIO_NORMAL PRIO_LOW PRIO_IDLE PRIO_MIN)],
341); 352);
713To avoid this, it is best to put a suspended coro into the ready queue 724To avoid this, it is best to put a suspended coro into the ready queue
714unconditionally, as every synchronisation mechanism must protect itself 725unconditionally, as every synchronisation mechanism must protect itself
715against spurious wakeups, and the one in the Coro family certainly do 726against spurious wakeups, and the one in the Coro family certainly do
716that. 727that.
717 728
729=item $state->is_new
730
731Returns true iff this Coro object is "new", i.e. has never been run
732yet. Those states basically consist of only the code reference to call and
733the arguments, but consumes very little other resources. New states will
734automatically get assigned a perl interpreter when they are transfered to.
735
736=item $state->is_zombie
737
738Returns true iff the Coro object has been cancelled, i.e.
739it's resources freed because they were C<cancel>'ed, C<terminate>'d,
740C<safe_cancel>'ed or simply went out of scope.
741
742The name "zombie" stems from UNIX culture, where a process that has
743exited and only stores and exit status and no other resources is called a
744"zombie".
745
718=item $is_ready = $coro->is_ready 746=item $is_ready = $coro->is_ready
719 747
720Returns true iff the Coro object is in the ready queue. Unless the Coro 748Returns true iff the Coro object is in the ready queue. Unless the Coro
721object gets destroyed, it will eventually be scheduled by the scheduler. 749object gets destroyed, it will eventually be scheduled by the scheduler.
722 750
738current Coro. 766current Coro.
739 767
740This is a rather brutal way to free a coro, with some limitations - if 768This is a rather brutal way to free a coro, with some limitations - if
741the thread is inside a C callback that doesn't expect to be canceled, 769the thread is inside a C callback that doesn't expect to be canceled,
742bad things can happen, or if the cancelled thread insists on running 770bad things can happen, or if the cancelled thread insists on running
743complicated cleanup handlers that rely on it'S thread context, things will 771complicated cleanup handlers that rely on its thread context, things will
744not work. 772not work.
745 773
746Any cleanup code being run (e.g. from C<guard> blocks) will be run without 774Any cleanup code being run (e.g. from C<guard> blocks) will be run without
747a thread context, and is not allowed to switch to other threads. On the 775a thread context, and is not allowed to switch to other threads. On the
748plus side, C<< ->cancel >> will always clean up the thread, no matter 776plus side, C<< ->cancel >> will always clean up the thread, no matter
854Wait until the coro terminates and return any values given to the 882Wait until the coro terminates and return any values given to the
855C<terminate> or C<cancel> functions. C<join> can be called concurrently 883C<terminate> or C<cancel> functions. C<join> can be called concurrently
856from multiple threads, and all will be resumed and given the status 884from multiple threads, and all will be resumed and given the status
857return once the C<$coro> terminates. 885return once the C<$coro> terminates.
858 886
859=cut
860
861sub join {
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) 887=item $coro->on_destroy (\&cb)
879 888
880Registers a callback that is called when this coro thread gets destroyed, 889Registers 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 890that 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 891callback gets passed the terminate/cancel arguments, if any, and I<must
883not> die, under any circumstances. 892not> die, under any circumstances.
884 893
885There can be any number of C<on_destroy> callbacks per coro, and there is 894There can be any number of C<on_destroy> callbacks per coro, and there is
886no way currently to remove a callback once added. 895no way currently to remove a callback once added.
887
888=cut
889
890sub on_destroy {
891 my ($self, $cb) = @_;
892
893 push @{ $self->{_on_destroy} }, $cb;
894}
895 896
896=item $oldprio = $coro->prio ($newprio) 897=item $oldprio = $coro->prio ($newprio)
897 898
898Sets (or gets, if the argument is missing) the priority of the 899Sets (or gets, if the argument is missing) the priority of the
899coro thread. Higher priority coro get run before lower priority 900coro thread. Higher priority coro get run before lower priority
1171future to allow per-thread schedulers, but Coro::State does not yet allow 1172future to allow per-thread schedulers, but Coro::State does not yet allow
1172this). I recommend disabling thread support and using processes, as having 1173this). I recommend disabling thread support and using processes, as having
1173the windows process emulation enabled under unix roughly halves perl 1174the windows process emulation enabled under unix roughly halves perl
1174performance, even when not used. 1175performance, even when not used.
1175 1176
1177Attempts to use threads created in another emulated process will crash
1178("cleanly", with a null pointer exception).
1179
1176=item coro switching is not signal safe 1180=item coro switching is not signal safe
1177 1181
1178You must not switch to another coro from within a signal handler (only 1182You must not switch to another coro from within a signal handler (only
1179relevant with %SIG - most event libraries provide safe signals), I<unless> 1183relevant with %SIG - most event libraries provide safe signals), I<unless>
1180you are sure you are not interrupting a Coro function. 1184you are sure you are not interrupting a Coro function.

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines