If the scheduler is unfair, then te

If the scheduler is unfair, then termination of the aforementioned program is not guar- anteed. With a weakly fair scheduler, termination is guaranteed, but it is impossible to determine as such after how many steps this program will terminate, since there is no clue about when the first action will be scheduled. Much will depend on how the nondeterminism and fairness models are implemented.

Результаты (русский) 1:

Если планировщик является несправедливым, то прекращение вышеупомянутой программы не является гуаровая-сделала. Слабо равномерный планировщик гарантирует прекращение, но это невозможно определить, как таковой после сколько шагов программа прекращается, так как нет ни малейшего представления о когда запланировано первое действие. Многое будет зависеть как реализованы модели детерминизма и справедливости.

Результаты (русский) 2:

Если планировщик несправедливо, то прекращение вышеупомянутой программы не обеспечивается. С слабо справедливой планировщик, завершение гарантируется, но невозможно определить, как таковой после того, сколько шагов эта программа будет завершена, так как нет никакой подсказки о том, когда первое действие будет назначено. Многое будет зависеть от того, как реализуются модели недетерминизма и справедливость.

Результаты (русский) 3:

если планировщик несправедливо, то прекращение вышеупомянутой программы не гуаровая - anteed.с слабо справедливых планировщик, прекращения гарантировано, но невозможно определить, например, после того, как многие шаги, эта программа будет прекращено, поскольку не существует понятия о том, когда первые шаги будут запланированы.многое будет зависеть от того, как nondeterminism и справедливости, модели выполнены.