Что такое Durability (D в ACID) и как обеспечивается её гарантия?

Durability (D в ACID): что это и как обеспечивается

• ACID — совокупность свойств, необходимых для надежного выполнения транзакций в БД
• Durability гарантирует сохранность изменений после подтверждения транзакции
• Даже если произойдет сбой питания или сервера, зафиксированные изменения не будут потеряны
• Гарантия обеспечивается за счет журнала транзакций (write-ahead logging) или redo-логов
• Сначала данные сохраняются в надежном хранилище — журнале, а затем изменения применяются к основной БД
• Для физической записи на диск используются fsync и аналогичные операции, предотвращающие потерю данных из-за кэширования
• Механизмы восстановления (recovery) после сбоя дописывают последние подтвержденные транзакции
• Главный принцип заключается в том, что изменения не считаются завершенными, пока не будут надежно записаны на диск (постоянная фиксация)

Иными словами, Durability гарантирует, что данные после commit сохранятся навсегда; для этого применяются журналы и надежная запись на диск.

Подробный ответ

Основной ответ

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

Ключевые моменты

• Для реализации Durability применяют журналирование (write-ahead logging, WAL): до внесения изменений в основное хранилище они записываются на диск в журнал. Благодаря этому запись можно использовать для восстановления.
• Данные размещаются в постоянном хранилище — например, на SSD или HDD с синхронной записью, а не исключительно в оперативном кэше, содержимое которого может исчезнуть при отключении питания.
• Также применяются процедуры checkpointing и журнал восстановления (recovery). При сбое они позволяют вернуть базу данных в последнее консистентное состояние, восстановив транзакции по журналу.

Практический контекст

В PostgreSQL 14+ и современных СУБД свойство Durable обеспечивается с помощью WAL и fsync: сначала данные записываются в журнал, после чего перед ответом клиенту подтверждается их сохранение на диске. Такой подход обеспечивает надежность, требуемую в финансовых системах, где недопустима потеря даже одной транзакции. Trade-off заключается в том, что запись в WAL увеличивает задержку (~миллисекунды), зато дает максимальные консистентность и надежность.