semaphore Aempty = 0;
semaphore Bempty = 0;
semaphore Afull = M;
semaphore Bfull = N;

Aempty为信箱A的初始邮件数；Bempty为信箱B的初始邮件数；Afull为信箱A的初始剩余邮件数；Bfull为信箱B的初始剩余邮件数

    A{
        while(true){
            p(Aempty);
            //从A中的信箱中取一个邮件
            v(Afull);
            //回答问题并提出一个新问题
            p(Bfull);
            //将新邮件放入B的信箱
            v(Bempty);
        }
    }
    B{
        while(true){
            p(Bempty);
            //从B中的信箱中取一个邮件
            v(Bfull);
            //回答问题并提出一个新问题
            p(Afull);
            //将新邮件放入A的信箱
            v(Aempty);
        }
    }