计算机科学归档 - 哆啦日志

2019-02-08 102 0

2019-01-29 114 0

【Java】

同步的两个特性：原子性、有序性

三种同步原语：Mutex, Semaphore, Condition variable。这三种同步原语都会通过操作系统将线程设置为睡眠状态，因此这三种同步都是阻塞的，这造成的共同问题是：死锁、线程饥饿、虚假唤醒、优先级倒置

Mutex为锁机制，用于保护临界资源，分为可重入Mutex、读写Mutex等等

Semaphore是信号机制，其含有一个计数器，用于编排线程，多个semaphore可实现生产者-消费者模型

Condition variable是等待-通知机制（通过Mutex），不单独使用，常常与Mutex配合使用

同步在操作系统层面的实现上：Linux和macOS的POSIX threads；Windows的C Run-Time Libraries（CRT）

同步在编程语言层面的实现上：Java的JUC，C++的thread库，C#的System.Threading命名空间等等