 The t-value of an operation is the value of t it writes and the operations are linearized by t-values.If "write" and "read" have the same t-value, order "write" before "read".If several "read"s have the same t-values, order them by the start time.