A stable storage can be implemented

A stable storage can be implemented using a pair of ordinary disks. Let A be a composite object with components A0, A1, A2, …, An−1. Consider a transaction that assigns a new value xi to each component Ai. We will represent this by A ≔ x. This transaction is atomic, when either all assignments Ai ≔ xi are completed or no assignment takes effect. Ordinarily, a crash failure of the updating process will potentially allow a fraction of these assignments to be completed and violate the atomicity property.
The stable storage maintains two copies* of the object A (i.e., two copies of each component Ai) and allows two operations update and inspect on A. Designate these two copies by A0 and A1 (Figure 14.5). When a process P performs the update operation, it updates the two copies alternately and stamps these updates with (1) the time stamp T and
(2) a unique signature S called checksum, which is a function of x and T.
A fail-stop failure can halt the update operation after any step. Process Q, which performs the inspect operation, checks both copies and, based on the times of updates as well as the values of the checksums, chooses the correct version of A.

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

Стабильное хранения может быть реализован с помощью пары обычных дисков. Пусть A составной объект с компонентами A0, A1, A2, An−1. Рассмотрим транзакцию, которая присваивает новое значение xi к каждому компоненту Ai. Мы представляем это по ≔ x. Эта сделка является атомарной, когда все назначения Ai ≔ xi будут завершены или уступки не вступает в силу. Как правило сбой сбой процесса обновления потенциально позволит часть этих назначений должен быть завершен и нарушают свойства атомарность.Стабильное хранения поддерживает две копии * объекта A (то есть, две копии каждого компонента Ai) и позволяет две операции обновления и проверки на а. Назначение этих двух экземплярах A0 и A1 (рис. 14.5). Когда процесс P выполняет операцию обновления, он обновляет две копии поочередно и помечает эти обновления (1) штамп времени T и(2) уникальная подпись S называется контрольной суммы, которая является функцией x и т.Fail стоп сбой может остановить операцию обновления после любого шага. Процесс Q, который выполняет операцию inspect, проверяет обе копии и на основе времени обновлений, а также значения контрольных сумм, выбирает правильную версию а.

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

Стабильное хранение может быть реализован с помощью пары обычных дисков. Пусть составной объект с компонентами A0, A1, A2, ..., An-1. Рассмотрим транзакцию , которая присваивает новое значение XI к каждому компоненту Ai. Мы будем представлять это через А ≔ х. Эта сделка является атомарным, когда либо все задания Ai ≔ XI завершены или никакого присваивания не вступает в силу. Как правило, сбой сбой процесса обновления потенциально позволяют часть этих заданий должны быть завершены и нарушают свойство атомарность.
Стабильная хранения поддерживает две копии * объекта А (то есть две копии каждого компонента Ai) и позволяет двум операции обновления и проверьте на A. Обозначьте эти две копии от A0 и A1 (рис 14.5). Когда процесс P выполняет операцию обновления, он обновляет две копии поочередно и штампы эти обновления с (1) метки времени Т и
(2) уникальная подпись S называется контрольной суммой, которая является функцией от х и Т.
А fail- остановить отказ может остановить операцию обновления после любого шага. Процесс Q, который выполняет операцию инспектировать, проверяет обе копии и, основываясь на времени обновлений, а также значений контрольных сумм, выбирает правильную версию А.

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

стабильного хранения может осуществляться с использованием пара обычных дисков.пусть будет сложный объект с компонентами а0, A1, A2,..., - 1.рассмотреть сделку, которая придает новое значение XI для каждого компонента ма.мы будем представлять это в ≔ X. это сделка атомной, когда либо все задания, ма ≔ XI завершена или нет назначение вступает в силу.обычно, аварии, что процесс обновления будет позволит часть этих заданий будет завершен и нарушают атомарность собственности.стабильного хранения ведет две копии * объекта (т.е. две копии каждого компонента ма) и позволяет обновлять и проверять на две операции. назначить этих двух экземпляров к а0 и а1 (диаграмма 14.5).когда процесс P выполняет обновления, обновления двух копий поочередно и штампы эти обновления с (1) с отметкой времени t и(2) уникальную подпись называется контрольной суммы, которая является функцией X и т.а не остановить не может остановить обновления после любой шаг.процесс Q, которая выполняет инспекции операции, проверки и копии и, основываясь на время обновления, а также ценности контрольных сумм, выбрал правильный вариант.