比较 内核 读写锁与顺序锁, RCU
创始人
2024-04-03 00:48:19
读写锁与顺序锁, RCU
| 自旋锁 | 读写锁范式 悲观 | 顺序锁范式 乐观 | RCU 理智礼让沟通 j | |
|---|---|---|---|---|
| 哲学 | 比较悲观，假设最坏情况， 认为读时有人写，读写冲突大 | 比较乐观，假设最好情况，认为读时没人写。 读写冲突小。 | 理智派。综合二者优缺点。认为读时，有人写，但是写比较理智礼让，会等待读完成。 | |
| 读写冲突的读写 | 有等待读写 | 有等待读写 | 无等待写，回退读 | 无等待读，有限等待写 |
| 读时机 | [now, ∞) | [now, ∞) after write | [now, ∞) after write and retry 可无限等待 等待读期间的写完成 and retry | now |
| 写时机 写忙等时间范围 | [now, ∞) | [now, ∞) | now | [now, grace period] 有限等待 等待写期间 [rcu_assign_pointer] grace preriod的读完成，无retry。 这里通过时序图来表达比较好。 |
| 读并发 | 无 | 有 | 有 | 有 |
| 读写优先级 | 读=写 | 读=写 | 写>读 | 读>写 |
| 副作用 | 无 | 无 | 读回退。死锁。有优先级，就有死锁可能(优先级反转，高优先级读写的却在 低优先级的进程里，通过禁止抢占解决)，高优先(写)的必须要禁止抢占，果然write_seqcount_begin 有 preempt_disable，因需写写互斥，就进一步升级为 spin_lock() | 死锁，高优先级(读)必须要禁止抢占。果然 rcu_read_lock 里有 preempt_disable。禁止抢占，免得进程被调度走，解决优先级反转的问题。 |
| 优化场景 | 无 | 读并发 | 读并发，写>读 | 读并发，读>写 |
| 优点 | 相比自旋锁，读并发，写独占。 | 相比自旋锁，读并发，写独占。 无等待读写，但是读可能回退。 | ||
| 缺点 | 无法保证读优先。写饥饿。 | 频繁写，性能更差 | ||
| 读多写少，且要优先保证读性能！ | 读多写少，且优先级 写>读。要优先保证写性能！ | |||
| 场景举例 | ||||
| 并发读时的写性能 频繁读，写极少 | 写性能差。写要等待读完成。频繁读时，写很慢。 | 保证写性能，写能无等待完成。 | ||
| 并发读时的写性能 频繁写 最差情况 | 退化为自旋锁 | 造成频繁的读回退，性能比自旋锁还差。 | ||
| read | write_lock … write_unlock | do { seqnum = read_seqcount_begin(&seqcount); … } while (read_seqcount_retry(&seqcount, seqnum)); | rcu_read_lock (=preempt_disable) old_ptr=rcu_dereference§ // 保存旧指针 进行读访问 rcu_read_unlock (=preempt_enable) | |
| write | read_lock … read_unlock | write_seqcount_begin(&seqcount); … write_seqcount_end(&seqcount); | … Read Copy Update rcu_assign_pointer(ptr, new_ptr); synchronize_rcu() free(old_ptr) | |
相关内容
热门资讯
宏远股份：6月29日获融资买入...
6月29日，宏远股份跌0.94%，成交额1823.91万元。两融数据显示，当日宏远股份获融资买入额1...
金证股份信息披露事务管理制度
金证股份发布《信息披露事务管理制度》（2026年6月修订），该制度经公司董事会审议批准后生效，旨在加...
北矿检测：6月29日获融资买入...
6月29日，北矿检测跌2.54%，成交额1381.02万元。两融数据显示，当日北矿检测获融资买入额3...
精创电气：6月29日获融资买入...
6月29日，精创电气跌5.30%，成交额5549.59万元。两融数据显示，当日精创电气获融资买入额1...
通宝光电：6月29日获融资买入...
6月29日，通宝光电跌2.23%，成交额995.59万元。两融数据显示，当日通宝光电获融资买入额8....