semaphore的实现机制详解（The implementation mechanism of semaphore is explained in detail）.docVIP

semaphore的实现机制详解（The implementation mechanism of semaphore is explained in detail） Semaphore is one of the most important and common synchronization methods in kernel, and its main feature is synchronization under Sleep mechanism. When gets a semaphore but not when he gets immediately, the current execution process into the Sleep state of waiting, when semaphore can obtain the running start, unlike splin lock in acquiring the lock time is BusyWait. First look at its definition: Struct semaphore { Atomic_t count; / / atomic variables, is the actual code in the follow-up, we can see that the amount of signal we have set in the initialization of the. Int sleepers; / / there are several waiting. Wait_queue_head_t wait; / / wait queue }; Initialization function: Static, inline, void, sema_init (struct, semaphore, *sem, int, Val) { Atomic_set (sem-count, Val); / / atomic operations, the signal values for atomic operation value. Sem-sleepers = 0; / / set for 0. Init_waitqueue_head (sem-wait); / / initialize the waiting queue. } Now that youre done with the initialization function, lets look at a special case PV operation: Static, inline, void, init_MUTEX (struct, semaphore, *sem) { Sema_init (SEM, 1); } Static, inline, void, init_MUTEX_LOCKED (struct, semaphore, *sem) { Sema_init (SEM, 0); } From what we can see, in fact, what we call the PV operation is to call sema_init to place the atomic variables 0 or 1 respectively. Lets look at the specific operation function below: Static, inline, void, down (struct, semaphore * SEM) { Might_sleep (); __asm__ __volatile__ (... Atomic down operation\n\t # LOCK_PREFIX decl%0\n\t --sem-count / * * / JNS 2f\n. \tlea,%0,%%eax\n\t. Call __down_failed\n. 2 : +m (sem-count) : Memory, ax); } About might_sleep (): #define might_sleep () \ \ Do {__might_sleep (__FILE__, __LINE__); might_resched ();} while (0) As you can see, it simply calls might_resched (): #define (might_resched) (cond_resched) It calls cond_resched (): Int __sched cond_res