题目内容：
在该水电站安全监测系统中，数据采集任务(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) 状态。
参考答案：