Серийный эквивалент

Question

Может ли кто-нибудь объяснить мне в ясной форме, что такое последовательная эквивалентность? Я посмотрел, но не могу найти четкое определение того, что это на самом деле означает?

Насколько я понимаю, порядок транзакций не имеет значения, поскольку они последовательно эквивалентны, а результат одинаков? Если это правильно, пожалуйста, объясните, что это на самом деле означает.

Answer 1

Один из них должен это сделать:

Используется в технологии РАСПРЕДЕЛЕННОЙ СИСТЕМЫ для описания влияния ряда параллельных или вложенных транзакций на состояние такой системы.Когда такие транзакции выполняются, считается, что их эффект последовательно эквивалентен, если состояние системы такое же, как если бы они выполнялись последовательно.

Источник: http://oxfordindex.oup.com/view/10.1093/oi/authority.20110803100455897?rskey=KQEjV6&result=0&q=serial%20equivalence

Две транзакции являются последовательными, если все операции в одной транзакции предшествуют операциям в другой.

Источник: http://www.it.uom.gr/teaching/distrubutedSite/dist-sys/ds-node220.html

Мы говорим, что чередованиеиз двух блоков последовательно эквивалентны, если результат эквивалентен выполнению, в котором один блок был выполнен полностью перед другим.

Источник: http://www.itu.dk/courses/INP/E2001/Materiale/Concurrency/www/p3.php

Кроме того, возьмитеПосмотрите на нижнюю часть страницы 6 и далее этого документа PDF: http://www.it.uu.se/edu/course/homepage/distsys/Slides/lecture7.pdf

Особенно обратите внимание на примеры, приведенные в документе PDF и на 3-ю ссылку.

Answer 2

Да, вы правы. Повторный вызов, запись / запись и чтение / запись противоречат друг другу.Операции чтения / чтения не противоречат друг другу.Чтобы две транзакции были последовательно эквивалентны, все пары конфликтующих операций должны выполняться в одинаковом порядке для всех объектов, к которым они оба обращаются.Каждая транзакция должна записать один и тот же объект данных сразу после его чтения, или же обновление объекта данных должно быть выполнено до обращения к другой транзакции.