5 #include "rpc/poll_mgr.h"
9 std::map<thread::id, int> thread_name_map;
10 std::map<const void *, int> instance_name_map;
14 int next_thread_num = 0;
15 int next_instance_num = 0;
17 char log_thread_prefix;
19 std::mutex handle_cache_mutex;
20 std::map<string, shared_ptr<class rpcc>> handle_cache;
22 shared_ptr<class rpcc> get_handle(const string & destination);
23 void erase_handle(const string & destination);
25 std::mt19937_64 random_generator;
27 t4_state(char log_prefix = ' ');
31 extern t4_state *global;