ACID: различия между версиями
| [отпатрулированная версия] | [отпатрулированная версия] |
Bezik (обсуждение | вклад) м -переразметка, викификатор, rev |
м откат правок 178.173.103.183 (обс.) к версии Bezik Метки: откат ссылка на неоднозначность |
||
| (не показаны 3 промежуточные версии 3 участников) | |||
| Строка 1: | Строка 1: | ||
{{значения|Acid}} |
{{значения|Acid}} |
||
'''ACID''' (от {{lang-en|atomicity, consistency, isolation, durability}}) — набор требований к [[Транзакционная система|транзакционной системе]], обеспечивающий наиболее надёжную и предсказуемую её работу — атомарность{{переход|#Атомарность}}, согласованность{{переход|#Согласованность}}, |
'''ACID''' (от {{lang-en|atomicity, consistency, isolation, durability}}) — набор требований к [[Транзакционная система|транзакционной системе]], обеспечивающий наиболее надёжную и предсказуемую её работу — атомарность{{переход|#Атомарность}}, согласованность{{переход|#Согласованность}}, изоляцию{{переход|#Изоляция}}, устойчивость{{переход|#Устойчивость}}; сформулированы в конце 1970-х годов [[Джим Грей|Джимом Греем]]<ref>{{статья |автор=Jim Gray |заглавие=The Transaction Concept: Virtues and Limitations |ссылка=http://jimgray.azurewebsites.net/papers/thetransactionconcept.pdf |серия=Proceedings of the 7th International Conference on Very Large Databases |издание= |год=1981 |месяц=06 |номер= |страницы= |issn= |archivedate=2020-07-04 |archiveurl=https://web.archive.org/web/20200704115542/http://jimgray.azurewebsites.net/papers/thetransactionconcept.pdf }}</ref>. |
||
Набор требований считается фактическим стандартом для высоконадёжных систем, прежде всего, [[Реляционная СУБД|реляционных СУБД]], при этом с середины 2000-х годов для построения распределённых СУБД предполагается отказ от части требований ACID (для обоснования чего используются [[теорема CAP]], [[теорема PACELC]]) или снижение строгости требований ([[ |
Набор требований считается фактическим стандартом для высоконадёжных систем, прежде всего, [[Реляционная СУБД|реляционных СУБД]], при этом с середины 2000-х годов для построения распределённых СУБД предполагается отказ от части требований ACID (для обоснования чего используются [[теорема CAP]], [[теорема PACELC]]) или снижение строгости требований ([[Теорема CAP#BASE-архитектура|BASE]]). |
||
== Атомарность == |
== Атомарность == |
||
| Строка 14: | Строка 14: | ||
Согласованность является более широким понятием. Например, в банковской системе может существовать требование равенства суммы, списываемой с одного счёта, сумме, зачисляемой на другой. Это — бизнес-правило, и оно не может быть гарантировано только проверками целостности, его должны соблюсти программисты при написании кода транзакций. Если какая-либо транзакция произведёт списание, но не произведёт зачисления, то система останется в некорректном состоянии и свойство согласованности будет нарушено. |
Согласованность является более широким понятием. Например, в банковской системе может существовать требование равенства суммы, списываемой с одного счёта, сумме, зачисляемой на другой. Это — бизнес-правило, и оно не может быть гарантировано только проверками целостности, его должны соблюсти программисты при написании кода транзакций. Если какая-либо транзакция произведёт списание, но не произведёт зачисления, то система останется в некорректном состоянии и свойство согласованности будет нарушено. |
||
При этом в ходе выполнения транзакции согласованности не требуется: между зачислением и списанием из примера, скорее всего, внутри транзакции будет промежуточное несогласованное состояние системы, но благодаря требованию изолированности никаким другим транзакциям эта несогласованность не будет видна. Атомарность же гарантирует, что транзакция либо будет полностью завершена, либо ни одна из операций транзакции не будет выполнена. Тем самым эта промежуточная несогласованность является скрытой. |
|||
== Изоляция == |
== Изоляция == |
||
Текущая версия от 18:02, 26 сентября 2024
ACID (от англ. atomicity, consistency, isolation, durability) — набор требований к транзакционной системе, обеспечивающий наиболее надёжную и предсказуемую её работу — атомарность, согласованность, изоляцию, устойчивость; сформулированы в конце 1970-х годов Джимом Греем[1].
Набор требований считается фактическим стандартом для высоконадёжных систем, прежде всего, реляционных СУБД, при этом с середины 2000-х годов для построения распределённых СУБД предполагается отказ от части требований ACID (для обоснования чего используются теорема CAP, теорема PACELC) или снижение строгости требований (BASE).
Атомарность
[править | править код]Атомарность гарантирует, что никакая транзакция не будет зафиксирована в системе частично. Будут либо выполнены все её подоперации, либо не выполнено ни одной. Поскольку на практике невозможно одновременно и атомарно выполнить всю последовательность операций внутри транзакции, вводится понятие «отката» (rollback): если транзакцию не удаётся полностью завершить, результаты всех её до сих пор произведённых действий будут отменены и система вернётся во «внешне исходное» состояние — со стороны будет казаться, что транзакции и не было (естественно, счётчики, индексы и другие внутренние структуры могут измениться, но, если СУБД запрограммирована без ошибок, это не повлияет на внешнее её поведение).
Согласованность
[править | править код]Транзакция, достигающая своего нормального завершения (англ. end of transaction, EOT) и тем самым фиксирующая свои результаты, сохраняет согласованность базы данных. Другими словами, каждая успешная транзакция по определению фиксирует только допустимые результаты. Это условие является необходимым для поддержки четвёртого свойства.
Согласованность является более широким понятием. Например, в банковской системе может существовать требование равенства суммы, списываемой с одного счёта, сумме, зачисляемой на другой. Это — бизнес-правило, и оно не может быть гарантировано только проверками целостности, его должны соблюсти программисты при написании кода транзакций. Если какая-либо транзакция произведёт списание, но не произведёт зачисления, то система останется в некорректном состоянии и свойство согласованности будет нарушено.
При этом в ходе выполнения транзакции согласованности не требуется: между зачислением и списанием из примера, скорее всего, внутри транзакции будет промежуточное несогласованное состояние системы, но благодаря требованию изолированности никаким другим транзакциям эта несогласованность не будет видна. Атомарность же гарантирует, что транзакция либо будет полностью завершена, либо ни одна из операций транзакции не будет выполнена. Тем самым эта промежуточная несогласованность является скрытой.
Изоляция
[править | править код]Во время выполнения транзакции параллельные транзакции не должны оказывать влияния на её результат. Изолированность — требование дорогое, поэтому в реальных базах данных существуют режимы, не полностью изолирующие транзакцию (уровни изолированности, допускающие фантомное чтение и ниже).
Устойчивость
[править | править код]Независимо от проблем на нижних уровнях (к примеру, обесточивание системы или сбои в оборудовании) изменения, сделанные успешно завершённой транзакцией, должны остаться сохранёнными после возвращения системы в работу. Другими словами, если пользователь получил подтверждение от системы, что транзакция выполнена, он может быть уверен, что сделанные им изменения не будут отменены из-за какого-либо сбоя.
Примечания
[править | править код]- ↑ Jim Gray. The Transaction Concept: Virtues and Limitations. — 1981. — Июнь. Архивировано 4 июля 2020 года.
Литература
[править | править код]- P. A. Bernstein, N. Goodman, V. Hadzilacos. Concurrency Control and Recovery in Database Systems. — Addison-Wesley, 1986.
 | Для улучшения этой статьи желательно:
|
| Типы |
| ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Концепции | |||||||||
| Объекты | |||||||||
| Ключи | |||||||||
| Компоненты | |||||||||
| SQL |
| ||||||||
