PV 原语，操作系统 经典问题，jBACI 和尚打水问题

某寺庙有小和尚、老和尚若干，有一水缸，由小和尚提水入缸供老和尚饮用。
水缸可容10桶水，水取自同一井中。水井径窄，每次只能容一个桶取水。水桶
总数为3个。每次入缸取水仅为1桶水，且不可同时进行。试给出有关从缸取水、
水的算法描述。*/

semaphore pail;
semaphore empty ,full;
binarysem well ,vat;

void youngmonk()
{ while(1)
{
p(empty);
p(pail);
p(well);
v(well);
p(vat);
v(vat);
v(full);
v(pail);
}
}

void oldmonk()
{ while(1)
{
p(full);
p(pail);
p(vat);
v(vat);
v(pail);
v(empty);
}
}

void main()
{
initialsem(pail, 3);
initialsem(empty, 10);
initialsem(full,0);
initialsem(well,1);
initialsem(vat,1);
cobegin 
{
youngmonk(); oldmonk();
}
}