linu同步机制.pptVIP

内部公开▲ 第 *页 本文中的所有信息归中兴通讯股份有限公司所有，未经允许，不得外传 Linux同步机制 李翌 日期：2007年11月22日 概述 内核同步的类型： 与中断的同步 多线程的同步 SMP 内核抢占 概述 原子手段 忙等同步 睡眠同步 复杂 简单 效率低 效率高 atomic lock_int spin_lock mutex read write sem .... 其它同步手段 RCU PerCPU DATA preempt disable 注意：这里的效率高低只是同步手段本身的效率，但是否在实际中效率高低要根据使用的上下文环境具体分析 概述 All CPUs Lock-free access to shared data structures through pointers Read-copy-update (RCU) Local CPU Forbid deferrable function handling on a single CPU Local softirq disabling Local CPU Forbid interrupt handling on a single CPU Local interrupt disabling All CPUs Lock based on an access counter Seqlocks All CPUs Lock with blocking wait (sleep) Semaphore All CPUs Lock with busy wait Spin lock Local CPU or All CPUs Avoid instruction reordering Memory barrier All CPUs Atomic read-modify-write instruction to a counter Atomic operation All CPUs Duplicate a data structure among the CPUs Per-CPU variables Scope Description Technique from ULK III PerCPU Data 每个CPU使用独有的数据 针对多CPU访问，从根本上避免锁的使用 最快的方法(比使用原子操作快5%左右) 若有本CPU异步同步要求(中断或softIRQ),则另需要同步手段 使用： DEFINE_PER_CPU(type, name) per_cpu(name, cpu) Atomic 原子性 操作中不用考虑中断打断问题 实现总线锁定，不用考虑其它CPU同步问题 使用： 对基本数据类型的同步：int,bits 不能保证两个或多个数据的同步 比其它同步手段效率高，可以作为构建其它复杂同步手段使用 不应看作简单的变量修改、获取操作，它涉及到cache 的刷新和总线的锁定，有一定的开销 Atomic 修改操作： 修改并返回结果操作： atomic_set(); set_bit(); clear_bit(); change_bit(); atomic_add(); atomic_sub(); atomic_inc(); atomic_dec(); xchg(); cmpxchg(); atomic_cmpxchg(); atomic_inc_return(); atomic_dec_return(); atomic_add_return(); atomic_sub_return(); atomic_inc_and_test(); atomic_dec_and_test(); atomic_sub_and_test(); atomic_add_negative(); atomic_add_unless(); test_and_set_bit(); test_and_clear_bit(); test_and_change_bit(); Atomic 任何修改数值并返回的atomic操作都有隐含的mem barrier 任何只修改数值不返回的atomic操作，linux不保证barrier操作！ ULK:Notice that in multiprocessor systems, all atomic operations described in the earlier section Atomic Operations act as memory barriers because they use the lock byte. 只针对X86! int_lock preempt disable 单CPU的同步手段 效率高，不影响吞吐量 影响