操作系统中PV问题,包括生产者—消费者问题。读者——写者模型等。哲学家进餐问题。