
语法:
写一个例子,就会出现预期结果10000:
synchronized还可以修饰方法(静态方法也行)。
- synchronized修饰实例方法:
- synchronized修饰静态方法:相当于修饰这个类
可重入就是指一个线程连续针对一个对象加多次锁,不会出现“死锁”现象称为可重入。
在进入第一个synchronized的时候,加上一把锁,此时已经是“锁定状态”,
当我们进入到第二个synchronized的时候要加锁,就发生“阻塞等待”,就要等到第一个锁走到右大括号}1解完锁才能加,
然而第一个锁走到右大括号}1解锁,又需要第二把锁创建走完到右大括号}2。
这是线程就卡死了,这就是死锁。
synchronized 同步块对同一条线程来说是可重入的,不会出现自己把自己锁死的问题;
- 可重入机制会在第一次加锁的时候记录是那个线程加的锁,然后下一次加锁如果是这个被记录线程,就直接加锁成功。这就是可重入锁的 "线程持有者"信息。
- 可重入锁还会有一个“计数器”信息,加一把锁就加一,解一把锁就减一,当计数器递减为 0 的时候, 才真正释放锁。
- 前面所说,一个线程两把锁,如果不是可重入锁就死锁了;
- 还有两个线程两把锁,是不是可重入锁都要死锁。两个线程T1、T2,两把锁A、B;T1获取锁A,T2获取锁B,T2尝试获取锁B,T2尝试获取锁A。就如“车钥匙锁房间里了,房间钥匙锁车里了”。
- N个线程,M把锁(相当于两个线程两把锁的进阶版本):经典模型哲学家就餐问题
5个哲学家,5只筷子,哲学家坐在圆桌边,桌上放有面条,每只筷子放在每个哲学家的中间。
- 每个哲学家,会做两件事:
1.1.思考人生.放下筷子,啥都不干
1.2 吃面条.拿起左右两侧的两根筷子,开始吃面条, - 哲学家啥时候吃面条,啥时候思考人生,是随机的
- 哲学家吃面条啥时候吃完,也是随机的,
- 哲学家正在吃面条的过程中,会持有左右两侧的筷子。此时相邻的哲学家如果也想吃面条,就需要阻塞等待,
当出现极端情况,每个哲学家都想吃面条,都拿起自己左手边的筷子,并且不会在没吃到面条情况下放下筷子,这时就是死锁了。
四个必要条件:
- 互斥使用(锁的基本特性):当一个线程拿到一把锁后,另一个线程要拿到这把锁就要阻塞等待;
- 不可抢占(锁的基本特性):当一把锁被线程拿到后,其他线程不能抢占,只能等线程自己释放锁;
- 请求保持(代码结构):当一个线程拿到一把锁后,再去拿其它锁的时候,已经被拿到的锁不会被释放;
- 循环/环路 等待(代码结构):阻塞等待的依赖关系形成环了。
- 对于条件3,改变代码结构,避免锁嵌套逻辑;
- 对于条件4,可以约定加锁顺序,便面等待依赖关系成环。
如上面的哲学家就餐问题,给每个筷子从1-5顺序编号,规定每次拿筷子只能先拿小号筷子。 - 银行家算法,但是这种算法过于麻烦一般不用。
版权声明:
本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。
如若内容造成侵权、违法违规、事实不符,请将相关资料发送至xkadmin@xkablog.com进行投诉反馈,一经查实,立即处理!
转载请注明出处,原文链接:https://www.xkablog.com/bcyy/17732.html