《操作系统》-信号量机制的初识

信号量机制

信号量机制可以分为整型信号量和记录型信号量

---

信号量机制的作用

用户进程可以通过使用操作系统提供的一对原语来对信号量进行操作，从而很方便的实现了进程互斥和进程同步
信号量其实就是一个变量(可以是一个整数，也可以是更复杂的记录型变量)，可以用一个信号量来表示系统中某些资源的数量，比如：系统中只有一台打印机，就可以设置一个初始值为1的信号量
一对原语：指wait(S)原语和signal(S)原语，可以把原语理解为我们自己写的函数，函数分别为wait和signal，括号里的信号量S其实就是调用函数时传入的参数
wait、signal原语简称P、V操作。

---

整型信号量

用一个整数型的变量作为信号量，用来表示系统中某种资源的数量

---

记录型信号量
整数型信号量存在“忙等”问题，因此人们又提出了“记录型信号量”，即用记录型数据结构表示的信号量

S.value的初值表示系统中某些资源的数目
对信号量S的一次P操作意味着进程请求一个单位的该类资源，因此需要执行S.value–，表示资源数减1，当S.value<0时表示该资源以全部分配。因此调用进程的block原语进行堵塞（当前运行进程从运行态->阻塞态），主动放弃处理机，并将该进程插入该类资源等待队伍S.L中，可见，该机制遵循了“让权等待”原则，不会出现“忙等”的现象
对信号量S的一次V操作意味着进程释放一个单位的该类资源，因此需要执行S.value++，表示释放一个该类资源，若加1后仍是S.value<=0，表示依然有进程在该类资源的等待队列中，因此应调用wakeup原语唤醒等待队列中的第一个进程(被唤醒进程从阻塞态->就绪态)

总结一下