Какие знаешь типы блокировок бд?

Типы блокировок в базах данных

В контексте разработки на Go и взаимодействия с базами данных понимание механизмов блокировок является критически важным для построения корректных, эффективных и надежных систем. Блокировки обеспечивают консистентность данных, предотвращают конфликты параллельных операций и реализуют изоляцию транзакций. В целом, их можно классифицировать по нескольким ключевым критериям.

Основные категории блокировок

1. Блокировки по уровню изоляции

Это фундаментальные блокировки, связанные со стандартными уровнями изоляции транзакций (ANSI SQL). Они управляются самой СУБД автоматически.

• Блокировки записи (Write Locks / Exclusive Locks): Гарантируют, что только одна транзакция может изменять данные (INSERT, UPDATE, DELETE). Все другие транзакции блокируются от чтения или изменения этой же записи до завершения операции. Например, в Go при выполнении UPDATE users SET balance = balance - 100 WHERE id = 1 СУБД установит эксклюзивную блокировку на эту строку.
• Блокировки чтения (Read Locks / Shared Locks): Позволяют нескольким транзакциям одновременно читать одни и те же данные, но запрещают их изменение. Часто используются для обеспечения консистентности читаемых данных (Repeatable Read). В Go это может происходить при выполнении SELECT с определенными настройками транзакции.

// Пример в Go с использованием транзакции уровня Repeatable Read
tx, err := db.BeginTx(ctx, &sql.TxOptions{Isolation: sql.LevelRepeatableRead})
if err != nil {
    log.Fatal(err)
}
// СУБД может установить shared lock на читаемые строки
row := tx.QueryRow("SELECT balance FROM users WHERE id = 1 FOR UPDATE")

2. Блокировки по объекту

Определяют, на какой элемент данных устанавливается блокировка.

• Блокировки строк (Row-level locks): Самые распространенные и точные. Блокируют только одну строку таблицы, минимизируя конфликты. Используются в большинстве OLTP-систем. Однако в Go важно помнить, что при массовых UPDATE без точного WHERE могут блокироваться многие строки, что приводит к конкуренции.
• Блокировки страниц (Page-level locks): Блокируют физическую страницу данных (группу строк). Менее точны, но могут быть эффективны для определенных паттернов доступа.
• Блокировки таблиц (Table-level locks): Блокируют всю таблицу. Очень грубые, но используются для операций DDL (ALTER TABLE) или массовых операций, где точность не важна. В Go такие блокировки возникают редко при работе через ORM или драйверы, но их надо учитывать при миграциях схемы.

-- Пример DDL операции, которая требует блокировки таблицы
ALTER TABLE users ADD COLUMN last_login TIMESTAMP;
-- Во время выполнения этой команды через Go-драйвер, таблица 'users' будет заблокирована

3. Блокировки по режиму

Определяют интенсивность конфликта между параллельными операциями.

• Экспирементные (Exclusive, X): Самый строгий режим. Данные могут быть изменены только одной транзакцией. Ни чтение, ни изменение другими транзакциями не допускаются.
• Совместные (Shared, S): Более мягкий режим, разрешающий параллельное чтение.
• Блокировки обновления (Update, U): Используются как промежуточный этап. Транзакция получает shared lock для поиска данных, а затем пытается повысить его до exclusive для изменения. Это предотвращает состояние гонки (race condition) между несколькими транзакциями, которые читают и затем планируют обновить одну строку.

4. Блокировки по способу управления

• Автоматические (Внутренние): Устанавливаются и управляются СУБД автоматически в рамках механизма транзакций (MVCC, 2-Phase Locking). Разработчик на Go обычно не управляет ними напрямую, но их поведение определяется уровнем изоляции транзакции.
• Явные (Пользовательские): Блокировки, которые разработчик устанавливает самостоятельно с помощью специальных SQL-директив. Это мощный, но опасный инструмент, требующий глубокого понимания.

    *   **SELECT ... FOR UPDATE / FOR SHARE:** Директива для явной установки блокировки на строки при выборке. Критически важна в Go для реализации паттернов, где необходимо гарантировать, что выбранные данные не будут изменены другой транзакцией до завершения вашей логики (например, резервирование товара).

// Явная блокировка строки в Go для реализации безопасного обновления
tx, _ := db.Begin()
// FOR UPDATE устанавливает exclusive lock на строки, удовлетворяющие условию
var currentBalance int
err := tx.QueryRow("SELECT balance FROM accounts WHERE user_id = ? FOR UPDATE", userId).Scan(&currentBalance)
if err != nil {
    tx.Rollback()
    return err
}
// Гарантировано, что balance не изменился между SELECT и UPDATE
_, err = tx.Exec("UPDATE accounts SET balance = ? WHERE user_id = ?", currentBalance-amount, userId)
tx.Commit()

Особые виды блокировок

• Предикатные блокировки (Predicate locks): Используются для блокировки не существующих строк, а пространства значений (например, диапазона ключей). Необходимы для предотвращения фантомного чтения (phantom reads) на высоких уровнях изоляции (Serializable).
• Блокировки метаданных (Schema locks): Блокируют объекты схемы базы данных (таблицы, индексы) во время их изменения.
• Блокировки латчей (Latch): Кратковременные низкоуровневые блокировки внутренних структур памяти СУБД (буферы, списки), не относящиеся напрямую к транзакциям пользователя.

Заключение для Go-разработчика

При разработке на Go выбор подходящего типа блокировки и уровня изоляции транзакции (через sql.TxOptions) напрямую влияет на баланс между корректностью и производительностью. Чрезмерное использование явных строгих блокировок (FOR UPDATE) может привести к дедлокам и снижению параллельности. Недостаточная изоляция может вызвать рассинхронизацию данных. Ключевая задача — понимать бизнес-логику, оценивать риски конфликтов и выбирать соответствующий инструмент: использовать автоматические механизмы СУБД для большинства случаев и применять явные блокировки только для критических операций, требующих абсолютной гарантии последовательности. Тестирование под нагрузкой (concurrent benchmarks) в Go является обязательным этапом для проверки корректности выбранного подхода.