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()