整型信号量符合“有限等待”原则
signal释放资源后,当CPU被分配给等待进程后,等待进程仍可继续执行,可以符合“有限等待”。
但整型信号量不符合“让权等待”原则
整型信号量的wait操作,当s ≤0时,当前进程会占着CPU不断测试;
信号量原语不能被打断,这个占有CPU的进程会一直不断的占据CPU循环下去,陷入忙等。
改进:条件不符时应能够主动放弃CPU
新问题:放弃CPU的进程进入阻塞队列:因等待某信号量而放弃CPU的等待进程会有“若干”个,需将它们组织管理起来,并在合适的时候唤醒。
• 定义信号量semaphore代表可用资源实体的数量。又叫信号灯。
• 当≥0,代表可供并发进程使用的资源实体数
• 当<0,表示正在等待使用该资源的进程数。
建立一个信号量必须经过说明,包括
• 信号量所代表的意义
• 赋初值
• 建立相应的数据结构,以便指向等待使用临界区的进程。
除初值外,信号量的值仅能由标准原子操作P、V操作来改变。 PV操作是荷兰语通过和释放的意思。
3)信号量的基本应用
实现进程互斥
实现进程间的前趋关系(有序)
互斥信号量注意点:
- 互斥信号量mutex初值为1;
- 每个进程中将临界区代码置于P(mutex)和V(mutex)原语之间
- 必须成对使用P和V原语(在同一进程中),不能次序错误、重复或遗漏:
遗漏P原语则不能保证互斥访问
遗漏V原语则不能在使用临界资源之后将其释放(给其他等待的进程);
控制同步顺序的注意点
信号量值为0的点是限制的关键所在;
成对使用P和V原语(在有先后关系的两个进程中),不能次序错误、重复或遗漏,否则同步顺序出错。
1)如何利用互斥信号量解决上次课两个加法进程对共享变量操作的问题?
4)AND型信号量
出现原因:一些应用往往需要两个或多个共享资源,而不是前述的一个资源。进程同时要求的共享资源越多,发生死锁可能性越大。
解决思想:
一次性分配给进程所需资源,用完一起释放。Wait操作时对它所有需要的资源都要判断,有AND条件,故称“AND同步”、“同时wait”。