|
|
@ -1,4 +1,5 @@
|
|
|
|
import sys
|
|
|
|
import sys
|
|
|
|
|
|
|
|
import json
|
|
|
|
from collections import defaultdict
|
|
|
|
from collections import defaultdict
|
|
|
|
|
|
|
|
|
|
|
|
def def_value():
|
|
|
|
def def_value():
|
|
|
@ -6,6 +7,7 @@ def def_value():
|
|
|
|
|
|
|
|
|
|
|
|
def count_miss_or_meet_deadline_requests(file_dir):
|
|
|
|
def count_miss_or_meet_deadline_requests(file_dir):
|
|
|
|
request_counter = defaultdict(def_value)
|
|
|
|
request_counter = defaultdict(def_value)
|
|
|
|
|
|
|
|
total_time_dist = defaultdict(list)
|
|
|
|
meet_deadline = 0
|
|
|
|
meet_deadline = 0
|
|
|
|
miss_deadline = 0
|
|
|
|
miss_deadline = 0
|
|
|
|
max_sc = 0
|
|
|
|
max_sc = 0
|
|
|
@ -14,12 +16,16 @@ def count_miss_or_meet_deadline_requests(file_dir):
|
|
|
|
line = line.strip()
|
|
|
|
line = line.strip()
|
|
|
|
if "meet deadline" in line:
|
|
|
|
if "meet deadline" in line:
|
|
|
|
meet_deadline += 1
|
|
|
|
meet_deadline += 1
|
|
|
|
name = line.split(" ")[5]
|
|
|
|
name = line.split(" ")[8]
|
|
|
|
request_counter[name] += 1
|
|
|
|
request_counter[name] += 1
|
|
|
|
|
|
|
|
total_time = line.split(" ")[5]
|
|
|
|
|
|
|
|
total_time_dist[name].append(total_time)
|
|
|
|
if "miss deadline" in line:
|
|
|
|
if "miss deadline" in line:
|
|
|
|
miss_deadline += 1
|
|
|
|
miss_deadline += 1
|
|
|
|
name = line.split(" ")[11]
|
|
|
|
name = line.split(" ")[11]
|
|
|
|
|
|
|
|
total_time = line.split(" ")[8]
|
|
|
|
request_counter[name] += 1
|
|
|
|
request_counter[name] += 1
|
|
|
|
|
|
|
|
total_time_dist[name].append(total_time)
|
|
|
|
#print("name:", name)
|
|
|
|
#print("name:", name)
|
|
|
|
if "scheduling count" in line:
|
|
|
|
if "scheduling count" in line:
|
|
|
|
s_c = int(line.split(" ")[3])
|
|
|
|
s_c = int(line.split(" ")[3])
|
|
|
@ -34,6 +40,12 @@ def count_miss_or_meet_deadline_requests(file_dir):
|
|
|
|
|
|
|
|
|
|
|
|
for key,value in request_counter.items():
|
|
|
|
for key,value in request_counter.items():
|
|
|
|
print(key + ":" + str(value))
|
|
|
|
print(key + ":" + str(value))
|
|
|
|
|
|
|
|
js = json.dumps(total_time_dist)
|
|
|
|
|
|
|
|
f = open("total_time.txt", 'w')
|
|
|
|
|
|
|
|
f.write(js)
|
|
|
|
|
|
|
|
f.close()
|
|
|
|
|
|
|
|
#for key,value in total_time_dist.items():
|
|
|
|
|
|
|
|
# print(key + ":", value)
|
|
|
|
if __name__ == "__main__":
|
|
|
|
if __name__ == "__main__":
|
|
|
|
argv = sys.argv[1:]
|
|
|
|
argv = sys.argv[1:]
|
|
|
|
if len(argv) < 1:
|
|
|
|
if len(argv) < 1:
|
|
|
|