互斥信号量mutex
- 案例分析
- 题目一：存钱与取钱
- 题目一：存钱与取钱
具体分析
- 首先，确定进程的个数，用A，B来代表兄弟两个存钱与取钱的过程。
A是哥哥，B是弟弟
A存钱，A 存钱，账号上有20元
第三次A存钱时，A要存钱，B又要取钱，由于是并发执行，无法确定先执行的哪一个进程？
- 假设1：先执行进程A的存钱全部执行完，在执行B的取钱全部执行完，则结果是amount = amount + 10 - 10 = 20 （元）
- 假设2 ; 先执行进程A的存钱但是并没有执行赋值语句，CPU又接着执行了B的取钱过程，最后又来到A的存钱赋值语句处执行赋值语句，账户的钱就会被赋值成30 ，amount = 30 (元)
- 假设3 ; 先执行进程B的取钱但是并没有执行赋值语句，CPU又接着执行了A的存钱过程，最后又来到B的取钱赋值语句处执行赋值语句，账户的钱就会被赋值成10 ，amount = 10 (元)
可以看出：在没有设置互斥信号量的情况下，程序的执行顺序是不确定的，CPU可能会在某个时间片用完的情况下，执行了别的程序，又回来接着执行之前的程序，这样就会导致出现多组不同的数据和错误的结果。
为了让具有一定执行顺序的子程序，能够一次性执行完，执行期间不允许别的进程执行，从而达到对共享资源的保护的目的，引入互斥信号量mutex = 1
引入互斥
规范化解题思路
1.首先确定进程数量，子程序数量
2.先写出子程序的核心功能代码（也可用汉字描述下功能）
3.分析代码中的变量是否是共享变量（其它程序中也许访问）
4.申请互斥和释放 （在核心代码前面增加P，后面增加V）
