Data-intensive Computing Systems-Concurrency Control

Content

Transaction

Transaction: Programmer’s Role

System’s Role

Transaction: States

Issues with Concurrency: Example

Terminology

Correct Schedules: Serializability

Equivalent Serial Schedule

Serializable Schedule

Serializability

Simpler Notation

Conflict Serializability

Conflict Serializable Schedule

Transformation: Example

Non-Conflicting Actions