2026-01-29 嵌入式自旋锁的运行时验证:轻量级监测点与工程参数 面向资源受限的嵌入式/RTOS 环境,探讨自旋锁运行时验证的实现策略——包括无侵入式监测点设计、所有者追踪机制与死锁检测参数。 embedded · 2026-01