reader writer lock 问题

harmony2013

源代码  2.6.32

G:\linux-2.6.32\arch\x86\include\asm\spinlock.h

1. 
   
2. static inline int __raw_read_trylock(raw_rwlock_t *lock)
   
3. {
   
4.         atomic_t *count = (atomic_t *)lock;
   
5. 
   
6.         if (atomic_dec_return(count) >= 0)
   
7.                 return 1;
   
8.         atomic_inc(count);
   
9.         return 0;
   
10. }
    
11. 
    
12. static inline int __raw_write_trylock(raw_rwlock_t *lock)
    
13. {
    
14.         atomic_t *count = (atomic_t *)lock;
    
15. 
    
16.         if (atomic_sub_and_test(RW_LOCK_BIAS, count))
    
17.                 return 1;
    
18.         atomic_add(RW_LOCK_BIAS, count);
    
19.         return 0;
    
20. }
    

复制代码

RW_LOCK_BIAS 为 0x0100 0000
如果写者获得lock, 那么count  位 0x0200 0000

此时，有个疑问
此时读者atomic_dec_return(count) >= 0 ，读者仍然可以获得锁啊。
很多资料说，这个写者获得锁的时候，count为负数，不明白是怎么来的。
因为atomic_add(RW_LOCK_BIAS, count); 会导致结果为0x0200 0000，而不是0x8000 0000 (负数)

如果是仅仅想表示读者过多，比如多于 0x0100 0000个。那也不对啊，因为有写者的时候，仍然可以读。

求解！

thanks.

leaforestd

rwlock 初始化为  RW_LOCK_BIAS, 写者获得锁之后 rwlock 是 0x0而不是 0x0200 0000.

harmony2013

回复 2# leaforestd


    谢谢回答。

我主帖确实计算错误。

但是 count  初始化为 0x0100 0000 (假设此时没有一个读者和写着占着)
然后原子操作减去 0x0100 0000 ，此时为0
然后，又加上0x0100 0000
最终结果还是 0x0100 0000  啊。

不过，根据你的回答，我猜测我是在计算上，有些混淆搞错了。我回去仔细看看。

谢谢你的忽地啊。

leaforestd

回复 3# harmony2013

static inline int __raw_write_trylock(raw_rwlock_t *lock)
{
        atomic_t *count = (atomic_t *)lock;




        if (atomic_sub_and_test(RW_LOCK_BIAS, count))
                return 1;
        atomic_add(RW_LOCK_BIAS, count);
        return 0;
}

如果 writer 能进去, 减去 RW_LOCK_BIAS, return 了. 进不去的话才再加上.

harmony2013

回复 4# leaforestd


    明白了。我前2天在路上也想明白了。

主要是没明白test的返回值。

Thank you very much ~~!!