Control and Recovery, by Michael J. Franklin.
This paper easiest to digest in chunks. You don't have
to—in fact, probably shouldn't—read it all at once (or
even read it in order).
- Section 1 introduces some basic terms and goals for database
- Section 2 gives a good review of the basics of locking and
logging that will be discussed in lectures this week.
- Section 3.1 discusses some solutions to the
problem of concurrency control (how to keep a database consistent
even with interleaved operations from multiple users).
- Section 3.2 describes ARIES, a particular Recovery system based
on write-ahead logging.
- Section 4 discusses some of the trade-offs of the transaction
model discussed in the paper.
You should come to understand concepts such as serializability,
(no-)force and (no-)steal, write-ahead logging, two-phase locking,
degrees of isolation, etc.
As you read, think about the following:
- What failure models are we dealing with in this paper?
- Under what circumstances would you want transaction executions to
respect the ACID properties? Are there systems that don't need to
have all four properties?
Question for Recitation
Before you come to this recitation, you'll turn in
a brief answer to the following questions (really—we
don't need more than a sentence or so for each question). Your TA will
be in touch about exactly how to turn that in.
Your answers to these questions should be in your own
words, not direct quotations from the paper.
As always, there are multiple correct answers for each of these
- What is an example from the paper that illustrates the
trade-off between implementing ACID transaction properties and
maintaining good performance?
- How does that policy or technique trade off performance?
- Why would you use this policy or technique? (In what context,
under what circumstances, etc.)
Supplemental notes for this recitation. These,
along with our Sunday office hours are
intended to help students who had to miss a recitation due to
isolation, but they're also a useful resource for preparing for exams.