利用信号量实现进程的________，应为临界区设置一个信号量mutex，其初值为1，表示该资源尚未使用，临界区应置于________和________原语之间。