Back to home page

OSCL-LXR

 
 

    


0001 .. SPDX-License-Identifier: GPL-2.0
0002 .. include:: ../disclaimer-zh_CN.rst
0003 
0004 :Original: Documentation/locking/spinlocks.rst
0005 
0006 :翻译:
0007 
0008   唐艺舟 Tang Yizhou <tangyeechou@gmail.com>
0009 
0010 ==========
0011 加锁的教训
0012 ==========
0013 
0014 教训 1:自旋锁
0015 ==============
0016 
0017 加锁最基本的原语是自旋锁(spinlock)::
0018 
0019   static DEFINE_SPINLOCK(xxx_lock);
0020 
0021         unsigned long flags;
0022 
0023         spin_lock_irqsave(&xxx_lock, flags);
0024         ... 这里是临界区 ..
0025         spin_unlock_irqrestore(&xxx_lock, flags);
0026 
0027 上述代码总是安全的。自旋锁将在 _本地_ 禁用中断,但它本身将保证全局锁定。所以它
0028 将保证在该锁保护的区域内只有一个控制线程。即使在单处理器(UP)下也能很好的工作,
0029 所以代码 _不_ 需要担心UP还是SMP的问题:自旋锁在两种情况下都能正常工作。
0030 
0031    注意!自旋锁对内存的潜在影响由下述文档进一步描述:
0032 
0033      Documentation/memory-barriers.txt
0034 
0035        (5) ACQUIRE operations.
0036 
0037        (6) RELEASE operations.
0038 
0039 上述代码通常非常简单(对大部分情况,你通常需要并且只希望有一个自旋锁——使用多个
0040 自旋锁会使事情变得更复杂,甚至更慢,而且通常仅仅在你 **理解的** 序列有被拆分的
0041 需求时才值得这么做:如果你不确定的话,请不惜一切代价避免这样做)。
0042 
0043 这是关于自旋锁的唯一真正困难的部分:一旦你开始使用自旋锁,它们往往会扩展到你以前
0044 可能没有注意到的领域,因为你必须确保自旋锁正确地保护共享数据结构 **每一处** 被
0045 使用的地方。自旋锁是最容易被添加到完全独立于其它代码的地方(例如,没有人访问的
0046 内部驱动数据结构)的。
0047 
0048    注意!仅当你在跨CPU核访问时使用 **同一把** 自旋锁,对它的使用才是安全的。
0049    这意味着所有访问共享变量的代码必须对它们想使用的自旋锁达成一致。
0050 
0051 ----
0052 
0053 教训 2:读-写自旋锁
0054 ===================
0055 
0056 如果你的数据访问有一个非常自然的模式,倾向于从共享变量中读取数据,读-写自旋锁
0057 (rw_lock)有时是有用的。它们允许多个读者同时出现在同一个临界区,但是如果有人想
0058 改变变量,它必须获得一个独占的写锁。
0059 
0060    注意!读-写自旋锁比原始自旋锁需要更多的原子内存操作。除非读者的临界区很长,
0061    否则你最好只使用原始自旋锁。
0062 
0063 例程看起来和上面一样::
0064 
0065    rwlock_t xxx_lock = __RW_LOCK_UNLOCKED(xxx_lock);
0066 
0067         unsigned long flags;
0068 
0069         read_lock_irqsave(&xxx_lock, flags);
0070         .. 仅读取信息的临界区 ...
0071         read_unlock_irqrestore(&xxx_lock, flags);
0072 
0073         write_lock_irqsave(&xxx_lock, flags);
0074         .. 读取和独占写信息 ...
0075         write_unlock_irqrestore(&xxx_lock, flags);
0076 
0077 上面这种锁对于复杂的数据结构如链表可能会有用,特别是在不改变链表的情况下搜索其中
0078 的条目。读锁允许许多并发的读者。任何希望 **修改** 链表的代码将必须先获取写锁。
0079 
0080    注意!RCU锁更适合遍历链表,但需要仔细注意设计细节(见Documentation/RCU/listRCU.rst)。
0081 
0082 另外,你不能把读锁“升级”为写锁,所以如果你在 _任何_ 时候需要做任何修改
0083 (即使你不是每次都这样做),你必须在一开始就获得写锁。
0084 
0085    注意!我们正在努力消除大多数情况下的读-写自旋锁的使用,所以请不要在没有达成
0086    共识的情况下增加一个新的(相反,请参阅Documentation/RCU/rcu.rst以获得完整
0087    信息)。
0088 
0089 ----
0090 
0091 教训 3:重新审视自旋锁
0092 ======================
0093 
0094 上述的自旋锁原语绝不是唯一的。它们是最安全的,在所有情况下都能正常工作,但部分
0095 **因为** 它们是安全的,它们也是相当慢的。它们比原本需要的更慢,因为它们必须要
0096 禁用中断(在X86上只是一条指令,但却是一条昂贵的指令——而在其他体系结构上,情况
0097 可能更糟)。
0098 
0099 如果你有必须保护跨CPU访问的数据结构且你想使用自旋锁的场景,你有可能使用代价小的
0100 自旋锁版本。当且仅当你知道某自旋锁永远不会在中断处理程序中使用,你可以使用非中断
0101 的版本::
0102 
0103         spin_lock(&lock);
0104         ...
0105         spin_unlock(&lock);
0106 
0107 (当然,也可以使用相应的读-写锁版本)。这种自旋锁将同样可以保证独占访问,而且
0108 速度会快很多。如果你知道有关的数据只在“进程上下文”中被存取,即,不涉及中断,
0109 这种自旋锁就有用了。
0110 
0111 当这些版本的自旋锁涉及中断时,你不能使用的原因是会陷入死锁::
0112 
0113         spin_lock(&lock);
0114         ...
0115                 <- 中断来临:
0116                         spin_lock(&lock);
0117 
0118 一个中断试图对一个已经锁定的变量上锁。如果中断发生在另一个CPU上,不会有问题;
0119 但如果中断发生在已经持有自旋锁的同一个CPU上,将 _会_ 有问题,因为该锁显然永远
0120 不会被释放(因为中断正在等待该锁,而锁的持有者被中断打断,并且无法继续执行,
0121 直到中断处理结束)。
0122 
0123 (这也是自旋锁的中断版本只需要禁用 _本地_ 中断的原因——在发生于其它CPU的中断中
0124 使用同一把自旋锁是没问题的,因为发生于其它CPU的中断不会打断已经持锁的CPU,所以
0125 锁的持有者可以继续执行并最终释放锁)。
0126 
0127                 Linus
0128 
0129 ----
0130 
0131 参考信息
0132 ========
0133 
0134 对于动态初始化,使用spin_lock_init()或rwlock_init()是合适的::
0135 
0136    spinlock_t xxx_lock;
0137    rwlock_t xxx_rw_lock;
0138 
0139    static int __init xxx_init(void)
0140    {
0141         spin_lock_init(&xxx_lock);
0142         rwlock_init(&xxx_rw_lock);
0143         ...
0144    }
0145 
0146    module_init(xxx_init);
0147 
0148 对于静态初始化,使用DEFINE_SPINLOCK() / DEFINE_RWLOCK()或
0149 __SPIN_LOCK_UNLOCKED() / __RW_LOCK_UNLOCKED()是合适的。