地上有一只碗，每次只能放入一种宠物粮食。小明想用碗给狗喂狗粮，小红想用碗给猫喂猫粮，小狗只吃狗粮。小猫只吃猫粮。用P、V操作写出他们能正确同步的程序。