synchronized使用及java中的原子性问题

1.Synchronized关键字使用


class X {
  // 修饰非静态方法
  synchronized void foo() {
    // 临界区
  }
  // 修饰静态方法
  synchronized static void bar() {
    // 临界区
  }
  // 修饰代码块
  Object obj = new Object();
  void baz() {
    synchronized(obj) {
      // 临界区
    }
  }
}  

说明:
修饰静态方法时,锁定的是当前类的Class对象,在例子中就是X.class
修饰非静态方法时,锁定的是当前的实例对象this
修饰代码块时,锁定的是obj对象

2.Java中的原子性问题

一个或多个操作在cpu执行过程中,不被中断的特性,称为“原子性”
原子性问题的根源是发生了线程切换,如果禁用线程切换,就可以解决原子性的问题
在同一时刻只有一个线程执行,非常重要

临界区:一段需要互斥的代码


class SafeCalc {
  long value = 0L;
  long get() {
    return value;
  }
  synchronized void addOne() {
    value += 1;
  }
}

这样代码,addOne就解决了原子性问题,而根据一项happen-fore原子,管程中所的解锁操作happens-before与后续对这个所的加锁

  • 线程A执行完addOne操作后,线程B再执行addOne时候,是能看到value被加1的结果的,能看到此时value 已经是1了

get()方法会有可见性问题么?

  • 这个是没法保证的,happens-before规则中,保证了后续对这个锁的加锁的可见性,get()方法没有加锁操作。可见性没法保证。
  • 如何保证可见性,则get方法也用synchronized修饰一下就好了
原文地址:https://www.cnblogs.com/PythonOrg/p/14042623.html