码迷,mamicode.com
首页 > 其他好文 > 详细

2015 邮箱辩论

时间:2019-10-20 20:12:08      阅读:25      评论:0      收藏:0      [点我收藏+]

标签:span   color   nbsp   邮件   empty   while   style   pre   code   

sem full_a=x;
sem empty_a=m-x;
sem full_b=y;
sem empty_b=n-y;
sem mutex_a=1;
sem mutex_b=1;
A{
    while(True)
    {
    p(full_a);
    p(mutex_a);
    从a邮箱取邮件
    v(mutex_a);
    v(empty_a);
    回答一个问题并提出新问题
    p(empty_b);
    p(mutex_b);
    将问题放入b邮箱
    v(mutex_b);
    v(full_b);
    }
    
}
B
{
    while(true)
    {
        p(full_b);
        p(mutex_b);
        从B信箱取邮件
        p(mutex_b);
        v(empty_b);
        回答问题并提出一个新问题
        p(empty_a);
        p(mutex_a);
        问题放入a信箱
        v(mutex_a);
        v(full_a);
    }
}

 

2015 邮箱辩论

标签:span   color   nbsp   邮件   empty   while   style   pre   code   

原文地址:https://www.cnblogs.com/yangmenda/p/11708600.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有 京ICP备13008772号-2
迷上了代码!