I was hopping that it will help the msg-dht-parallel test that is
broken since a few days, but it's not sufficient. Will see what TSan
has to say next night.
#include "src/instr/instr_private.h"
#include "src/msg/msg_private.h"
+#include <atomic>
+
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(instr_msg, instr, "MSG instrumentation");
void TRACE_msg_set_task_category(msg_task_t task, const char *category)
/* MSG_task_create related function*/
void TRACE_msg_task_create(msg_task_t task)
{
- static long long counter = 0;
+ static std::atomic_ullong counter{0};
task->counter = counter++;
task->category = nullptr;