首先是为什么要有 原子操作
网上的截图:
不能从C语言来看,要从汇编来看
但是实际的情况有可能是这样。
A进程没有得到想要的结果。
然后是 原子操作的 底层实现
最终会是这段代码,当然只是一个 加一的操作。
static inline void atomic_add(int i, atomic_t *v)
{
unsigned long tmp;
int result;
prefetchw(&v->counter);
__asm__ __volatile__("@ atomic_add "\n" @@后是注释
"1: ldrex %0, [%3]\n"
" add %0, %0, %4\n"
" strex %1, %0, [%3]\n"
" teq %1, #0\n"
" bne 1b"
: "=&r" (result), "=&r" (tmp), "+Qo" (v->counter) @输出部分
: "r" (&v->counter), "Ir" (i) @输入部分
: "cc"); @破坏描述部分
}
这里需要知道两个命令。
ldrex,strex
这个例子很好。
也就是说, 汇编上,只有, strex 才是真正的原子,ldrex 就是先到先得了。因为这只是读,但是写就不一样了。
我的疑问: 如果进程没有获得原子变量怎么办,是休眠还是返回,还是空转。
然后是一个 关于 atomic 使用的例子。
#include <linux/module.h>
#include <linux/cdev.h>
#include <linux/fs.h>
#define OK (0)
#define ERROR (-1)
/* 原子变量 */
static atomic_t canopen = ATOMIC_INIT(1);
int hello_open(struct inode *p, struct file *f)
{
/*自减1并判断是否位0 */
if(!atomic_dec_and_test(&canopen)){
/* 恢复原始值 */
atomic_inc(&canopen);
printk("device busy,hello_open failed");
return ERROR;
}
printk("hello_open\n");
return 0;
}
ssize_t hello_write(struct file *f, const char __user *u, size_t s, loff_t *l)
{
printk("hello_write\n");
return 0;
}
ssize_t hello_read(struct file *f, char __user *u, size_t s, loff_t *l)
{
printk("hello_read\n");
return 0;
}
int hello_close(struct inode *inode, struct file *file)
{
/* 恢复原始值 */
// 这里问什么要 增加以下呢? 因为 if(!atomic_dec_and_test(&canopen)) 在判断的时候也是执行的。
atomic_inc(&canopen);
return 0;
}
struct file_operations hello_fops = {
.owner = THIS_MODULE,
.open = hello_open,
.read = hello_read,
.write = hello_write,
.release = hello_close,
};
dev_t devid; // 起始设备编号
struct cdev hello_cdev; // 保存操作结构体的字符设备
struct class *hello_cls;
int hello_init(void)
{
/* 动态分配字符设备: (major,0) */
if(OK == alloc_chrdev_region(&devid, 0, 1,"hello")){ // ls /proc/devices看到的名字
printk("register_chrdev_region ok\n");
}else {
printk("register_chrdev_region error\n");
return ERROR;
}
cdev_init(&hello_cdev, &hello_fops);
cdev_add(&hello_cdev, devid, 1);
/* 创建类,它会在sys目录下创建/sys/class/hello这个类 */
hello_cls = class_create(THIS_MODULE, "hello");
if(IS_ERR(hello_cls)){
printk("can't create class\n");
return ERROR;
}
/* 在/sys/class/hello下创建hellos设备,然后mdev通过这个自动创建/dev/hello这个设备节点 */
device_create(hello_cls, NULL, devid, NULL, "hello");
return 0;
}
void __exit hello_exit(void)
{
printk("hello driver exit\n");
/* 注销类、以及类设备 /sys/class/hello会被移除*/
device_destroy(hello_cls, devid);
class_destroy(hello_cls);
cdev_del(&hello_cdev);
unregister_chrdev_region(devid, 1);
return;
}
module_init(hello_init);
module_exit(hello_exit);
MODULE_LICENSE("GPL");
需要注意的地方: 原子操作 是没有 阻塞与非阻塞的概念的。就是一个 if 判断,原子变量的值, 如果值 不符合要求 就直接 返回 了。
我的疑问: 我们知道 open 是以 阻塞方式打开的,也就是 说应用的阻塞的关键字没有起到作用吗?