Support returning actual peak-memory instead of reverting to current …

…usage
u-u-h · Sep 25, 2013 · 37dc6c6 · 37dc6c6
1 parent cd3a2d6
commit 37dc6c6
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/minisat/utils/System.cc b/minisat/utils/System.cc
@@ -67,9 +67,9 @@ static inline int memReadPeak(void)
 }
 
 double Minisat::memUsed() { return (double)memReadStat(0) * (double)getpagesize() / (1024*1024); }
-double Minisat::memUsedPeak() { 
-    double peak = memReadPeak() / 1024;
-    return peak == 0 ? memUsed() : peak; }
+double Minisat::memUsedPeak(bool strictlyPeak) { 
+    double peak = memReadPeak() / (double)1024;
+    return peak == 0 && !strictlyPeak ? memUsed() : peak; }
 
 #elif defined(__FreeBSD__) || defined(__FreeBSD_kernel__) || defined(__gnu_hurd__)
 

diff --git a/minisat/utils/System.h b/minisat/utils/System.h
@@ -34,7 +34,7 @@ namespace Minisat {
 static inline double cpuTime(void); // CPU-time in seconds.
 
 extern double memUsed();            // Memory in mega bytes (returns 0 for unsupported architectures).
-extern double memUsedPeak();        // Peak-memory in mega bytes (returns 0 for unsupported architectures).
+extern double memUsedPeak(bool strictlyPeak = false); // Peak-memory in mega bytes (returns 0 for unsupported architectures).
 
 extern void   setX86FPUPrecision(); // Make sure double's are represented with the same precision
                                     // in memory and registers.