Là một hoạt động nguyên tử đủ

Question

class StopIt 
{ 
    private bool stop; 

    void Loop() 
    { 
    while (!stop) 
    { 
     // work 
    } 
    } 

    void Stop() 
    { 
    stop = true; 
    } 
} 

Về cơ bản, nếu phương pháp Loop đang chạy trong một luồng và Dừng được gọi từ một phương thức khác sẽ dừng hoạt động đúng cách? Tôi hiểu rằng bool đọc/ghi là nguyên tử. Nhưng, là đủ? Nếu vòng lặp thread không dừng lại ngay lập tức thì có vấn đề. Tôi có nên đánh dấu dừng biến động không?

Answer 1

Có, bạn chắc chắn nên đánh dấu stop là dễ bay hơi.

Nguyên nhân không đủ - nó không đảm bảo rằng một chuỗi sẽ bao giờ "thấy" những thay đổi được thực hiện bởi một chủ đề khác.

Trong khi hiểu biết của tôi về volatile hiện đang trải qua một số phẫu thuật, bạn có thể khoảng nghĩ về ghi vào biến dễ bay hơi là "đảm bảo người khác có thể thấy điều này ngay lập tức!" và đọc từ biến biến động là "Tôi muốn xem giá trị mới nhất!"

Không làm stop dễ bay hơi, vòng lặp đó có thể tiếp tục mãi mãi, ngay cả khi Stop() được gọi trong một chuỗi khác. Về cơ bản JIT khá hợp lý có thể đọc biến vào sổ đăng ký và sau đó chỉ cần đọc từ sổ đăng ký mãi mãi. Trong thực tế, nếu "công việc" bao giờ liên quan đến việc gọi một phương pháp không nội tuyến, tôi tin rằng JIT hiện đang bị buộc phải đọc một cách dễ bay hơi, nhưng đó chỉ là giới hạn thực tế hiện tại ... nên làm cho nó dễ bay hơi.