Esempio n. 1
0
def apply_pfp_lp_preemptive_prio_bounds(all_tasks):
    model = get_cpp_model(all_tasks)
    res = lp_cpp.lp_pfp_prio_spinlock_bounds(model, True)
    for i, _ in enumerate(all_tasks):
        all_tasks[i].blocked = res.get_blocking_term(i)
    return res
Esempio n. 2
0
def apply_pfp_lp_preemptive_prio_bounds(all_tasks):
    model = get_cpp_model(all_tasks)
    res = lp_cpp.lp_pfp_prio_spinlock_bounds(model, True)
    for i, _ in enumerate(all_tasks):
        all_tasks[i].blocked = res.get_blocking_term(i)
    return res