Progress: Let us revisit the classi

Progress: Let us revisit the classical mutual exclusion problem, where a number of processes try to enter their critical sections. A desirable feature here is that once a process executes its entry protocol to declare its intention to enter its critical section, it must make progress toward the goal and eventually enter the critical section. Thus, progress toward the critical section is a liveness property. Even if there is no deadlock, the progress is violated if there exists at least one infinite behavior, in which a process remains outside its critical section. The absence of guaranteed progress is known as livelock or starvation.
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:

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

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

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

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

прогресс: давайте вернуться к классической взаимного отчуждения проблемы, где целый ряд процессов, попытаться проникнуть в их критические секции.желательным особенность заключается в том, что после того, как процесс запускается ее вступления протокола заявить о своем намерении войти в его критические секции, он должен достичь прогресса к цели, и, в конечном счете, введите критические секции.таким образом, прогресс в направлении критические секции - это параметры собственности.даже если нет тупика, прогресс, нарушается, если существует по меньшей мере один бесконечный поведение, в котором процесс остается за пределами его критические секции.отсутствие гарантированных прогресса известен как livelock или голода.справедливость: справедливость - это параметры, собственности, поскольку оно определяет планировщик будут планировать иск в ограниченное время.как и большинство прогресса свойства, справедливость в принципе не уточняет, когда или после того, как многие шаги действия планируется.reachability: reachability рассмотрения следующего вопроса: учитывая распределенной системы с первоначальным государством S0, нет определенного поведения, что изменения системы государства ск?если так, то ск считается добраться из sо.reachability является параметры собственности.