Title: Database%20Transactions%20and%20Transaction%20Management
1Database Transactions and Transaction Management
Svetlin Nakov
National Academy for Software Development
academy.devbg.org
2Agenda
- What is a Transaction?
- ACID Transactions
- Concurrency Problems
- Concurrency Control Techniques
- Locking Strategies
- Optimistic vs. Pessimistic Locking
- Deadlocks
- Transactions and Recovery
3Agenda (2)
- Transactions and SQL Language
- Transaction Isolation Levels
- When and How to Use Transactions?
4What is a Transaction?
5Transactions
- Transactions are a sequence of actions (database
operations) which are executed as a whole - Either all of them execute successfully
- Or none of the them
- Example
- A bank transfer from one account into another
(withdrawal deposit) - If either the withdrawal or the deposit fails the
whole operation is cancelled
6A Transaction
Read
Write
Durable starting state
Durable, consistent, ending state
Collection of reads and writes
Commit
Write
Rollback
7Transactions Behavior
- Transactions guarantee the consistency and the
integrity of the database - All changes in a transaction are temporary
- Changes become final when COMMIT is executed
- At any time all changes can be canceled by
ROLLBACK - All of the operations are executed as a whole,
either all of them or none of them
8Transactions Examples
Transfer 100
- Read current balance
- New balance current - 100
- Write new balance
- Dispense cash
- Read savings
- New savings current - 100
- Read checking
- New checking current 100
- Write savings
- Write checking
9What Can Go Wrong?
- Some actions fail to complete
- For example, the application software or database
server crashes - Interference from another transaction
- What will happen if several transfers run for the
same account in the same time? - Some data lost after actions complete
- Database crashes after withdraw is complete and
all other actions are lost
10ACID Transactions
11Transactions Properties
- DBMS servers have built-in transaction support
- Contemporary databases implement ACID
transactions - ACID means
- Atomicity
- Consistency
- Isolation
- Durability
12Atomicity
- Atomicity means that
- Transactions execute as a whole
- DBMS to guarantee that either all of the tasks of
a transaction are performed or none of them are - Atomicity example
- Transfer funds between bank accounts
- Either withdraw and deposit both execute
successfully or none of them - In case of failure DB stays unchanged
13Consistency
- Consistency means that
- The database is in a legal state when the
transaction begins and when it ends - Only valid data will be written to the database
- Transaction cannot break the rules of the
database, e.g. integrity constraints - Primary, foreign, alternate keys
- Consistency example
- Transaction cannot end with a duplicate primary
key in a table
14Isolation
- Isolation means that
- Multiple transactions running at the same time
not impact each others execution - Transactions dont see other transactions
uncommitted changes - Isolation level defines how deep transactions
isolate from one another - Read committed, read uncommitted, repeatable
read, serializable, etc. - Isolation example
- Manager can see the transferred funds on one
account or the other, but never on both
15Durability
- Durability means that
- If a transaction is confirmed it become
persistent - Cannot be lost or undone
- Ensured through the use of database backups and
transaction logs - Durability example
- After transfer funds and commit the power supply
is lost - Transaction stays persistent
16ACID Transactions and RDBMS Servers
- Popular RDBMS servers are transactional
- Oracle Database
- Microsoft SQL Server
- IBM DB2
- PostgreSQL
- Borland InterBase / Firebird
- All of the above servers support ACID
transactions - MySQL can also run in ACID mode
17Concurrency Problems
18Scheduling Transactions
- Serial schedule the ideal case
- An ordering of operations of the transactions so
with no interleaving - Problem Doesnt allow for as much concurrency as
wed like - Conflicting operations
- Two operations conflict if they
- 1) are from different transactions
- 2) access the same item, and
- 3) at least one of the transactions does a write
operation to that item
19Serial Schedule Example
- T1 Adds 50 to the balance
- T2 Subtracts 25 from the balance
- T1 completes before T2 begins no concurrency
problems
Time
Trans.
Step
Value
1
T
1
Read balance
100
2
T
1
balance 100 50
3
T
1
Write balance
150
4
T
2
Read balance
150
5
T
2
balance 150 - 25
6
T
2
Write balance
125
20Serializable Transactions
- Serializability
- Want to get the effect of serial schedules, but
allow for more concurrency - Serializable schedules
- Equivalent to serial schedules
- Produce same final result as serial schedule
- Locking mechanisms can ensure serializability
- Serializability is too expensive
- Optimistic locking allows better concurrency
21Concurrency Problems
- Problems from conflicting operations
- Dirty Read (Temporary Update)
- A transaction updates an item, then fails
- The item is accessed by another transaction
before rollback - Non-Repeatable Read
- A transactions reads an item twice and gets
different values because of concurrent change - Phantom Read
- A transaction executes a query twice, and obtains
a different numbers of rows because another
transaction inserted new rows meantime
22Concurrency Problems (2)
- Problems from conflicting operations
- Lost Update
- Two transactions update the same item
- Second update overwrites the first (last wins)
- Incorrect Summary
- One transaction is calculating an aggregate
function on some records while another
transaction is updating them - The aggregate function calculate some values
before updating and some after
23Dirty Read (Read Uncommitted) Example
Time
Trans.
Step
Value
1
T
1
Read balance
100
2
T
1
balance 100 50
3
T
1
Write balance
150
Uncommitted
4
T
2
Read balance
150
5
T
2
balance 150 - 25
Undoes T1
6
T
1
Rollback
7
T
2
125
Write balance
- Update from T1 was rolled back, but T2 doesnt
know about it, so finally the balance is
incorrect.
T2 writes incorrect balance
24Lost Update Example
Time
Trans.
Step
Value
1
T
1
Read balance
100
2
T
2
Read balance
100
3
T
1
balance balance 50
4
T
2
balance balance - 25
150
5
T
1
Write balance
6
T
2
Write balance
75
- Update from T1 is lost because T2 reads balance
before T1 was complete
Lost update!!
25Concurrency Control Techniques
26Concurrency Control
- The problem
- Conflicting operations in simultaneous
transactions may produce an incorrect results - What is concurrency control?
- Managing simultaneous operations on the database
without having them interfere with one another - Prevents conflicts when two or more users access
database simultaneously
27Concurrency Control Techniques
- Two basic concurrency control techniques
- Locking
- Used in most RDBMS servers, e.g. Oracle, SQL
Server, etc. - Timestamping
- Both are conservative (pessimistic) approaches
delay transactions in case they conflict with
other transactions - Optimistic methods assume conflict is rare and
only check for conflicts at commit
28Locking
- Transaction uses locks to deny access to shared
data by the other transactions - Most widely used approach to ensure
serializability - Generally, a transaction must claim a read
(shared) or write (exclusive) lock on a data item
before read or write - Lock prevents another transaction from modifying
item or even reading it, in the case of a write
lock - Deadlock is possible
29Timestamping
- A unique identifier
- Created by the DBMS
- Indicates relative starting time of a transaction
- Transactions ordered globally
- Older transactions (earlier timestamps) get
priority in the event of conflict - Conflict is resolved by rolling back and
restarting transaction - No locks so no deadlock
30Locking Strategies
31Locking Strategies
- Optimistic locking
- Locks are not used
- Conflicts are possible but are resolved before
commit - High concurrency scale well
- Pessimistic locking
- Use exclusive and shared locks
- Transactions wait for each other
- Low concurrency does not scale
32Optimistic Locking
- Optimistic locking means no locking
- Based on assumption that conflicts are rare
- It is more efficient to let transactions proceed
without delays to ensure serializability - At commit, check is made to determine whether
conflict has occurred - If there is a conflict, transaction must be
rolled back and restarted - Allows greater concurrency than pessimistic
locking
33Optimistic Locking Phases
- Three phases
- Read
- Transaction reads the DB, does computations, then
makes updates to a private copy of the DB (e.g.
in the memory) - Validation
- Make sure that transaction doesnt cause any
integrity/consistency problems - If no problems, transaction goes to write phase
- If problems, changes are discarded and
transaction is restarted - Write
- Changes are made persistent to DB
34Pessimistic Locking
- Assume conflicts are likely
- Lock shared data to avoid conflicts
- Transactions wait each other does not scale
well - Use shared and exclusive locks
- Transactions must claim a read (shared) or write
(exclusive) lock on a data item before read or
write - Locks prevents another transaction from modifying
item or even reading it, in the case of a write
lock
35Locking Basic Rules
- If transaction has read lock on an item, the item
can be read but not modified - If transaction has write lock on an item, the
item can be both read and modified - Reads cannot conflict, so multiple transactions
can hold read locks simultaneously on the same
item - Write lock gives one transaction exclusive access
to an item - Transaction can upgrade a read lock to a write
lock, or downgrade a write lock to a read lock - Commits or rollbacks release the locks
36Deadlock
- What is deadlock?
- When two (or more) transactions are each waiting
for locks held by the other to be released - Breaking a deadlock
- Only one way to break deadlock abort one or more
of the transactions
37Dealing with Deadlock
- Deadlock prevention
- Transaction cant obtain a new lock if the
possibility of a deadlock exists - Deadlock avoidance
- Transaction must obtain all the locks it needs
before it starts - Deadlock detection and recovery
- DB checks for possible deadlocks
- If deadlock is detected, one of the transactions
is killed, then restarted
38Lock Management
- Lock and unlock requests are handled by the lock
manager, stored in the lock table - Lock table entries store
- Number of transactions currently holding a lock
- Type of lock held (shared or exclusive)
- Pointer to queue of lock requests
- Locking and unlocking have to be atomic
operations - Lock upgrade transaction that holds a shared
lock can be upgraded to exclusive lock
39Locking Granularity
- Size of data items chosen as unit of protection
by concurrency control - Ranging from coarse to fine
- Entire database
- File
- Page (block)
- Record
- Field value of a record
40Coarse vs. Fine Granularity
- Granularity is a measure of the amount of data
the lock is protecting - Coarse granularity
- Small number of locks protecting large segments
of data, e.g. DB, file, page locks - Small overhead, small concurrency
- Fine granularity
- Large number of locks over small areas of data,
e.g. table row of field in a row - More overhead, more concurrency
- DBMS servers are smart and use both
41Transactions and Recovery
42Transactions and Recovery
- Transactions represent basic unit of recovery
- Recovery manager responsible for atomicity and
durability - What happens at failure?
- If transaction had not committed at failure time,
recovery manager has to undo (rollback) any
effects of that transaction for atomicity - If failure occurs between commit and database
buffers being flushed to secondary storage,
recovery manager has to redo (rollforward)
transaction's updates
43Crash Before Completion Sample Scenario
- Application tries to transfer 100
- Read savings
- new savings current - 100
- Read checking
- new checking current 100
- Write savings to DB
- System crash before write of new checking balance
44Recovery from Crash
- Rollback
- Recover to the starting state
- Take snapshot (checkpoint) of starting state
- E.g., initial bank balance (and all other states)
- And keep a redo log
- Alternative keep an undo log
- E.g., bank balance changed old value was x
- Resume (if recoverable)
- Redo all committed actions (since last
checkpoint) - Or undo all uncommitted actions
45Creating REDO Log
- Keep a log of all database writes ON DISK (so
that it is still available after crash) - lttransaction IDgt ltdata itemgt ltnew valuegt
- (Tj x125) (Ti y56)
- Actions must be idempotent (redoable)
- NOT x x 100
- But don't write to the database yet
- At the end of transaction execution
- Add "commit lttransaction IDgt" to the log
- Do all the writes to the database
- Add "complete lttransaction IDgt" to the log
46Sample REDO Log File
47Recovering From a Crash
- There are 3 phases in the recovery algorithm
- Analysis scan the log forward to identify all
transactions that were active, and all dirty
pages in the buffer pool at the time of the crash - Redo redoes all updates to dirty pages in the
buffer pool, as needed, to ensure that all logged
updates are in fact carried out and written to
disk - Undo all transactions that were active at the
crash are undone, working backwards in the log - Some care must be taken to handle the case of a
crash occurring during the recovery process!
48Transactions and SQL Language
49Transactions and SQL
- Start a transaction
- BEGIN TRANSACTION
- Some databases assume implicit start
- E.g. Oracle
- Ending a transaction
- COMMIT
- Used to end a successful transaction and make
changes permanent - ROLLBACK
- Undo changes from an aborted transaction
- May be done automatically when failure occurs
50Transactions in SQL Server Example
- We have a table with bank accounts
- We use a transaction to transfer money from one
account into another
CREATE TABLE ACCOUNT( id int NOT NULL,
balance decimal NOT NULL)
CREATE OR REPLACE PROCEDURE sp_Transfer_Funds(
from_account IN INT, to_account IN INT,
ammount IN NUMBER) IS BEGIN BEGIN TRAN (example
continues)
51Transactions in SQL Server Example (2)
UPDATE ACCOUNT set balance balance - ammount
WHERE id from_account IF SQLROWCOUNT ltgt
1 THEN ROLLBACK RAISE_APPLICATION_ERROR(-
20001, 'Invalid src account!') END IF
UPDATE ACCOUNT set balance balance ammount
WHERE id to_account IF SQLROWCOUNT ltgt 1
THEN ROLLBACK RAISE_APPLICATION_ERROR(-20
002, 'Invalid dst account!') END IF
COMMIT END
52Transaction Isolation Levels
53Transactions and isolation
- Transactions can define different isolation
levels for themselves - Stronger isolation ensures better consistency but
has less concurrency and the data is locked longer
Level of isolation Dirty reads Repeatable reads Phantom reads
Read uncommitted yes yes yes
Read committed no yes yes
Repeatable read no no yes
Serializable no no no
54Isolation levels
- Uncommitted Read
- Reads everything, even data not committed by some
other transaction - No data is locked
- Not commonly used
- Read Committed
- Current transaction sees only committed data
- Records retrieved by a query are not prevented
from modification by some other transaction - Default behavior in most databases
55Isolation levels
- Repeatable Read
- Records retrieved cannot be changed from outside
- The transaction acquires read locks on all
retrieved data, but does not acquire range locks
(phantom reads may occur) - Deadlocks can occur
- Serializable
- Acquires a range lock on the data
- Simultaneous transactions are actually executed
one after another
56When and How to Use Transactions?
57Transactions Usage
- When force using transactions?
- Always when a business operation modifies more
than one table (atomicity) - When you dont want conflicting updates
(isolation) - How to choose isolation level?
- Use read committed, unless you need more strong
isolation - Keep transactions small in time
- Never keep transactions opened for long
58Transactions Usage Examples
- Transfer money from one account to another
- Either both withdraw and deposit succeed or
neither of them - At the pay desk of a store we buy a cart of
products as a whole - We either buy all of them and pay or we buy
nothing and give no money - If any of the operations fails we cancel the
transaction (the entire purchase)
59Database Transactions and Transaction Management
Questions?