Biến Java biến động có áp đặt mối quan hệ xảy ra trước khi nó được đọc không?

Question

Tôi có một đoạn mã mà trông như thế này:

_{Snippet A:}

class Creature { 
    private static long numCreated; 
    public Creature() { 
     synchronized (Creature.class) { 
      numCreated++; 
     } 
    } 
    public static long numCreated() { 
     return numCreated; 
    } 
} 

Từ hiểu biết của tôi, kể từ khi đọc numCreated không đồng bộ, nếu Chủ đề-A tạo ra một Creature tại 13:00 và Thread-B đọc numCreated() lúc 2 giờ chiều, numCreated() cũng có thể trả về 0 hoặc 1 (ngay cả khi Thread-A đã hoàn tất khởi tạo đối tượng lúc 1.05pm).

Vì vậy, tôi đã thêm synchronized để numCreated():

_{Snippet B}:

class Creature { 
    private static long numCreated; 
    public Creature() { 
     synchronized (Creature.class) { 
      numCreated++; 
     } 
    } 
    public static synchronized long numCreated() { // add "synchronized" 
     return numCreated; 
    } 
} 

và tất cả là tốt, ngoại trừ việc tôi đã suy nghĩ, nếu tôi sửa đổi nó để Snippet C, là biến numCreated vẫn được đồng bộ hóa đúng cách?

_{Snippet C:}

class Creature { 
    private static volatile long numCreated; // add "volatile" 
    public Creature() { 
     synchronized (Creature.class) { 
      numCreated++; 
     } 
    } 
    public static long numCreated() { // remove "synchronized" 
     return numCreated; 
    } 
} 

Với Snippet C, là nó đảm bảo rằng càng sớm càng Chủ đề-A hoàn thành đối tượng sáng tạo lúc 1:05 giờ chiều, cuộc gọi Thread-B để numCreated() chắc chắn sẽ trở lại 1?

_{PS: Tôi hiểu rằng trong một tình huống thực sự tôi có lẽ sẽ sử dụng một AtomicLong nhưng điều này là dành cho mục đích học tập}

Answer 1

Xem http://download.oracle.com/javase/6/docs/api/java/util/concurrent/package-summary.html#MemoryVisibility:

Một ghi vào một lĩnh vực không ổn định xảy ra-trước mỗi đọc tiếp theo của cùng một trường. Việc ghi và đọc các trường dễ bay hơi có hiệu ứng tương tự như bộ nhớ khi vào và thoát khỏi màn hình, nhưng làm không yêu cầu khóa loại trừ lẫn nhau.

Vì vậy, câu trả lời là có. Việc viết của các biến động trong constructor xảy ra trước khi đọc của biến động trong numCreated(). Và vì sự gia tăng không nguyên tử vẫn được thực hiện trong một khối đồng bộ, việc đồng bộ hóa là không sao (sự gia tăng không phải là nguyên tử, nhưng việc viết lâu dài dễ bay hơi là).