- Semaphore的模型可以简单的概括为:
一个计数器,一个等待队列,三个方法。在信号量模型里,计数器和等待队列对外是透明的,所以只能通过信号量模型提供的三个方法来访问它们,这三个方法分别是:init()、down()、up()
- init():设置计数器初始值。
- down():计数器的值减 1;如果此时计数器的值小于 0,则当前线程将被阻塞,否则当前线程可以继续执行。
- up():计数器的值加 1;如果此时计数器的值小于或者等于 0,则唤醒等待队列中的一个线程,并将其从等待队列中移除。
这里提到的 init()、down() 和 up() 三个方法都是原子性的,并且这个原子性是由信号量模型的实现方保证的。在 Java SDK 里面,信号量模型是由 java.util.concurrent.Semaphore 实现的,Semaphore 这个类能够保证这三个方法都是原子操作。
-
在 Java SDK 并发包里,down() 和 up() 对应的则是 acquire() 和 release()。
-
使用 实现一个简单的互斥锁功能
static final Semaphore semaphore = new Semaphore(1);
static void addOne() throws InterruptedException {
semaphore.acquire();
try {
count++;
}finally {
semaphore.release();
}
}
- Semaphore有个功能是Lock不容易实现的。Semaphore 可以允许多个线程访问一个临界区。可以实现一个限流器、限定多少个线程可以进入临界区。