From 5d156927ff153c63561452dbb7411ed771f2d294 Mon Sep 17 00:00:00 2001
From: Dominic Kempf <dominic.kempf@iwr.uni-heidelberg.de>
Date: Mon, 4 Dec 2017 10:06:42 +0100
Subject: [PATCH] Use high_resolution_clock instead of PID for csv naming
We run ut of PIDs during a typical run on KNL.
---
python/dune/perftool/pdelab/driver/timings.py | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/python/dune/perftool/pdelab/driver/timings.py b/python/dune/perftool/pdelab/driver/timings.py
index 5c43a67a..d003c1c6 100644
--- a/python/dune/perftool/pdelab/driver/timings.py
+++ b/python/dune/perftool/pdelab/driver/timings.py
@@ -56,10 +56,10 @@ def define_timing_stream(name):
include_file('fstream', filetag='driver', system=True)
include_file('sstream', filetag='driver', system=True)
include_file('sys/types.h', filetag='driver', system=True)
- include_file('unistd.h', filetag='driver', system=True)
+ include_file('chrono', filetag='driver', system=True)
return ["std::stringstream ss;",
- "ss << \"{}/timings-rank-\" << {}.rank() << \"-pid-\" << getpid() << \".csv\";".format(get_option('project_basedir'), name_mpihelper()),
+ "ss << \"{}/timings-rank-\" << {}.rank() << \"-\" << std::chrono::high_resolution_clock::now().time_since_epoch().count() << \".csv\";".format(get_option('project_basedir'), name_mpihelper()),
"std::ofstream {};".format(name),
"{}.open(ss.str(), std::ios_base::app);".format(name),
]
--
GitLab