Add pid to malloc log

JuliaLang · Nov 19, 2018 · ab3aa44 · ab3aa44
1 parent ff74f6b
commit ab3aa44
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -23,6 +23,7 @@
 *.jl.cov
 *.jl.*.cov
 *.jl.mem
+*.jl.*.mem
 *.ji
 
 /perf*

diff --git a/src/codegen.cpp b/src/codegen.cpp
@@ -1744,7 +1744,10 @@ extern "C" void jl_write_coverage_data(void)
 
 extern "C" void jl_write_malloc_log(void)
 {
-    write_log_data(mallocData, ".mem");
+    std::ostringstream stm;
+    stm << jl_getpid();
+    std::string outf = "." + stm.str() + ".mem";
+    write_log_data(mallocData, outf.c_str());
 }
 
 // --- constant determination ---