Abstract:Cache coherence states have recently been exploited to leak secrets through timing-channel attacks. The root cause lies in the fact that shared data in state Exclusive (E) and state Shared (S) are served from different cache layers. The state-of-the-art countermeasure—S-MESI—serves both E- and S-state shared data from the last-level cache (LLC) by explicitly synchronizing the Modified (M) state across private caches and the LLC. This has to sacrifice the silent upgrade feature that MESI introduces for speedup. Moreover, it enforces protection to not only exploitable shared data but also unshared data. This further slows down performance, especially for write-after-read intensive applications. In this paper, we propose SwiftDir to efficiently secure cache coherence against cover-channel attacks without overprotection. SwiftDir fundamentally narrows down the protection scope to write-protected data. Such exploitable shared data can be uniquely identified with the write-protection permission in the memory management unit (MMU) and do not necessarily transit to state M. We validate this idea through tracing system calls of shared libraries on Linux. We then investigate all three commercial cache architectures (i.e., PIPT, VIPT, and VIVT) and find it feasible to hitchhike the address translation process to transmit the write-protection information from the MMU to the coherence controller. Then SwiftDir enforces protection over only write-protected data by serving all requests toward them directly from the LLC with a constant latency. This not only simplifies how MESI handles write-protected data but also avoids how S-MESI overprotects them. Meanwhile, SwiftDir still preserves silent upgrade for efficient handling of unshared data. Extensive experiments demonstrate that our SwiftDir can secure cache coherence while outperforming not only secure SMESI but also unprotected MESI.

Cache coherence protocol and implementation for multiprocessors with no-write-allocate caches

DEAM：Decoupled, Expressive, Area-Efficient Metadata Cache

SRC-based Cache Coherence Protocol in Chip Multiprocessor

Mixed-Timescale Online PHY Caching for Dual-Mode MIMO Cooperative Networks.

TC-Release++: an Efficient Timestamp-Based Coherence Protocol for Many-Core Architectures.

Phase-Priority based Directory Coherence for Multicore Processor

CCNoC: Cache-Coherent Network on Chip for Chip Multiprocessors.

PEPCP: A Power-Efficient Parallel Coherence Protocol for Large-Scale Network-on-Chip

Evaluating the Performance of Software Cache Coherence

RG_VIPS: A Simple Cache Coherence Protocol Based on Region-Grain Directories

A Software-Controlled Cache Coherence Optimization for Snoopy-Based SMP System

L1 Collective Cache: Managing Shared Data for Chip Multiprocessors

Analytical Modeling the Multi-Core Shared Cache Behavior with Considerations of Data-Sharing and Coherence

Fusion-Cache: A Refactored Content-Aware Host-Side SSD Cache.

SwiftDir: Secure Cache Coherence Without Overprotection.

Data Coherence Problem in a Multicache System

Cache Sharing Management for Performance Fairness in Chip Multiprocessors

Cache Coherence Protocols in Distributed Systems

Caiti: I/O transit caching for persistent memory-based block device

Synchronization Coherence: A Transparent Hardware Mechanism For Cache Coherence And Fine-Grained Synchronization

Moped: Orchestrating Interprocess Message Data On Cmps