阅读下列说明和程序，回答问题l至问题3．将答案填入答题纸的对应栏内。

【说明】

在开发某嵌入式系统时，设计人员根据系统要求，分别编写了如下程序，其中：

【程序1】;实现两个变量的值的互换；

【程序2】：完成某功能的C语言程序；

【程序3】和【程序4】:是P、V操作的形式化定义，设S为信号量。在多道程序系

统中，进程是并发执行的。这些进程间存在着不同的相互制约关系，主要表现为同步和

互斥两个方面。信号量是解决进程间同步与互斥的有效方法。

【程序1】

【程序3】

P操作的形式化定义

P (S)

{

(1):

If(2) {

阻塞该进程；

将该进程插入信号量S的等待队列

}

}

【程序4】

V操作的形式化定义：

V(S)

{

(3)

if(4) {

从信号量s的等待队列中取出队首进程

将其插入就绪队列：

}

}

【问题1】（6分）

执行【程序1】后，没有能够实现两个变量值的交换，为什么？请修改上述函数

实现两个变量值的交换，要求函数无返回值，形式为：void swap(...)。请将答案填写在

答题纸中对应的栏目。

【问题2】（3分）

请问【程序2】运行结果是什么？

【问题3】（6分）

请简述什么是临界资源？什么是临界区？

请完成【程序3】和【程序4】的形式化定义，将应填入(n)处的内容写在答题纸

的对应栏中。