简述
- 翻译为信号量/信号灯,线程能不能执行,要看信号量允不允许
- 管程的前辈
信号量模型
- 内部构造:一个计数器,一个等待队列,三个方法(init(),down(),up())
- Init(): 设置计数器的初始值
- Down(): 计数器值-1; 如果此时计数器的值<0, 当前线程被阻塞, 放入等待队列; 如果此时计数器的值>=0, 可以运行
- up(): 计数器值+1; 如果此时计数器的值>0, 说明此时等待队列没有阻塞线程; 如果此时计数器的值<=0, 说明此时等待队列有被阻塞的线程, 那么唤醒一个, 并在等待队列中移除.
- 这三个方法都是原子性的,Java SDK中信号量模型由 java.util.concurrent.Semaphore 实现,Semaphore 能够保证这三个方法都是原子操作。
- down()、up() 这两个操作历史上最早称为 P 操作和 V 操作,所以信号量模型也被称为 PV 原语。
- 也有人用semWait() 和 semSignal() 来称呼它们,虽然叫法不同,但是语义都是相同的
- Java SDK 并发包里,down() 和 up() 对应的则是 acquire() 和 release()。
如何使用信号量(和可重入锁类似)
- 和可重入锁代码执行位置类似,进去之前先加锁,也就是重入锁先lock(对应信号量就是down,因为down是原子性,所以只有一个线程能进入,并对count进行操作来判断是否能进入要执行代码的区域),然后执行完,可重入锁要释放锁,也即unlock(对应up来唤醒其他的线程)
Java SDK 里面提供了 Lock,为啥还要提供Semaphore
- Semaphore 可以允许多个线程访问一个临界区。
- 使用场景:各种池化资源,例如连接池、对象池、线程池等等
- 基本使用
- semphore.acquire();//获取资源,count-1
- try{ doSomething;//业务代码 }
- finally{ semphore.release();//释放资源,唤醒阻塞队列上的线程 }