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