-void DiskS19::update_penalties(double delta) const
-{
- const kernel::lmm::Element* elem = nullptr;
- const kernel::lmm::Element* nextelem = nullptr;
- int numelem = 0;
- while (const auto* var = get_constraint()->get_variable_safe(&elem, &nextelem, &numelem)) {
- auto* action = static_cast<DiskS19Action*>(var->get_id());
- action->sharing_penalty_ += delta;
- if (not action->is_suspended())
- get_model()->get_maxmin_system()->update_variable_penalty(action->get_variable(), action->sharing_penalty_);
- }
-}
-
-void DiskS19::set_read_bandwidth(double value)
-{
- read_bw_.peak = value;
-
- get_model()->get_maxmin_system()->update_constraint_bound(get_constraint(), read_bw_.peak * read_bw_.scale);
-
- double delta = 1.0 / value - 1.0 / (read_bw_.peak * read_bw_.scale);
- update_penalties(delta);
-}
-
-void DiskS19::set_write_bandwidth(double value)
-{
- write_bw_.peak = value;
-
- get_model()->get_maxmin_system()->update_constraint_bound(get_constraint(), write_bw_.peak * write_bw_.scale);
-
- double delta = 1.0 / value - 1.0 / (write_bw_.peak * write_bw_.scale);
- update_penalties(delta);
-}