为保证进程并发执行时的正确性，应使这些进程在相关临界区的执行是______。