Fairness: Fairness is a liveness pr

Fairness: Fairness is a liveness property, since it determines whether the scheduler will schedule an action in a finite time. Like most progress properties, fairness does not ordinarily specify when or after how many steps the action is scheduled.
Reachability: Reachability addresses the following question: Given a distributed system with an initial state S0, does there exist a finite behavior that changes the system state to Sk? If so, then Sk is said to be reachable from S0. Reachability is a liveness property.

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

Справедливость: Справедливость является свойством живучесть, так как он определяет, будет ли планировщик планировать действие в небесконечном времени. Как и большинство свойства хода выполнения справедливость не уточняется, обычно когда или после сколько шагов действий планируется.Достижимость: Достижимость отвечает на следующий вопрос: с учетом распределенной системы с начальное состояние S0, существует конечное поведение, которое изменяет состояние системы Sk? Если да, то СК считается достижим из S0. Достижимость — это свойство живучесть.

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

Честность: Честность является собственностью живучести, так как он определяет , будет ли планировщик запланировать действие в конечное время. Как и большинство свойств прогресса, справедливости обычно не указать , когда или после того, как число шагов действие планируется.
Достижимости: Reachability рассматривается следующий вопрос: Учитывая , распределенная система с начальным состоянием S0, существует ли конечное поведение , которое изменяет состояние системы к Sk? Если да, то Sk называется достижимым из S0. Достижимости является живучести собственностью.