+ const std::string &get_name() const { return name_; }
+
+ /** Indicates whether the thread has finished running. */
+ bool is_finished() { return state_>=FINISHED; }
+
+ /** Waits for the thread to exit. Calling this from the thread will cause a
+ deadlock. */