{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreidkqugbzxzdmvr7drqq3l57fbbe4zkdnvdbqnh36d5xavawcdgzhm",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mn5koyzul7d2"
  },
  "path": "/t/include-racy-reads-in-rust-memory-model-with-maybeinvalid-t/24289?page=2#post_30",
  "publishedAt": "2026-05-31T11:15:47.000Z",
  "site": "https://internals.rust-lang.org",
  "tags": [
    "know what their model is"
  ],
  "textContent": "ais523:\n\n> to allow races of atomic reads against non-atomic writes (i.e. effectively LLVM's model)\n\nThat is not LLVM's model. LLVM's model is that _all_ read-write races are allowed. So this includes non-atomic reads against atomic writes, and non-atomic reads against non-atomic writes. (Well, LLVM's model is something like that. Not even LLVM themselves know what their model is, so we probably shouldn't use the term \"LLVM's model\", though I am guilty of that myself.)\n\nThat's still an interesting claim you are making, if it is correct. Unfortunately I lack the time to verify those proofs.",
  "title": "Include racy reads in Rust memory model with `MaybeInvalid<T>`"
}