Tag
coherence
- Apr 3, 2026 System-Scope Atomics and Memory Ordering Across the Bus Why an atomic operation on device memory is not automatically visible to the host, what the scope qualifier changes, and how release and acquire order a flag against its payload. gpu computing
- Mar 16, 2026 Coherence and the Modification Order of a Single Location The four coherence axioms, why per-location agreement is much weaker than a global order, and how IRIW separates the two. memory systems
- Feb 27, 2025 Trait Coherence and Orphan Rules in Open Worlds Why a global instance table needs an ownership restriction, how orphan rules prevent overlapping implementations, and what coherence costs downstream crates. programming languages
- Mar 31, 2024 Type Classes as Dictionary Passing and the Coherence Problem How ad-hoc polymorphism compiles to a record of functions, why instance resolution must be deterministic, and where orphan instances break the guarantee. programming languages