DSA Factory
Free Transactions and concurrency lessonsTransactions and concurrency · Stage 1 · Many users at once · Step 1

Schedules and serializability

Interleave two transactions, find which operations conflict, and test whether the result equals some serial order. About 15 minutes.

Quick check

The precedence graph of a schedule has the edges T1 → T2, T2 → T3 and T3 → T1. What is true?

  1. AIt is not conflict-serializable: the edges form a cycle
  2. BIt is conflict-serializable as T1, T2, T3
  3. CIt depends on the data values
Show the answer

It is not conflict-serializable: the edges form a cycle. No serial order can place each of them before the next all the way round.

Lock it in

4 questions on this idea

Short questions that apply the idea to new cases: trace it, work out a number, put steps in order. A wrong answer explains itself.

Answer them in your browserFree account, no card. Your progress is saved, and the idea comes back in a quick review later.
Sign up free to solve