xref: /openbsd-src/gnu/usr.bin/perl/dist/threads/lib/threads.pm (revision c90a81c56dcebd6a1b73fe4aff9b03385b8e63b3)
1package threads;
2
3use 5.008;
4
5use strict;
6use warnings;
7
8our $VERSION = '2.07';
9my $XS_VERSION = $VERSION;
10$VERSION = eval $VERSION;
11
12# Verify this Perl supports threads
13require Config;
14if (! $Config::Config{useithreads}) {
15    die("This Perl not built to support threads\n");
16}
17
18# Complain if 'threads' is loaded after 'threads::shared'
19if ($threads::shared::threads_shared) {
20    warn <<'_MSG_';
21Warning, threads::shared has already been loaded.  To
22enable shared variables, 'use threads' must be called
23before threads::shared or any module that uses it.
24_MSG_
25}
26
27# Declare that we have been loaded
28$threads::threads = 1;
29
30# Load the XS code
31require XSLoader;
32XSLoader::load('threads', $XS_VERSION);
33
34
35### Export ###
36
37sub import
38{
39    my $class = shift;   # Not used
40
41    # Exported subroutines
42    my @EXPORT = qw(async);
43
44    # Handle args
45    while (my $sym = shift) {
46        if ($sym =~ /^(?:stack|exit)/i) {
47            if (defined(my $arg = shift)) {
48                if ($sym =~ /^stack/i) {
49                    threads->set_stack_size($arg);
50                } else {
51                    $threads::thread_exit_only = $arg =~ /^thread/i;
52                }
53            } else {
54                require Carp;
55                Carp::croak("threads: Missing argument for option: $sym");
56            }
57
58        } elsif ($sym =~ /^str/i) {
59            import overload ('""' => \&tid);
60
61        } elsif ($sym =~ /^(?::all|yield)$/) {
62            push(@EXPORT, qw(yield));
63
64        } else {
65            require Carp;
66            Carp::croak("threads: Unknown import option: $sym");
67        }
68    }
69
70    # Export subroutine names
71    my $caller = caller();
72    foreach my $sym (@EXPORT) {
73        no strict 'refs';
74        *{$caller.'::'.$sym} = \&{$sym};
75    }
76
77    # Set stack size via environment variable
78    if (exists($ENV{'PERL5_ITHREADS_STACK_SIZE'})) {
79        threads->set_stack_size($ENV{'PERL5_ITHREADS_STACK_SIZE'});
80    }
81}
82
83
84### Methods, etc. ###
85
86# Exit from a thread (only)
87sub exit
88{
89    my ($class, $status) = @_;
90    if (! defined($status)) {
91        $status = 0;
92    }
93
94    # Class method only
95    if (ref($class)) {
96        require Carp;
97        Carp::croak('Usage: threads->exit(status)');
98    }
99
100    $class->set_thread_exit_only(1);
101    CORE::exit($status);
102}
103
104# 'Constant' args for threads->list()
105sub threads::all      { }
106sub threads::running  { 1 }
107sub threads::joinable { 0 }
108
109# 'new' is an alias for 'create'
110*new = \&create;
111
112# 'async' is a function alias for the 'threads->create()' method
113sub async (&;@)
114{
115    unshift(@_, 'threads');
116    # Use "goto" trick to avoid pad problems from 5.8.1 (fixed in 5.8.2)
117    goto &create;
118}
119
120# Thread object equality checking
121use overload (
122    '==' => \&equal,
123    '!=' => sub { ! equal(@_) },
124    'fallback' => 1
125);
126
1271;
128
129__END__
130
131=head1 NAME
132
133threads - Perl interpreter-based threads
134
135=head1 VERSION
136
137This document describes threads version 2.07
138
139=head1 WARNING
140
141The "interpreter-based threads" provided by Perl are not the fast, lightweight
142system for multitasking that one might expect or hope for.  Threads are
143implemented in a way that make them easy to misuse.  Few people know how to
144use them correctly or will be able to provide help.
145
146The use of interpreter-based threads in perl is officially
147L<discouraged|perlpolicy/discouraged>.
148
149=head1 SYNOPSIS
150
151    use threads ('yield',
152                 'stack_size' => 64*4096,
153                 'exit' => 'threads_only',
154                 'stringify');
155
156    sub start_thread {
157        my @args = @_;
158        print('Thread started: ', join(' ', @args), "\n");
159    }
160    my $thr = threads->create('start_thread', 'argument');
161    $thr->join();
162
163    threads->create(sub { print("I am a thread\n"); })->join();
164
165    my $thr2 = async { foreach (@files) { ... } };
166    $thr2->join();
167    if (my $err = $thr2->error()) {
168        warn("Thread error: $err\n");
169    }
170
171    # Invoke thread in list context (implicit) so it can return a list
172    my ($thr) = threads->create(sub { return (qw/a b c/); });
173    # or specify list context explicitly
174    my $thr = threads->create({'context' => 'list'},
175                              sub { return (qw/a b c/); });
176    my @results = $thr->join();
177
178    $thr->detach();
179
180    # Get a thread's object
181    $thr = threads->self();
182    $thr = threads->object($tid);
183
184    # Get a thread's ID
185    $tid = threads->tid();
186    $tid = $thr->tid();
187    $tid = "$thr";
188
189    # Give other threads a chance to run
190    threads->yield();
191    yield();
192
193    # Lists of non-detached threads
194    my @threads = threads->list();
195    my $thread_count = threads->list();
196
197    my @running = threads->list(threads::running);
198    my @joinable = threads->list(threads::joinable);
199
200    # Test thread objects
201    if ($thr1 == $thr2) {
202        ...
203    }
204
205    # Manage thread stack size
206    $stack_size = threads->get_stack_size();
207    $old_size = threads->set_stack_size(32*4096);
208
209    # Create a thread with a specific context and stack size
210    my $thr = threads->create({ 'context'    => 'list',
211                                'stack_size' => 32*4096,
212                                'exit'       => 'thread_only' },
213                              \&foo);
214
215    # Get thread's context
216    my $wantarray = $thr->wantarray();
217
218    # Check thread's state
219    if ($thr->is_running()) {
220        sleep(1);
221    }
222    if ($thr->is_joinable()) {
223        $thr->join();
224    }
225
226    # Send a signal to a thread
227    $thr->kill('SIGUSR1');
228
229    # Exit a thread
230    threads->exit();
231
232=head1 DESCRIPTION
233
234Since Perl 5.8, thread programming has been available using a model called
235I<interpreter threads> which provides a new Perl interpreter for each
236thread, and, by default, results in no data or state information being shared
237between threads.
238
239(Prior to Perl 5.8, I<5005threads> was available through the C<Thread.pm> API.
240This threading model has been deprecated, and was removed as of Perl 5.10.0.)
241
242As just mentioned, all variables are, by default, thread local.  To use shared
243variables, you need to also load L<threads::shared>:
244
245    use threads;
246    use threads::shared;
247
248When loading L<threads::shared>, you must C<use threads> before you
249C<use threads::shared>.  (C<threads> will emit a warning if you do it the
250other way around.)
251
252It is strongly recommended that you enable threads via C<use threads> as early
253as possible in your script.
254
255If needed, scripts can be written so as to run on both threaded and
256non-threaded Perls:
257
258    my $can_use_threads = eval 'use threads; 1';
259    if ($can_use_threads) {
260        # Do processing using threads
261        ...
262    } else {
263        # Do it without using threads
264        ...
265    }
266
267=over
268
269=item $thr = threads->create(FUNCTION, ARGS)
270
271This will create a new thread that will begin execution with the specified
272entry point function, and give it the I<ARGS> list as parameters.  It will
273return the corresponding threads object, or C<undef> if thread creation failed.
274
275I<FUNCTION> may either be the name of a function, an anonymous subroutine, or
276a code ref.
277
278    my $thr = threads->create('func_name', ...);
279        # or
280    my $thr = threads->create(sub { ... }, ...);
281        # or
282    my $thr = threads->create(\&func, ...);
283
284The C<-E<gt>new()> method is an alias for C<-E<gt>create()>.
285
286=item $thr->join()
287
288This will wait for the corresponding thread to complete its execution.  When
289the thread finishes, C<-E<gt>join()> will return the return value(s) of the
290entry point function.
291
292The context (void, scalar or list) for the return value(s) for C<-E<gt>join()>
293is determined at the time of thread creation.
294
295    # Create thread in list context (implicit)
296    my ($thr1) = threads->create(sub {
297                                    my @results = qw(a b c);
298                                    return (@results);
299                                 });
300    #   or (explicit)
301    my $thr1 = threads->create({'context' => 'list'},
302                               sub {
303                                    my @results = qw(a b c);
304                                    return (@results);
305                               });
306    # Retrieve list results from thread
307    my @res1 = $thr1->join();
308
309    # Create thread in scalar context (implicit)
310    my $thr2 = threads->create(sub {
311                                    my $result = 42;
312                                    return ($result);
313                                 });
314    # Retrieve scalar result from thread
315    my $res2 = $thr2->join();
316
317    # Create a thread in void context (explicit)
318    my $thr3 = threads->create({'void' => 1},
319                               sub { print("Hello, world\n"); });
320    # Join the thread in void context (i.e., no return value)
321    $thr3->join();
322
323See L</"THREAD CONTEXT"> for more details.
324
325If the program exits without all threads having either been joined or
326detached, then a warning will be issued.
327
328Calling C<-E<gt>join()> or C<-E<gt>detach()> on an already joined thread will
329cause an error to be thrown.
330
331=item $thr->detach()
332
333Makes the thread unjoinable, and causes any eventual return value to be
334discarded.  When the program exits, any detached threads that are still
335running are silently terminated.
336
337If the program exits without all threads having either been joined or
338detached, then a warning will be issued.
339
340Calling C<-E<gt>join()> or C<-E<gt>detach()> on an already detached thread
341will cause an error to be thrown.
342
343=item threads->detach()
344
345Class method that allows a thread to detach itself.
346
347=item threads->self()
348
349Class method that allows a thread to obtain its own I<threads> object.
350
351=item $thr->tid()
352
353Returns the ID of the thread.  Thread IDs are unique integers with the main
354thread in a program being 0, and incrementing by 1 for every thread created.
355
356=item threads->tid()
357
358Class method that allows a thread to obtain its own ID.
359
360=item "$thr"
361
362If you add the C<stringify> import option to your C<use threads> declaration,
363then using a threads object in a string or a string context (e.g., as a hash
364key) will cause its ID to be used as the value:
365
366    use threads qw(stringify);
367
368    my $thr = threads->create(...);
369    print("Thread $thr started\n");  # Prints: Thread 1 started
370
371=item threads->object($tid)
372
373This will return the I<threads> object for the I<active> thread associated
374with the specified thread ID.  If C<$tid> is the value for the current thread,
375then this call works the same as C<-E<gt>self()>.  Otherwise, returns C<undef>
376if there is no thread associated with the TID, if the thread is joined or
377detached, if no TID is specified or if the specified TID is undef.
378
379=item threads->yield()
380
381This is a suggestion to the OS to let this thread yield CPU time to other
382threads.  What actually happens is highly dependent upon the underlying
383thread implementation.
384
385You may do C<use threads qw(yield)>, and then just use C<yield()> in your
386code.
387
388=item threads->list()
389
390=item threads->list(threads::all)
391
392=item threads->list(threads::running)
393
394=item threads->list(threads::joinable)
395
396With no arguments (or using C<threads::all>) and in a list context, returns a
397list of all non-joined, non-detached I<threads> objects.  In a scalar context,
398returns a count of the same.
399
400With a I<true> argument (using C<threads::running>), returns a list of all
401non-joined, non-detached I<threads> objects that are still running.
402
403With a I<false> argument (using C<threads::joinable>), returns a list of all
404non-joined, non-detached I<threads> objects that have finished running (i.e.,
405for which C<-E<gt>join()> will not I<block>).
406
407=item $thr1->equal($thr2)
408
409Tests if two threads objects are the same thread or not.  This is overloaded
410to the more natural forms:
411
412    if ($thr1 == $thr2) {
413        print("Threads are the same\n");
414    }
415    # or
416    if ($thr1 != $thr2) {
417        print("Threads differ\n");
418    }
419
420(Thread comparison is based on thread IDs.)
421
422=item async BLOCK;
423
424C<async> creates a thread to execute the block immediately following
425it.  This block is treated as an anonymous subroutine, and so must have a
426semicolon after the closing brace.  Like C<threads-E<gt>create()>, C<async>
427returns a I<threads> object.
428
429=item $thr->error()
430
431Threads are executed in an C<eval> context.  This method will return C<undef>
432if the thread terminates I<normally>.  Otherwise, it returns the value of
433C<$@> associated with the thread's execution status in its C<eval> context.
434
435=item $thr->_handle()
436
437This I<private> method returns a pointer (i.e., the memory location expressed
438as an unsigned integer) to the internal thread structure associated with a
439threads object.  For Win32, this is a pointer to the C<HANDLE> value returned
440by C<CreateThread> (i.e., C<HANDLE *>); for other platforms, it is a pointer
441to the C<pthread_t> structure used in the C<pthread_create> call (i.e.,
442C<pthread_t *>).
443
444This method is of no use for general Perl threads programming.  Its intent is
445to provide other (XS-based) thread modules with the capability to access, and
446possibly manipulate, the underlying thread structure associated with a Perl
447thread.
448
449=item threads->_handle()
450
451Class method that allows a thread to obtain its own I<handle>.
452
453=back
454
455=head1 EXITING A THREAD
456
457The usual method for terminating a thread is to
458L<return()|perlfunc/"return EXPR"> from the entry point function with the
459appropriate return value(s).
460
461=over
462
463=item threads->exit()
464
465If needed, a thread can be exited at any time by calling
466C<threads-E<gt>exit()>.  This will cause the thread to return C<undef> in a
467scalar context, or the empty list in a list context.
468
469When called from the I<main> thread, this behaves the same as C<exit(0)>.
470
471=item threads->exit(status)
472
473When called from a thread, this behaves like C<threads-E<gt>exit()> (i.e., the
474exit status code is ignored).
475
476When called from the I<main> thread, this behaves the same as C<exit(status)>.
477
478=item die()
479
480Calling C<die()> in a thread indicates an abnormal exit for the thread.  Any
481C<$SIG{__DIE__}> handler in the thread will be called first, and then the
482thread will exit with a warning message that will contain any arguments passed
483in the C<die()> call.
484
485=item exit(status)
486
487Calling L<exit()|perlfunc/"exit EXPR"> inside a thread causes the whole
488application to terminate.  Because of this, the use of C<exit()> inside
489threaded code, or in modules that might be used in threaded applications, is
490strongly discouraged.
491
492If C<exit()> really is needed, then consider using the following:
493
494    threads->exit() if threads->can('exit');   # Thread friendly
495    exit(status);
496
497=item use threads 'exit' => 'threads_only'
498
499This globally overrides the default behavior of calling C<exit()> inside a
500thread, and effectively causes such calls to behave the same as
501C<threads-E<gt>exit()>.  In other words, with this setting, calling C<exit()>
502causes only the thread to terminate.
503
504Because of its global effect, this setting should not be used inside modules
505or the like.
506
507The I<main> thread is unaffected by this setting.
508
509=item threads->create({'exit' => 'thread_only'}, ...)
510
511This overrides the default behavior of C<exit()> inside the newly created
512thread only.
513
514=item $thr->set_thread_exit_only(boolean)
515
516This can be used to change the I<exit thread only> behavior for a thread after
517it has been created.  With a I<true> argument, C<exit()> will cause only the
518thread to exit.  With a I<false> argument, C<exit()> will terminate the
519application.
520
521The I<main> thread is unaffected by this call.
522
523=item threads->set_thread_exit_only(boolean)
524
525Class method for use inside a thread to change its own behavior for C<exit()>.
526
527The I<main> thread is unaffected by this call.
528
529=back
530
531=head1 THREAD STATE
532
533The following boolean methods are useful in determining the I<state> of a
534thread.
535
536=over
537
538=item $thr->is_running()
539
540Returns true if a thread is still running (i.e., if its entry point function
541has not yet finished or exited).
542
543=item $thr->is_joinable()
544
545Returns true if the thread has finished running, is not detached and has not
546yet been joined.  In other words, the thread is ready to be joined, and a call
547to C<$thr-E<gt>join()> will not I<block>.
548
549=item $thr->is_detached()
550
551Returns true if the thread has been detached.
552
553=item threads->is_detached()
554
555Class method that allows a thread to determine whether or not it is detached.
556
557=back
558
559=head1 THREAD CONTEXT
560
561As with subroutines, the type of value returned from a thread's entry point
562function may be determined by the thread's I<context>:  list, scalar or void.
563The thread's context is determined at thread creation.  This is necessary so
564that the context is available to the entry point function via
565L<wantarray()|perlfunc/"wantarray">.  The thread may then specify a value of
566the appropriate type to be returned from C<-E<gt>join()>.
567
568=head2 Explicit context
569
570Because thread creation and thread joining may occur in different contexts, it
571may be desirable to state the context explicitly to the thread's entry point
572function.  This may be done by calling C<-E<gt>create()> with a hash reference
573as the first argument:
574
575    my $thr = threads->create({'context' => 'list'}, \&foo);
576    ...
577    my @results = $thr->join();
578
579In the above, the threads object is returned to the parent thread in scalar
580context, and the thread's entry point function C<foo> will be called in list
581(array) context such that the parent thread can receive a list (array) from
582the C<-E<gt>join()> call.  (C<'array'> is synonymous with C<'list'>.)
583
584Similarly, if you need the threads object, but your thread will not be
585returning a value (i.e., I<void> context), you would do the following:
586
587    my $thr = threads->create({'context' => 'void'}, \&foo);
588    ...
589    $thr->join();
590
591The context type may also be used as the I<key> in the hash reference followed
592by a I<true> value:
593
594    threads->create({'scalar' => 1}, \&foo);
595    ...
596    my ($thr) = threads->list();
597    my $result = $thr->join();
598
599=head2 Implicit context
600
601If not explicitly stated, the thread's context is implied from the context
602of the C<-E<gt>create()> call:
603
604    # Create thread in list context
605    my ($thr) = threads->create(...);
606
607    # Create thread in scalar context
608    my $thr = threads->create(...);
609
610    # Create thread in void context
611    threads->create(...);
612
613=head2 $thr->wantarray()
614
615This returns the thread's context in the same manner as
616L<wantarray()|perlfunc/"wantarray">.
617
618=head2 threads->wantarray()
619
620Class method to return the current thread's context.  This returns the same
621value as running L<wantarray()|perlfunc/"wantarray"> inside the current
622thread's entry point function.
623
624=head1 THREAD STACK SIZE
625
626The default per-thread stack size for different platforms varies
627significantly, and is almost always far more than is needed for most
628applications.  On Win32, Perl's makefile explicitly sets the default stack to
62916 MB; on most other platforms, the system default is used, which again may be
630much larger than is needed.
631
632By tuning the stack size to more accurately reflect your application's needs,
633you may significantly reduce your application's memory usage, and increase the
634number of simultaneously running threads.
635
636Note that on Windows, address space allocation granularity is 64 KB,
637therefore, setting the stack smaller than that on Win32 Perl will not save any
638more memory.
639
640=over
641
642=item threads->get_stack_size();
643
644Returns the current default per-thread stack size.  The default is zero, which
645means the system default stack size is currently in use.
646
647=item $size = $thr->get_stack_size();
648
649Returns the stack size for a particular thread.  A return value of zero
650indicates the system default stack size was used for the thread.
651
652=item $old_size = threads->set_stack_size($new_size);
653
654Sets a new default per-thread stack size, and returns the previous setting.
655
656Some platforms have a minimum thread stack size.  Trying to set the stack size
657below this value will result in a warning, and the minimum stack size will be
658used.
659
660Some Linux platforms have a maximum stack size.  Setting too large of a stack
661size will cause thread creation to fail.
662
663If needed, C<$new_size> will be rounded up to the next multiple of the memory
664page size (usually 4096 or 8192).
665
666Threads created after the stack size is set will then either call
667C<pthread_attr_setstacksize()> I<(for pthreads platforms)>, or supply the
668stack size to C<CreateThread()> I<(for Win32 Perl)>.
669
670(Obviously, this call does not affect any currently extant threads.)
671
672=item use threads ('stack_size' => VALUE);
673
674This sets the default per-thread stack size at the start of the application.
675
676=item $ENV{'PERL5_ITHREADS_STACK_SIZE'}
677
678The default per-thread stack size may be set at the start of the application
679through the use of the environment variable C<PERL5_ITHREADS_STACK_SIZE>:
680
681    PERL5_ITHREADS_STACK_SIZE=1048576
682    export PERL5_ITHREADS_STACK_SIZE
683    perl -e'use threads; print(threads->get_stack_size(), "\n")'
684
685This value overrides any C<stack_size> parameter given to C<use threads>.  Its
686primary purpose is to permit setting the per-thread stack size for legacy
687threaded applications.
688
689=item threads->create({'stack_size' => VALUE}, FUNCTION, ARGS)
690
691To specify a particular stack size for any individual thread, call
692C<-E<gt>create()> with a hash reference as the first argument:
693
694    my $thr = threads->create({'stack_size' => 32*4096},
695                              \&foo, @args);
696
697=item $thr2 = $thr1->create(FUNCTION, ARGS)
698
699This creates a new thread (C<$thr2>) that inherits the stack size from an
700existing thread (C<$thr1>).  This is shorthand for the following:
701
702    my $stack_size = $thr1->get_stack_size();
703    my $thr2 = threads->create({'stack_size' => $stack_size},
704                               FUNCTION, ARGS);
705
706=back
707
708=head1 THREAD SIGNALLING
709
710When safe signals is in effect (the default behavior - see L</"Unsafe signals">
711for more details), then signals may be sent and acted upon by individual
712threads.
713
714=over 4
715
716=item $thr->kill('SIG...');
717
718Sends the specified signal to the thread.  Signal names and (positive) signal
719numbers are the same as those supported by
720L<kill()|perlfunc/"kill SIGNAL, LIST">.  For example, 'SIGTERM', 'TERM' and
721(depending on the OS) 15 are all valid arguments to C<-E<gt>kill()>.
722
723Returns the thread object to allow for method chaining:
724
725    $thr->kill('SIG...')->join();
726
727=back
728
729Signal handlers need to be set up in the threads for the signals they are
730expected to act upon.  Here's an example for I<cancelling> a thread:
731
732    use threads;
733
734    sub thr_func
735    {
736        # Thread 'cancellation' signal handler
737        $SIG{'KILL'} = sub { threads->exit(); };
738
739        ...
740    }
741
742    # Create a thread
743    my $thr = threads->create('thr_func');
744
745    ...
746
747    # Signal the thread to terminate, and then detach
748    # it so that it will get cleaned up automatically
749    $thr->kill('KILL')->detach();
750
751Here's another simplistic example that illustrates the use of thread
752signalling in conjunction with a semaphore to provide rudimentary I<suspend>
753and I<resume> capabilities:
754
755    use threads;
756    use Thread::Semaphore;
757
758    sub thr_func
759    {
760        my $sema = shift;
761
762        # Thread 'suspend/resume' signal handler
763        $SIG{'STOP'} = sub {
764            $sema->down();      # Thread suspended
765            $sema->up();        # Thread resumes
766        };
767
768        ...
769    }
770
771    # Create a semaphore and pass it to a thread
772    my $sema = Thread::Semaphore->new();
773    my $thr = threads->create('thr_func', $sema);
774
775    # Suspend the thread
776    $sema->down();
777    $thr->kill('STOP');
778
779    ...
780
781    # Allow the thread to continue
782    $sema->up();
783
784CAVEAT:  The thread signalling capability provided by this module does not
785actually send signals via the OS.  It I<emulates> signals at the Perl-level
786such that signal handlers are called in the appropriate thread.  For example,
787sending C<$thr-E<gt>kill('STOP')> does not actually suspend a thread (or the
788whole process), but does cause a C<$SIG{'STOP'}> handler to be called in that
789thread (as illustrated above).
790
791As such, signals that would normally not be appropriate to use in the
792C<kill()> command (e.g., C<kill('KILL', $$)>) are okay to use with the
793C<-E<gt>kill()> method (again, as illustrated above).
794
795Correspondingly, sending a signal to a thread does not disrupt the operation
796the thread is currently working on:  The signal will be acted upon after the
797current operation has completed.  For instance, if the thread is I<stuck> on
798an I/O call, sending it a signal will not cause the I/O call to be interrupted
799such that the signal is acted up immediately.
800
801Sending a signal to a terminated/finished thread is ignored.
802
803=head1 WARNINGS
804
805=over 4
806
807=item Perl exited with active threads:
808
809If the program exits without all threads having either been joined or
810detached, then this warning will be issued.
811
812NOTE:  If the I<main> thread exits, then this warning cannot be suppressed
813using C<no warnings 'threads';> as suggested below.
814
815=item Thread creation failed: pthread_create returned #
816
817See the appropriate I<man> page for C<pthread_create> to determine the actual
818cause for the failure.
819
820=item Thread # terminated abnormally: ...
821
822A thread terminated in some manner other than just returning from its entry
823point function, or by using C<threads-E<gt>exit()>.  For example, the thread
824may have terminated because of an error, or by using C<die>.
825
826=item Using minimum thread stack size of #
827
828Some platforms have a minimum thread stack size.  Trying to set the stack size
829below this value will result in the above warning, and the stack size will be
830set to the minimum.
831
832=item Thread creation failed: pthread_attr_setstacksize(I<SIZE>) returned 22
833
834The specified I<SIZE> exceeds the system's maximum stack size.  Use a smaller
835value for the stack size.
836
837=back
838
839If needed, thread warnings can be suppressed by using:
840
841    no warnings 'threads';
842
843in the appropriate scope.
844
845=head1 ERRORS
846
847=over 4
848
849=item This Perl not built to support threads
850
851The particular copy of Perl that you're trying to use was not built using the
852C<useithreads> configuration option.
853
854Having threads support requires all of Perl and all of the XS modules in the
855Perl installation to be rebuilt; it is not just a question of adding the
856L<threads> module (i.e., threaded and non-threaded Perls are binary
857incompatible).
858
859=item Cannot change stack size of an existing thread
860
861The stack size of currently extant threads cannot be changed, therefore, the
862following results in the above error:
863
864    $thr->set_stack_size($size);
865
866=item Cannot signal threads without safe signals
867
868Safe signals must be in effect to use the C<-E<gt>kill()> signalling method.
869See L</"Unsafe signals"> for more details.
870
871=item Unrecognized signal name: ...
872
873The particular copy of Perl that you're trying to use does not support the
874specified signal being used in a C<-E<gt>kill()> call.
875
876=back
877
878=head1 BUGS AND LIMITATIONS
879
880Before you consider posting a bug report, please consult, and possibly post a
881message to the discussion forum to see if what you've encountered is a known
882problem.
883
884=over
885
886=item Thread-safe modules
887
888See L<perlmod/"Making your module threadsafe"> when creating modules that may
889be used in threaded applications, especially if those modules use non-Perl
890data, or XS code.
891
892=item Using non-thread-safe modules
893
894Unfortunately, you may encounter Perl modules that are not I<thread-safe>.
895For example, they may crash the Perl interpreter during execution, or may dump
896core on termination.  Depending on the module and the requirements of your
897application, it may be possible to work around such difficulties.
898
899If the module will only be used inside a thread, you can try loading the
900module from inside the thread entry point function using C<require> (and
901C<import> if needed):
902
903    sub thr_func
904    {
905        require Unsafe::Module
906        # Unsafe::Module->import(...);
907
908        ....
909    }
910
911If the module is needed inside the I<main> thread, try modifying your
912application so that the module is loaded (again using C<require> and
913C<-E<gt>import()>) after any threads are started, and in such a way that no
914other threads are started afterwards.
915
916If the above does not work, or is not adequate for your application, then file
917a bug report on L<http://rt.cpan.org/Public/> against the problematic module.
918
919=item Memory consumption
920
921On most systems, frequent and continual creation and destruction of threads
922can lead to ever-increasing growth in the memory footprint of the Perl
923interpreter.  While it is simple to just launch threads and then
924C<-E<gt>join()> or C<-E<gt>detach()> them, for long-lived applications, it is
925better to maintain a pool of threads, and to reuse them for the work needed,
926using L<queues|Thread::Queue> to notify threads of pending work.  The CPAN
927distribution of this module contains a simple example
928(F<examples/pool_reuse.pl>) illustrating the creation, use and monitoring of a
929pool of I<reusable> threads.
930
931=item Current working directory
932
933On all platforms except MSWin32, the setting for the current working directory
934is shared among all threads such that changing it in one thread (e.g., using
935C<chdir()>) will affect all the threads in the application.
936
937On MSWin32, each thread maintains its own the current working directory
938setting.
939
940=item Environment variables
941
942Currently, on all platforms except MSWin32, all I<system> calls (e.g., using
943C<system()> or back-ticks) made from threads use the environment variable
944settings from the I<main> thread.  In other words, changes made to C<%ENV> in
945a thread will not be visible in I<system> calls made by that thread.
946
947To work around this, set environment variables as part of the I<system> call.
948For example:
949
950    my $msg = 'hello';
951    system("FOO=$msg; echo \$FOO");   # Outputs 'hello' to STDOUT
952
953On MSWin32, each thread maintains its own set of environment variables.
954
955=item Catching signals
956
957Signals are I<caught> by the main thread (thread ID = 0) of a script.
958Therefore, setting up signal handlers in threads for purposes other than
959L</"THREAD SIGNALLING"> as documented above will not accomplish what is
960intended.
961
962This is especially true if trying to catch C<SIGALRM> in a thread.  To handle
963alarms in threads, set up a signal handler in the main thread, and then use
964L</"THREAD SIGNALLING"> to relay the signal to the thread:
965
966  # Create thread with a task that may time out
967  my $thr = threads->create(sub {
968      threads->yield();
969      eval {
970          $SIG{ALRM} = sub { die("Timeout\n"); };
971          alarm(10);
972          ...  # Do work here
973          alarm(0);
974      };
975      if ($@ =~ /Timeout/) {
976          warn("Task in thread timed out\n");
977      }
978  };
979
980  # Set signal handler to relay SIGALRM to thread
981  $SIG{ALRM} = sub { $thr->kill('ALRM') };
982
983  ... # Main thread continues working
984
985=item Parent-child threads
986
987On some platforms, it might not be possible to destroy I<parent> threads while
988there are still existing I<child> threads.
989
990=item Creating threads inside special blocks
991
992Creating threads inside C<BEGIN>, C<CHECK> or C<INIT> blocks should not be
993relied upon.  Depending on the Perl version and the application code, results
994may range from success, to (apparently harmless) warnings of leaked scalar, or
995all the way up to crashing of the Perl interpreter.
996
997=item Unsafe signals
998
999Since Perl 5.8.0, signals have been made safer in Perl by postponing their
1000handling until the interpreter is in a I<safe> state.  See
1001L<perl58delta/"Safe Signals"> and L<perlipc/"Deferred Signals (Safe Signals)">
1002for more details.
1003
1004Safe signals is the default behavior, and the old, immediate, unsafe
1005signalling behavior is only in effect in the following situations:
1006
1007=over 4
1008
1009=item * Perl has been built with C<PERL_OLD_SIGNALS> (see C<perl -V>).
1010
1011=item * The environment variable C<PERL_SIGNALS> is set to C<unsafe>
1012(see L<perlrun/"PERL_SIGNALS">).
1013
1014=item * The module L<Perl::Unsafe::Signals> is used.
1015
1016=back
1017
1018If unsafe signals is in effect, then signal handling is not thread-safe, and
1019the C<-E<gt>kill()> signalling method cannot be used.
1020
1021=item Returning closures from threads
1022
1023Returning closures from threads should not be relied upon.  Depending on the
1024Perl version and the application code, results may range from success, to
1025(apparently harmless) warnings of leaked scalar, or all the way up to crashing
1026of the Perl interpreter.
1027
1028=item Returning objects from threads
1029
1030Returning objects from threads does not work.  Depending on the classes
1031involved, you may be able to work around this by returning a serialized
1032version of the object (e.g., using L<Data::Dumper> or L<Storable>), and then
1033reconstituting it in the joining thread.  If you're using Perl 5.10.0 or
1034later, and if the class supports L<shared objects|threads::shared/"OBJECTS">,
1035you can pass them via L<shared queues|Thread::Queue>.
1036
1037=item END blocks in threads
1038
1039It is possible to add L<END blocks|perlmod/"BEGIN, UNITCHECK, CHECK, INIT and
1040END"> to threads by using L<require|perlfunc/"require VERSION"> or
1041L<eval|perlfunc/"eval EXPR"> with the appropriate code.  These C<END> blocks
1042will then be executed when the thread's interpreter is destroyed (i.e., either
1043during a C<-E<gt>join()> call, or at program termination).
1044
1045However, calling any L<threads> methods in such an C<END> block will most
1046likely I<fail> (e.g., the application may hang, or generate an error) due to
1047mutexes that are needed to control functionality within the L<threads> module.
1048
1049For this reason, the use of C<END> blocks in threads is B<strongly>
1050discouraged.
1051
1052=item Open directory handles
1053
1054In perl 5.14 and higher, on systems other than Windows that do
1055not support the C<fchdir> C function, directory handles (see
1056L<opendir|perlfunc/"opendir DIRHANDLE,EXPR">) will not be copied to new
1057threads. You can use the C<d_fchdir> variable in L<Config.pm|Config> to
1058determine whether your system supports it.
1059
1060In prior perl versions, spawning threads with open directory handles would
1061crash the interpreter.
1062L<[perl #75154]|http://rt.perl.org/rt3/Public/Bug/Display.html?id=75154>
1063
1064=item Perl Bugs and the CPAN Version of L<threads>
1065
1066Support for threads extends beyond the code in this module (i.e.,
1067F<threads.pm> and F<threads.xs>), and into the Perl interpreter itself.  Older
1068versions of Perl contain bugs that may manifest themselves despite using the
1069latest version of L<threads> from CPAN.  There is no workaround for this other
1070than upgrading to the latest version of Perl.
1071
1072Even with the latest version of Perl, it is known that certain constructs
1073with threads may result in warning messages concerning leaked scalars or
1074unreferenced scalars.  However, such warnings are harmless, and may safely be
1075ignored.
1076
1077You can search for L<threads> related bug reports at
1078L<http://rt.cpan.org/Public/>.  If needed submit any new bugs, problems,
1079patches, etc. to: L<http://rt.cpan.org/Public/Dist/Display.html?Name=threads>
1080
1081=back
1082
1083=head1 REQUIREMENTS
1084
1085Perl 5.8.0 or later
1086
1087=head1 SEE ALSO
1088
1089L<threads> Discussion Forum on CPAN:
1090L<http://www.cpanforum.com/dist/threads>
1091
1092L<threads::shared>, L<perlthrtut>
1093
1094L<http://www.perl.com/pub/a/2002/06/11/threads.html> and
1095L<http://www.perl.com/pub/a/2002/09/04/threads.html>
1096
1097Perl threads mailing list:
1098L<http://lists.perl.org/list/ithreads.html>
1099
1100Stack size discussion:
1101L<http://www.perlmonks.org/?node_id=532956>
1102
1103=head1 AUTHOR
1104
1105Artur Bergman E<lt>sky AT crucially DOT netE<gt>
1106
1107CPAN version produced by Jerry D. Hedden <jdhedden AT cpan DOT org>
1108
1109=head1 LICENSE
1110
1111threads is released under the same license as Perl.
1112
1113=head1 ACKNOWLEDGEMENTS
1114
1115Richard Soderberg E<lt>perl AT crystalflame DOT netE<gt> -
1116Helping me out tons, trying to find reasons for races and other weird bugs!
1117
1118Simon Cozens E<lt>simon AT brecon DOT co DOT ukE<gt> -
1119Being there to answer zillions of annoying questions
1120
1121Rocco Caputo E<lt>troc AT netrus DOT netE<gt>
1122
1123Vipul Ved Prakash E<lt>mail AT vipul DOT netE<gt> -
1124Helping with debugging
1125
1126Dean Arnold E<lt>darnold AT presicient DOT comE<gt> -
1127Stack size API
1128
1129=cut
1130