16.3.3 sequential ConsistencyA slig

16.3.3 sequential Consistency
A slightly weaker (and more widely used) form of consistency is sequential consistency. To understand the notion of sequential consistency, form a composite trace as an interleav- ing of the individual reads and writes that respect the internal ordering of the actions of every process, but it is not necessary to respect the external ordering of actions between processes. Clearly, many such composite traces can be generated. Of all such traces, if there is at least one consistent trace, then sequential consistency is satisfied. The key concept in sequential consistency is that all processes should see all the write operations in the same order as in a consistent composite trace. Thus, if a write x:= u precedes another write x := v in a trace, then no process reading x will read x = v before x = u.

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

16.3.3 последовательная последовательностьНемного слабее (и более широко используется) форма согласованности является последовательной последовательности. Чтобы понять понятие последовательной последовательности, форму составного трассировки как interleav-ing человек читает и пишет что уважение внутренний порядок действий каждого процесса, но нет необходимости уважать внешний порядок действий между процессами. Очевидно многие такие составные следы могут быть созданы. Из всех этих следов если хотя бы один последовательной трассировки, то последовательная последовательность удовлетворены. Ключевая концепция в последовательном последовательности является, что все процессы должны увидеть все операции записи в том же порядке, как и последовательного составного трассировки. Таким образом если запись x: = u предшествует другой записи x: = v в трассировку, то процесс не чтение x будет читать x = v x = u.

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

16.3.3 последовательную согласованность
Несколько слабее (и более широко используется) форма последовательности является последовательной согласованности. Чтобы понять понятие последовательного последовательности, образуют составную след как interleav- ИНГ индивида читает и пишет , что касается внутреннего упорядочения действий каждого процесса, но не надо уважать внешний порядок действий между процессами. Очевидно, что многие из таких композитных следы могут быть сгенерированы. Из всех таких следов, если есть по крайней мере один последовательный след, то последовательная согласованность удовлетворяется. Ключевым понятием в последовательной согласованности в том , что все процессы должны видеть все операции записи в том же порядке , как и в последовательном композитной следа. Таким образом, если запись х: = и предшествует другой записи X: = V в след, то ни один процесс чтения х не будет читать х = V до х =.

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

16.3.3 последовательная консистентностьнесколько слабее (и более широко использовать) формы последовательности является последовательная консистентность.для понимания понятия последовательная консистентность, единое отслеживать, как interleav - ING из отдельных читает и пишет, что соблюдение внутреннего заказа действия каждого процесса, но нет необходимости уважать внешнего порядка действий между процессами.очевидно, что многие такие комбинированные следы могут быть получены.все такие следы, если есть по меньшей мере один постоянно отслеживать, затем последовательная консистентность удовлетворен.ключевое понятие в последовательном последовательности является то, что все процессы должны увидеть все записи в том же порядке, как в постоянной композитных следов.таким образом, если писать х: = U предшествует другой писать х: = V в след, то процесс чтения X будет читать x = V до X =.