Coherence of Read-Read (CoRR)

Concept

Coherence of Read-Read (CoRR) is a memory consistency axiom that requires each load to return the value of the most recent store to the same address in both program order and the Global Memory Order (GMO). A violation of CoRR manifests as memory appearing to "go backward in time," where a younger load returns a value older than a previous load from the same address.

First seen 7/3/2026

Last seen 7/3/2026

Evidence 1 chunks

Wiki v1

WIKI

Coherence of Read-Read (CoRR)

Definition

Coherence of Read-Read (CoRR) is a memory consistency axiom that constrains the behavior of multiple loads from the same address by a single hart. It mandates that each load must return the value of the most recent store to that address that precedes it in both program order and the Global Memory Order (GMO) ^[1]. This is part of the broader load value axiom framework that underpins the memory consistency model.

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

1 connections

RVWMO part of → 90% 1e

Coherence of Read-Read is a fundamental memory consistency requirement within RVWMO.

LINKED ENTITIES

1 links

RVWMO PART_OF Extracted graph relationship

CITATIONS

3 sources

3 citations — click to collapse

[1] CoRR mandates that each load returns the value of the most recent store that precedes it in both program order and the GMO HARTBREAKER: Deterministic Fuzzing of Multi-Hart RISC-V CPUs

[2] A CoRR violation occurs when a younger load observes an older value than an earlier load from the same address, breaking PPO ordering HARTBREAKER: Deterministic Fuzzing of Multi-Hart RISC-V CPUs

[3] CoRR violation means the hart observes memory that goes backward in time, i.e., a younger load returns a value older than a previous load from the same address HARTBREAKER: Deterministic Fuzzing of Multi-Hart RISC-V CPUs