第4章 并发GATT操作中的依赖冲突：读写队列、通知注册、优先级调度与依赖注入顺序
4.1 边界识别
并发GATT操作的边界位于三个层次之间：
- 应用层：发起读、写、通知订阅请求，不关心底层并发细节。
- 依赖注入容器：管理GATT服务实例、回调对象和调度策略的生命周期与依赖关系。
- BLE协议栈抽象层：通过队列处理操作，触发通知回调，并维护特征句柄与回调映射表。
依赖冲突的根源在于：依赖注入顺序决定了调度器可用的GATT操作句柄和回调注册表，而并发读写队列和通知注册又依赖这些句柄的正确性与可见性。
4.2 分层职责
| 层 | 职责 | 并发边界 |
|---|---|---|
| 依赖注入层 | 实例化GATT服务、注册特征回调、配置优先级元数据 | 单线程初始化，注入顺序影响后续调度 |
| 优先级调度层 | 解析操作优先级，管理多个FIFO队列，分配线程资源 | 多线程读/写，可重入锁控制队列切换 |
| GATT操作层 | 执行实际ATT读写、通知注册与回调分发 | 串行化底层操作，通过回调闭环通知 |
4.3 组件间依赖关系
依赖注入顺序 → 优先级调度 → 读写队列 → 通知注册
若依赖注入先注册了高优先级特征且分配了强调度策略，后续低优先级操作将收敛于低优先级队列，反之则可能造成优先级反转。
4.4 控制流与数据流设计
// 控制流：应用请求 → 依赖注入解析 → 优先级调度 → 读写队列 → GATT操作 → 回调通知
// 数据流：队列中的操作负载（特征句柄, 值, 优先级） + 通知数据（句柄, 值）控制流为同步链式，数据流为异步生产者‑消费者模式。依赖注入顺序影响调度器如何构建队列映射表，从而决定数据流的路径。
4.5 选型权衡
- 优先级队列 vs FIFO队列：优先级队列减少高延迟抖动，但增加调度复杂度，可能使低优先级操作饥饿。
- 通知注册同步/异步：同步注册确保回调立即生效，但阻塞依赖注入；异步注册提高吞吐量，但需额外同步机制。
- 依赖注入顺序的显性化：通过注解或配置标记优先级，避免隐式顺序造成调度混乱。
4.6 风险点与妥协策略
| 风险点 | 妥协策略 |
|---|---|
| 优先级反转（低优操作持有锁阻塞高优） | 使用优先级继承协议，或在调度层使用可重入锁+逐个队列唤醒 |
| 通知注册丢失（并发注册覆盖） | 采用单线程注册，操作前验证句柄，使用版本号管理回调表 |
| 依赖注入顺序导致队列配置错误 | 依赖注入阶段结束后冻结配置，不允运行时动态更改优先级映射 |
折中实践：多数项目选择“优先级分级队列（2～3级）+ 异步通知注册 + 依赖注入配置校验”，在复杂度和实时性之间取得平衡。
4.7 落地步骤
- 定义优先级元数据：在依赖注入配置中为每个GATT操作标注优先级等级（HIGH / NORMAL / LOW）。
- 实现优先级调度器：创建多个FIFO队列，根据元数据分流操作，调度器按严格优先级执行。
- 集成通知注册：在依赖注入阶段完成所有特征句柄与回调的注册，之后锁定注册表。
- 构建并发控制：每个队列独立加锁，使用条件变量通知调度线程，避免全局锁。
- 测试与调优：模拟多线程并发读写，验证通知完整性及高优先级操作的延迟。
4.8 验收标准
- 并发10个读/写操作中，通知无丢失，回调次数与订阅特征数一致。
- 高优先级操作（如连接参数更新）的最大延迟 ≤ 5ms，低优先级操作不永久阻塞。
- 依赖注入顺序变更后，系统行为一致：相同优先级元数据产生相同调度结果。
- 压力测试（100线程并发请求）无死锁、无崩溃。
4.9 并发GATT依赖冲突架构图
边界警示：依赖注入顺序不应与运行时调度耦合。在初始化阶段完成所有依赖配置后，调度器应冻结队列映射，避免运行时动态注入导致不一致。