2015 邮箱辩论

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);
    }
}