def test_counterExample1():
t1 = Task(23, 40)
t2 = Task(23, 58)
t3 = Task(1, 60)
taskset = Taskset(t1, t2, t3)
dPolicy = dichotomicPromotionSearch(taskset)
dSetup = SimulationSetup(taskset,
taskset.hyperperiod,
schedulingPolicy=dPolicy,
trackHistory=True,
trackPreemptions=False)
dHistory = SimulationRun(dSetup).result().history
assert not dHistory.hasDeadlineMiss()
def test_bwPolicy1():
t1 = Task(3, 6)
t2 = Task(2, 8)
t3 = Task(3, 12)
taskset = Taskset(t1, t2, t3)
bwPolicy = burnsWellingsPolicy(taskset)
setup = SimulationSetup(taskset,
taskset.hyperperiod,
schedulingPolicy=bwPolicy,
trackHistory=True,
trackPreemptions=False)
history = SimulationRun(setup).result().history
assert not history.hasDeadlineMiss()
def test_dajamPromo1():
t1 = Task(3, 6)
t2 = Task(2, 8)
t3 = Task(3, 12)
taskset = Taskset(t1, t2, t3)
policy = dajamPromotions(taskset)
setup = SimulationSetup(taskset,
taskset.hyperperiod,
schedulingPolicy=policy,
trackHistory=False,
trackPreemptions=False)
history = SimulationRun(setup).result().history
assert not history.hasDeadlineMiss()
