ThreadSanitizer: destroy of a locked mutex
WARNING: ThreadSanitizer: destroy of a locked mutex (pid=6790)
#0 pthread_mutex_destroy /b/worker/clang-craystable-x86/build/src/compiler-rt/lib/tsan/rtl/tsan_interceptors_posix.cpp:1275 (core_bench+0x2ab986)
#1 mstro_ofi__msg_context_destroy /cray/css/users/chaine/projects/maestro/maestro-core/maestro/ofi.c:1971 (libmaestro.so.0+0x12e5ae)
#2 mstro_ofi__select_endpoint /cray/css/users/chaine/projects/maestro/maestro-core/maestro/ofi.c:2147 (libmaestro.so.0+0x12d83b)
#3 mstro_pm_attach /cray/css/users/chaine/projects/maestro/maestro-core/maestro/ofi.c:2924 (libmaestro.so.0+0x12fb74)
#4 mstro_pool__connect_to_pm /cray/css/users/chaine/projects/maestro/maestro-core/maestro/pool.c:646 (libmaestro.so.0+0xf93c9)
#5 mstro_pool_init /cray/css/users/chaine/projects/maestro/maestro-core/maestro/pool.c:668 (libmaestro.so.0+0xf9357)
#6 mstro_core_init /cray/css/users/chaine/projects/maestro/maestro-core/maestro/core.c:336 (libmaestro.so.0+0xe2704)
#7 mstro_init /cray/css/users/chaine/projects/maestro/maestro-core/maestro/init.c:98 (libmaestro.so.0+0xe3090)
#8 main /home/users/chaine/debug/jsc_33/core_benchmark.c:291 (core_bench+0x3084c7)
I cannot reproduce this on devel (d3.3-33-gf6904655) on macos, or on a debian VM.