Concurrency and Race conditions

在 semaphore 的術語中，有分為
1.鎖定的 P 動作
2.解鎖的 V 動作

P 動作簡單說就是對 semaphore 的 value 值作遞減(down)的動作
V 動作則恰好相反，他是執行對 semaphore 的 value 值作遞增(up)的動作

而在 Linux kernel function 中
P 動作是以 down 為函式名稱
V 動作則是 up 為函式名稱

down又分為三個函式

void down(struct semaphore* sem);
int down_interruptible(struct semaphore* sem); /*建議使用版本*/
int down_trylock(struct semaphore* sem);