benchmark generation WiP

2 files changed, 43 insertions, 21 deletions

diff --git a/lib/harness.py b/lib/harness.py
index 2705193..ade42d6 100644
--- a/lib/harness.py
+++ b/lib/harness.py
@@ -3,6 +3,7 @@ Harnesses for various types of benchmark logs.
 
 tbd
 """
+import re
 
 # TODO prepare benchmark log JSON with parameters etc.
 # Should be independent of PTA class, as benchmarks may also be
@@ -32,24 +33,28 @@ class TransitionHarness:
     def start_trace(self):
         self.traces.append({
             'id' : self.trace_id,
-            'trace' : [{
-                'name' : 'UNINITIALIZED',
-                'isa' : 'state',
-                'parameter' : dict(),
-                'offline_aggregates' : list(),
-            }]
+            'trace' : list(),
         })
         self.trace_id += 1
 
-    #def append_state(self):
+    def append_state(self, state_name, param):
+        self.traces[-1]['trace'].append({
+            'name': state_name,
+            'isa': 'state',
+            'parameter': param,
+        })
 
-    #def append_transition(self, ):
+    def append_transition(self, transition_name, param):
+        self.traces[-1]['trace'].append({
+            'name': transition_name,
+            'isa': 'transition',
+            'parameter': param,
+        })
 
     def start_run(self):
-        self.start_trace()
         return 'ptalog.reset();\n'
 
-    def pass_transition(self, transition_id, transition_code, parameter = dict()):
+    def pass_transition(self, transition_id, transition_code, transition: object = None, parameter: dict = dict()):
         ret = 'ptalog.passTransition({:d});\n'.format(transition_id)
         ret += 'ptalog.startTransition();\n'
         ret += '{}\n'.format(transition_code)
@@ -62,6 +67,23 @@ class TransitionHarness:
     def stop_benchmark(self):
         return ''
 
+    def parse_log(self, lines):
+        sync = False
+        for line in lines:
+            print(line)
+            res = re.fullmatch('\[PTA\] (.*=.*)', line)
+            if re.fullmatch('\[PTA\] benchmark start, id=(.*)', line):
+                print('> got sync')
+                sync = True
+            elif not sync:
+                continue
+            elif re.fullmatch('\[PTA\] trace, count=(.*)', line):
+                print('> got transition')
+                pass
+            elif res:
+                print(dict(map(lambda x: x.split('='), res.group(1).split())))
+                pass
+
 class OnboardTimerHarness(TransitionHarness):
     def __init__(self, gpio_pin = None):
         super().__init__(gpio_pin = gpio_pin)
@@ -79,7 +101,7 @@ class OnboardTimerHarness(TransitionHarness):
         ret += super().start_benchmark()
         return ret
 
-    def pass_transition(self, transition_id, transition_code, parameter = dict()):
+    def pass_transition(self, transition_id, transition_code, transition: object = None, parameter: dict = dict()):
         ret = 'ptalog.passTransition({:d});\n'.format(transition_id)
         ret += 'ptalog.startTransition();\n'
         ret += 'counter.start();\n'
diff --git a/lib/runner.py b/lib/runner.py
index 9b95e6b..c9179c2 100644
--- a/lib/runner.py
+++ b/lib/runner.py
@@ -24,9 +24,9 @@ class SerialReader(serial.threaded.Protocol):
     Reads in new data whenever it becomes available and exposes a line-based
     interface to applications.
     """
-    def __init__(self, peek = False):
+    def __init__(self, callback = None):
         """Create a new SerialReader object."""
-        self.peek = peek
+        self.callback = callback
         self.recv_buf = ''
         self.lines = []
 
@@ -48,8 +48,8 @@ class SerialReader(serial.threaded.Protocol):
             if len(lines) > 1:
                 self.lines.extend(lines[:-1])
                 self.recv_buf = lines[-1]
-                if self.peek:
-                    print('\n'.join(lines[:-1]))
+                if self.callback:
+                    self.callback(lines[:-1])
 
         except UnicodeDecodeError:
             pass
@@ -82,7 +82,7 @@ class SerialReader(serial.threaded.Protocol):
 class SerialMonitor:
     """SerialMonitor captures serial output for a specific amount of time."""
 
-    def __init__(self, port: str, baud: int, peek = False):
+    def __init__(self, port: str, baud: int, callback = None):
         """
         Create a new SerialMonitor connected to port at the specified baud rate.
 
@@ -101,7 +101,7 @@ class SerialMonitor:
             sys.stderr.write('Could not open serial port {}: {}\n'.format(self.ser.name, e))
             sys.exit(1)
 
-        self.reader = SerialReader(peek = peek)
+        self.reader = SerialReader(callback = callback)
         self.worker = serial.threaded.ReaderThread(self.ser, self.reader)
         self.worker.start()
 
@@ -124,14 +124,14 @@ class SerialMonitor:
 
 class ShellMonitor:
     """SerialMonitor runs a program and captures its output for a specific amount of time."""
-    def __init__(self, script: str, peek = None):
+    def __init__(self, script: str, callback = None):
         """
         Create a new ShellMonitor object.
 
         Does not start execution and monitoring yet.
         """
         self.script = script
-        self.peek = peek
+        self.callback = callback
 
     def run(self, timeout: int = 4) -> list:
         """
@@ -144,8 +144,8 @@ class ShellMonitor:
         res = subprocess.run(['timeout', '{:d}s'.format(timeout), self.script],
             stdout = subprocess.PIPE, stderr = subprocess.PIPE,
             universal_newlines = True)
-        if self.peek:
-            print(res.stdout)
+        if self.callback:
+            self.callback(res.stdout.split('\n'))
         return res.stdout.split('\n')
 
     def monitor(self):