ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and Partial Rollbacks Using Write-Ahead Logging.¶
Mohan, C., Haderle, D., Lindsay, B., Pirahesh, H., & Schwarz, P. (1992). ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and Partial Rollbacks Using Write-Ahead Logging. ACM Transactions on Database Systems, 17(1), 94-162.
Cited by¶
5 citations across 5 artifacts.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Logging
- The writer at event time is the database engine, which records the change description before applying it to the actual data pages — the defining discipline.
This sourceCanonical write-ahead-logging recovery algorithm: log records appended before data pages are modified, ordered by monotonic log sequence numbers.
SupportedVerified against the work's full text
ARIES states the write-ahead-logging rule: a change's log records must reach stable storage before the updated page may replace its prior version on nonvolatile storage.
“The WAL protocol asserts that the log records representing changes to some data must already be on stable storage before the changed data is allowed to replace the previous version of that data on nonvolatile storage.”
- The writer at event time is the database engine, which records the change description before applying it to the actual data pages — the defining discipline.
- Return Path
- In software state and transactions it is undo stacks, transaction rollback, version-control revert, write-ahead-log recovery, and two-phase-commit abort paths: the forward path commits state, the return path unwinds it.
This sourceSpecifies write-ahead logging with before-images so rollback can restore the last consistent state — the canonical return-path-as-infrastructure case.
Supported in partVerified against the work's full text
ARIES shows WAL-based rollback and recovery undoing uncommitted work while forward processing applies updates; undo stacks and version-control revert are outside it.
“despite various types of failures, or that its uncommitted actions are undone”
- In software state and transactions it is undo stacks, transaction rollback, version-control revert, write-ahead-log recovery, and two-phase-commit abort paths: the forward path commits state, the return path unwinds it.
- Setup–Resolution Pair
- Once a pair has closed, the interval between its elements can be dropped from the working set: the details of how the demand was carried, what else happened while it was open, and which intermediate steps touched it stop mattering, because nothing downstream can depend on a demand that no longer exists.
Supported in partVerified against the work's full text
ARIES shows a concrete case: its transaction table tracks only active transactions and drops entries once the end record is written.
“A table called the transaction table is used during restart recovery to track the state of active transactions.”
- Once a pair has closed, the interval between its elements can be dropped from the working set: the details of how the demand was carried, what else happened while it was open, and which intermediate steps touched it stop mattering, because nothing downstream can depend on a demand that no longer exists.
Domain-specific¶
Mechanisms¶
- Commit-Log Recovery Replay
- The technique is the distributed-transaction descendant of write-ahead logging.
This sourceACM Transactions on Database Systems. Introduces ARIES recovery using write-ahead logging and restart replay of logged history.
- The technique is the distributed-transaction descendant of write-ahead logging.
Verification¶
Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.
Does it back the claim? Read against the text for 3 of 5 citations: 1 supported, 2 supported in part. Each verdict is shown under its citation below, with what in the work backs the sentence.
Was it audited? Yes. A second, independent pass read the citation against the article text and recorded a verdict.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Registry ID ref:40d09633e4b6 · see in the full table