Linux内核中的同步和互斥分析报告

down1: 
count(0->-1),sleepers(0->1),sleepers-1+count(-1),count(-1),sleepers(1),调度 
down2: 
count(-1->-2),sleepers(1->2),sleepers-1+count(-1),count(-1),sleepers(1),调度 

down3: 
count(-1->-2),sleepers(1->2),sleepers-1+count(-1),count(-1),sleepers(1),调度

up1: 
count(-1->0),唤醒一个睡眠进程（设为1）,（进程1得到机会运行） 
sleepers-1+count(0),count(0),sleepers(0),break, 
唤醒另一个睡眠进程（设为2），（进程2得到机会运行） 
sleepers-1+count(-1),count(-1),sleepers(1), 
调度（没达到条件，又得睡觉）也可能是这样的： 
up1`: 
count(-1->0),唤醒一个睡眠进程（设为1）,（进程1得到机会运行） 
sleepers-1+count(0),count(0),sleepers(0),break, 
唤醒另一个睡眠进程（设为2），进程2在以后才得到机会运行） 
up2: 
count(-1->0),（因为count<=0）唤醒一个睡眠进程（设为2）,进程2得到机会运行） 
sleepers-+count(0) , count(0) , sleepers(0) ,break, 
唤醒另一个睡眠进程（设为3），进程3得到机会运行） 
sleepers-1+count(-1),count(-1),sleepers(1), 
调度（没达到条件，又得睡觉）对应上面的1`： 
up2`: 
count(0->1),（因为count>0,所以直接返回）进程2得到机会运行） 
sleepers-1+count(0),count(0),sleepers(0),break, 
唤醒另一个睡眠进程，（设为3） 
up3: 
count(-1->0),（因为count<=0）唤醒一个睡眠进程（设为3）,进程3得到机会运行） 
sleepers-1+count(0),count(0),sleepers(0),break, 
唤醒另一个睡眠进程（这时队列里没进程了） 
进程3运行结束，执行up(), 使count =1 ,这时变成没锁状态 ） 
对应上边的2`： 
up3`: 
count(0->1),（因为count>0,所以直接返回）进程3得到机会运行） 
sleepers-1+count(0),count(0),sleepers(0),break, 
唤醒另一个睡眠进程（这时队列里没进程了） 
进程3运行结束，执行up(), 使count =1 ,这时变成没锁状态 ）

typedef struct { 
volatile unsigned int lock; 
} spinlock_t; 
static inline void spin_lock(spinlock_t *lock) 
{ 
__asm__ __volatile__( 
"\n1:\t" 
"lock ; decb %0\n\t" 
"js 2f\n" //lock->lock< 0 ,jmp 2 forward 
".section .text.lock,\"ax\"\n" 
"2:\t" 
"cmpb $0,%0\n\t" //wait lock->lock==1 
"rep;nop\n\t" 
"jle 2b\n\t" 
"jmp 1b\n" 
".previous" 
:"=m" (lock->lock) : : "memory"); 
} 
static inline void spin_unlock(spinlock_t *lock) 
{ 
__asm__ __volatile__( 
"movb $1,%0" 
:"=m" (lock->lock) : : "memory"); //lock->lock=1 
}

#define SPIN_LOCK_UNLOCKED (spinlock_t) { 1 } 
spinlock_t xxx_lock = SPIN_LOCK_UNLOCKED; 
spin_lock_(&xxx_lock) 
... 
critical section 
... 
spin_unlock (&xxx_lock)