Statistics for High-Performance Concurrent Memory Allocation