From 14d84314271441fd389a636969f27fd13fba1fc9 Mon Sep 17 00:00:00 2001 From: Morgan Cheng Date: Fri, 1 Aug 2014 21:59:42 +0800 Subject: [PATCH] Update README.md I suppose "fall" should be "fail". --- README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 4458eee..9ddfde7 100644 --- a/README.md +++ b/README.md @@ -121,11 +121,11 @@ return to them after I introduce the algorithm and expect you to say something l - possible transitions between states: c→d, d→c, d→dc, dc→c - possible transitions during transaction: c→d, d→dc, dc→c - a possible transition during reads: d→c -- if there was an d→c transition, the transaction initiated c→d transition must fall on commit +- if there was an d→c transition, the transaction initiated c→d transition must fail on commit - after each operation the database has consistent state -- when read falls we must reread -- if a transaction falls before commit we should start new transaction -- if a transaction falls during commit we should check if it has passed +- when read fails we must reread +- if a transaction fails before commit we should start new transaction +- if a transaction fails during commit we should check if it has passed and it if hasn't we should repeat the whole thansaction - if a transaction has passed then the tx object is removed