semaphore mutex_a = 1;//互斥访问A的邮箱
semaphore mutex_b = 1;//互斥访问B的邮箱
semaphore empty_a = M-x;//A邮箱中还可以放入多少封邮件
semaphore empty_b = N-y;//B邮箱中还可以放入多少封邮件
semaphore full_a = x;//A邮箱中已经有多少封邮件
semaphore full_b = y;//B邮箱中已经有多少封邮件

CoBegin
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的信箱中取出一个邮件;
        v(mutex_b);
        v(empty_b);
        回答问题并提出一个新问题;
        p(empty_a);
        p(mutex_a);
        将新邮件放入A的信箱;
        v(mutex_a);
        v(full_a);
    }
}
CoEnd