unsigned int core_bind = 0;
for (unsigned i = 1; i < num_workers; i++) {
ThreadData* data = new ThreadData(*this, i);
- this->workers[i] = xbt_os_thread_create(nullptr, worker_main, data, nullptr);
+ this->workers[i] = xbt_os_thread_create(nullptr, worker_main, data);
xbt_os_thread_bind(this->workers[i], core_bind);
if (core_bind != std::thread::hardware_concurrency() - 1)
core_bind++;