package Thread; require Exporter; use XSLoader (); our($VERSION, @ISA, @EXPORT); $VERSION = "1.0"; @ISA = qw(Exporter); @EXPORT_OK = qw(yield cond_signal cond_broadcast cond_wait async); =head1 NAME Thread - manipulate threads in Perl (EXPERIMENTAL, subject to change) =head1 CAVEAT The Thread extension requires Perl to be built in a particular way to enable the older 5.005 threading model. Just to confuse matters, there is an alternate threading model known as "ithreads" that does NOT support this extension. If you are using a binary distribution such as ActivePerl that is built with ithreads support, this extension CANNOT be used. =head1 SYNOPSIS use Thread; my $t = new Thread \&start_sub, @start_args; $result = $t->join; $result = $t->eval; $t->detach; if($t->equal($another_thread)) { # ... } my $tid = Thread->self->tid; my $tlist = Thread->list; lock($scalar); yield(); use Thread 'async'; =head1 DESCRIPTION WARNING: Threading is an experimental feature. Both the interface and implementation are subject to change drastically. In fact, this documentation describes the flavor of threads that was in version 5.005. Perl 5.6.0 and later have the beginnings of support for interpreter threads, which (when finished) is expected to be significantly different from what is described here. The information contained here may therefore soon be obsolete. Use at your own risk! The C module provides multithreading support for perl. =head1 FUNCTIONS =over 8 =item new \&start_sub =item new \&start_sub, LIST C starts a new thread of execution in the referenced subroutine. The optional list is passed as parameters to the subroutine. Execution continues in both the subroutine and the code after the C call. C returns a thread object representing the newly created thread. =item lock VARIABLE C places a lock on a variable until the lock goes out of scope. If the variable is locked by another thread, the C call will block until it's available. C is recursive, so multiple calls to C are safe--the variable will remain locked until the outermost lock on the variable goes out of scope. Locks on variables only affect C calls--they do I affect normal access to a variable. (Locks on subs are different, and covered in a bit) If you really, I want locks to block access, then go ahead and tie them to something and manage this yourself. This is done on purpose. While managing access to variables is a good thing, perl doesn't force you out of its living room... If a container object, such as a hash or array, is locked, all the elements of that container are not locked. For example, if a thread does a C, any other thread doing a C won't block. You may also C a sub, using C. Any calls to that sub from another thread will block until the lock is released. This behaviour is not equivalent to declaring the sub with the C attribute. The C attribute serializes access to a subroutine, but allows different threads non-simultaneous access. C, on the other hand, will not allow I other thread access for the duration of the lock. Finally, C will traverse up references exactly I level. C is equivalent to C, while C is not. =item async BLOCK; C creates a thread to execute the block immediately following it. This block is treated as an anonymous sub, and so must have a semi-colon after the closing brace. Like C, C returns a thread object. =item Thread->self The Cself> function returns a thread object that represents the thread making the Cself> call. =item Thread->list Clist> returns a list of thread objects for all running and finished but un-Ced threads. =item cond_wait VARIABLE The C function takes a B variable as a parameter, unlocks the variable, and blocks until another thread does a C or C for that same locked variable. The variable that C blocked on is relocked after the C is satisfied. If there are multiple threads Cing on the same variable, all but one will reblock waiting to reaquire the lock on the variable. (So if you're only using C for synchronization, give up the lock as soon as possible) =item cond_signal VARIABLE The C function takes a locked variable as a parameter and unblocks one thread that's Cing on that variable. If more than one thread is blocked in a C on that variable, only one (and which one is indeterminate) will be unblocked. If there are no threads blocked in a C on the variable, the signal is discarded. =item cond_broadcast VARIABLE The C function works similarly to C. C, though, will unblock B the threads that are blocked in a C on the locked variable, rather than only one. =item yield The C function allows another thread to take control of the CPU. The exact results are implementation-dependent. =back =head1 METHODS =over 8 =item join C waits for a thread to end and returns any values the thread exited with. C will block until the thread has ended, though it won't block if the thread has already terminated. If the thread being Ced Cd, the error it died with will be returned at this time. If you don't want the thread performing the C to die as well, you should either wrap the C in an C or use the C thread method instead of C. =item eval The C method wraps an C around a C, and so waits for a thread to exit, passing along any values the thread might have returned. Errors, of course, get placed into C<$@>. =item detach C tells a thread that it is never going to be joined i.e. that all traces of its existence can be removed once it stops running. Errors in detached threads will not be visible anywhere - if you want to catch them, you should use $SIG{__DIE__} or something like that. =item equal C tests whether two thread objects represent the same thread and returns true if they do. =item tid The C method returns the tid of a thread. The tid is a monotonically increasing integer assigned when a thread is created. The main thread of a program will have a tid of zero, while subsequent threads will have tids assigned starting with one. =back =head1 LIMITATIONS The sequence number used to assign tids is a simple integer, and no checking is done to make sure the tid isn't currently in use. If a program creates more than 2^32 - 1 threads in a single run, threads may be assigned duplicate tids. This limitation may be lifted in a future version of Perl. =head1 SEE ALSO L, L, L, L. =cut # # Methods # # # Exported functions # sub async (&) { return new Thread $_[0]; } sub eval { return eval { shift->join; }; } XSLoader::load 'Thread'; 1;