tsan: better memory profiler