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. Хотя это достаточно для систем, использующих общую память для межпроцессного взаимодействия, для моделей передачи сообщений, глобальное состояние также включает в себя состояния каналов. Глобальное состояние распределенной системы также называют его конфигурацию.

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

дизайнер распределенной системы несет ответственность за правильность системы сертификации до пользователей начать использовать его.это гарантия должна держаться, пока все аппаратные средства и программное обеспечение работы компонента в его спецификации.система может работать неправильно, когда ее компоненты не, или процесс государства были повреждены внешних возмущений, и отсутствует положение об отказоустойчивости.в этой главе объясняет, что правильность критериями являются важными для распределенных систем и в том, чтобы доказать правильность свойства.рассмотреть распределенной системы, состоящей из N процессы, 0, 1, 2,..., N - 1.пусть si обозначают местных государственных процессов. состояние (также называемый структуры) с распределенной sys - теа состоит из местных государства всех процессов и определяется как S = S0 × S1 x с2 × ⋯ × сн - 1.хотя это достаточное для систем, которые используют общую память для interprocess связи для передачи сообщений моделей глобального государства также включает штаты каналов.состояние распределенная система называется также его конфигурации.