嵌入式系统
RISC-V Vector Extension (RVV) 在 AI 推理引擎中的突破与工程化实践
深入剖析 RVV v1.0 的 VLA 编程模型与 LMUL 寄存器分组机制,分析其在矩阵乘法 GEMM、Transformer Attention KV Cache、以及端到端推理部署中的优化策略。提供 6 个可生产级别的代码示例(Gemm 4x8分块、fp16/Int8量化、FlashAttention RVV归约、q4_K_M反量化),并给出 SiFive P870 上的性能基准对比(相对标量加速 7.2x)。
CHERI 能力硬件架构:从硅基层面重塑内存安全与进程隔离的工程实践
深入解析 CHERI(Capability Hardware Enhanced RISC Instructions)架构如何通过硬件能力机制从硅基层面消除内存安全漏洞,涵盖 CHERI-128 压缩可表示性、Morello SoC 实测、进程内隔间化实践等
RISC-V PMU 深度工程实践:从硬件计数器到系统级性能分析
深入剖析RISC-V PMU硬件架构、Linux内核驱动实现及基于perf_event/eBPF的系统级性能分析方法,涵盖寄存器级编程、中断处理、eBPF聚合与实战案例。
ARM SME (Scalable Matrix Extension) 在终端 AI 推理中的架构演进与工程实践
深入剖析 ARMv9-A 架构的 Scalable Matrix Extension (SME):二维 ZA Tile 存储模型、矩阵外积指令(SMOPA/FMOPA)语义、Linux 内核 ZA 上下文管理,以及如何为 MobileLLM 推理中的 QKV Projection 与 Attention 编写高性能 SME 内核,含完整汇编代码和性能基准对比
CHERI:硬件能力指针与内存安全的架构革命
从剑桥大学学术研究到ARM Morello真实硅片,CHERI (Capability Hardware Enhanced RISC Instructions) 正在硬件层面重新定义内存安全的边界。本文深入解析CHERI的capability指针机制、CHERI C语言扩展、CheriBSD实战部署,以及与其他安全扩展(MTE、BTI、PAC)的对比分析。
远程证明协议工程深度实战 — 从 TEE 到隐私保护 AI 推理的信任链构建
深入解析远程证明协议的工程挑战与实战经验,涵盖 AMD SEV-SNP、Intel TDX 的证明流程、证书链验证、新鲜性保证、以及在隐私保护 AI 推理中的应用实践。
ARM TrustZone-M与TF-M安全启动链:从Secure Bootloader到PSA Certified隔离环境
深入剖析ARM TrustZone-M硬件隔离机制与TF-M固件架构设计,完整演示从安全启动链到PSA Certified隔离环境的端到端实现,涵盖SAU分区、BL2镜像验证、Anti-Rollback防降级、IPC/Library Model、Zephyr RTOS集成及生产性能基准。
Linux 内存屏障与处理器内存模型深度实战:从 x86-TSO 到 ARM64 弱序性
从硬件内存模型出发,深入剖析 Linux 内核中内存屏障的完整 API 体系,涵盖编译器屏障、CPU 屏障、DMA 屏障,并结合 RCU、seqlock、lock-free 队列、perf ring buffer 等高并发模式给出生产级实战方案。
ARM64 PAC 与 BTI:硬件级控制流完整性的深度工程实践
从 ISA 机制、编译器支持、内核实现到生产部署,全面剖析 ARM64 指针认证(PAC)与分支目标识别(BTI)硬件辅助控制流完整性技术。涵盖 Apple Silicon、Android 及服务器的真实部署案例。
RISC-V IOMMU 深度工程实践:两阶段地址翻译、MSI 重映射与 KVM 设备直通完整架构
面向系统工程师的RISC-V IOMMU实战指南:从规范1.0到KVM设备直通生产部署的完整链路解析,涵盖两阶段翻译、MRIF中断重映射、ATS/PRI、热迁移等核心工程议题
CHERI 硬件能力(Capability)架构深度实战:从指针内存安全到硬件域隔离的工程范式革命
本文深入解析 CHERI(Capability Hardware Enhanced RISC Instructions)硬件能力架构,从 ISA 扩展、内存 Tag 管理、编译器改造到浏览器隔离实践,全面对比 CHERI vs MTE vs PA 的性能与安全权衡,涵盖 ARM Morello、RISC-V 实现、CheriBSD 部署以及 Rust 生态协同。
