Glossary · Term

read-your-writes

← all terms

Definition

Plain language

A guarantee that right after you save something, you'll always see your own change when you look again — never a stale, older copy.

As stated in the literature

A session-consistency guarantee ensuring a client's reads reflect its own prior writes; a standard weak-consistency property proved for causally-consistent stores like Chapar and used as a synthesis target in verified-systems work.

Also called: read your writes

Why it matters: It prevents the jarring experience of your own changes seeming to vanish right after you make them.

For example, after you post a comment, refreshing the page always shows your comment rather than the older version without it.

Heard on the show

“They cover the correctness-critical core of a distributed key-value store — read your writes, monotonic reads and writes, causal consistency, and a couple of variants.”
Episode 075 — Growing Code and Proof Together: Verified Systems in Ten Hours Instead of a Year

Mentioned in 1 episode

  1. 075
    Growing Code and Proof Together: Verified Systems in Ten Hours Instead of a Year

Related terms