#include "private.h"
#include "private.hpp"
-#include "smpi/smpi_shared_malloc.hpp"
#include "xbt/dict.h"
#include "xbt/ex.hpp"
#include <errno.h>
return filename_length == that.filename_length && line == that.line &&
std::memcmp(filename, that.filename, filename_length) == 0;
}
- bool operator!=(smpi_source_location const& that) const { return !(*this == that); }
+ bool operator!=(smpi_source_location const& that) const { return not(*this == that); }
};
}
char *huge_page_mount_point = xbt_cfg_get_string("smpi/shared-malloc-hugepage");
bool use_huge_page = huge_page_mount_point[0] != '\0';
#ifndef MAP_HUGETLB /* If the system header don't define that mmap flag */
- xbt_assert(!use_huge_page, "Huge pages are not available on your system, you cannot use the smpi/shared-malloc-hugepage option.");
- use_huge_page = 0;
+ xbt_assert(not use_huge_page,
+ "Huge pages are not available on your system, you cannot use the smpi/shared-malloc-hugepage option.");
+ use_huge_page = 0;
#endif
smpi_shared_malloc_blocksize = static_cast<unsigned long>(xbt_cfg_get_double("smpi/shared-malloc-blocksize"));
void *mem, *allocated_ptr;