临界区问题

• 定义：

普遍结构：

• 进入区（Entry Section）：进程在此部分代码中请求进入临界区的许可。
• 临界区（Critical Section）：进程在此区域中访问共享资源。
• 退出区（Exit Section）：进程在此部分代码中清理操作，并通知系统它即将离开临界区。
• 剩余区（Remainder Section）：进程执行不涉及共享资源的其他代码。

Solution

操作系统中临界区处理

取决于是抢占式还是非抢占式

抢占式 - 允许在内核模式下对进程进行抢占。

非抢占式 - 进程运行直到它退出内核模式、被阻塞或自愿放弃CPU。

• 在内核模式下基本上不会发生竞态条件。