10、鎖消除也是一種優化技術，一個例子是在不需要同步的地方使用了執行緒安全的資料結構，比如線上程的區域性變數中使用了Vector，一個執行緒的區域性變數是不能被其他執行緒訪問的，不存在多執行緒問題，虛擬機器檢測到這樣的問題就會將不必要的鎖去除。

11、關於ThreadLocal，ThreadLocal是為了讓每個執行緒都擁有一個物件的副本，多個執行緒之間不存在相互干擾。具體實現上，每個執行緒都持有一個ThreadLocal.ThreadLocalMap物件，這個ThreadLocalMap物件的key是一個ThreadLocal，value是這個ThreadLocal所對應的泛型的一個例項。為什麼要用一個map，可能是因為一個執行緒會有多個ThreadLocal型別的引用，這個map跟HashMap不一樣，Entry是WeakReference<ThreadLocal>的一個子類，然後沒有next域，也就是不是拉鍊法。

    在使用ThreadLocal時，總是先嚐試呼叫get獲取值，如果獲取不到就呼叫set設定值，這兩個方法差不多，以get為例，首先要得到當前執行緒，再得到當前執行緒的ThreadLocalMap，然後從ThreadLocalMap中取值。程式碼如下：

    public T get() {

        Thread t = Thread.currentThread();

        ThreadLocalMap map = getMap(t);

        if (map != null) {

            ThreadLocalMap.Entry e = map

            if (e != null)

                return (T)e.value;

        }

        return setInitialValue();

}

12、關於AtomicInteger，這是使用CAS操作（Compare and Swap）實現的執行緒安全的型別。AtomicInteger可以當做Integer來用，只不過是執行緒安全的就是了，多執行緒之間可以直接共享以及更改AtomicInteger型別，而不用加鎖。下面以incrementAndSet為例分析AtomicInteger的實現。其程式碼如下：

    public final intincrementAndGet() {

        for (;;) {

            int current = get();

            int next = current + 1;

            if (compareAndSet(current, next))

                return next;

        }

}

incrementAndGet方法表示將當前值加1，並返回新值。其中裡面的無限迴圈表示不斷嘗試，直到成功為止。get()表示獲取當前值，compareAndSet(current,next)表示如果AtomicInteger變數的當前值為current則將其改為next，成功返回true，如果compareAndSet方法不成功，則不斷獲取新的當前值，並在當前值上加1，不斷嘗試，直到成功為止。這個方法不錯，簡單有效。現在很多處理器都支援CAS操作。

    和AtomicInteger類似的類還有AtomicLong用來代替long型，AtomicBoolean表示boolean型，AtomicReference表示物件引用。

13、帶有時間戳的物件引用：AtomicStampedReference。《實戰Java高併發程式設計》裡提到了CAS操作的一個侷限性，就是有時候不知道一個物件是否被髮生改動，比如有兩個執行緒A,B，A先讀變數var，發現其值為1，要將其改為2，在A讀var並打算改var的這段時間，B改動了var的值，它將var改成2又改成1，那麼在A看來，var好像並沒有改，仍然將其值設定為2。這個例子是沒有錯的，但有時候物件是否改動會影響行為，比如書中舉的送20元優惠的例子。這個時候AtomicReference就無能無力了，需要使用AtomicStampedReference。

14、不變模式：就是一個物件建立之後就不能改了，內部資料不能改了，不變模式的物件天然具有執行緒安全性，因為大家都不能改嘛。建立一個不變物件需要下面三點：

    1）去掉setter方法以及所有修改自身屬性的方法。

    2）將所有屬性設定為private final，類的修飾符也需要有final，這樣這個類就無法被繼承。

    3）有一個可以建立完整物件的建構函式，不然屬性怎麼初始化。

JDK中不變模式應用非常廣泛，其中最典型的就是java.lang.String類。此外所有的元資料包裝類，都是使用不變模式實現的，比如Boolean,Byte,Character,Double等。

15、《實戰Java高併發程式設計》裡提到了一個Future模式，我們知道有些任務是需要有返回值的，這些任務可以實現Callable<V>介面，並且實現call()方法，而不是實現Runnable介面。我們在將任務提交到執行緒池的時候，（executorService.submit()）會返回一個Future<V>物件，可以呼叫這個future.get()來獲取返回值。

    Future模式的核心思想是非同步呼叫。也就是說我們在呼叫future.get()方法之前可以幹一些其他事情，不至於阻塞在future.get()方法上。當然如果其他事情幹完了，還沒有返回結果，還是要阻塞的。

    《實戰Java…》提供了一種實現Future模式的方法，那就是在呼叫submit()的時候立即返回一個代理，這個代理持有真實資料的一個引用，呼叫這個代理的get方法返回的是真實資料（得不到就阻塞）。

16、矩陣平行計算的關鍵是如何劃分矩陣，矩陣劃分的不對就不能執行平行計算。在進行矩陣劃分時，將左邊的矩陣橫著劃分為兩半（橫著畫一條線），將右邊的矩陣豎著劃分為兩半，這樣在進行矩陣乘法時，相互分塊之間互不影響，可以平行計算，利用Fork/Join框架計算矩陣平行計算不錯。

17、這本書還提到了一個高併發分散式框架Akka，好像很值得看一下。