Searched refs:tp_index_ (Results 1 – 2 of 2) sorted by relevance
42 std::unordered_map<std::thread::id, ThreadPool*> ThreadPool::tp_index_; member in tiledb::common::ThreadPool404 tp_index_[thread.get_id()] = this; in add_tp_index()410 tp_index_.erase(thread.get_id()); in remove_tp_index()415 if (tp_index_.count(tid) == 1) in lookup_tp()416 return tp_index_[tid]; in lookup_tp()
326 static std::unordered_map<std::thread::id, ThreadPool*> tp_index_; variable