1. Strict consistency2. Linearizabi

1. Strict consistency
2. Linearizability
3. Sequential consistency
4. Causal consistency
5. FIFO consistency

16.3.1 strict Consistency
The trace (also called history) of a computation is a sequence of read (R) and write (W) operations on a shared variable x. One or more processes can execute these operations. We assume that each read and write operation is atomic.
Strict consistency corresponds to true replication transparency. If one of the processes executes x ≔ 5 at real time t and this is the latest write operation, then at a real time t′> t, every process trying to read x will receive the value 5. Strict consistency criterion requires that regardless of the number of replicas of x, every process receives a response that is con- sistent with the real time. Uniprocessor systems with a single copy of each variable trivially satisfy strict consistency.

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

1. строгая согласованность2. linearizability3. последовательная согласованность4. причинно-следственная согласованность5. FIFO согласованность16.3.1 строгая согласованностьСлед (также называется История) вычислений представляет собой последовательность (R) операций чтения и записи (W) на общей переменной x. Один или несколько процессов могут выполнять эти операции. Мы предполагаем, что каждое чтение и записи операция является атомарной.Строгая последовательность соответствует истинной репликации прозрачности. Если один из процессов выполняет x ≔ 5 в режиме реального времени t, и это последняя операция записи, то в режиме реального времени t′ > t, каждый процесс пытается прочитать x получит значение 5. Строгая согласованность критерий требует, чтобы независимо от числа реплик x, каждый процесс получает ответ, который кон совместимой с реального времени. Однопроцессорных систем с одной копией каждой переменной тривиально удовлетворяют строгой последовательности.

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

1. Строгий консистенция
2. Линеаризуемость
3. Последовательная консистенция
4. Причинная согласованность
5. ФИФО согласованность

16.3.1 строгая согласованность
Трассировка (также называемая история) из расчета представляет собой последовательность чтения (R) и операции записи (W) на общей переменной х. Один или несколько процессов могут выполнять эти операции. Мы предполагаем , что каждый из чтения и записи операции является атомарным.
Строгое консистенция соответствует истинной прозрачности репликации. Если один из процессов выполняет х ≔ 5 в реальном времени и т это последняя операция записи, то в реальном времени т '> т, каждый процесс пытается прочитать х получит значение 5. Строгий критерий согласованности требует , чтобы независимо от того, количество копий х, каждый процесс получает ответ , который согласуется с реальным временем. Однопроцессорных систем с одной копии каждой переменной тривиальным образом удовлетворяют строгой последовательности.

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

1.строгая последовательность2.линеаризация3.последовательная консистентность4.причинно - следственной consistency5.FIFO согласованности16.3.1 строгого соответствияФракии (также называется the history of a) из имеющихся is of читать и писать последовательность (R) (w) операции обмена онлайн переменные x. один или больше эти процессы могут выполнить операции.Мы предположим, что каждый атом операции является читать и писать.строго corresponds consistency to true воспроизведения прозрачной.Если one of the процесс executes x 5 т и в режиме реального времени ≔ this is the latest Операции записи, а затем в режиме реального времени в каждый процесс t "> t, х будет receive the хочет прочитать значения 5.строго последовательности критериев независимо... That of the number of process of every X replicas, that is a реакции receives - sistent with the real time.и один процессор системы trivially копию of each переменных строго соответствует последовательности.