dễ bay hơi weirdness

Question

Tôi nghĩ rằng hầu hết mọi người nhận thức được những vấn đề sau đây sẽ xảy ra khi xây dựng trong chế độ Release (mã lấy từ Threading in C#):

static void Main() 
{ 
    bool complete = false; 

    var t = new Thread (() => 
    { 
    bool toggle = false; 
    while (!complete) toggle = !toggle; 
    }); 

    t.Start(); 
    Thread.Sleep (1000); 

    complete = true; 
    t.Join();  // Blocks indefinitely 
} 

do tối ưu hóa trình biên dịch bộ nhớ đệm giá trị của complete và do đó ngăn ngừa trẻ chuỗi từ bao giờ nhìn thấy giá trị được cập nhật.

Tuy nhiên, thay đổi mã trên một chút:

class Wrapper 
{ 
    public bool Complete { get; set; } 
} 

class Test 
{ 
    Wrapper wrapper = new Wrapper(); 

    static void Main() 
    { 
     var test = new Test(); 
     var t = new Thread(() => 
     { 
      bool toggle = false; 
      while (!test.wrapper.Complete) toggle = !toggle; 
     }); 

     t.Start(); 
     Thread.Sleep(1000); 

     test.wrapper.Complete = true; 
     t.Join();  // Blocks indefinitely 
    } 
} 

làm cho vấn đề đi xa (tức là sợi con có thể thoát khỏi sau 1 giây) mà không cần dùng volatile, hàng rào bộ nhớ, hoặc bất kỳ khác cơ chế giới thiệu một hàng rào ngầm.

Cách đóng gói bổ sung của cờ hoàn thành ảnh hưởng đến khả năng hiển thị giữa các chuỗi?

Answer 1

Tôi nghĩ rằng bạn có câu trả lời trong câu hỏi của bạn:

do biên dịch tối ưu hóa bộ nhớ đệm giá trị đầy đủ và do đó ngăn ngừa các chủ đề trẻ em từ bao giờ nhìn thấy những giá trị được cập nhật.

Tối ưu hóa trình biên dịch/JIT được thực hiện bất cứ khi nào có ý nghĩa/được coi là an toàn và hợp lý để triển khai. Vì vậy, bạn đã tìm thấy trường hợp khi tối ưu hóa không được thực hiện theo cách bạn mong đợi xảy ra - có thể có lý do chính đáng (ai đó phát hiện mẫu sử dụng này và tối ưu hóa khối) hoặc nó chỉ xảy ra không được tối ưu hóa (rất có thể).

Answer 2

Trường hợp đầu tiên là tuyên truyền bí danh đơn giản trên biến cục bộ. Các trình biên dịch thực hiện điều đó khá tích cực (http://en.m.wikipedia.org/wiki/Aliasing_(computing)) Trường hợp thứ hai, ngay cả khi nó trông giống nhau do sự tương đồng về các thuộc tính với các biến thành viên, có các lời gọi phương thức (getter/setter) và không thể đơn giản hóa được.