From ab3aa44758ed7bcc9c0ec8b2a35d2b6b72df01d7 Mon Sep 17 00:00:00 2001
From: Simon Byrne <simonbyrne@gmail.com>
Date: Thu, 8 Nov 2018 14:04:36 -0800
Subject: [PATCH] Add pid to malloc log
---
.gitignore | 1 +
src/codegen.cpp | 5 ++++-
2 files changed, 5 insertions(+), 1 deletion(-)
diff --git a/.gitignore b/.gitignore
index fb15ec0dbb5a2..3cbb42a1efd13 100644
--- 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
index 3c2c6252bca63..fcbfd2deb12c2 100644
--- 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 ---