Changeset f63b13 in git for dyn_modules/syzextra/mod_main.cc

Timestamp:

Feb 12, 2013, 6:38:23 PM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

787ec4ed0bff77b2fd30601d7e99562b7f71fb7a

Parents:

643877cb2b7ba9e8b5c640ed05630fa816f821a0

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2013-02-12 18:38:23+01:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2013-02-13 17:13:27+01:00

Message:

Optional starting of Google Profiler

NOTE: also needs to link with -lprofiler (google tools)

NOTE: with the use of schreyer.lib: use ProfilerStart(file_name)/ProfilerStop()

File:

• dyn_modules/syzextra/mod_main.cc (modified) (5 diffs)

dyn_modules/syzextra/mod_main.cc

@@ -31 +31 @@
 #include "DebugPrint.h"
 #include "myNF.h"
+
+#ifdef HAVE_GOOGLE_PROFILER
+#include <google/profiler.h>
+#endif // HAVE_GOOGLE_PROFILER  
+
+
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+
 
 extern void pISUpdateComponents(ideal F, const intvec *const V, const int MIN, const ring r);
@@ -158 +168 @@
 }
 
-BOOLEAN noop(leftv __res, leftv /*__v*/)
+static BOOLEAN noop(leftv __res, leftv /*__v*/)
 {
   NoReturn(__res);
@@ -164 +174 @@
 }
 
+static BOOLEAN _ProfilerStart(leftv __res, leftv h)
+{
+  NoReturn(__res);
+#ifdef HAVE_GOOGLE_PROFILER
+  if( h!= NULL && h->Typ() == STRING_CMD )
+  {
+    const char* name = (char*)(h->Data());
+    assume( name != NULL );   
+    ProfilerStart(name);
+  } else
+    WerrorS("ProfilerStart requires a string [name] argument"); 
+#else
+  WarnS("Sorry no google profiler support (undefined HAVE_GOOGLE_PROFILER)...");
+//  return TRUE; // ?
+#endif // #ifdef HAVE_GOOGLE_PROFILER
+  return FALSE;
+  (void)h;
+}
+static BOOLEAN _ProfilerStop(leftv __res, leftv /*__v*/)
+{
+  NoReturn(__res);
+#ifdef HAVE_GOOGLE_PROFILER
+  ProfilerStop();
+#else
+  WarnS("Sorry no google profiler support (undefined HAVE_GOOGLE_PROFILER)...");
+//  return TRUE; // ?
+#endif // #ifdef HAVE_GOOGLE_PROFILER
+  return FALSE;
+}
 
 static inline number jjLONG2N(long d)
@@ -976 +1015 @@
   ADD(psModulFunctions, currPack->libname, "Tail", FALSE, Tail);
 
-
   ADD(psModulFunctions, currPack->libname, "ISUpdateComponents", FALSE, ISUpdateComponents);
   ADD(psModulFunctions, currPack->libname, "SetInducedReferrence", FALSE, SetInducedReferrence);
@@ -983 +1021 @@
   ADD(psModulFunctions, currPack->libname, "MakeInducedSchreyerOrdering", FALSE, MakeInducedSchreyerOrdering);
   ADD(psModulFunctions, currPack->libname, "MakeSyzCompOrdering", FALSE, MakeSyzCompOrdering);
+
+  ADD(psModulFunctions, currPack->libname, "ProfilerStart", FALSE, _ProfilerStart); ADD(psModulFunctions, currPack->libname, "ProfilerStop",  FALSE, _ProfilerStop );
   
   ADD(psModulFunctions, currPack->libname, "noop", FALSE, noop);
- 
   ADD(psModulFunctions, currPack->libname, "idPrepare", FALSE, idPrepare);
   ADD(psModulFunctions, currPack->libname, "reduce_syz", FALSE, reduce_syz);