我有一个问题

adidiaos丶丶

这是内核3.6.2里面的一个函数。这里面一下搞三个锁，是为什么？我觉得2个就可以搞定啊。if 里面的不可以合成一个吗？各种锁谁有示例代码啊？感觉内核里面各种锁用的很混乱啊，可能是我不太明白{:3_190:} 。什么锁该怎么用，怎么混用完全不明白啊。求教，谢了先。
static int adb_release(struct inode *inode, struct file *file)
{
        struct adbdev_state *state = file->private_data;
        unsigned long flags;

        mutex_lock(&adb_mutex);
        if (state) {
                file->private_data = NULL;
                spin_lock_irqsave(&state->lock, flags);
                if (atomic_read(&state->n_pending) == 0
                    && state->completed == NULL) {
                        spin_unlock_irqrestore(&state->lock, flags);
                        kfree(state);
                } else {
                        state->inuse = 0;
                        spin_unlock_irqrestore(&state->lock, flags);
                }
        }
        mutex_unlock(&adb_mutex);
        return 0;
}

super皮波

常用的就这么几种内核同步机制，除了读写锁之外（读写锁有很多变种，特别是rcu），其他的直接看看源码实现，你就懂了
书上说的很明白，对着书看源码

自旋锁
原子变量
per-cpu
信号量
互斥量
读写锁

humjb_1983

要保护的临界资源不同，所以用不同的锁。

adidiaos丶丶

嗯，我看看具体是怎么玩的。回复 2# super皮波


   

adidiaos丶丶

mutex_lock(&adb_mutex);
        if (state) {难道这个互斥只保证在if检查通过后不出现state为空的情况，而不同步这个地址的内容？是这样吗？那既然进了这个锁，怎么调度的时候会出现需要另外的spin来保护的情况呢？

humjb_1983 发表于 2014-08-04 15:13
要保护的临界资源不同，所以用不同的锁。

humjb_1983

mutex_lock(&adb_mutex);--锁对象是adb_mutex
spin_lock_irqsave(&state->lock, flags)--所对象是&state->lock
要保护的对象是不同的

adidiaos丶丶

麻烦再问下：mutex_lock(&adb_mutex);
        if (state) {
                file->private_data = NULL;
                spin_lock_irqsave(&state->lock, flags);
                if (atomic_read(&state->n_pending) == 0
                    ..........................
                } else {
                        state->inuse = 0;
                        spin_unlock_irqrestore(&state->lock, flags);
                }
        }
        mutex_unlock(&adb_mutex);这里的mutex难道不足以保护state->inuse而需要另加spin，我不明白为什么是这样{:3_186:} 。

humjb_1983 发表于 2014-08-04 16:25
mutex_lock(&adb_mutex);--锁对象是adb_mutex
spin_lock_irqsave(&state->lock, flags)--所对象是&state-> ...

humjb_1983

adidiaos丶丶 发表于 2014-08-04 17:29
麻烦再问下：mutex_lock(&adb_mutex);
        if (state) {
                file->private_data = NULL ...

spin_lock_irqsave(&state->lock, flags);
---从表面理解，这个应该是用于保护state中数据的，而mutex_lock(&adb_mutex)保护的对象应该不同，也就是说如果某内核执行流程中需要修改state中的数据，应该需要获取state->lock，而不会去获取adb_mutex，所以adb_mutex不能保护state中的数据。
当然，这段代码我没研究过，可能有理解偏差。。。

adidiaos丶丶

嗯，谢谢。我再看看。回复 8# humjb_1983


   

黎明748

mutex_lock(&adb_mutex);只保证这里的if语句只有一个路径可以执行，并不保证其他路径不会访问state结构，所以还要再加spin。
我觉得这里mutex_lock(&adb_mutex)主要是保护if（state），kfree(state)和 spin_lock_irqsave(&state->lock, flags)和spin_unlock_irqsave(&state->lock, flags);。这里操作file结构没有上锁，估计file结构之前也是已经获得锁了，没代码不清楚。spin就保护state结构。