- xbt_os_thread_bind(this->workers[i], core_bind);
- if (core_bind != xbt_os_get_numcores() - 1)
+ pthread_t pthread = this->workers[i]->native_handle();
+ cpu_set_t cpuset;
+ CPU_ZERO(&cpuset);
+ CPU_SET(core_bind, &cpuset);
+ pthread_setaffinity_np(pthread, sizeof(cpu_set_t), &cpuset);
+ if (core_bind != std::thread::hardware_concurrency() - 1)