Java的Synchronized关键字学习指南(全面 & 详细)

/**
 * 对象锁
 */
 public class Test{ 
 // 对象锁：形式1(方法锁) 
 public synchronized void Method1(){ 
  System.out.println("我是对象锁也是方法锁"); 
  try{ 
   Thread.sleep(500); 
  } catch (InterruptedException e){ 
   e.printStackTrace(); 
  } 
 
 } 
 
 // 对象锁：形式2（代码块形式） 
 public void Method2(){ 
  synchronized (this){ 
   System.out.println("我是对象锁"); 
   try{ 
    Thread.sleep(500); 
   } catch (InterruptedException e){ 
    e.printStackTrace(); 
   } 
  } 
 
 } 
 ｝

/**
 * 方法锁（即对象锁中的形式1）
 */
 public synchronized void Method1(){ 
  System.out.println("我是对象锁也是方法锁"); 
  try{ 
   Thread.sleep(500); 
  } catch (InterruptedException e){ 
   e.printStackTrace(); 
  } 
 
 } 

/**
 * 类锁
 */
public class Test{ 
　　 // 类锁：形式1 ：锁静态方法
 public static synchronized void Method1(){ 
  System.out.println("我是类锁一号"); 
  try{ 
   Thread.sleep(500); 
  } catch (InterruptedException e){ 
   e.printStackTrace(); 
  } 
 
 } 
 
 // 类锁：形式2 ：锁静态代码块
 public void Method2(){ 
  synchronized (Test.class){ 
   System.out.println("我是类锁二号"); 
   try{ 
    Thread.sleep(500); 
   } catch (InterruptedException e){ 
    e.printStackTrace(); 
   } 
 
  } 
 
 } 
｝

代码如下
 synchronized(syncObject) { 
 // 访问或修改被锁保护的共享状态 
 // 上述方法 必须 获得对象 syncObject（类实例或类）的锁
}

// CAS的操作参数
内存位置（A）
预期原值（B）
预期新值（C）

// 使用CAS解决并发的原理：
// 1. 首先比较A、B，若相等，则更新A中的值为C、返回True；若不相等，则返回false；
// 2. 通过死循环，以不断尝试尝试更新的方式实现并发

// 伪代码如下
public boolean compareAndSwap(long memoryA, int oldB, int newC){
 if(memoryA.get() == oldB){
  memoryA.set(newC);
  return true;
 }
 return false;
}

// 1. CAS在Java中的体现为Unsafe类
// 2. Unsafe类会通过C++直接获取到属性的内存地址
// 3. 接下来CAS由C++的Atomic::cmpxchg系列方法实现

 private volatile int value; 
 /** 
  * Gets the current value. 
  * 
  * @return the current value 
  */ 
 public final int get() { 
  return value; 
 } 
 /** 
  * Atomically increments by one the current value. 
  * 
  * @return the previous value 
  */ 
 public final int getAndIncrement() { 
  for (;;) { 
   int current = get(); 
   int next = current + 1; 
   if (compareAndSet(current, next)) 
    return current; 
  } 
 } 
 
 /** 
  * Atomically decrements by one the current value. 
  * 
  * @return the previous value 
  */ 
 public final int getAndDecrement() { 
  for (;;) { 
   int current = get(); 
   int next = current - 1; 
   if (compareAndSet(current, next)) 
    return current; 
  } 
 }