If client B is unhappy with this an

If client B is unhappy with this anomalous outcome of the reservation system, then she is perhaps asking for linearizability.
The scenario in Figure 16.7b does not satisfy sequential consistency. The actions of the processes A and B lead to the only feasible composite subtrace WA(x: = 10)RB(x = 10) WB(x:= 20). However, process C reads x as 20 first and then reads x as 10, so the two con- secutive reads violate the program order of the two writes, and it is not possible to build a consistent composite trace that satisfies the local or internal orders.

16.3.4 Causal Consistency
In the causal consistency model, every process must see all writes that are causally related, in the same order. The order of values returned by various read operations must be con- sistent with this causal order, forming a consistent composite trace. The writes may be executed by the same process or by different processes. Writes that are not causally related to one another can however be seen in any order by the different processes. Consequently, these do not impose any constraint on the order of values read by a process. Figure 16.8 illustrates a causally consistent trace, but it is not sequentially consistent.

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

Если клиент B недовольны этой аномального исход системы бронирования, то она вероятно просит linearizability.Сценарий на рисунке 16.7b не удовлетворяет последовательной последовательности. Действия процессов A и B привести к единственный возможный композитный subtrace WA(x: = 10) RB(x = 10) WB(x:= 20). Однако процесс C читает x 20, а затем читает x 10, поэтому два кон последовательно считывает нарушать программу порядок двух записей, и невозможно построить последовательную композитный трассировку, которая удовлетворяет местных или внутренних заказов.16.3.4 причинной последовательностиВ модели причинной последовательности каждый процесс должен видеть все записи, которые каузально связаны, в том же порядке. Порядок значений, возвращаемых различными операции чтения должны быть кон совместимой с этим причинная порядком, формирование последовательной трассировки составного. Запись может быть исполнена тем же или разными процессами. Пишет, что не каузально связаны друг с другом, однако можно увидеть в любом порядке различных процессов. Следовательно они не налагают каких-либо ограничений о порядке значений, прочитанных процессом. 16.8 рисунок иллюстрирует каузально последовательной трассировки, но не последовательно последовательно.

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

Если клиент В недоволен этой аномальной исход системы резервирования, то она , возможно , просит линеаризуемости.
Сценарий на рисунке 16.7b не удовлетворяет последовательной согласованности. Действия процессов А и В приводят к единственно возможной композиционной subtrace WA (х: = 10) RB (х = 10) WB (X: = 20). Тем не менее, процесс С читает х , как 20, а затем считывает х как 10, так что два Последовательные читает нарушают порядок программы двух операций записи, и не представляется возможным построить последовательную композиционный след , который удовлетворяет локальному или внутренние заказы .

16.3.4 причинное Консистенция
в причинном модели согласованности, каждый процесс должен видеть все записи, которые причинно связаны, в том же порядке. Порядок значений , возвращаемых различными операциями чтения должны быть последовательны с этим причинного порядка, образуя последовательный композитный след. Эти записи могут быть выполнены таким же способом или различными процессами. Пишет , что причинно не связаны друг с другом , однако , можно увидеть в любом порядке различных процессов. Следовательно, они не накладывают никаких ограничений на порядок значений , считываемых процесса. Рисунок 16.8 иллюстрирует причинную последовательный след, но не последовательно последовательным.

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

Если клиент не рад, что это аномальные результаты и B of the системы бронирования, а затем она, возможно, является платить for линейного.диаграмма 16.7b does not in the сценарии удовлетворения последовательности, согласованности.The действий of the processes A and B привести to the only feasible композитных плитки (X = 10 раз отслеживать) РБ (X = 10) ВБ (X = 20).Однако, есть 20 * C, затем первый процесс чтения, чтения x 10, так the two кон - secutive писал violate the program order of the two пишет, and it is not to build a может включать комплекс следов satisfies местных внутреннего порядка, золото.16.3.4 причинная консистентностьIn the причинно - следственную связь согласованности модели, каждый процесс пишет that are causally соответствующих должны видеть, in the same порядка.The order of values returned by various читать must be with this причинно - следственную связь операции порядка в результате последовательной и формы, включая комплекс следов.The пишет may be executed by the same process or by различных процессов.пишет that are not causally related to one another однако be "in any order может by the различных процессов.Таким образом, эти не нуждается в каких - либо ограничений on the order of values читать by a process.Примеры включают в себя отслеживание 16,8 causally карта, но это не продолжать включать.