<svg xmlns="http://www.w3.org/2000/svg" style="display: none;"> <path stroke-linecap="round" d="M5,0 0,2.5 5,5z" id="raphael-marker-block" style="-webkit-tap-highlight-color: rgba(0, 0, 0, 0);"></path> </svg> <p></p> 讯享网
语法：
讯享网
写一个例子，就会出现预期结果10000:
synchronized还可以修饰方法（静态方法也行）。
- synchronized修饰实例方法：
讯享网
- synchronized修饰静态方法：相当于修饰这个类
可重入就是指一个线程连续针对一个对象加多次锁，不会出现“死锁”现象称为可重入。
讯享网
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顺序编号，规定每次拿筷子只能先拿小号筷子。 - 银行家算法，但是这种算法过于麻烦一般不用。
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容，请联系我们，一经查实，本站将立刻删除。
如需转载请保留出处：https://51itzy.com/kjqy/160664.html