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

Comparing Coro/Coro.pm (file contents):
Revision 1.1 by root, Tue Jul 3 02:53:34 2001 UTC vs.
Revision 1.13 by root, Tue Jul 17 00:24:14 2001 UTC

1=head1 NAME 1=head1 NAME
2 2
3Coro - create an manage coroutines 3Coro - coroutine process abstraction
4 4
5=head1 SYNOPSIS 5=head1 SYNOPSIS
6 6
7 use Coro; 7 use Coro;
8 8
9 async {
10 # some asynchronous thread of execution
11 };
12
13 # alternatively create an async process like this:
14
15 sub some_func : Coro {
16 # some more async code
17 }
18
19 yield;
20
9=head1 DESCRIPTION 21=head1 DESCRIPTION
10 22
23=cut
24
25package Coro;
26
27use Coro::State;
28
29use base Exporter;
30
31$VERSION = 0.05;
32
33@EXPORT = qw(async yield schedule terminate);
34@EXPORT_OK = qw($current);
35
36{
37 use subs 'async';
38
39 my @async;
40
41 # this way of handling attributes simply is NOT scalable ;()
42 sub import {
43 Coro->export_to_level(1, @_);
44 my $old = *{(caller)[0]."::MODIFY_CODE_ATTRIBUTES"}{CODE};
45 *{(caller)[0]."::MODIFY_CODE_ATTRIBUTES"} = sub {
46 my ($package, $ref) = (shift, shift);
47 my @attrs;
48 for (@_) {
49 if ($_ eq "Coro") {
50 push @async, $ref;
51 } else {
52 push @attrs, @_;
53 }
54 }
55 return $old ? $old->($package, $name, @attrs) : @attrs;
56 };
57 }
58
59 sub INIT {
60 async pop @async while @async;
61 }
62}
63
64=item $main
65
66This coroutine represents the main program.
67
68=cut
69
70our $main = new Coro;
71
72=item $current
73
74The current coroutine (the last coroutine switched to). The initial value is C<$main> (of course).
75
76=cut
77
78# maybe some other module used Coro::Specific before...
79if ($current) {
80 $main->{specific} = $current->{specific};
81}
82
83our $current = $main;
84
85=item $idle
86
87The coroutine to switch to when no other coroutine is running. The default
88implementation prints "FATAL: deadlock detected" and exits.
89
90=cut
91
92# should be done using priorities :(
93our $idle = new Coro sub {
94 print STDERR "FATAL: deadlock detected\n";
95 exit(51);
96};
97
98# we really need priorities...
99## my @ready; #d#
100our @ready = (); # the ready queue. hehe, rather broken ;)
101
102# static methods. not really.
103
104=head2 STATIC METHODS
105
106Static methods are actually functions that operate on the current process only.
107
11=over 4 108=over 4
12 109
13=cut 110=item async { ... } [@args...]
14 111
15package Coro; 112Create a new asynchronous process and return it's process object
113(usually unused). When the sub returns the new process is automatically
114terminated.
16 115
17BEGIN { 116 # create a new coroutine that just prints its arguments
18 $VERSION = 0.01; 117 async {
118 print "@_\n";
119 } 1,2,3,4;
19 120
20 require XSLoader; 121The coderef you submit MUST NOT be a closure that refers to variables
21 XSLoader::load Coro, $VERSION; 122in an outer scope. This does NOT work. Pass arguments into it instead.
22}
23 123
24=item $main
25
26This coroutine represents the main program.
27
28=item $current
29
30The current coroutine (the last coroutine switched to). The initial value is C<$main> (of course).
31
32=cut 124=cut
33 125
34$main = $current = _newprocess { 126sub async(&@) {
35 # never being called 127 my $pid = new Coro @_;
36}; 128 $pid->ready;
129 $pid;
130}
37 131
38=item $error, $error_msg, $error_coro 132=item schedule
39 133
40This coroutine will be called on fatal errors. C<$error_msg> and 134Calls the scheduler. Please note that the current process will not be put
41C<$error_coro> return the error message and the error-causing coroutine, 135into the ready queue, so calling this function usually means you will
42respectively. 136never be called again.
43 137
44=cut 138=cut
45 139
46$error_msg = 140my $prev;
47$error_coro = undef;
48 141
49$error = _newprocess { 142sub schedule {
50 print STDERR "FATAL: $error_msg, program aborted\n"; 143 # should be done using priorities :(
51 exit 250; 144 ($prev, $current) = ($current, shift @ready || $idle);
52}; 145 Coro::State::transfer($prev, $current);
146}
53 147
54=item $coro = new $coderef [, @args] 148=item yield
55 149
56Create a new coroutine and return it. The first C<resume> call to this 150Yield to other processes. This function puts the current process into the
57coroutine will start execution at the given coderef. If it returns it 151ready queue and calls C<schedule>.
58should return a coroutine to switch to. If, after returning, the coroutine
59is C<resume>d again it starts execution again at the givne coderef.
60 152
61=cut 153=cut
154
155sub yield {
156 $current->ready;
157 &schedule;
158}
159
160=item terminate
161
162Terminates the current process.
163
164Future versions of this function will allow result arguments.
165
166=cut
167
168sub terminate {
169 $current->{_results} = [@_];
170 &schedule;
171}
172
173=back
174
175# dynamic methods
176
177=head2 PROCESS METHODS
178
179These are the methods you can call on process objects.
180
181=over 4
182
183=item new Coro \&sub [, @args...]
184
185Create a new process and return it. When the sub returns the process
186automatically terminates. To start the process you must first put it into
187the ready queue by calling the ready method.
188
189The coderef you submit MUST NOT be a closure that refers to variables
190in an outer scope. This does NOT work. Pass arguments into it instead.
191
192=cut
193
194sub _newcoro {
195 terminate &{+shift};
196}
62 197
63sub new { 198sub new {
64 my $class = $_[0]; 199 my $class = shift;
65 my $proc = $_[1]; 200 bless {
66 bless _newprocess { 201 _coro_state => (new Coro::State $_[0] && \&_newcoro, @_),
67 do {
68 eval { &$proc->resume };
69 if ($@) {
70 ($error_msg, $error_coro) = ($@, $current);
71 $error->resume;
72 }
73 } while ();
74 }, $class; 202 }, $class;
75} 203}
76 204
77=item $coro->resume 205=item $process->ready
78 206
79Resume execution at the given coroutine. 207Put the current process into the ready queue.
80 208
81=cut 209=cut
82 210
83my $prev; 211sub ready {
84 212 push @ready, $_[0];
85sub resume {
86 $prev = $current; $current = $_[0];
87 _transfer($prev, $current);
88} 213}
214
215=back
216
217=cut
89 218
901; 2191;
91 220
92=back 221=head1 SEE ALSO
93 222
94=head1 BUGS 223L<Coro::Channel>, L<Coro::Cont>, L<Coro::Specific>, L<Coro::Semaphore>,
95 224L<Coro::Signal>, L<Coro::State>, L<Coro::Event>.
96This module has not yet been extensively tested.
97 225
98=head1 AUTHOR 226=head1 AUTHOR
99 227
100 Marc Lehmann <pcg@goof.com> 228 Marc Lehmann <pcg@goof.com>
101 http://www.goof.com/pcg/marc/ 229 http://www.goof.com/pcg/marc/

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines