同步与互斥linux机制.pptxVIP

Linux同步机制李翌日期：2007年11月22日概述内核同步的类型：与中断的同步多线程的同步SMP内核抢占概述mutexread write sem....RCUPerCPU DATApreempt disable其它同步手段复杂效率低睡眠同步lock_intspin_lock 忙等同步原子手段atomic简单效率高注意：这里的效率高低只是同步手段本身的效率，但是否在实际中效率高低要根据使用的上下文环境具体分析from ULK III概述TechniqueDescriptionScopePer-CPU variablesDuplicate a data structure among the CPUsAll CPUsAtomic operationAtomic read-modify-write instruction to a counterAll CPUsMemory barrierAvoid instruction reorderingLocal CPU or All CPUsSpin lockLock with busy waitAll CPUsSemaphoreLock with blocking wait (sleep)All CPUsSeqlocksLock based on an access counterAll CPUsLocal interrupt disablingForbid interrupt handling on a single CPULocal CPULocal softirq disablingForbid deferrable function handling on a single CPULocal CPURead-copy-update (RCU)Lock-free access to shared data structures through pointersAll CPUsPerCPU 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的同步手段效率高，不影响吞吐量影响实时性spin_lock多CPU的同步手段Spin_lock: preempt Disable; LOCK{ for(;lock;); lock++; }在单CPU下退化为空指令:在抢占内核下，退化为禁止抢占指令在非抢占内核下，完全退化为空操作若内核配置上Spin_lock debug，则不论是否配置