Mã không đồng bộ, các biến được chia sẻ, luồng xử lý luồng và luồng an toàn của luồng

Khi tôi viết mã không đồng bộ bằng async / await, thường là ConfigureAwait(false)để tránh nắm bắt bối cảnh, mã của tôi sẽ chuyển từ một chuỗi luồng này sang luồng tiếp theo sau mỗi chuỗi await. Điều này làm tăng mối quan tâm về an toàn chủ đề. Mã này có an toàn không?

static async Task Main()
{
    int count = 0;
    for (int i = 0; i < 1_000_000; i++)
    {
        Interlocked.Increment(ref count);
        await Task.Yield();
    }
    Console.WriteLine(count == 1_000_000 ? "OK" : "Error");
}

Biến inày không được bảo vệ và được truy cập bởi nhiều luồng xử lý nhóm *. Mặc dù mô hình truy cập là không đồng thời, nhưng về mặt lý thuyết, mỗi luồng sẽ tăng giá trị được lưu trong bộ nhớ cache cục bộ i, dẫn đến hơn 1.000.000 lần lặp. Tôi không thể tạo ra kịch bản này trong thực tế. Mã ở trên luôn in OK trong máy của tôi. Điều này có nghĩa là mã là chủ đề an toàn? Hoặc tôi nên đồng bộ hóa quyền truy cập vào ibiến bằng cách sử dụng a lock?

(* một chuyển đổi luồng xảy ra trung bình cứ sau 2 lần lặp, theo các thử nghiệm của tôi)

Vấn đề với an toàn chủ đề là về đọc / ghi bộ nhớ. Ngay cả khi điều này có thể tiếp tục trên một luồng khác, không có gì ở đây được thực hiện đồng thời.

Tôi tin rằng bài viết này của Stephen Toub có thể làm sáng tỏ điều này. Đặc biệt, đây là một đoạn có liên quan về những gì xảy ra trong quá trình chuyển đổi ngữ cảnh:

Bất cứ khi nào mã chờ một người chờ đợi mà người phục vụ nói rằng nó chưa hoàn thành (tức là IsCompleted trả về sai), phương thức cần tạm dừng và nó sẽ tiếp tục thông qua việc tiếp tục tắt của người phục vụ. Đây là một trong những điểm không đồng bộ mà tôi đã đề cập trước đó, và do đó, ExecutContext cần phải chuyển từ mã phát hành chờ đợi sang thực thi của đại biểu tiếp tục. Điều đó được xử lý tự động bởi Framework. Khi phương thức async sắp tạm dừng, cơ sở hạ tầng sẽ bắt giữ ExecutContext. Đại biểu được chuyển đến người phục vụ có tham chiếu đến thể hiện ExecutContext này và sẽ sử dụng nó khi tiếp tục phương thức. Đây là những gì cho phép thông tin quan trọng về môi trường xung quanh của Wap được thể hiện bởi ExecutContext để chờ đợi.

Đáng lưu ý rằng YieldAwaitabletrả lại bởi Task.Yield()luôn luôn trở lại false.