Print priority inversion durations in ms

2 files changed, 13 insertions, 7 deletions

diff --git a/unit_trace/gedf_inversion_stat_printer.py b/unit_trace/gedf_inversion_stat_printer.py
index 42a16f0..c35632a 100644
--- a/unit_trace/gedf_inversion_stat_printer.py
+++ b/unit_trace/gedf_inversion_stat_printer.py
@@ -51,10 +51,12 @@ def gedf_inversion_stat_printer(stream,num):
         avg_inversion = 0
 
     # Print out our information
+    # NOTE: Here, we assume nanoseconds as the time unit.
+    # May have to be changed in the future.
     print "Num inversions: %d" % (num_inversions)
-    print "Min inversion: %d" % (min_inversion)
-    print "Max inversion: %d" % (max_inversion)
-    print "Avg inversion: %d" % (avg_inversion)
+    print "Min inversion: %f ms" % (float(min_inversion) / 1000000)
+    print "Max inversion: %f ms" % (float(max_inversion) / 1000000)
+    print "Avg inversion: %f ms" % (float(avg_inversion) / 1000000)
     for inv in longest_inversions:
         print ""
         print "Inversion record IDs: (%d, %d)" % (inv.inversion_start_id,
@@ -63,8 +65,10 @@ def gedf_inversion_stat_printer(stream,num):
             (inv.inversion_start_triggering_event_id,
             inv.triggering_event_id))
         print "Time: %d" % (inv.job.inversion_end)
-        print "Duration: %d" % (
-            inv.job.inversion_end - inv.job.inversion_start)
+        # NOTE: Here, we assume nanoseconds as the time unit.
+        # May have to be changed in the future.
+        print "Duration: %f ms" % (
+            float(inv.job.inversion_end - inv.job.inversion_start) / 1000000)
         print "Job: %d.%d" % (inv.job.pid,inv.job.job)
         print "Deadline: %d" % (inv.job.deadline)
         print ""
diff --git a/unit_trace/stdout_printer.py b/unit_trace/stdout_printer.py
index f182b82..b70b31a 100644
--- a/unit_trace/stdout_printer.py
+++ b/unit_trace/stdout_printer.py
@@ -56,8 +56,10 @@ def _print_inversion_end(record):
         (record.inversion_start_triggering_event_id,
         record.triggering_event_id))
     print "Time: %d" % (record.job.inversion_end)
-    print "Duration: %d" % (
-        record.job.inversion_end - record.job.inversion_start)
+    # NOTE: Here, we assume nanoseconds as the time unit.
+    # May have to be changed in the future.
+    print "Duration: %f ms" % (
+        float(record.job.inversion_end - record.job.inversion_start)/1000000)
     print "Job: %d.%d" % (record.job.pid,record.job.job)
     print "Deadline: %d" % (record.job.deadline)
     print "Off CPU: ",