synchronized的有序性原理

  1. 一方面加了锁之后,只能有一个线程获得到了锁,获得不到锁的线程就要阻塞。所以同一时间只有一个线程执行,相当于单线程,而单线程的指令重排是没有问题的。
  2. 另一方面还有就是在 进入synchronized代码块会先添加一个 acquire barrier 在最后添加一个release barrier 保证同步代码块中的代码不能和同步代码块外面的代码进行指令重排,在其内部还是会发生指令重排但基本不会影响结果

总结,synchronized可以保证有序性但是不能避免指令重排,在双重检验的单例模式中,必须加volatile来避免因为发生指令重排,返回错误实例。

synchronized有序性是指程序执行的顺序按照代码的先后顺序执行。在Java中,可以通过synchronized关键字和Lock来保证有序性synchronized关键字和Lock都保证每个时刻只有一个线程执行同步代码,从而保证了有序性。 具体来说,synchronized关键字可以用于修饰普通方法、静态方法和代码块。修饰普通方法时,作用于当前对象实例,进入同步代码前要获得当前对象实例的锁。修饰静态方法时,作用于当前类,进入同步代码前要获得当前类对象的锁。修饰代码块时,需要指定加锁对象,对给定对象加锁,进入同步代码块前要获得给定对象的锁。 synchronized的底层实现原理是通过Java对象头中的一些标志位来实现的。具体来说,使用synchronized修饰方法时,会在对象的对象头中设置一个标志位来表示当前对象被锁定了。而修饰代码块时,会使用monitorenter和monitorexit指令来实现锁的获取和释放。 需要注意的是,尽管synchronized可以保证有序性,但是它无法禁止指令重排和处理器优化。也就是说,synchronized无法完全避免指令重排和处理器优化带来的问题。<span class="em">1</span><span class="em">2</span><span class="em">3</span> #### 引用[.reference_title] - *1* *2* [深入解析 synchronized 关键字](https://blog.csdn.net/weixin_56727438/article/details/123977493)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v93^chatsearchT3_2"}}] [.reference_item style="max-width: 50%"] - *3* [Synchronized之原子性、可见性、有序性](https://blog.csdn.net/qinshuluye2013/article/details/121712308)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v93^chatsearchT3_2"}}] [.reference_item style="max-width: 50%"] [ .reference_list ]
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值