同步的机制(一)

同步与互斥的定义：

同步：如果多个（包括2个）进程间存在时序的关系，需要协同工作完成一项任务，则称为同步；

互斥：如果他们不满足协同的条件，而只是因为共享具有排他性的资源时所产生的关系，则成为互斥；

信号量机制（Semaphore）

Semaphore  S(信号量)

Operation P(来自荷兰语proberen 意为test有时也表达为wait())

Operation V (来自荷兰语，verhogen,意为increment)有时也表达为single()

S 表示指示共享资源的可用数量，P原语可以减少S计数，V原语增加S的计数。

当某个进程想进入共享区的时候，首先要执行P操作；同理，想退出共享区的时候执行V操作。PV操作都属于原子操作（Atomic Operations），意味着他们的执行过程是不允许被中断的。

Mutex机制

Mutual（共同的） Exclusion的缩写，其释义为互斥体

根据计算机领域的观点，如果资源允许多个对象同时访问，称为Counting Semaphores;而对于只允许取值0和1（locked/unlocked）的Semaphore，则叫做Binary Seamphore；

或者可以认为与本节的mutex具有相同的性质。

管程机制（Monitor）

管程机制实际上是对Semaphore机制的延伸和改善，

管程（Monitor）是可以被多个进程/线程安全访问的对象（object）或者是模块(module)

管程中的方法都是受mutual exclusion保护的，意味着同一时刻只允许有一个访问者使用它们。

管程还具有 安全性、互斥性、共享性