linux内核情景分析之内核中的互斥操作

信号量机制:
struct sempahore是其结构,定义如下
  1. struct semaphore {
  2. 	atomic_t count;//资源数目
  3. 	int sleepers;//等待进程数目
  4. 	wait_queue_head_t wait;//等待队列
  5. #if WAITQUEUE_DEBUG
  6. 	long __magic;
  7. #endif
  8. };
down操作成功(减后结果非负数)那就在标号1处结束down操作,转到临界区.
如果减为负数,跳转到2标号,并且调用call_down_failed,进入睡眠,一直要到唤醒并拿到资源才返回跳转到1标号,结束down操作进入临界区
  2. /*
  3.  * This is ugly, but we want the default case to fall through.
  4.  * "__down_failed" is a special asm handler that calls the C
  5.  * routine that actually waits. See arch/i386/kernel/semaphore.c
  6.  */
  7. static inline void down(struct semaphore * sem)
  8. {
  9. #if WAITQUEUE_DEBUG
  10. 	CHECK_MAGIC(sem->__magic);
  11. #endif
  13. 	__asm__ __volatile__(
  14. 		"# atomic down operation\n\t"
  15. 		LOCK "decl %0\n\t"     /* --sem->count lock字段把总线锁住,防止其他cpu干扰*/ 
  16. 		"js 2f\n"  /*如果小于0,那就跳转到2号*/  
  17. 		"1:\n" /*成功拿到,从此处进入临界区*/
  18. 		".section .text.lock,\"ax\"\n"
  19. 		"2:\tcall __down_failed\n\t" /*count--后为负值,休眠*/
  20. 		"jmp 1b\n"/*失败睡眠,但经过一段时间被唤醒,并且进入临界区,就跳转到1*/
  21. 		".previous"
  22. 		:"=m" (sem->count)
  23. 		:"c" (sem)
  24. 		:"memory");
  25. }

__down_failed源码,这里的目的只是为了调用__down函数
  1. asm(
  2. ".align 4\n"
  3. ".globl __down_failed\n"
  4. "__down_failed:\n\t"
  5. 	"pushl %eax\n\t"
  6. 	"pushl %edx\n\t"
  7. 	"pushl %ecx\n\t"
  8. 	"call __down\n\t"
  9. 	"popl %ecx\n\t"
  10. 	"popl %edx\n\t"
  11. 	"popl %eax\n\t"
  12. 	"ret"
  13. );

__down将判断资源是否存在,不存在睡眠,如果被唤醒那就从等待队列删除,并且唤醒其他等待队列进程
  2. void __down(struct semaphore * sem)
  3. {
  4. 	struct task_struct *tsk = current;
  5. 	DECLARE_WAITQUEUE(wait, tsk);//wait代表tsk
  6. 	tsk->state = TASK_UNINTERRUPTIBLE;//设置为睡眠状态
  7. 	add_wait_queue_exclusive(&sem->wait, &wait);//把当前进程的等待队列元素wait加入到sem->wait等待队列队尾
  9. 	spin_lock_irq(&semaphore_lock);
  10. 	sem->sleepers++;//等待进程数目+1
  11. 	for (;;) {
  12. 		int sleepers = sem->sleepers;//禁止本地中断并获取指定的锁
  14. 		/*返回非0,表示进程需要等待
  15. 		 * 假设有2个进程,进程资源已经被占用,当前进程执行down失败,跳转到这里,等待调度
  16. 		 结郭前一个进程归还了资源,count变为0(之前down2次为-1),sleeper-1也为0,相加等于0,于是可以进入临界区
  17. 		 */
  18. 		if (!atomic_add_negative(sleepers - 1, &sem->count)) {//返回0表示可以进入临界区
  19. 			sem->sleepers = 0;//睡眠的进程为0,因为要唤醒这进程了
  20. 			break;
  21. 		}
  22. 		sem->sleepers = 1;	/* 没法到临界区,那就需要阻塞,执行到这,设置为1,那就只有us - see -1 above */
  23. 		spin_unlock_irq(&semaphore_lock);
  25. 		schedule();//调度
  26. 		tsk->state = TASK_UNINTERRUPTIBLE;//将当前进程设置为睡眠状态
  27. 		spin_lock_irq(&semaphore_lock);
  28. 	}
  29. 	spin_unlock_irq(&semaphore_lock);//解锁
  30. 	remove_wait_queue(&sem->wait, &wait);//当前进程可以进入临界区后,从wait队列移除
  31. 	tsk->state = TASK_RUNNING;//设置为可执行状态
  32. 	wake_up(&sem->wait);//唤醒等待队列(然而等待队列很多进程依旧无法进入临界区)
  33. }
