Feature: assign unique ids to identified patterns

discopop_explorer/discopop_explorer.py

@@ -144,6 +144,10 @@ def run(arguments: ExplorerArguments):
     # create explorer directory if not already present
     if not os.path.exists(os.path.join(arguments.project_path, "explorer")):
         os.mkdir(os.path.join(arguments.project_path, "explorer"))
+    # create file to store next free pattern ids if not already present
+    if not os.path.exists("next_free_pattern_id.txt"):
+        with open("next_free_pattern_id.txt", "w") as f:
+            f.write(str(0))
 
     if arguments.enable_profiling_dump_file is not None:
         profile = cProfile.Profile()

discopop_explorer/pattern_detectors/PatternInfo.py

@@ -6,6 +6,7 @@
 # the 3-Clause BSD License.  See the LICENSE file in the package base
 # directory for details.
 import json
+import os
 from typing import Optional
 
 from ..PETGraphX import LoopNode, Node, NodeID, LineID, PETGraphX
@@ -15,6 +16,7 @@
 class PatternInfo(object):
     """Base class for pattern detection info"""
 
+    pattern_id: int
     _node: Node
     node_id: NodeID
     start_line: LineID
@@ -31,6 +33,19 @@ def __init__(self, node: Node):
         """
         :param node: node, where pipeline was detected
         """
+        # use blocking file i/o to synchronize threads
+        with open(os.path.join(os.getcwd(), "next_free_pattern_id.txt"), "r+") as f:
+            lines = f.readlines()
+            f.truncate(0)
+            f.seek(0)
+            if len(lines) == 0:
+                self.pattern_id = 0
+                f.write(str(0))
+            else:
+                for line in lines:
+                    line = line.replace("\n", "").replace("\x00", "")
+                    self.pattern_id = int(line)
+                    f.write(str(self.pattern_id + 1))
         self._node = node
         self.node_id = node.id
         self.start_line = node.start_position()