Changeset 2ded87 in git for Singular/dyn_modules/syzextra/syzextra.h

Timestamp:

Nov 13, 2014, 11:38:57 PM (9 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '4bd32dfef92ec9f5ed8dceee82d14318ae147107')

Children:

85bd2a6af0f0dbc2125e835be461c105507f8e55

Parents:

13079719da06e518c20fdb2a9e05c26bff4e8cf4

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-11-13 23:38:57+01:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-11-17 20:53:53+01:00

Message:

Added statistic counting to Syzygy computation inside syzextra

added: a macro RTIMER_BENCHMARKING which if option(prot) will cause the output of timestamps around the most important calls

File:

• Singular/dyn_modules/syzextra/syzextra.h (modified) (6 diffs)

Singular/dyn_modules/syzextra/syzextra.h

@@ -19 +19 @@
 #include <vector>
 #include <map>
+#include <string.h>
 
 // include basic definitions
@@ -264 +265 @@
         m_sum_bucket(NULL), m_spoly_bucket(NULL)
     {
+      if( __PROT__ ) memset( &m_stat, 0, sizeof(m_stat) );
     }
 
@@ -275 +277 @@
         m_sum_bucket(NULL), m_spoly_bucket(NULL)
     {
+      if( __PROT__ ) memset( &m_stat, 0, sizeof(m_stat) );
+      
       if( __TAILREDSYZ__ && !__IGNORETAILS__)
       {
@@ -291 +295 @@
     void SetUpTailTerms();
 
+    /// print statistics about the used heuristics
+    void PrintStats() const;
+
     /// Read off the results while detaching them from this object
     /// NOTE: no copy!
@@ -298 +305 @@
 
       m_syzLeads = m_syzTails = NULL; // m_LS ?
+      
+      if ( __PROT__ )
+        PrintStats();
     }
+
 
     /// The main driver function: computes
@@ -401 +412 @@
 };
 
+   
+    /// Statistics:
+    ///  0..3: as in SetUpTailTerms()::PreProcessTerm() // TODO!!??
+    ///  4: number of terms discarded due to LOT heuristics
+    ///  5: number of terms discarded due to LCM heuristics
+    ///  6, 7: lookups without & with rescale, 8: stores
+    mutable unsigned long m_stat[9];
+};
 
 // The following wrappers are just for testing separate functions on highest level (within schreyer.lib)