{"title":"Back-Invalidate Timing: Coherence Channels in CXL 3.x Device-Coherent Memory","authors":"Oğuz Ergin","doi":"10.1109/LCA.2026.3738639","DOIUrl":null,"url":null,"abstract":"A cache line held exclusively by one core costs more to read than a shared one, and that difference carries a channel. CXL 3.x permits device-coherent memories on which that asymmetry reappears across a trust boundary, in two forms. A state channel follows from ordinary coherence resolution. An occupancy channel extends the specification’s own worked example, where a read stalls behind a back-invalidate snoop to an <italic>unrelated</i> address until a snoop-filter entry can be allocated, so a requester reads pressure on a device-side structure without touching a line its peers touch. We name the assumptions each rests on, and the occupancy-channel construction runs between two hosts on an unmodified third-party model of a device-side filter, separating the two symbols with one error in 288 on a deterministic clock. The confidential-computing protocol declares the occupancy channel’s deployment in scope, then assumes away the resource it reads.","PeriodicalId":51248,"journal":{"name":"IEEE Computer Architecture Letters","volume":"25 2","pages":"395-398"},"PeriodicalIF":2.0000,"publicationDate":"2026-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Computer Architecture Letters","FirstCategoryId":"94","ListUrlMain":"https://ieeexplore.ieee.org/document/11714457/","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"2026/9/29 0:00:00","PubModel":"Epub","JCR":"Q4","JCRName":"COMPUTER SCIENCE, HARDWARE & ARCHITECTURE","Score":null,"Total":0}
引用次数: 0
Abstract
A cache line held exclusively by one core costs more to read than a shared one, and that difference carries a channel. CXL 3.x permits device-coherent memories on which that asymmetry reappears across a trust boundary, in two forms. A state channel follows from ordinary coherence resolution. An occupancy channel extends the specification’s own worked example, where a read stalls behind a back-invalidate snoop to an unrelated address until a snoop-filter entry can be allocated, so a requester reads pressure on a device-side structure without touching a line its peers touch. We name the assumptions each rests on, and the occupancy-channel construction runs between two hosts on an unmodified third-party model of a device-side filter, separating the two symbols with one error in 288 on a deterministic clock. The confidential-computing protocol declares the occupancy channel’s deployment in scope, then assumes away the resource it reads.
期刊介绍:
IEEE Computer Architecture Letters is a rigorously peer-reviewed forum for publishing early, high-impact results in the areas of uni- and multiprocessor computer systems, computer architecture, microarchitecture, workload characterization, performance evaluation and simulation techniques, and power-aware computing. Submissions are welcomed on any topic in computer architecture, especially but not limited to: microprocessor and multiprocessor systems, microarchitecture and ILP processors, workload characterization, performance evaluation and simulation techniques, compiler-hardware and operating system-hardware interactions, interconnect architectures, memory and cache systems, power and thermal issues at the architecture level, I/O architectures and techniques, independent validation of previously published results, analysis of unsuccessful techniques, domain-specific processor architectures (e.g., embedded, graphics, network, etc.), real-time and high-availability architectures, reconfigurable systems.