在该水电站安全监测系统中，数据采集任务(Collect_task)把所采集的数据送入一单缓冲区，计算任务(Calculate_task)从该单缓冲区中取出数据进行计算。以下是利用信号量机制实现两个任务共享单缓冲区的C语言形式化描述程序。请将程序代码中(6)～(9)空缺处以及(10)空缺处的内容填写完整。

int sr=0'

int (6) ：

main()

{

cobegin

Collect_task();

Calculate_task();

coend

}

Collect_task()

{

While(采集工作未完成)

{

采集一个数据，

P(se)，

将数据送入缓冲区中：

(7) ，

}

}

Calculate_task()

{

While(计算工作未完成)

{

(8) ，

从缓冲区中取出数据：

(9)

进行数据计算送入缓冲区中，

}

}

如果以上程序中“int sf＝0；”语句不小心被改写成“ints{＝-1；”，那么系统运行时将会进入 (10) 状态。