typedef semaphore;
semaphore dblock;
dblock = 0;

int deposit(id, int c)   // 存款例程，id是用户号，c为存入现金额
{
    int n;
    P(dblock);            // P操作（申请锁）
    n = fetch(balance);   // 从服务器取存款余额
    n = n + c;            // 存款余额加存入现金额
    send(n);              // 送回新余额
    V(dblock);            // V操作（释放锁）
    output(n);            // 打印余额凭条
}

其中，fetch(balance)语句的作用是

测试是否能正确进入临界区

访问临界资源

将“正在访问临界区”的标志清除

访问临界资源之外的其余部分