同步机制应遵循哪些基本准则?为什么?

Question

如题所述

Answer 1

在多道程序设计环境中，程序的并发执行可能导致进程间存在两种制约关系：（1）间接相互制约，即进程共享资源；（2）直接相互制约，源于进程间的合作。为了有效共享资源，进程在使用临界资源时必须互斥访问。为此，进程需要采取措施进入临界区，这可以通过软件方法实现，或通过系统中的同步机制来协调进程运行。同步机制应遵循以下基本准则：
1. 空闲让进：当没有进程在临界区时，资源空闲，应允许请求进入临界区的进程立即使用资源，以提高资源利用率。
2. 忙则等待：当有进程已在临界区时，其他请求进入的进程应等待，确保临界资源互斥访问。
3. 有限等待：系统应保证进程在有限时间内能够进入临界区，避免进程无限期等待。
4. 优先让权等待：当进程无法立即进入临界区时，应释放处理器，以免造成处理器空闲，其他进程无法获得执行机会。