Транзакционность — это свойство информационных систем (чаще всего баз данных), гарантирующее надежность и целостность данных при выполнении операций, представляющих собой логически завершенные единицы работы. Каждая транзакция должна обладать следующими свойствами, известными как свойства ACID:
- Атомарность (Atomicity): Транзакция представляет собой неделимую единицу работы. Либо все ее операции выполняются успешно, либо ни одна из них не оказывает постоянного эффекта. В случае сбоя все изменения, внесенные транзакцией, откатываются (rollback).
- Согласованность (Consistency): Транзакция переводит систему из одного согласованного состояния в другое. Она не нарушает установленные ограничения целостности данных.
- Изолированность (Isolation): Выполнение одной транзакции не должно оказывать влияния на параллельно выполняющиеся транзакции. Каждая транзакция "видит" данные так, как если бы она выполнялась монопольно. Существуют различные уровни изоляции, допускающие разные типы конфликтов (например, "грязное" чтение, неповторяющееся чтение, чтение-фантом).
- Долговечность (Durability): После успешного завершения (коммита) транзакции все ее изменения становятся постоянными и не могут быть утеряны даже в случае сбоя системы.
Применительно к C/C++ разработке, транзакционность часто реализуется при работе с базами данных (используя соответствующие API, например, SQL), файловыми системами (редко и специфично), или в пользовательских структурах данных, требующих атомарных операций при параллельном доступе.
Пример атомарной операции с использованием мьютекса:
cpp
В контексте баз данных, транзакции управляются явно:
sql
Соблюдение свойств ACID обеспечивает надежность и предсказуемость поведения системы, особенно при параллельной обработке данных и в условиях возможных сбоев.