并发-读写锁(os-29c96147)
When to use
任务「读写锁」;对照:OS 并发——读写锁(多读并发/写独占,读者在场写阻塞)。
克制条款(不适用条件)
op 非 {r_lock, r_unlock, w_lock, w_unlock} 时
How to execute
按 op 分派;顺序调用
Verification
- 单元样例 3 条(cases 断言)
- 物理基底:按 calibration 对照(编译/运行/断言裁决)
References
- 单元库:os_units.py「并发-读写锁」