add force_finalize and reregister_exit_handler to user module

Author: AndreasGocht

scorep/_instrumenters/base_instrumenter.py

@@ -64,3 +64,11 @@ def user_parameter_uint(self, name, val):
     @abc.abstractmethod
     def user_parameter_string(self, name, string):
         pass
+
+    @abc.abstractmethod
+    def force_finalize(self):
+        pass
+
+    @abc.abstractmethod
+    def reregister_exit_handler(self):
+        pass

scorep/_instrumenters/dummy.py

@@ -55,3 +55,9 @@ def user_parameter_uint(self, name, val):
 
     def user_parameter_string(self, name, string):
         pass
+
+    def force_finalize(self):
+        pass
+
+    def reregister_exit_handler(self):
+        pass

scorep/_instrumenters/scorep_instrumenter.py

@@ -119,3 +119,9 @@ def user_parameter_uint(self, name, val):
     def user_parameter_string(self, name, string):
         """Record a parameter of type string"""
         scorep._bindings.parameter_string(name, string)
+
+    def force_finalize(self):
+        scorep._bindings.force_finalize()
+
+    def reregister_exit_handler(self):
+        scorep._bindings.reregister_exit_handler()

scorep/user.py

@@ -190,3 +190,18 @@ def parameter_uint(name, val):
 
 def parameter_string(name, string):
     scorep.instrumenter.get_instrumenter().user_parameter_string(name, string)
+
+
+def force_finalize():
+    """
+    Forces a finalisation, which might trigger traces or profiles to be written.
+    Events after a call to @force_finalize() might not be recorded.
+    """
+    scorep.instrumenter.get_instrumenter().force_finalize()
+
+
+def reregister_exit_handler():
+    """
+    Registers necessary atexit handler again if they have been overwritten.
+    """
+    scorep.instrumenter.get_instrumenter().reregister_exit_handler()