Race condition in `space_split_mapper()` ?
Shouldn't line 1256 of space.c in function space_split_mapper()
, i.e. the line
if (c->depth > s->maxdepth) s->maxdepth = c->depth;
be protected against concurrent access from different threads in the pool ?