1.同步包含两方面：原子性和可见性。

2.可见性：因为在多线程法度中，若是没有采取正确的同步，有些线程就会获得失效数据。

• Java内存模型请求，变量的读取操纵和写入操纵都必须是原子操纵，但对于非volatile类型的long和double变量，JVM容许将64位的读操纵或写操纵分化为两个32位的操纵。当读取一个非volatile类型的long变量时，若是对该变量的读操纵和写操纵在不合的线程中履行，那么很可能会读取到某个值的高32位和另一个值的低32位。即使不推敲失效数据题目，在多线程法度中应用共享且可变的long和double等类型的变量也是不安然的，除非用关键字volatile来声明它们，或者用锁保护起来。


• 加锁的含义不仅仅局限于互斥行动，还包含内存可见性。为了确保所有线程都能看到共享变量的新值，所有履行读操纵或者写操纵的线程都必须在同一个锁上同步。


• 下面的代码是书中例子，若是多线程接见这个类，就存在可见性题目，然则如何测试获得比如输出为0的成果或者法度无法终止？求赐教！

public class NoVisibility {

    

    private static boolean ready = false;

    private static int number = 0;



    public static class ReaderThread extends Thread {

        public void run（） {

            while （!ready） {

                Thread.yield（）;

            }

            System.out.println（number）;   //如何测试输出0呢？

        }

    }



    /

      ＠param args

     /

    public static void main（String[] args） {

        new ReaderThread（）.start（）;

        number = 42;

        ready = true;

    }

}

3.volatile变量：用来确保将变量的更新操纵通知到其他线程。当把变量声明为volatile类型后，编译器与运行时都邑重视到这个变量是共享的，是以不会将该变量上的操纵与其他内存操纵一路重排序。volatile变量不会被缓存在存放器或者对其他处理惩罚器不成见的处所，是以在读取volatile类型的变量时总会返回新写入的值。

• 加锁机制既可以确保可见性又可以确保原子性，而volatile变量只能确保可见性。


• 当且仅当满足以下所有前提时，才应当应用volatile变量：

1. 对变量的写入操纵不依附变量的当前值，或者你能确保只有单个线程更新变量的值。   


2. 该变量不会与其他状况变量一路纳入不变性前提中。   


3. 在接见变量时不须要加锁。

4.线程封闭：当接见共享的可变数据，凡是须要应用同步。一种避免应用同步的体式格式就是不共享数据。若是仅在单线程内接见数据，就不须要同步。这种技巧被称为线程封闭

三种体式格式实现：

1. Ad-hoc线程封闭


2. 栈封闭


3. ThreadLocal类

5.不变性：不成变对象必然是线程安然的。

  当满足一下前提时，对象才是不成变的：

1.   对象创建今后其状况就不克不及批改。


2.   对象的所有域都是final类型。


3.   对象是正确创建的（在对象的创建时代，this引用没有逸出）。

6. 下面这个Holder类是“未被正确公布”，它存在两个题目，起首，除了公布对象的线程外，其他线程可以看到的Holder域是一个失效值，是以将看到一个空引用或者之前的旧值，然而，更糟糕的景象是，线程看到Holder引用的值是新的，但Holder状况的值倒是失效的。景象变得加倍不成猜测的是，某个线程在第一次读取域时获得失效值，而再次读取这个域时会获得一个更新值，这也是assertSainty抛出AssertionError的原因。我想知道如何测试，能抛出AssertionError异常来。

public class Holder {



    private int n;



    public Holder（int n） throws InterruptedException {

        this.n = n;

    }



    public void assertSanity（） {

        if （n != n） {

            throw new AssertionError（This statement is false）;   //如何测试抛出该异常？

        }

    }

    

}