Merge branch 'master' of github.com:Determinant/hot-stuff

1 files changed, 4 insertions, 1 deletions

diff --git a/scripts/thr_hist.py b/scripts/thr_hist.py
index 6f6a43f..c5f2a72 100644
--- a/scripts/thr_hist.py
+++ b/scripts/thr_hist.py
@@ -24,17 +24,19 @@ if __name__ == '__main__':
     parser.add_argument('--interval', type=float, default=1, required=False)
     parser.add_argument('--output', type=str, default="hist.png", required=False)
     args = parser.parse_args()
-    commit_pat = re.compile('([^[].*) \[hotstuff info\].*got <fin decision=1')
+    commit_pat = re.compile('([^[].*) \[hotstuff info\] ([0-9.]*) [0-9.]*$')
     interval = args.interval
     begin_time = None
     next_begin_time = None
     cnt = 0
+    lat = 0
     timestamps = []
     values = []
     for line in sys.stdin:
         m = commit_pat.match(line)
         if m:
             timestamps.append(str2datetime(m.group(1)))
+            lat += float(m.group(2))
     timestamps.sort()
     for timestamp in timestamps:
         if begin_time and timestamp < next_begin_time:
@@ -47,4 +49,5 @@ if __name__ == '__main__':
             cnt = 1
     values.append(cnt)
     print(values)
+    print("lat = {:.3f}ms".format(lat / len(timestamps) * 1e3))
     plot_thr(args.output)