在這一部分開始討論數組原子操作和一些其他的原子操作。
AtomicIntegerArray/AtomicLongArray/AtomicReferenceArray的API類似，選擇有代表性的AtomicIntegerArray來描述這些問題。
int get(int i)
獲取位置 i 的當前值。很顯然，由于這個是數組操作，就有索引越界的問題（IndexOutOfBoundsException異常）。
對于下面的API起始和AtomicInteger是類似的，這種通過方法、參數的名稱就能夠得到函數意義的寫法是非常值得稱贊的。在《重構：改善既有代碼的設計》和《代碼整潔之道》中都非常推崇這種做法。
void set(int i, int newValue)
void lazySet(int i, int newValue)
int getAndSet(int i, int newValue)
boolean compareAndSet(int i, int expect, int update)
boolean weakCompareAndSet(int i, int expect, int update)
int getAndIncrement(int i)
int getAndDecrement(int i)
int getAndAdd(int i, int delta)
int incrementAndGet(int i)
int decrementAndGet(int i)
int addAndGet(int i, int delta)
整體來說，數組的原子操作在理解上還是相對比較容易的，這些API就是有多使用才能體會到它們的好處，而不僅僅是停留在理論階段。
現在關注字段的原子更新。
AtomicIntegerFieldUpdater<T>/AtomicLongFieldUpdater<T>/AtomicReferenceFieldUpdater<T,V>是基于反射的原子更新字段的值。
相應的API也是非常簡單的，但是也是有一些約束的。
（1）字段必須是volatile類型的！在后面的章節中會詳細說明為什么必須是volatile，volatile到底是個什么東西。
（2）字段的描述類型（修飾符public/protected/default/private）是與調用者與操作對象字段的關系一致。也就是說調用者能夠直接操作對象字段，那么就可以反射進行原子操作。但是對于父類的字段，子類是不能直接操作的，盡管子類可以訪問父類的字段。
（3）只能是實例變量，不能是類變量，也就是說不能加static關鍵字。
（4）只能是可修改變量，不能使final變量，因為final的語義就是不可修改。實際上final的語義和volatile是有沖突的，這兩個關鍵字不能同時存在。
（5）對于AtomicIntegerFieldUpdater和AtomicLongFieldUpdater只能修改int/long類型的字段，不能修改其包裝類型（Integer/Long）。如果要修改包裝類型就需要使用AtomicReferenceFieldUpdater。
在下面的例子中描述了操作的方法。
package xylz.study.concurrency.atomic;
import java.util.concurrent.atomic.AtomicIntegerFieldUpdater;
public class AtomicIntegerFieldUpdaterDemo 
{
class DemoData{
public volatile int value1 = 1;
volatile int value2 = 2;
protected volatile int value3 = 3;
private volatile int value4 = 4;
}
AtomicIntegerFieldUpdater<DemoData> getUpdater(String fieldName) {
return AtomicIntegerFieldUpdater.newUpdater(DemoData.class, fieldName);
}
void doit() {
DemoData data = new DemoData();
System.out.println("1 ==> "+getUpdater("value1").getAndSet(data, 10));
System.out.println("3 ==> "+getUpdater("value2").incrementAndGet(data));
System.out.println("2 ==> "+getUpdater("value3").decrementAndGet(data));
System.out.println("true ==> "+getUpdater("value4").compareAndSet(data, 4, 5));
}
public static void main(String[] args) {
AtomicIntegerFieldUpdaterDemo demo = new AtomicIntegerFieldUpdaterDemo();
demo.doit();
}
}
在上面的例子中DemoData的字段value3/value4對于AtomicIntegerFieldUpdaterDemo類是不可見的，因此通過反射是不能直接修改其值的。
AtomicMarkableReference類描述的一個<Object,Boolean>的對，可以原子的修改Object或者Boolean的值，這種數據結構在一些緩存或者狀態描述中比較有用。這種結構在單個或者同時修改Object/Boolean的時候能夠有效的提高吞吐量。
AtomicStampedReference類維護帶有整數“標志”的對象引用，可以用原子方式對其進行更新。對比AtomicMarkableReference類的<Object,Boolean>，AtomicStampedReference維護的是一種類似<Object,int>的數據結構，其實就是對對象（引用）的一個并發計數。但是與AtomicInteger不同的是，此數據結構可以攜帶一個對象引用（Object），并且能夠對此對象和計數同時進行原子操作。
在后面的章節中會提到“ABA問題”，而AtomicMarkableReference/AtomicStampedReference在解決“ABA問題”上很有用。
原子操作的使用大概就是這么多，大體來說還算是比較清晰的，在下一個章節中，將對象原子操作進行總結，重點介紹下原子操作的原理和設計思想。
©2009-2014 IMXYLZ
|求賢若渴