编译原理与系统理论

用 Rust 从零构建 RISC-V 缓存一致性协议模拟器:TileLink UC 协议状态机与多核事务实战

从零用 Rust 实现 RISC-V TileLink Uncached (UC) 协议缓存一致性模拟器:完整覆盖 MOESI 状态机建模、TileLink 通道拓扑、Acquire/Grant 事务、脏数据转发、DFS 死锁检测、多核 stress test、不变量检查器与 RVWMO litmus test 对照,附带全部可运行代码与生产级工程反思。