Add pid to malloc log (#29969)

JuliaLang · Nov 26, 2018 · 58c0ed5 · 58c0ed5 · nanosoldier · Nov 27, 2018
1 parent a836064
commit 58c0ed5
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 ---