The designer of a distributed syste

The designer of a distributed system has the responsibility of certifying the correctness of the system before the users start using it. This guarantee must hold as long as every hardware and software component works according to its specification. A system may function incorrectly when its components fail, or the process states are corrupted by external perturbations, and there is no provision for fault tolerance. This chapter explains what correctness criteria are considered important for distributed systems and how to prove the correctness properties.
Consider a distributed system consisting of n processes 0, 1, 2, …, n − 1. Let si denote the local state of process i. The global state (also called the configuration) S of the distributed sys- tem consists of the local states of all the processes and is defined as S = s0 × s1 × s2 × ⋯ × sn−1. While this is adequate for systems that use shared memory for interprocess communication, for message-passing models, the global state also includes the states of the channels. The global state of a distributed system is also called its configuration.

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

Конструктор распределенной системы несет ответственность за подтверждающие правильность системы перед пользователями начать использовать его. Эта гарантия должна проводить до тех пор, пока каждый компонент аппаратного и программного обеспечения работает согласно его спецификации. Система может работать некорректно, когда его компонентов не получится, или состояния процесса повреждены внешних возмущений, и нет никаких ассигнований для обеспечения отказоустойчивости. В этой главе объясняется, какие критерии точности считаются важными для распределенных систем и как доказать правильность свойств.Рассмотрим распределенную систему, состоящую из n процессов 0, 1, 2, n − 1. Пусть si обозначают локальное состояние процесса i. Глобальное состояние (также называемый конфигурация) S распределенных sys-tem состоит из местных государств всех процессов и определяется как S = s0 × s1 × s2 × ⋯ × sn−1. Хотя это достаточно для систем, использующих общую память для межпроцессного взаимодействия, для моделей передачи сообщений, глобальное состояние включает также государства каналов. Глобальное состояние распределенной системы также называется его конфигурации.

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

Дизайнер распределенной системы несет ответственность за правильность сертификации системы до того , как пользователи начинают использовать его. Эта гарантия должна держать до тех пор , как каждое аппаратное и программное обеспечение компонент работает в соответствии со спецификацией. Система может работать неправильно , когда ее компоненты терпят неудачу, или процесс состояния были повреждены внешние возмущения, и нет никакого положения для обеспечения отказоустойчивости. В этой главе описывается , какие критерии корректности считаются важными для распределенных систем и как доказать свойства корректности.
Рассмотрим распределенную систему , состоящую из п процессов 0, 1, 2, ..., п - 1. Пусть си обозначим локальное состояние процесса я. Глобальное состояние (также называется конфигурацией) S распределенной системе состоит из локальных состояний всех процессов и определяется как S = s0 × s1 × s2 × ⋯ × зп-1. Хотя это достаточно для систем, использующих общую память для межпроцессного взаимодействия, для моделей передачи сообщений, глобальное состояние также включает в себя состояния каналов. Глобальное состояние распределенной системы также называют его конфигурацию.