操作系统的进程同步（简体中文版）

进程同步

• 进程同步的核心概念

  • 确保多线程环境下的数据完整性与并发安全性的核心机制

  • 其中一种典型实现方式

    • 单标志法作为基础框架
    • 双标志机制中的优先级处理策略之一——先检查模式
    • 另一种双标志机制中的优先级处理策略——后检查模式
    • 经典的解决两位进程互斥问题的有效算法——Peterson Algorithm

  • 进程互斥的硬件实现方法

  • • 中断屏蔽方法
    • TestAndSet指令
    • Swap指令

  • 信号量机制

  • • 整形信号量
    • 记录型信号量

  • 用信号量实现进程同步、互斥

  • • 信号量实现互斥
    • 信号量实现同步

进程同步概念

在多道程序环境中（段落数量不变），进程中是处于并发执行状态（句式变换），各进程中都存在着各自存在的制约关系（同义替换）。为了协调各进程间的制约关系（主谓转换），引入了进程同步的概念（同义替换）。举例说明：例如让系统计算1+2×3（举例说明），假设系统产生两个进程（同义替换），其中一个是加法相关进程、一个是乘法相关进程。若要确保计算结果正确，则必须先完成乘法运算再进行加法运算（逻辑调整）。如果不加以制约，则可能导致加法的进程中先于乘法运行而出现错误（逻辑调整）。因此有必要引入同步机制来解决这个问题。