From 65f4666063ebd8207bf09f528797467c5a30fd9d Mon Sep 17 00:00:00 2001 From: jackpoz Date: Sun, 19 Nov 2017 20:23:00 +0100 Subject: Dep/Jemalloc: Update to Jemalloc 5.0.1 (cherry picked from commit 92cd9bd70db460fdce4af0596cf9d8ee3c3abad5) --- dep/jemalloc/src/mutex_pool.c | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 dep/jemalloc/src/mutex_pool.c (limited to 'dep/jemalloc/src/mutex_pool.c') diff --git a/dep/jemalloc/src/mutex_pool.c b/dep/jemalloc/src/mutex_pool.c new file mode 100644 index 00000000000..f24d10e44a8 --- /dev/null +++ b/dep/jemalloc/src/mutex_pool.c @@ -0,0 +1,18 @@ +#define JEMALLOC_MUTEX_POOL_C_ + +#include "jemalloc/internal/jemalloc_preamble.h" +#include "jemalloc/internal/jemalloc_internal_includes.h" + +#include "jemalloc/internal/mutex.h" +#include "jemalloc/internal/mutex_pool.h" + +bool +mutex_pool_init(mutex_pool_t *pool, const char *name, witness_rank_t rank) { + for (int i = 0; i < MUTEX_POOL_SIZE; ++i) { + if (malloc_mutex_init(&pool->mutexes[i], name, rank, + malloc_mutex_address_ordered)) { + return true; + } + } + return false; +} -- cgit v1.2.3