The Five Color Concurrency Control Protocol: Non-Two-Phase Locking in General Databases, April, 1986

by Partha Dasgupta

Excerpt from The Five Color Concurrency Control Protocol

A transaction that intends to read (or write) a data item x, issues a read (or write) request to the transaction manager. The transaction manager is responsible for determining whether or not granting of the request may cause a violation of the correctness criterion (generally serializability). The transaction manager then takes appropriate action by granting, rejecting or delaying the request. A trace of a transaction is a sequence of read and write requests it makes to the transaction manager. A history is written as a sequence of actions of the form Ri(x) 01' Wi(x)' where Ri(x) (or Wi(x)) means a transaction Ti issues a read (write) on data item x. Note that we are not interested in the values read or written, but in the syntactic properties of the string that lists the sequence of reads and writes on the data items. We will assume at most one read and at most one write per transaction per data item in any trace. If a transaction reads as well as writes a particular data item, we assume the read will precede the write. Multiple reads and writes are handled in an obvious The first read is used to read the value of the data item and Store it in local storage, and the other reads on the same data item are processed locally. Similarly, all writes except the last one are written to local storage, and the last one appears on the log. Thus there is no loss of generality.

46 pages, Paperback

First published September 27, 2015

About the author

Professor Sir Partha Sarathi Dasgupta (born November 17, 1942), FBA, FRS, is the Frank Ramsey Professor of Economics at the University of Cambridge, United Kingdom; Fellow of St John's College, Cambridge; Honorary Fellow of Trinity College, Cambridge; and Professor of Environmental and Development Economics at the University of Manchester. Research interests have covered welfare and development economics; the economics of technological change; population, environmental, and resource economics; social capital; the theory of games; and the economics of malnutrition.

He was born in Dhaka, Bangladesh, then in India, and is the son of noted economist A.K. Dasgupta. He is married to Carol Dasgupta, who is a psychotherapist. They have three children, Zubeida Dasgupta-Clark (an educational psychologist), Shamik (a philosophy professor) and Aisha (who works on reproductive health in poor countries).