17 class thread_handle;
18 boost::shared_ptr<thread_handle> create_thread( boost::function<void()> const & f );
19 void join( thread_handle & t );
22 thread_handle  class
24     thread_handle( thread_handle const & );
25     thread_handle & operator=( thread_handle const & );
46     thread_handle( boost::function<void()> const & f ):  in thread_handle()  function in thread_handle
51     friend boost::shared_ptr<thread_handle> create_thread( boost::function<void()> const & f );
52     friend void join( thread_handle & t );
55 boost::shared_ptr<thread_handle>
58     boost::shared_ptr<thread_handle> t( new thread_handle(f) );  in create_thread()
63 join( thread_handle & t )  in join()
109 check( boost::shared_ptr<thread_handle> const & t )  in check()
130         std::vector< boost::shared_ptr<thread_handle> > threads;  in main()