… | |
… | |
80 | |
80 | |
81 | our $idle; # idle handler |
81 | our $idle; # idle handler |
82 | our $main; # main coro |
82 | our $main; # main coro |
83 | our $current; # current coro |
83 | our $current; # current coro |
84 | |
84 | |
85 | our $VERSION = 5.13; |
85 | our $VERSION = 5.132; |
86 | |
86 | |
87 | our @EXPORT = qw(async async_pool cede schedule terminate current unblock_sub); |
87 | our @EXPORT = qw(async async_pool cede schedule terminate current unblock_sub); |
88 | our %EXPORT_TAGS = ( |
88 | our %EXPORT_TAGS = ( |
89 | prio => [qw(PRIO_MAX PRIO_HIGH PRIO_NORMAL PRIO_LOW PRIO_IDLE PRIO_MIN)], |
89 | prio => [qw(PRIO_MAX PRIO_HIGH PRIO_NORMAL PRIO_LOW PRIO_IDLE PRIO_MIN)], |
90 | ); |
90 | ); |
… | |
… | |
338 | |
338 | |
339 | These functions implement the same concept as C<dynamic-wind> in scheme |
339 | These functions implement the same concept as C<dynamic-wind> in scheme |
340 | does, and are useful when you want to localise some resource to a specific |
340 | does, and are useful when you want to localise some resource to a specific |
341 | coro. |
341 | coro. |
342 | |
342 | |
343 | They slow down coro switching considerably for coros that use |
343 | They slow down thread switching considerably for coros that use them |
344 | them (But coro switching is still reasonably fast if the handlers are |
344 | (about 40% for a BLOCK with a single assignment, so thread switching is |
345 | fast). |
345 | still reasonably fast if the handlers are fast). |
346 | |
346 | |
347 | These functions are best understood by an example: The following function |
347 | These functions are best understood by an example: The following function |
348 | will change the current timezone to "Antarctica/South_Pole", which |
348 | will change the current timezone to "Antarctica/South_Pole", which |
349 | requires a call to C<tzset>, but by using C<on_enter> and C<on_leave>, |
349 | requires a call to C<tzset>, but by using C<on_enter> and C<on_leave>, |
350 | which remember/change the current timezone and restore the previous |
350 | which remember/change the current timezone and restore the previous |
351 | value, respectively, the timezone is only changes for the coro that |
351 | value, respectively, the timezone is only changed for the coro that |
352 | installed those handlers. |
352 | installed those handlers. |
353 | |
353 | |
354 | use POSIX qw(tzset); |
354 | use POSIX qw(tzset); |
355 | |
355 | |
356 | async { |
356 | async { |
… | |
… | |
373 | }; |
373 | }; |
374 | |
374 | |
375 | This can be used to localise about any resource (locale, uid, current |
375 | This can be used to localise about any resource (locale, uid, current |
376 | working directory etc.) to a block, despite the existance of other |
376 | working directory etc.) to a block, despite the existance of other |
377 | coros. |
377 | coros. |
|
|
378 | |
|
|
379 | Another interesting example implements time-sliced multitasking using |
|
|
380 | interval timers (this could obviously be optimised, but does the job): |
|
|
381 | |
|
|
382 | # "timeslice" the given block |
|
|
383 | sub timeslice(&) { |
|
|
384 | use Time::HiRes (); |
|
|
385 | |
|
|
386 | Coro::on_enter { |
|
|
387 | # on entering the thread, we set an VTALRM handler to cede |
|
|
388 | $SIG{VTALRM} = sub { cede }; |
|
|
389 | # and then start the interval timer |
|
|
390 | Time::HiRes::setitimer &Time::HiRes::ITIMER_VIRTUAL, 0.01, 0.01; |
|
|
391 | }; |
|
|
392 | Coro::on_leave { |
|
|
393 | # on leaving the thread, we stop the interval timer again |
|
|
394 | Time::HiRes::setitimer &Time::HiRes::ITIMER_VIRTUAL, 0, 0; |
|
|
395 | }; |
|
|
396 | |
|
|
397 | &{+shift}; |
|
|
398 | } |
|
|
399 | |
|
|
400 | # use like this: |
|
|
401 | timeslice { |
|
|
402 | # The following is an endless loop that would normally |
|
|
403 | # monopolise the process. Since it runs in a timesliced |
|
|
404 | # environment, it will regularly cede to other threads. |
|
|
405 | while () { } |
|
|
406 | }; |
|
|
407 | |
378 | |
408 | |
379 | =item killall |
409 | =item killall |
380 | |
410 | |
381 | Kills/terminates/cancels all coros except the currently running one. |
411 | Kills/terminates/cancels all coros except the currently running one. |
382 | |
412 | |
… | |
… | |
426 | the ready queue, do nothing and return false. |
456 | the ready queue, do nothing and return false. |
427 | |
457 | |
428 | This ensures that the scheduler will resume this coro automatically |
458 | This ensures that the scheduler will resume this coro automatically |
429 | once all the coro of higher priority and all coro of the same |
459 | once all the coro of higher priority and all coro of the same |
430 | priority that were put into the ready queue earlier have been resumed. |
460 | priority that were put into the ready queue earlier have been resumed. |
|
|
461 | |
|
|
462 | =item $coro->suspend |
|
|
463 | |
|
|
464 | Suspends the specified coro. A suspended coro works just like any other |
|
|
465 | coro, except that the scheduler will not select a suspended coro for |
|
|
466 | execution. |
|
|
467 | |
|
|
468 | Suspending a coro can be useful when you want to keep the coro from |
|
|
469 | running, but you don't want to destroy it, or when you want to temporarily |
|
|
470 | freeze a coro (e.g. for debugging) to resume it later. |
|
|
471 | |
|
|
472 | A scenario for the former would be to suspend all (other) coros after a |
|
|
473 | fork and keep them alive, so their destructors aren't called, but new |
|
|
474 | coros can be created. |
|
|
475 | |
|
|
476 | =item $coro->resume |
|
|
477 | |
|
|
478 | If the specified coro was suspended, it will be resumed. Note that when |
|
|
479 | the coro was in the ready queue when it was suspended, it might have been |
|
|
480 | unreadied by the scheduler, so an activation might have been lost. |
|
|
481 | |
|
|
482 | To avoid this, it is best to put a suspended coro into the ready queue |
|
|
483 | unconditionally, as every synchronisation mechanism must protect itself |
|
|
484 | against spurious wakeups, and the one in the Coro family certainly do |
|
|
485 | that. |
431 | |
486 | |
432 | =item $is_ready = $coro->is_ready |
487 | =item $is_ready = $coro->is_ready |
433 | |
488 | |
434 | Returns true iff the Coro object is in the ready queue. Unless the Coro |
489 | Returns true iff the Coro object is in the ready queue. Unless the Coro |
435 | object gets destroyed, it will eventually be scheduled by the scheduler. |
490 | object gets destroyed, it will eventually be scheduled by the scheduler. |