缺陷:优先级倒转,优先级高进程在外等待,在临界区的进程优先级很低,一旦优先级低的进程在临界区受阻睡眠,也得不到及时调度,优先级高进程会被拖累,解决办法:把高优先级借给进入临界区的进程

接下来分析up函数
  2. /*
  3.  * Note! This is subtle. We jump to wake people up only if
  4.  * the semaphore was negative (== somebody was waiting on it).
  5.  * The default case (no contention) will result in NO
  6.  * jumps for both down() and up().
  7.  */
  8. static inline void up(struct semaphore * sem)
  9. {
  10. #if WAITQUEUE_DEBUG
  11. 	CHECK_MAGIC(sem->__magic);
  12. #endif
  13. 	__asm__ __volatile__(
  14. 		"# atomic up operation\n\t"
  15. 		LOCK "incl %0\n\t"     /* ++sem->count */
  16. 		"jle 2f\n"//如果资源充足(也就是递增结果为正数,直接从1:跳出临界区,不用唤醒阻塞进程(应该说没有阻塞临界区的进程)
  17. 		"1:\n"
  18. 		".section .text.lock,\"ax\"\n"
  19. 		"2:\tcall __up_wakeup\n\t" /*递增结果为负数或者非0值,就唤醒阻塞进程*/
  20. 		"jmp 1b\n"
  21. 		".previous"
  22. 		:"=m" (sem->count)
  23. 		:"c" (sem)
  24. 		:"memory");
  25. }

__up_wakup的目的也是调用__up
  1. asm(
  2. ".align 4\n"
  3. ".globl __up_wakeup\n"
  4. "__up_wakeup:\n\t"
  5. 	"pushl %eax\n\t"
  6. 	"pushl %edx\n\t"
  7. 	"pushl %ecx\n\t"
  8. 	"call __up\n\t"
  9. 	"popl %ecx\n\t"
  10. 	"popl %edx\n\t"
  11. 	"popl %eax\n\t"
  12. 	"ret"
  13. );

  2. /*
  3.  * Semaphores are implemented using a two-way counter:
  4.  * The "count" variable is decremented for each process
  5.  * that tries to acquire the semaphore, while the "sleeping"
  6.  * variable is a count of such acquires.
  7.  *
  8.  * Notably, the inline "up()" and "down()" functions can
  9.  * efficiently test if they need to do any extra work (up
  10.  * needs to do something only if count was negative before
  11.  * the increment operation.
  12.  *
  13.  * "sleeping" and the contention routine ordering is
  14.  * protected by the semaphore spinlock.
  15.  *
  16.  * Note that these functions are only called when there is
  17.  * contention on the lock, and as such all this is the
  18.  * "non-critical" part of the whole semaphore business. The
  19.  * critical part is the inline stuff in <asm/semaphore.h>
  20.  * where we want to avoid any extra jumps and calls.
  21.  */
  23. /*
  24.  * Logic:
  25.  *  - only on a boundary condition do we need to care. When we go
  26.  *    from a negative count to a non-negative, we wake people up.
  27.  *  - when we go from a non-negative count to a negative do we
  28.  *    (a) synchronize with the "sleeper" count and (b) make sure
  29.  *    that we're on the wakeup list before we synchronize so that
  30.  *    we cannot lose wakeup events.
  31.  */
  33. void __up(struct semaphore *sem)
  34. {
  35. 	wake_up(&sem->wait);//唤醒等待队列中的进程
  36. }
  2. #define wake_up(x)			__wake_up((x),TASK_UNINTERRUPTIBLE | TASK_INTERRUPTIBLE,WQ_FLAG_EXCLUSIVE)

  1. void __wake_up(wait_queue_head_t *q, unsigned int mode, unsigned int wq_mode)
  2. {	
  3.     __wake_up_common(q, mode, wq_mode, 0);
  4. }

posix信号量与内核信号量概念基本一样,不过posix信号量可以用于位于内核外临界区的不同进程.而内核信号量只可以用于临界区位于内核
互斥锁(也就是mutex.一般用于线程互斥),不过可以通过设置线程锁属性用于不同进程通信,为了达到多进程共享的需要，互斥锁对象需要创建在共享内存中
文件锁用于2个进程访问一个文件
自旋锁,读写锁只可用于线程互斥
信号量分为匿名信号量与有名信号量,前一个用于线程互斥,后一个用于进程同步
大内核锁也是用来保护临界区资源，避免出现多个处理器上的进程同时访问同一区域的



来自为知笔记(Wiz)


posted on 2016-10-27 10:54  笨拙的菜鸟  阅读(585)  评论(0)  编辑  收藏  举报

导航