Linux设备驱动中的并发控制

1.1 中断屏蔽
DMB
数据存储器隔离。DMB 指令保证： 仅当所有在它前面的存储器访问操作
都执行完毕后，才提交(commit)在它后面的存储器访问操作。
DSB
数据同步隔离。比 DMB 严格： 仅当所有在它前面的存储器访问操作
都执行完毕后，才执行在它后面的指令（亦即任何指令都要等待存储器访 问操作——译者注）
ISB
指令同步隔离。最严格：它会清洗流水线，以保证所有它前面的指令都执
行完毕之后，才执行它后面的指令。

linux内核的自旋锁、互斥体等互斥逻辑，需要用到上述指令：在请求获得锁时候，调用屏障指令；在解锁时候，也需要调用屏障指令；

基于内存屏障指令的互斥逻辑：

LOCKED      EQU 1
UNLOCKED    EQU 0
lock_mutex
    ;互斥量是否锁定?
    LDREX r1, [r0]      ;检查是否锁定
    CMP r1, #LOCKED     ;和"locked"比较
    WFEEQ               ;互斥量已经锁定, 进入休眠
    BEQ lock_mutex      ;被唤醒, 重新检查互斥量是否锁定
    ;尝试锁定互斥量
    MOV r1, #LOCKED
    STREX r2, r1, [r0]  ;尝试锁定
    CMP r2, #0x0        ;检查STR指令是否完成
    BNE lock_mutex      ;如果失败重试
    DMB                 ;进入被保护的资源前需要隔离, 保证互斥量已经被更新
    BX lr

unlock_mutex
    DMB                 ;保证资源的访问已经结束
    MOV r1, #UNLOCKED   ;向锁定域写"unlocked"
    STR r1, [r0]

    DSB                 ;保证在CPU唤醒前完成互斥量状态更新
    SEV                 ;像其他CPU发送事件, 唤醒任何等待事件的CPU
    BX lr

1.2 原子操作：
原子操作可以保证对一个整型数据的修改是排他性的。Linux内核提供了一些了函数来实现内核中的原子操作，分为两类，分别针对位和整型变量进行原子操作

1.3 自旋锁：
自旋锁（Spin Lock）是一种典型的对界资源进行互斥访问的手段，其名称来源自它的工作方式；
最简单的方法把它当做一个变量看待，该变量把一个临界区标记为“我当前在运行，