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

Comparing Coro/Coro/Semaphore.pm (file contents):
Revision 1.41 by root, Tue Aug 10 01:56:30 2004 UTC vs.
Revision 1.82 by root, Wed Nov 19 11:11:10 2008 UTC

… …
31 31
32=cut 32=cut
33 33
34package Coro::Semaphore; 34package Coro::Semaphore;
35 35
36BEGIN { eval { require warnings } && warnings->unimport ("uninitialized") } 36no warnings;
37 37
38use Coro (); 38use Coro ();
39 39
40$VERSION = 1.0; 40$VERSION = 5.0;
41 41
42=item new [inital count] 42=item new [inital count]
43 43
44Creates a new sempahore object with the given initial lock count. The 44Creates a new sempahore object with the given initial lock count. The
45default lock count is 1, which means it is unlocked by default. Zero (or 45default lock count is 1, which means it is unlocked by default. Zero (or
46negative values) are also allowed, in which case the semaphore is locked 46negative values) are also allowed, in which case the semaphore is locked
47by default. 47by default.
48 48
49=cut 49=item $sem->count
50 50
51sub new { 51Returns the current semaphore count.
52 bless [defined $_[1] ? $_[1] : 1], $_[0]; 52
53} 53=item $sem->adjust ($diff)
54
55Atomically adds the amount given to the current semaphore count. If the
56count becomes positive, wakes up any waiters. Does not block if the count
57becomes negative, however.
54 58
55=item $sem->down 59=item $sem->down
56 60
57Decrement the counter, therefore "locking" the semaphore. This method 61Decrement the counter, therefore "locking" the semaphore. This method
58waits until the semaphore is available if the counter is zero. 62waits until the semaphore is available if the counter is zero.
59 63
60=item $status = $sem->timed_down($timeout) 64=item $sem->wait
61 65
62Like C<down>, but returns false if semaphore couldn't be acquired within 66Similar to C<down>, but does not actually decrement the counter. Instead,
63$timeout seconds, otherwise true. 67when this function returns, a following call to C<down> or C<try> is
68guaranteed to succeed without blocking, until the next coroutine switch
69(C<cede> etc.).
70
71Note that using C<wait> is much less efficient than using C<down>, so try
72to prefer C<down> whenever possible.
73
74=item $sem->wait ($callback)
75
76If you pass a callback argument to C<wait>, it will not wait, but
77immediately return. The callback will be called as soon as the semaphore
78becomes available (which might be instantly), and gets passed the
79semaphore as first argument.
80
81The callback might C<down> the semaphore exactly once, might wake up other
82coroutines, but is I<NOT> allowed to block (switch to other coroutines).
83
84This is considered a rather experimental interface, and is subject to
85change.
64 86
65=cut 87=cut
66 88
67sub down { 89#=item $status = $sem->timed_down ($timeout)
68 while ($_[0][0] <= 0) { 90#
69 push @{$_[0][1]}, $Coro::current; 91#Like C<down>, but returns false if semaphore couldn't be acquired within
70 Coro::schedule; 92#$timeout seconds, otherwise true.
71 }
72 --$_[0][0];
73}
74 93
75sub timed_down { 94#sub timed_down {
76 require Coro::Timer; 95# require Coro::Timer;
77 my $timeout = Coro::Timer::timeout($_[1]); 96# my $timeout = Coro::Timer::timeout ($_[1]);
78 97#
79 while ($_[0][0] <= 0) { 98# while ($_[0][0] <= 0) {
80 push @{$_[0][1]}, $Coro::current; 99# push @{$_[0][1]}, $Coro::current;
81 Coro::schedule; 100# &Coro::schedule;
82 if ($timeout) { 101# if ($timeout) {
83 # ugly as hell. slow, too, btw! 102# # ugly as hell. slow, too, btw!
84 for (0..$#{$_[0][1]}) { 103# for (0..$#{$_[0][1]}) {
85 if ($_[0][1][$_] == $Coro::current) { 104# if ($_[0][1][$_] == $Coro::current) {
86 splice @{$_[0][1]}, $_, 1; 105# splice @{$_[0][1]}, $_, 1;
87 return; 106# return;
88 } 107# }
89 } 108# }
90 die; 109# die;
91 } 110# }
92 } 111# }
93 112#
94 --$_[0][0]; 113# --$_[0][0];
95 return 1; 114# return 1;
96} 115#}
97 116
98=item $sem->up 117=item $sem->up
99 118
100Unlock the semaphore again. 119Unlock the semaphore again.
101
102=cut
103
104sub up {
105 if (++$_[0][0] > 0) {
106 (shift @{$_[0][1]})->ready if @{$_[0][1]};
107 }
108}
109 120
110=item $sem->try 121=item $sem->try
111 122
112Try to C<down> the semaphore. Returns true when this was possible, 123Try to C<down> the semaphore. Returns true when this was possible,
113otherwise return false and leave the semaphore unchanged. 124otherwise return false and leave the semaphore unchanged.
114 125
115=cut
116
117sub try {
118 if ($_[0][0] > 0) {
119 --$_[0][0];
120 return 1;
121 } else {
122 return 0;
123 }
124}
125
126=item $sem->waiters 126=item $sem->waiters
127 127
128In scalar context, returns the number of coroutines waiting for this 128In scalar context, returns the number of coroutines waiting for this
129semaphore. 129semaphore.
130 130
131=cut
132
133sub waiters {
134 @{$_[0][1]};
135}
136
137=item $guard = $sem->guard 131=item $guard = $sem->guard
138 132
139This method calls C<down> and then creates a guard object. When the guard 133This method calls C<down> and then creates a guard object. When the guard
140object is destroyed it automatically calls C<up>. 134object is destroyed it automatically calls C<up>.
141
142=item $guard = $sem->timed_guard($timeout)
143
144Like C<guard>, but returns undef if semaphore couldn't be acquired within
145$timeout seconds, otherwise the guard object.
146 135
147=cut 136=cut
148 137
149sub guard { 138sub guard {
150 &down; 139 &down;
151 # double indirection because bless works on the referenced 140 # double indirection because bless works on the referenced
152 # object, not (only) on the reference itself. 141 # object, not (only) on the reference itself.
153 bless \\$_[0], Coro::Semaphore::guard::; 142 bless \\$_[0], Coro::Semaphore::guard::;
154} 143}
155 144
145#=item $guard = $sem->timed_guard ($timeout)
146#
147#Like C<guard>, but returns undef if semaphore couldn't be acquired within
148#$timeout seconds, otherwise the guard object.
149
156sub timed_guard { 150#sub timed_guard {
157 &timed_down 151# &timed_down
158 ? bless \\$_[0], Coro::Semaphore::guard:: 152# ? bless \\$_[0], Coro::Semaphore::guard::
159 : (); 153# : ();
160} 154#}
161 155
162sub Coro::Semaphore::guard::DESTROY { 156sub Coro::Semaphore::guard::DESTROY {
163 &up(${${$_[0]}}); 157 &up(${${$_[0]}});
164} 158}
165 159
1661;
167
168=back 160=back
169 161
170=head1 AUTHOR 162=head1 AUTHOR
171 163
172 Marc Lehmann <pcg@goof.com> 164 Marc Lehmann <schmorp@schmorp.de>
173 http://www.goof.com/pcg/marc/ 165 http://home.schmorp.de/
174 166
175=cut 167=cut
176 168
1691
170

Diff Legend

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