共计 2097 个字符,预计需要花费 6 分钟才能阅读完成。
synchronized 作为内置锁,使用简单,不易出错,然鹅确有相当的局限性,例如,无法从等待获取锁的阻塞中中断,无法设置获取锁的超时。
所以 JUC 提供了另一种更灵活的加锁方式,即 Lock。
Lock
Lock 接口定义如下
public interface Lock {void lock();
void lockInterruptibly() throws InterruptedException;
boolean tryLock();
boolean tryLock(long timeout, TimeUnit unit) throws InterruptedException;
void unlock();
Condition newCondition();}
从接口的定义不难发现,Lock 不仅提供了常规的 lock()阻塞式加锁,也提供了 tryLock 使得线程能在获取不到锁时,马上返回,
甚至可以等待锁一段时间后,再返回。lockInterruptibly 则提供了可中断的阻塞式获取锁方式。
Lock 的锁需要显示释放,通常要与 try...finally
语句一起使用,避免死锁。
lock.lock();
try {
// update object state
// catch exceptions and restore invariants if necessary
} finally {lock.unlock();
}
ReentrantLock
Lock 最常用的实现类是 ReentrantLock,这是一个 可重入锁(synchronized 也是)。
ReentrantLock 默认和内置锁一样,是非公平锁,但是支持 公平锁 模式,可以用 ReentrantLock(true)
创建公平锁。
可重入锁
所谓可重入锁,也就是说一个线程可以在持有该锁的时候,再次获取该锁。可重入锁通常与一个计数器关联,第一次获取锁的时候,计数器从 0 变为 1,再次获取锁,变为 2,以此类推。释放锁的时候,计数器每次减 1,直至减为 0,该锁才真正释放给其他线程。
为啥需要可重入锁
举个例子(JCP 书上的)
public class Widget {public synchronized void doSomething() {...}
}
public class LoggingWidget extends Widget {public synchronized void doSomething() {System.out.println(toString() + ": calling doSomething");
super.doSomething();}
}
子类覆盖了父类方法,并再次调用了父类的同步方法,如果锁不支持重入,则会导致死锁。
公平锁
所谓公平锁,其实就是指锁的等待队列执行先进先出,等待最久的线程优先获得锁。
但是内置锁和 ReentrantLock 默认都是非公平的,为啥?
因为非公平锁的性能更好。一个事实是,一个线程从被唤醒到真正运行中间有不可忽视的延迟,这个延迟时间很可能长到足够一个运行中的线程获取锁,并完成操作,然后释放锁。也即是说,把锁给’等待最久的线程‘的过程中,可以让其他线程插队获取锁,并归还锁,还不会影响’等待最久的线程‘的运行。这样一来吞吐量就得到了提升。
Scala 栗子
package io.github.liam8.con
import java.util.concurrent.TimeUnit
import java.util.concurrent.locks.{Lock, ReentrantLock}
object LockDemo {private val rtl: Lock = new ReentrantLock()
var inc: Int = 0
def get(): Int = {rtl.lock()
try {inc} finally {rtl.unlock()
}
}
def addOne(): Unit = {rtl.lock()
try {TimeUnit.SECONDS.sleep(1)
inc = 1 + get()} finally {rtl.unlock()
}
}
def main(args: Array[String]): Unit = {for (i <- 1 to 10) {
new Thread {override def run(): Unit = {println(s"run thread $i")
addOne()}
}.start()}
while (true) {println(s"inc=$inc")
TimeUnit.SECONDS.sleep(1)
}
}
}
output
run thread 3
run thread 8
run thread 1
run thread 9
run thread 7
run thread 4
run thread 5
run thread 2
run thread 10
run thread 6
inc=0
inc=0
inc=2
inc=3
inc=4
inc=5
inc=6
inc=7
inc=8
inc=8
inc=10
inc=10
inc=10
本文代码
Github 仓库
转载请注明原文地址:https://liam-blog.ml/2019/07/21/Scala-Concurrency-in-Practice-2/
查看更多博主文章