16.3.2 linearizabilityStrict consis

16.3.2 linearizability
Strict consistency is too strong and requires all replicas to be updated instantaneously. A slightly weaker version of consistency is linearizability.
Define a composite trace as an interleaving of the individual reads and writes into a single total order that respects the internal ordering of the actions of every process, as well as the external ordering of actions between processes as defined by their time stamp values. If such a composite trace is consistent, which means that every read returns the latest value written into the shared variable preceding that read operation, then the shared object is linearizable. Figure 16.6 shows two example traces with two shared variables x and y. Initially, x = y = 0.
For (b), the read and write operations by the processes A and B lead to the composite trace {init}
WA(x := 1)RA(y = 1)WB(y := 1)RB(x = 1), which is not consistent, so linearizability is not satisfied.

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

16.3.2 linearizabilityСтрогая согласованность является слишком сильным и требует все реплики обновляются мгновенно. Немного слабее версия последовательности является linearizability.Определение составного трассировки как интерливинга из отдельных читает и записывает в один общий порядок, который уважает внутренний порядок действий каждого процесса, а также внешний порядок действий между процессами, как это определено их значения штампа времени. Если составной след является последовательным, что означает, что каждый read возвращает последнее значение, записанное в общую переменную, предшествующей операции чтения, то общий объект linearizable. 16,6 на рисунке показаны два примера трассировки с двумя общими переменными x и y. Первоначально, x = y = 0.(B) операции чтения и записи процессов A и B привести к составного трассировки {init}WA (x: = 1) RA(y = 1) WB (y: = 1) RB(x = 1), который не является последовательным, поэтому linearizability не удовлетворен.

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

16.3.2 линеаризуемость
Строгая последовательность является слишком сильным , и требует , чтобы все точные копии будут обновляться мгновенно. Несколько более слабый вариант последовательности является линеаризуемость.
Определение составного следа , как перемежения индивидуума считывает и записывает в одну общую порядка, уважающей внутреннее упорядочение действий каждого процесса, а также внешний порядок действий между процессами , как определяется их значениями отметок времени. Если такой композиционный след соответствует, что означает , что каждое чтение возвращает последнее значение , записываемое в общей переменной предыдущей , что операция чтения, то общий объект линеаризуемо. На рисунке 16.6 показаны два примера следы с двумя общими переменными х и у. Первоначально, х = у = 0.
Для (б), то операции чтения и записи с помощью процессов А и В приводит к композитному следа {} инициализации
WA (х: = 1) RA (у = 1) WB (у: = 1) РБ (х = 1), что не соответствует, поэтому линеаризуемость не выполнено.

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

16.3.2 атомарная операциястрогой последовательности, слишком велико, и требует, чтобы все реплики обновляться мгновенно.несколько слабее версии последовательности является атомарная операция.определить в качестве составного отслеживать прокладок из отдельных читает и пишет в единый общий порядок, который уважает внутренний порядок действия каждого процесса, а также внешний заказ действия между процессами, как они определены в свое время печать ценностей.если такой сложный отслеживать соответствует, который означает, что каждый читал возвращения последней ценности, вписанная в общей переменной до содержания операции, то общая объект linearizable.диаграмма 16,6 показывает два примера следы двух общих переменных X и Y. первоначально, x, y = 0.b), читать и писать операции процессы A и B, привести к композитных отслеживать init}, {ва (x = 1), армения (y = 1) вб (y = 1) 1 x = 1), которая не соответствует, так что атомарная операция не удовлетворены.