| Good Writer | Ghost Writer | all_durable | max(all_durable) | Stable Setter |
|
|-----------------+-----------------------+-------------+------------------+-------------------------------------------|
|
| BeginTxn | | | | |
|
| SetTimestamp 10 | | 9 | 9 | |
|
| | | | | Reads 9 |
|
| | | | | Asserts 9 <= max(all_durable, 9) |
|
| | | | | Sets 9 |
|
| Commit | | 10 | 10 | |
|
| | | | | Reads 10 |
|
| | | | | Asserts 10 <= max(all_durable, 10) |
|
| | | | | Sets 10 |
|
| | BeginTxn | | | |
|
| | Read LogicalClock(20) | | | |
|
| BeginTxn | | | | |
|
| SetTimestamp 20 | | 19 | 19 | |
|
| Commit | | | | |
|
| | | 20 | 20 | |
|
| | | | | Reads 20 |
|
| | SetTimestamp 20 | 19 | 20 | |
|
| | | | | Asserts 20 <= max(all_durable, 20) versus |
|
| | | | | Asserts 20 <= all_durable (19) |
|