Linearizability is stronger than se

Linearizability is stronger than sequential consistency, that is, every linearizable object is also sequentially consistent. Therefore, the trace in Figure 16.6a satisfies sequential consistency. However, consider the trace in Figure 16.6b—it is not lineariz- able, but one can still generate a consistent composite trace WA(x: = 1)WB(y: = 1)RA(y = 1) RB(x = 1) out of it (WB(y: = 1) can be placed before RA(y = 1) since there is no obligation to respect the time stamp values when ordering action between two different processes). So sequential consistency holds.
Consider again the example of two customers B and C interacting with the airlines reservation system (Figure 16.7a), and assume that the total number of available seats in the flight is 100. This behavior is sequentially consistent, since there exists a consistent composite trace:

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

Linearizability сильнее, чем последовательная последовательность, то есть, каждый linearizable объект также последовательно последовательно. Таким образом след на рисунке 16.6a удовлетворяет последовательный последовательности. Однако, рассмотрим трассировку на рисунке 16.6b — это не lineariz-состоянии, но один все еще может генерировать последовательное композитный след WA(x: = 1) WB(y: = 1) RA(y = 1) RB(x = 1) из него (WB(y: = 1) могут быть размещены до RA(y = 1) так как нет никакого обязательства уважать значения штампа времени при заказе действий между двумя разными процессами). Так, чтобы последовательная согласованность.Снова рассмотрим пример двух клиентов B и C, взаимодействие с системой бронирования авиакомпании (рис. 16.7a) и предположим, что общее число мест в полете 100. Это поведение последовательно последовательно, поскольку существует последовательной составной след:

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

Линеаризуемость сильнее , чем последовательной последовательности, то есть, каждый линеаризуема объект является также последовательно последовательным. Поэтому след на рисунке 16.6a удовлетворяет последовательной согласованности. Тем не менее, рассмотрим след на рисунке 16.6b-он не lineariz- состоянии, но до сих пор можно генерировать последовательный композитный след WA (х: = 1) WB (Y: = 1) RA (Y = 1) RB (X = 1) из него (ВБ (у: = 1) может быть помещен перед RA (Y = 1) , так как не существует обязательство уважать ценности отметок времени при заказе действия между двумя различными процессами). Таким образом , последовательная согласованность имеет место.
Рассмотрим снова пример двух клиентов В и С , взаимодействующих с системой бронирования авиакомпании (рис 16.7a), и предположим , что общее количество имеющихся мест на рейсе 100. Такое поведение является последовательно последовательным, так как существует последовательный композитный след:

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

атомарная операция сильнее последовательная консистентность, то есть каждый linearizable объект является также последовательно последовательной.таким образом, отслеживать на 16.6a удовлетворяет последовательная консистентность.однако рассмотреть следы на 16.6b-it не lineariz - могли, но можно создать последовательную композитных отслеживать ва (x = 1) вб y: = 1), армения (y = 1) 1 x = 1), то (вб (y = 1) может быть представлен ра y = 1), поскольку не существует обязательство уважать метку времени ценностей при заказе действий между двумя различными процессами).это последовательная консистентность проводит.вновь рассмотреть на примере двух клиентов, b и c) взаимодействие с авиакомпаниями, система бронирования (рис. 16.7a), и предположить, что общее число мест в рейс на 100.такое поведение является последовательно последовательной, поскольку существует постоянная композитных трассы: