Оптимистичный и многоверсионный контроль параллелизма — различия?

Существует 2 основных подхода к управлению параллелизмом:

• Пессимистический контроль параллелизма: этот подход предполагает, что конфликтующие операции происходят чаще (поэтому он называется пессимистическим). Поскольку конфликты распространены, этот подход использует блокировки для предотвращения выполнения конфликтующих операций, предполагая, что их использование не вызывает значительных накладных расходов.
• Оптимистический контроль параллелизма: этот подход предполагает, что конфликтующие операции происходят редко и не так часто. Согласно этим предположениям, блокировки будут накладывать значительные и ненужные накладные расходы на производительность. По этой причине этот подход обычно избегает блокировки и пытается выполнить операции, проверяя (при фиксации каждой транзакции), не возник ли конфликт с другой транзакцией во время ее работы. Если возник какой-либо конфликт, этот подход продолжается с отменой транзакций, которые имели конфликтующие операции.

Одним из широко известных алгоритмов пессимистического контроля параллелизма является двухфазная блокировка.

Два широко известных алгоритма оптимистического управления параллелизмом:

• Контроль параллелизма на основе меток времени
• Управление многоверсионностью

Основное различие между этими двумя алгоритмами заключается в следующем. Алгоритм, основанный на метках времени, присваивает каждому объекту единственную (вернее, по одной для каждого вида операций, чтения и записи) метку времени, обозначающую последнюю транзакцию, обратившуюся к нему. Итак, каждая транзакция проверяет во время операции, не конфликтует ли она с последней транзакцией, обратившейся к объекту. Подход с несколькими версиями поддерживает несколько версий каждого объекта, каждая из которых соответствует транзакции. В результате при подходе с несколькими версиями удается добиться меньшего количества прерываний, чем при первом подходе, поскольку в некоторых случаях потенциально конфликтующая транзакция может записать новую версию вместо прерывания. Однако это достигается за счет увеличения объема памяти, необходимого для всех версий.

Строго говоря, MVCC в основном касается того, как хранятся данные, то есть того факта, что может быть несколько физических версий для каждого элемента данных. В результате теоретически возможно совмещать его и с пессимистическими методами (например, с блокировкой), но его многовариантность лучше всего сочетается с оптимистическими методами.