- // What is my containing body?
- uintptr_t worker_id = threads_working_.fetch_add(1, std::memory_order_relaxed);
- // Store the number of my containing body in os-thread-specific area :
- xbt_os_thread_set_specific(worker_id_key_, reinterpret_cast<void*>(worker_id));
+ // What is my containing body? Store its number in os-thread-specific area :
+ worker_id_ = threads_working_.fetch_add(1, std::memory_order_relaxed);