Проверка назад/вперед в оптимистичном управлении параллелизмом

Question

Я новичок в «параллелизме» & «транзакции», и я немного смущен проверкой назад/вперед в оптимистичном управлении параллелизмом. Просто возьмите назад подтверждение для примера. Предположим, что Tv является проверкой транзакции, а Ti является совершенной транзакцией. Мне было интересно, почему мы просто проверяем набор для чтения телевизора vs.Ti. Почему мы не проверяем набор записи Tv для записи и набор записей Tv и набор для чтения vs.Ti для чтения? Поскольку write-write и write-read также являются конфликтными операциями ... Любое объяснение будет оценено!

Answer 1

Validation использует чтения - записи коллизионные нормы для того, чтобы планирование конкретной сделки последовательно эквивалентна всем перекрывающихся transations. Это означает, что после ввода фазы подтверждения никаких изменений в читать/написать комплекты могут быть выполнены далее.

Есть 3 правила, которые должны быть удовлетворены с помощью любых двух транзакций T _я и T _J, где я < J (T _я в фазу проверки, прежде чем T _J):

1. Т _я не должны читать объекты, написанные T _J

2. Т _J не должны читать объекты, написанные T _я

3. T _я не должен писать объекты, написанные T _J и T _J не должен писать объекты, написанные T _я

назад проверка предполагает, что все читать операции T _i были выполнены перед началом проверки T _j. Это означает, что T _i уже находится в фазе проверки. (правило 1 выполнено)

Во время проверки T _J, то чтения набора T _J проверяется на записи набора T _я. Если нет перекрытия, то (правило 2 выполнено).

Если Правило 1 и Правило 2 являются насыщенными, Правило 3 неявно выполняется. Все внесенные изменения будут выполняться последовательно, поскольку T _i вступил в фазу проверки до T _j.T _i's запись комплект будет проверен и зачислен до T _jнаписать письмо установить.

Answer 2

• назад проверка Tv:

  • операции чтения из ранее перекрывающихся операций (выполняемых перед тем проверки Tv) не могут быть затронуты записи ВЗ Tv. Проверка проверяет установленный Tv набор записей против наборов записей более ранних транзакций , при отсутствии конфликта;

• вперед проверка Tv:

  • множество записи телевизионного сравниваются с наборами для чтения всех перекрывающихся активных операций;

  • отличается от обратной проверки, валидации вперед там есть выбор из которых сделки для отмены (Tv или любой из конфликтующих активных операций);