阻塞与超时 on RuChen https://blog.195481.xyz/tags/%E9%98%BB%E5%A1%9E%E4%B8%8E%E8%B6%85%E6%97%B6/ Recent content in 阻塞与超时 on RuChen Hugo -- gohugo.io zh-cn 2510889344@qq.com (RuChen) 2510889344@qq.com (RuChen) All Rights Reserved © RuChen 2025 Fri, 23 Oct 2026 17:41:38 +0800 FreeRTOS 静态信号量：有界许可、等待与超时 https://blog.195481.xyz/embedded/embedded-study/l044-freertos-static-semaphore/ Fri, 23 Oct 2026 17:41:38 +0800 2510889344@qq.com (RuChen) https://blog.195481.xyz/embedded/embedded-study/l044-freertos-static-semaphore/ 能够用 STM32F407xx 上的静态计数信号量表示无数据载荷的有界许可，推演 give/take、计数上限、等待与超时，并区分信号量、消息队列及互斥所有权和两条验证轨道。 FreeRTOS 静态有界队列：消息复制、满空等待与超时 https://blog.195481.xyz/embedded/embedded-study/l043-freertos-static-queue/ Fri, 23 Oct 2026 16:31:48 +0800 2510889344@qq.com (RuChen) https://blog.195481.xyz/embedded/embedded-study/l043-freertos-static-queue/ 能够用静态有界队列在两个任务间按值传递固定大小消息，预测满/空等待、超时及唤醒后的调度，并说明 STM32F407xx 参考实现与主机验证的证据边界。