ViewVC Help
View File | Revision Log | Show Annotations | Download File
/cvs/cvsroot/Async-Interrupt/Interrupt.pm
(Generate patch)

Comparing cvsroot/Async-Interrupt/Interrupt.pm (file contents):
Revision 1.15 by root, Fri Jul 17 14:59:47 2009 UTC vs.
Revision 1.17 by root, Tue Jul 28 01:19:44 2009 UTC

53 53
54For example the deliantra game server uses a variant of this technique 54For example the deliantra game server uses a variant of this technique
55to interrupt background processes regularly to send map updates to game 55to interrupt background processes regularly to send map updates to game
56clients. 56clients.
57 57
58Or L<EV::Loop::Async> uses an interrupt object to wake up perl when new
59events have arrived.
60
58L<IO::AIO> and L<BDB> could also use this to speed up result reporting. 61L<IO::AIO> and L<BDB> could also use this to speed up result reporting.
59 62
60=item Speedy event loop invocation 63=item Speedy event loop invocation
61 64
62One could use this module e.g. in L<Coro> to interrupt a running coro-thread 65One could use this module e.g. in L<Coro> to interrupt a running coro-thread
88I<running> interpreter, there is optional support for signalling a pipe 91I<running> interpreter, there is optional support for signalling a pipe
89- that means you can also wait for the pipe to become readable (e.g. via 92- that means you can also wait for the pipe to become readable (e.g. via
90L<EV> or L<AnyEvent>). This, of course, incurs the overhead of a C<read> 93L<EV> or L<AnyEvent>). This, of course, incurs the overhead of a C<read>
91and C<write> syscall. 94and C<write> syscall.
92 95
96=head1 THE Async::Interrupt CLASS
97
93=over 4 98=over 4
94 99
95=cut 100=cut
96 101
97package Async::Interrupt; 102package Async::Interrupt;
101BEGIN { 106BEGIN {
102 # the next line forces initialisation of internal 107 # the next line forces initialisation of internal
103 # signal handling # variables 108 # signal handling # variables
104 $SIG{KILL} = sub { }; 109 $SIG{KILL} = sub { };
105 110
106 our $VERSION = '0.501'; 111 our $VERSION = '0.6';
107 112
108 require XSLoader; 113 require XSLoader;
109 XSLoader::load ("Async::Interrupt", $VERSION); 114 XSLoader::load ("Async::Interrupt", $VERSION);
110} 115}
111 116
160which case the requirements set out for C<cb> apply as well). 165which case the requirements set out for C<cb> apply as well).
161 166
162=item var => $scalar_ref 167=item var => $scalar_ref
163 168
164When specified, then the given argument must be a reference to a 169When specified, then the given argument must be a reference to a
165scalar. The scalar will be set to C<0> intiially. Signalling the interrupt 170scalar. The scalar will be set to C<0> initially. Signalling the interrupt
166object will set it to the passed value, handling the interrupt will reset 171object will set it to the passed value, handling the interrupt will reset
167it to C<0> again. 172it to C<0> again.
168 173
169Note that the only thing you are legally allowed to do is to is to check 174Note that the only thing you are legally allowed to do is to is to check
170the variable in a boolean or integer context (e.g. comparing it with a 175the variable in a boolean or integer context (e.g. comparing it with a
194This can be used to ensure that async notifications will interrupt event 199This can be used to ensure that async notifications will interrupt event
195frameworks as well. 200frameworks as well.
196 201
197Note that C<Async::Interrupt> will create a suitable signal fd 202Note that C<Async::Interrupt> will create a suitable signal fd
198automatically when your program requests one, so you don't have to specify 203automatically when your program requests one, so you don't have to specify
199this agrument when all you want is an extra file descriptor to watch. 204this argument when all you want is an extra file descriptor to watch.
205
206If you want to share a single event pipe between multiple Async::Interrupt
207objects, you can use the C<Async::Interrupt::EventPipe> class to manage
208those.
200 209
201=back 210=back
202 211
203=cut 212=cut
204 213
208 bless \(_alloc $arg{cb}, @{$arg{c_cb}}[0,1], @{$arg{pipe}}[0,1], $arg{signal}, $arg{var}), $class 217 bless \(_alloc $arg{cb}, @{$arg{c_cb}}[0,1], @{$arg{pipe}}[0,1], $arg{signal}, $arg{var}), $class
209} 218}
210 219
211=item ($signal_func, $signal_arg) = $async->signal_func 220=item ($signal_func, $signal_arg) = $async->signal_func
212 221
213Returns the address of a function to call asynchronously. The function has 222Returns the address of a function to call asynchronously. The function
214the following prototype and needs to be passed the specified C<$c_arg>, 223has the following prototype and needs to be passed the specified
215which is a C<void *> cast to C<IV>: 224C<$signal_arg>, which is a C<void *> cast to C<IV>:
216 225
217 void (*signal_func) (void *signal_arg, int value) 226 void (*signal_func) (void *signal_arg, int value)
218 227
219An example call would look like: 228An example call would look like:
220 229
253 CODE: 262 CODE:
254 valuep = (IV *)addr; 263 valuep = (IV *)addr;
255 264
256 // code in a loop, waiting 265 // code in a loop, waiting
257 while (!*valuep) 266 while (!*valuep)
258 ; // do soemthing 267 ; // do something
259 268
260=item $async->signal ($value=1) 269=item $async->signal ($value=1)
261 270
262This signals the given async object from Perl code. Semi-obviously, this 271This signals the given async object from Perl code. Semi-obviously, this
263will instantly trigger the callback invocation. 272will instantly trigger the callback invocation (it does not, as the name
273might imply, do anything with POSIX signals).
264 274
265C<$value> must be in the valid range for a C<sig_atomic_t>, except C<0> 275C<$value> must be in the valid range for a C<sig_atomic_t>, except C<0>
266(1..127 is portable). 276(1..127 is portable).
277
278=item $async->signal_hysteresis ($enable)
279
280Enables or disables signal hysteresis (default: disabled). If a POSIX
281signal is used as a signal source for the interrupt object, then enabling
282signal hysteresis causes Async::Interrupt to reset the signal action to
283C<SIG_IGN> in the signal handler and restore it just before handling the
284interruption.
285
286When you expect a lot of signals (e.g. when using SIGIO), then enabling
287signal hysteresis can reduce the number of handler invocations
288considerably, at the cost of two extra syscalls.
289
290Note that setting the signal to C<SIG_IGN> can have unintended side
291effects when you fork and exec other programs, as often they do nto expect
292signals to be ignored by default.
267 293
268=item $async->block 294=item $async->block
269 295
270=item $async->unblock 296=item $async->unblock
271 297
286This call C<< $async->block >> and installs a handler that is called when 312This call C<< $async->block >> and installs a handler that is called when
287the current scope is exited (via an exception, by canceling the Coro 313the current scope is exited (via an exception, by canceling the Coro
288thread, by calling last/goto etc.). 314thread, by calling last/goto etc.).
289 315
290This is the recommended (and fastest) way to implement critical sections. 316This is the recommended (and fastest) way to implement critical sections.
317
318=item ($block_func, $block_arg) = $async->scope_block_func
319
320Returns the address of a function that implements the C<scope_block>
321functionality.
322
323It has the following prototype and needs to be passed the specified
324C<$block_arg>, which is a C<void *> cast to C<IV>:
325
326 void (*block_func) (void *block_arg)
327
328An example call would look like:
329
330 block_func (block_arg);
331
332The function is safe to call only from within the toplevel of a perl XS
333function and will call C<LEAVE> and C<ENTER> (in this order!).
291 334
292=item $async->pipe_enable 335=item $async->pipe_enable
293 336
294=item $async->pipe_disable 337=item $async->pipe_disable
295 338
311Note that the only valid oepration on this file descriptor is to wait 354Note that the only valid oepration on this file descriptor is to wait
312until it is readable. The fd might belong currently to a pipe, a tcp 355until it is readable. The fd might belong currently to a pipe, a tcp
313socket, or an eventfd, depending on the platform, and is guaranteed to be 356socket, or an eventfd, depending on the platform, and is guaranteed to be
314C<select>able. 357C<select>able.
315 358
359=item $async->pipe_autodrain ($enable)
360
361Enables (C<1>) or disables (C<0>) automatic draining of the pipe (default:
362enabled). When automatic draining is enabled, then Async::Interrupt will
363automatically clear the pipe. Otherwise the user is responsible for this
364draining.
365
366This is useful when you want to share one pipe among many Async::Interrupt
367objects.
368
316=item $async->post_fork 369=item $async->post_fork
317 370
318The object will not normally be usable after a fork (as the pipe fd is 371The object will not normally be usable after a fork (as the pipe fd is
319shared between processes). Calling this method after a fork in the child 372shared between processes). Calling this method after a fork in the child
320ensures that the object will work as expected again. It only needs to be 373ensures that the object will work as expected again. It only needs to be
323This only works when the pipe was created by Async::Interrupt. 376This only works when the pipe was created by Async::Interrupt.
324 377
325Async::Interrupt ensures that the reading file descriptor does not change 378Async::Interrupt ensures that the reading file descriptor does not change
326it's value. 379it's value.
327 380
381=back
382
383=head1 THE Async::Interrupt::EventPipe CLASS
384
385Pipes are the predominent utility to make asynchronous signals
386synchronous. However, pipes are hard to come by: they don't exist on the
387broken windows platform, and on GNU/Linux systems, you might want to use
388an C<eventfd> instead.
389
390This class creates selectable event pipes in a portable fashion: on
391windows, it will try to create a tcp socket pair, on GNU/Linux, it will
392try to create an eventfd and everywhere else it will try to use a normal
393pipe.
394
395=over 4
396
397=item $epipe = new Async::Interrupt::EventPipe
398
399This creates and returns an eventpipe object. This object is simply a
400blessed array reference:
401
402=item ($r_fd, $w_fd) = $epipe->filenos
403
404Returns the read-side file descriptor and the write-side file descriptor.
405
406Example: pass an eventpipe object as pipe to the Async::Interrupt
407constructor, and create an AnyEvent watcher for the read side.
408
409 my $epipe = new Async::Interrupt::EventPipe;
410 my $asy = new Async::Interrupt pipe => [$epipe->filenos];
411 my $iow = AnyEvent->io (fh => $epipe->fileno, poll => 'r', cb => sub { });
412
413=item $r_fd = $epipe->fileno
414
415Return only the reading/listening side.
416
417=item $epipe->signal
418
419Write something to the pipe, in a portable fashion.
420
421=item $epipe->drain
422
423Drain (empty) the pipe.
424
425=item $epipe->renew
426
427Recreates the pipe (useful after a fork). The reading side will not change
428it's file descriptor number, but the writing side might.
429
430=back
431
328=cut 432=cut
329 433
3301; 4341;
331
332=back
333 435
334=head1 EXAMPLE 436=head1 EXAMPLE
335 437
336There really should be a complete C/XS example. Bug me about it. Better 438There really should be a complete C/XS example. Bug me about it. Better
337yet, create one. 439yet, create one.

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines