blob: 453ba4d29ab155c9c9b4d069d2594f67e257e3e2 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
import schedcat.sim as sim
import schedcat.sim.native as cpp
from schedcat.util.time import sec2us
def is_deadline_missed(no_cpus, tasks, simulation_length=60):
ts = sim.get_native_taskset(tasks)
return cpp.edf_misses_deadline(no_cpus, ts, int(sec2us(simulation_length)))
def time_of_first_miss(no_cpus, tasks, simulation_length=60):
ts = sim.get_native_taskset(tasks)
return cpp.edf_first_violation(no_cpus, ts, int(sec2us(simulation_length)))
def no_counter_example(*args, **kargs):
return not is_deadline_missed(*args, **kargs)
|
