Apply the default settings of 'smpi/buffering' too

[simgrid.git] / src / xbt / mallocator_private.h

diff --git a/src/xbt/mallocator_private.h b/src/xbt/mallocator_private.h
index a69e26d..77f9149 100644 (file)
--- a/src/xbt/mallocator_private.h
+++ b/src/xbt/mallocator_private.h
@@ -1,6 +1,6 @@
 /* mallocator - recycle objects to avoid malloc() / free()                  */
 
-/* Copyright (c) 2006-2017. The SimGrid Team. All rights reserved.          */
+/* Copyright (c) 2006-2019. The SimGrid Team. All rights reserved.          */
 
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
@@ -8,6 +8,7 @@
 #ifndef XBT_MALLOCATOR_PRIVATE_H
 #define XBT_MALLOCATOR_PRIVATE_H
 
+#include <stdatomic.h>
 #include <xbt/function_types.h>
 
 typedef struct s_xbt_mallocator {
@@ -17,7 +18,7 @@ typedef struct s_xbt_mallocator {
   pvoid_f_void_t new_f;         /* function to call when we are running out of objects */
   void_f_pvoid_t free_f;        /* function to call when we have got too many objects */
   void_f_pvoid_t reset_f;       /* function to call when an object is released by the user */
-  int lock;                     /* lock to ensure the mallocator is thread-safe */
+  atomic_flag lock;             /* lock to ensure the mallocator is thread-safe */
 } s_xbt_mallocator_t;
 
 #endif