Những loại hoạt động 'bay hơi' là cần thiết trong hai lần kiểm tra khóa trong .NET

Question

Tôi mất mã DCL từ Joe Duffy của cuốn sách 'lập trình đồng thời trên cửa sổ'

class LazyInit<T> where T : class 
{ 
private volatile T m_value; 
private object m_sync = new object(); 
private Func<T> m_factory; 
public LazyInit(Func<T> factory) { m_factory = factory; } 
public T value 
{ 
    get 
    { 
    if (m_value == null) 
    { 
     lock (m_sync) 
     { 
     if (m_value == null) 
     { 
      m_value = m_factory(); 
     } 
     } 
    } 
    return m_value; 
    } 
} 
} 

người ta nói đánh dấu m_value dễ bay hơi có thể ngăn chặn viết sắp xếp lại sẽ dẫn đến các chủ đề khác nhận được 'đối tượng không null với các trường chưa được khởi tạo'. Nếu vấn đề xảy ra chỉ bởi vì có thể viết sắp xếp lại, tôi có thể chỉ sử dụng 'Viết dễ bay hơi' thay vì đánh dấu các biến dễ bay hơi, như dưới đây? (Mã này trông một chút lúng túng cho cuộc biểu tình, tôi chỉ muốn chắc chắn nếu chúng ta chỉ có thể sử dụng ghi ổn định thay vì)

class LazyInit<T> where T : class 
{ 
private object m_value; 
private object m_sync = new object(); 
private Func<T> m_factory; 
public LazyInit(Func<T> factory) { m_factory = factory; } 
public T value 
{ 
    get 
    { 
    if (m_value == null) 
    { 
     lock (m_sync) 
     { 
     if (m_value == null) 
     { 
      Thread.VolatileWrite(ref m_value, m_factory()); 
     } 
     } 
    } 
    return (T)m_value; 
    } 
} 
} 

Một câu hỏi có liên quan là phiên bản đan cài từ cuốn sách

class LazylnitRelaxedRef<T> where T : class 
{ 
private volatile T m_value; 
private Func<T> m_factory; 
public LazylnitRelaxedRef(Func<T> factory) { m_factory = factory; } 
public T Value 
{ 
    get 
    { 
    if (m_value == null) 
     Interlocked.CompareExchange(ref m_value, m_factory(), null); 
    return m_value; 
    } 
} 
} 

Kể từ thông số kỹ thuật ECMA-CLI 'Thao tác liên khóa thực hiện các hoạt động thu nhận/giải phóng tiềm ẩn', chúng ta vẫn cần biến động trong trường hợp này?

Answer 1

Đầu tiên, gây rối với biến động là thực sự khó khăn, vì vậy đừng quá lỏng lẻo với nó! Nhưng, here là câu trả lời thực sự gần với câu hỏi của bạn và here là một bài viết mà tôi nghĩ mọi người nên đọc trước khi sử dụng từ khóa volatile và chắc chắn trước khi bắt đầu sử dụng VolatileRead, VolatileWrite và MemoryBarrier.

Câu trả lời trong liên kết đầu tiên là: bạn không cần sử dụng dễ bay hơi, bạn chỉ cần sử dụng System.Threading.Thread.MemoryBarrier() QUYỀN TRƯỚC KHI bạn chỉ định giá trị mới. Điều này là do các release_fence ngụ ý khi sử dụng từ khóa dễ bay hơi đảm bảo rằng nó được hoàn thành bằng văn bản ra bộ nhớ chính, và rằng không có hoạt động đọc/ghi có thể được thực hiện cho đến khi nó kết thúc.

Vì vậy, Thread.VolatileWrite() làm gì và thực hiện các chức năng tương tự mà chúng tôi nhận được từ từ khóa 'dễ bay hơi'? Vâng, đây là mã đầy đủ của hàm này:

public static void VolatileWrite (ref int address, int value) 
{ 
    MemoryBarrier(); address = value; 
} 

Có, nó gọi MemoryBarrier ngay trước khi nó gán giá trị của bạn, là đủ!