Thomas Write Rule

In computer science, particularly the field of databases, the Thomas Write rule is a rule in timestamp-based concurrency control.

It states that, if a more recent transaction has already written the value of an object, then a less recent transaction does not need perform its own write since it will eventually be overwritten by the more recent one.

For example:

\begin{bmatrix}
T_1 & T_2 \\
& Read(A) \\
Read(B) & \\ &Write(C) \\
Write(C) & \\
Commit & \\
& Commit \end{bmatrix} \Longleftrightarrow
\begin{bmatrix}
T_1 & T_2 \\
& Read(A) \\
Read(B) & \\
& Write(C) \\ & \\
Commit & \\
& Commit\\
\end{bmatrix}

Assuming that the timestamp of T1 is less than that of T2, T1's write is discarded.

If TS(T)Thomas Write Rule

Famous quotes containing the words thomas, write and/or rule:

    I have longed to move away
    From the hissing of the spent lie....
    —Dylan Thomas (1914–1953)

    Nobody can write the life of a man but those who have eat and drunk and lived in social intercourse with him.
    Samuel Johnson (1709–1784)

    Totalitarianism is never content to rule by external means, namely, through the state and a machinery of violence; thanks to its peculiar ideology and the role assigned to it in this apparatus of coercion, totalitarianism has discovered a means of dominating and terrorizing human beings from within.
    Hannah Arendt (1906–1975)