文章
49
粉丝
0
获赞
1
访问
4.4k
评分及理由
(1)得分及理由(满分7分)
第1次识别结果:
P(mutex); P(empty); P(mutex);
重复获取互斥锁,逻辑错误(扣1分)if (x % 2 == 0) P(even); else V(odd);
应为V(even)
和V(odd)
,逻辑错误(扣1分)P(odd)
,逻辑错误(扣1分)第2次识别结果:
P(mutex); P(empty); P(mutex);
重复获取互斥锁,逻辑错误(扣1分)if (x % 2 == 0) V(even); else V(odd);
逻辑正确(1分)最终得分:取两次识别结果的最高分3分
题目总分:3分
登录后发布评论
暂无评论,来抢沙发