def hyper_113400000_x_x_armonic_10_200():
for i in range(1, 501):
taskset = []
taskset, utilization, EDF_busy_period, FPS_busy_period, EDF_first_DM, EDF_schedulable, FPS_schedulable, \
hyperperiod = import_taskset(taskset, i, "hyper_113400000_0_2_armonic_10_200.csv")
make_adb_file(taskset, hyperperiod)
EDF_data = []
FPS_data = []
for j in range(2):
compile_and_flash_into_board(j)
if (j == 0):
EDF_data = debug_and_read_data(taskset, j)
else:
FPS_data = debug_and_read_data(taskset, j)
save_data(
taskset, EDF_data, FPS_data,
"U_" + str(90) + "_hyper_113400000_0_2_armonic_10_200/U_" +
str(90) + "_hyper_113400000_0_2_armonic_10_200", i, hyperperiod)
for i in range(1, 501):
taskset = []
taskset, utilization, EDF_busy_period, FPS_busy_period, EDF_first_DM, EDF_schedulable, FPS_schedulable, \
hyperperiod = import_taskset(taskset, i, "hyper_113400000_3_6_armonic_10_200.csv")
make_adb_file(taskset, hyperperiod)
EDF_data = []
FPS_data = []
for j in range(2):
compile_and_flash_into_board(j)
if (j == 0):
EDF_data = debug_and_read_data(taskset, j)
else:
FPS_data = debug_and_read_data(taskset, j)
save_data(
taskset, EDF_data, FPS_data,
"U_" + str(90) + "_hyper_113400000_3_6_armonic_10_200/U_" +
str(90) + "_hyper_113400000_3_6_armonic_10_200", i, hyperperiod)
for i in range(1, 501):
taskset = []
taskset, utilization, EDF_busy_period, FPS_busy_period, EDF_first_DM, EDF_schedulable, FPS_schedulable, \
hyperperiod = import_taskset(taskset, i, "hyper_113400000_7_20_armonic_10_200.csv")
make_adb_file(taskset, hyperperiod)
EDF_data = []
FPS_data = []
for j in range(2):
compile_and_flash_into_board(j)
if (j == 0):
EDF_data = debug_and_read_data(taskset, j)
else:
FPS_data = debug_and_read_data(taskset, j)
save_data(
taskset, EDF_data, FPS_data,
"U_" + str(90) + "_hyper_113400000_7_20_armonic_10_200/U_" +
str(90) + "_hyper_113400000_7_20_armonic_10_200", i, hyperperiod)
def U_90_log_uniform():
for i in range(1, 1001):
taskset = []
taskset, utilization, EDF_busy_period, FPS_busy_period, EDF_first_DM, EDF_schedulable, FPS_schedulable, \
hyperperiod = import_taskset(taskset, i, "U_90_log_uniform.csv")
make_adb_file(taskset, hyperperiod)
EDF_data = []
FPS_data = []
for j in range(2):
compile_and_flash_into_board(j)
if (j == 0):
EDF_data = debug_and_read_data(taskset, j)
else:
FPS_data = debug_and_read_data(taskset, j)
save_data(taskset, EDF_data, FPS_data,
"U_90_log_uniform/U_90_log_uniform", i, hyperperiod)
def semi_harmonic():
for i in range(62, 1001):
taskset = []
taskset, utilization, EDF_busy_period, FPS_busy_period, EDF_first_DM, EDF_schedulable, FPS_schedulable, \
hyperperiod = import_taskset(taskset, i, "semi_harmonic.csv")
make_adb_file(taskset, hyperperiod)
EDF_data = []
FPS_data = []
for j in range(2):
compile_and_flash_into_board(j)
if (j == 0):
EDF_data = debug_and_read_data(taskset, j)
else:
FPS_data = debug_and_read_data(taskset, j)
save_data(taskset, EDF_data, FPS_data, "Semi_Harmonic/semi_harmonic",
i, hyperperiod)
def buttazzo_experiments_preemptions_over():
for i in range(1, 2001):
taskset = []
taskset, utilization, EDF_busy_period, FPS_busy_period, EDF_first_DM, EDF_schedulable, \
FPS_schedulable, hyperperiod = import_taskset(taskset, i, "buttazzo_preemptions_over2.csv")
make_adb_file(taskset, hyperperiod)
EDF_data = []
FPS_data = []
for j in range(2):
compile_and_flash_into_board(j)
if (j == 0):
EDF_data = debug_and_read_data(taskset, j)
else:
FPS_data = debug_and_read_data(taskset, j)
save_data(
taskset, EDF_data, FPS_data,
"Buttazzo-Second-Preemptions-over2/Buttazzo-Second-Preemptions-over2",
i, hyperperiod)
def hyper_113400000_with_some_long():
for l in range(4):
for i in range(1, 501):
taskset = []
taskset, utilization, EDF_busy_period, FPS_busy_period, EDF_first_DM, EDF_schedulable, FPS_schedulable, \
hyperperiod = import_taskset(taskset, i+(l*500), "hyper_113400000_10_200_with_some_long_U_60_70_80_90.csv")
make_adb_file(taskset, hyperperiod)
EDF_data = []
FPS_data = []
for j in range(2):
compile_and_flash_into_board(j)
if (j == 0):
EDF_data = debug_and_read_data(taskset, j)
else:
FPS_data = debug_and_read_data(taskset, j)
save_data(
taskset, EDF_data, FPS_data, "U_" + str(60 + (l * 10)) +
"_hyper_113400000_with_some_long/U_" + str(60 + (l * 10)) +
"_hyper_113400000_with_some_long", i, hyperperiod)
def buttazzo_experiments_preemptions_no_repetition():
for i in range(1, 9501):
taskset = []
taskset, utilization, EDF_busy_period, FPS_busy_period, EDF_first_DM, EDF_schedulable, FPS_schedulable,\
hyperperiod = import_taskset(taskset, i, "buttazzo_preemptions_no_repetition.csv")
make_adb_file(taskset, hyperperiod)
EDF_data = []
FPS_data = []
for j in range(2):
compile_and_flash_into_board(j)
if (j == 0):
EDF_data = debug_and_read_data(taskset, j)
else:
FPS_data = debug_and_read_data(taskset, j)
if i < 4501:
save_data(
taskset, EDF_data, FPS_data,
"Buttazzo-First-Preemptions_no_repetition/Buttazzo-First-Preemptions_no_repetition",
i, hyperperiod)
else:
save_data(
taskset, EDF_data, FPS_data,
"Buttazzo-Second-Preemptions_no_repetition/Buttazzo-Second-Preemptions_no_repetition",
i - 4500, hyperperiod)
def U_100_hyper_113400000_10_100_full():
# first we make the experiment at hyperperiod
for i in range(1, 501):
taskset = []
taskset, utilization, EDF_busy_period, FPS_busy_period, EDF_first_DM, EDF_schedulable, FPS_schedulable, \
hyperperiod = import_taskset(taskset, i, "U_100_hyper_113400000_10_100.csv")
make_adb_file(taskset, hyperperiod)
EDF_data = []
FPS_data = []
for j in range(2):
compile_and_flash_into_board(j)
if (j == 0):
EDF_data = debug_and_read_data(taskset, j)
else:
FPS_data = debug_and_read_data(taskset, j)
save_data(taskset, EDF_data, FPS_data,
"U_100_hyper_113400000_10_100/U_100_hyper_113400000_10_100",
i, hyperperiod)
# now we know the overheads and we can make the experiment at t = hyperperiod * U
for i in range(1, 501):
good = False
retry = 0
taskset = []
taskset, utilization, EDF_busy_period, FPS_busy_period, EDF_first_DM, EDF_schedulable, FPS_schedulable, \
hyperperiod = import_taskset(taskset, i, "U_100_hyper_113400000_10_100.csv")
base_hyperperiod = int(hyperperiod)
while not good:
if retry == 0:
with open(
'../taskset-experiments/U_100_hyper_113400000_10_100/U_100_hyper_113400000_10_100_'
+ str(i) + '.csv') as csv_file:
csv_reader = csv.reader(csv_file, delimiter=';')
numrow = 0
for row in csv_reader:
if numrow > 0 and numrow <= 20:
print(row[10])
print(int(base_hyperperiod / int(row[2])))
if int(row[10]) < int(
base_hyperperiod / int(row[2])):
hyperperiod = int(hyperperiod) + int(
float(row[2]) * float(row[12]))
print(hyperperiod)
numrow = numrow + 1
make_adb_file(taskset, hyperperiod)
EDF_data = []
FPS_data = []
for j in range(2):
compile_and_flash_into_board(j)
if (j == 0):
EDF_data = debug_and_read_data(taskset, j)
else:
FPS_data = debug_and_read_data(taskset, j)
save_data(
taskset, EDF_data, FPS_data,
"U_100_hyper_113400000_10_100_full/U_100_hyper_113400000_10_100_full",
i, hyperperiod)
else:
with open(
'../taskset-experiments/U_100_hyper_113400000_10_100_full/U_100_hyper_113400000_10_100_full_'
+ str(i) + '.csv') as csv_file:
csv_reader = csv.reader(csv_file, delimiter=';')
good = True
numrow = 0
for row in csv_reader:
if numrow > 0 and numrow <= 20:
if int(row[10]) > int(
base_hyperperiod / int(row[2])):
hyperperiod = int(hyperperiod) - int(
float(row[2]) * float(row[12])) - 10
good = False
numrow = numrow + 1
if not good:
make_adb_file(taskset, hyperperiod)
EDF_data = []
FPS_data = []
for j in range(2):
compile_and_flash_into_board(j)
if (j == 0):
EDF_data = debug_and_read_data(taskset, j)
else:
FPS_data = debug_and_read_data(taskset, j)
save_data(
taskset, EDF_data, FPS_data,
"U_100_hyper_113400000_10_100_full/U_100_hyper_113400000_10_100_full",
i, hyperperiod)
retry = retry + 1