进程P1和P2均包含并发执行的线程，部分伪代码描述如下所示，下列选项中，需要互斥执行的操作是（ )。[同步与互斥问题]

操作系统错题总结

题目原题

这道题又是一道2016年的统考真题，真的怀疑那一年的题目的地狱级别…

简单先说一下同步与互斥的概念(根据进程的并发性，必须制定同步互斥规则使程序正确运行)：

进程同步：

又称直接制约关系，就是A事件必须发生在B事件之前，B事件只能够在A事件发生后发生。

进程互斥：

又称间接制约关系，就是计算机的某些临界资源一次只可以被一个进程访问。(举个例子，两个人不能同时用一个马桶…)

下面我们可以一步步正解出答案：

A选项，a1、a2均为线程内的临时变量，赋值依旧也不改变最终结果。
B选项，a=x、b=x要求 “b=x”发生在之后，要求的是需要同步执行。
D选项，x+=1、x+=3并不在同一个进程之中，两个x并不相同，故无任何关联。

刚开始看到答案时，有些小伙伴应该会不解，其实我也是这样的。
认为

x = 0;
---->a.  x += 1;
---->b.  x += 2;				//这两句没毛病啊，无论谁先执行结果都该是 3啊！！

其实这样理解是错的，这是因为高级语言编译器自动帮我们实现了变量操作访问的互斥机制。

站在计算机的立场应该是这样的(每个高级语言都包含若干条机器指令)，
因为博客不会排版，直接写出来了，哈哈，大家凑活看：

所以，若不对 x += 1 和 x += 3进行互斥操作的话，结果确实是有很多种，所以选项C是正确的。
解决成功！