>> You think MariaDB would choose jemalloc if it wasn't efficient in memory use?

I don't think this is a smart way of choosing an allocator.