在操作系统中，为了保持多个进程P1、P2、P3和P4按某种次序依次执行，需要一个（）来实现这个过程。