Linux驱动之原子变量

使用原子变量可以避免竞争问题。其实，很多的同步技术都使用了原子变量，例如自旋锁。

它的名称是 atomic_t， 实际上是一个int类型。不过由于某些处理器上这种数据类型的工作方式有些限制，因此不能使用完整的整数范围（只能使用24位）

内核提供了一系列的API，基本形式都是atomic_xxx()

这些操作都非常快，原因是他们被编译成单个机器指令。

以atomic_inc接口来说：

Arm架构如下：

static inline void atomic_add(int i, atomic_t *v)
{
	unsigned long tmp;
	int result;

	__asm__ __volatile__("@ atomic_add\n"
"1:	ldrex	%0, [%2]\n"
"	add	%0, %0, %3\n"
"	strex	%1, %0, [%2]\n"
"	teq	%1, #0\n"
"	bne	1b"
	: "=&r" (result), "=&r" (tmp)
	: "r" (&v->counter), "Ir" (i)
	: "cc");
}

mips架构：

/*
 * atomic_add - add integer to atomic variable
 * @i: integer value to add
 * @v: pointer of type atomic_t
 *
 * Atomically adds @i to @v.
 */
static __inline__ void atomic_add(int i, atomic_t * v)
{
	if (cpu_has_llsc && R10000_LLSC_WAR) {
		int temp;

		__asm__ __volatile__(
		"	.set	mips3					\n"
		"1:	ll	%0, %1		# atomic_add		\n"
		"	addu	%0, %2					\n"
		"	sc	%0, %1					\n"
		"	beqzl	%0, 1b					\n"
		"	.set	mips0					\n"
		: "=&r" (temp), "=m" (v->counter)
		: "Ir" (i), "m" (v->counter));
	} else if (cpu_has_llsc) {
		int temp;

		__asm__ __volatile__(
		"	.set	mips3					\n"
		"1:	ll	%0, %1		# atomic_add		\n"
		"	addu	%0, %2					\n"
		"	sc	%0, %1					\n"
		"	beqz	%0, 2f					\n"
		"	.subsection 2					\n"
		"2:	b	1b					\n"
		"	.previous					\n"
		"	.set	mips0					\n"
		: "=&r" (temp), "=m" (v->counter)
		: "Ir" (i), "m" (v->counter));
	} else {
		unsigned long flags;

		raw_local_irq_save(flags);
		v->counter += i;
		raw_local_irq_restore(flags);
	}
}

解释C语言嵌入汇编的格式：

__asm__ __volatile__(

汇编语句

输出寄存器

输入寄存器

会被修改的寄存器

)

除了汇编语句，其他部分都能省略。

输出寄存器：C语言表达式值或者内存地址

输入寄存器：C语言变量或者常数

会被修改的寄存器：汇编语句中修改的寄存器（除了输入输出用到的寄存器）。编译器需要知道这些寄存器，从而在这个汇编代码结束后，执行其他代码时遇到这些寄存器，需要重新加载更新寄存器的值。

另外还有一个位操作

这是为了解决以原子操作单个位，简称原子位。接口的形式：xxx_bit。

一般这些函数用来访问和修改一个共享标志时非常有用。