并发*程同步

传统顺序程序设计导致计算机系统效率不高，当引入并发程序设计技术时，程序的外部顺序特性消失。

A1 A2 A3 B1 B2 B3    ->    A1 B1 A2 B2 A3 B3 （这样能提高系统利用率）

一个程序被分解为宏观并行的若干小程序的设计方法称为concurrent programming。

并发进程中与共享变量有关的程序段称为临界区（1965 by Dijkstra）。

管理临界区的同步工具：信号量和PV操作。