Что такое Pessimistic Locking?

Pessimistic Locking: концепция блокировки данных

Pessimistic Locking (пессимистичная блокировка) — это стратегия управления параллельными транзакциями в многопользовательских системах, которая предполагает, что конфликты при одновременном изменении данных неизбежны. Поэтому система заранее блокирует доступные для изменения данные для других транзакций до завершения текущей операции. Эта концепция противоположна Optimistic Locking, где конфликты считаются редкими и проверяются только при попытке сохранения.

Механизм работы

При пессимистичной блокировке транзакция, желающая изменить данные (например, строку в таблице), сначала явно получает lock (блокировку) на эти данные. Эта блокировка предотвращает чтение или изменение этих данных другими транзакциями до момента, пока первоначальная транзакция не завершится (commit) или не откатится (rollback).

Основные типы блокировок в реляционных базах данных (MySQL, PostgreSQL):

• FOR UPDATE: Блокировка для изменения. Другие транзакции не могут изменять или блокировать эти строки, но могут читать их (в зависимости от уровня изоляции).
• FOR SHARE / LOCK IN SHARE MODE: Блокировка для совместного чтения. Позволяет другим транзакциям также читать данные, но запрещает им получать блокировки FOR UPDATE.

Пример реализации в PHP с MySQL

Рассмотрим пример обработки финансовой транзакции — резервирование товара на складе.

<?php
// Установка соединения с базой данных
$pdo = new PDO('mysql:host=localhost;dbname=shop', 'user', 'password');
$pdo->setAttribute(PDO::ATTR_ERRMODE, PDO::ERRMODE_EXCEPTION);

try {
    // Начало транзакции
    $pdo->beginTransaction();
    
    // 1. ПЕССИМИСТИЧНАЯ БЛОКИРОВКА: выбираем строку с блокировкой FOR UPDATE
    $productId = 123;
    $stmt = $pdo->prepare("SELECT id, stock_quantity FROM products WHERE id = :id FOR UPDATE");
    $stmt->execute([':id' => $productId]);
    $product = $stmt->fetch(PDO::FETCH_ASSOC);
    
    if ($product) {
        // 2. Проверяем и изменяем данные (гарантировано, что они не изменятся другими)
        $requiredQuantity = 5;
        if ($product['stock_quantity'] >= $requiredQuantity) {
            $newQuantity = $product['stock_quantity'] - $requiredQuantity;
            $updateStmt = $pdo->prepare("UPDATE products SET stock_quantity = :new_qty WHERE id = :id");
            $updateStmt->execute([':new_qty' => $newQuantity, ':id' => $productId]);
            
            // 3. Логирование операции
            $logStmt = $pdo->prepare("INSERT INTO reservations (product_id, quantity) VALUES (:pid, :qty)");
            $logStmt->execute([':pid' => $productId, ':qty' => $requiredQuantity]);
            
            echo "Товар успешно зарезервирован.";
        } else {
            echo "Недостаточно товара на складе.";
        }
    }
    
    // 4. Завершение транзакции и освобождение блокировки
    $pdo->commit();
} catch (Exception $e) {
    // В случае ошибки - откат транзакции (блокировка также освобождается)
    $pdo->rollBack();
    echo "Ошибка: " . $e->getMessage();
}
?>

Ключевые особенности и преимущества

• Предотвращение конфликтов: Конфликтные ситуации (например, одновременное уменьшение остатков двумя пользователями) невозможны, так как второй процесс будет ожидать освобождения блокировки или получит ошибку.
• Простота реализации: Не требуется механизм проверки версий данных (как в optimistic locking). Достаточно использовать соответствующие SQL-директивы.
• Гарантия целостности: Идеально подходит для операций, где последнее изменение должно быть абсолютно точным, например, банковские переводы, резервирование ограниченных ресурсов.
• Контроль времени ожидания: Можно настроить timeout для ожидания блокировки, чтобы избежать бесконечного ожидания.

Проблемы и ограничения

• Снижение производительности: Блокировки создают ожидание, что уменьшает общую пропускную способность системы при высокой конкуренции.
• Риск deadlock (взаимной блокировки): Если две транзакции блокируют разные ресурсы и затем пытаются получить доступ к ресурсу, заблокированному другой, возникает deadlock. Системы обычно обнаруживают и прерывают такие ситуации.
• Увеличение сложности приложения: Необходимо тщательно управлять порядком блокировок и временем транзакций, чтобы минимизировать время захвата ресурсов.

Когда использовать Pessimistic Locking в backend PHP?

• Финансовые операции: Переводы между счетами, где баланс должен быть абсолютно точным.
• Работа с ограниченными ресурсами: Бронирование последнего места на мероприятие, уменьшение остатка уникального товара.
• Системы с высокой конкуренцией за данные: Если ожидается, что множество пользователей одновременно будут пытаться изменять одни и те же записи.
• Короткие транзакции: Когда операция изменения данных выполняется быстро, чтобы минимизировать время блокировки.

Альтернативы и компромиссы

Для сценариев, где конфликты редки (например, редактирование профиля пользователя), чаще используют Optimistic Locking через версионность данных или сравнение полей. В распределенных системах могут применяться механизмы распределенных блокировок (например, через Redis) или паттерн Event Sourcing.

Pessimistic Locking остается мощным и простым инструментом для гарантии строгой целостности данных в конкурентной среды, но его применение требует баланса между надежностью и производительностью системы.