Bolehkah Benang C# Mengabaikan Perubahan Nilai daripada Benang Lain?

Bolehkah Benang C# Mengabaikan Perubahan Nilai dalam Benang Lain?

Soalan ini meneroka kemungkinan anomali dalam tingkah laku benang C#, tidak berkaitan dengan keadaan perlumbaan atau keperluan untuk kunci. Khususnya, kebimbangan ialah sama ada urutan boleh menyimpan nilai dan mengabaikan perubahan yang dibuat pada nilai itu pada urutan lain, yang berpotensi membawa kepada gelagat yang tidak dijangka.

Masa jalan NET, mengurus memori, dipercayai dapat mengurangkan isu ini. Walau bagaimanapun, sesetengah literatur mendakwa sebaliknya, dengan menegaskan bahawa struktur kod tertentu, seperti berikut, boleh membawa kepada gelung tak terhingga:

class BackgroundTaskDemo
{
    private bool stopping = false;

    static void Main()
    {
        BackgroundTaskDemo demo = new BackgroundTaskDemo();
        new Thread(demo.DoWork).Start();
        Thread.Sleep(5000);
        demo.stopping = true;
    }

    static void DoWork()
    {
         while (!stopping)
         {
               // Do something here
         }
    }
}

Menurut artikel yang dirujuk (http://www.yoda.arachsys.com/ csharp/threads/volatility.shtml , http://softwareengineering.stackexchange.com/questions/104757/is-a-string-property-itself-threadsafe), benang bacaan mungkin cache nilai awal pembolehubah berhenti, menjadikan semua kemas kini berikutnya tidak kelihatan dan menyebabkan utas itu berjalan selama-lamanya.

Walau bagaimanapun, pakar dalam pemodelan ingatan menegaskan bahawa kelakuan sedemikian tidak dijamin oleh C# spesifikasi. Walaupun kod yang disediakan biasanya berfungsi dengan betul, ia bergantung pada pengoptimuman khusus platform dan pengkompil dan bukannya semantik bahasa konkrit.

Untuk menggambarkan lebih lanjut isu ini, pertimbangkan kod yang diubah suai berikut:

using System.Threading;
using System;
static class BackgroundTaskDemo
{
    //make this volatile to fix it
    private static bool stopping = false;

    static void Main()
    {
        new Thread(DoWork).Start();
        Thread.Sleep(5000);
        stopping = true;

        Console.WriteLine("Main exit");
        Console.ReadLine();
    }

    static void DoWork()
    {
        int i = 0;
        while (!stopping)
        {
            i++;
        }

        Console.WriteLine("DoWork exit " + i);
    }
}

Dengan pengubahsuaian ini, kod boleh diramalkan mengeluarkan "Keluar utama", tetapi kaedah DoWork terus berjalan selama-lamanya. Contoh balas ini menunjukkan bahawa, walaupun terdapat syak wasangka awal, masa jalan C# tidak sentiasa menjamin ketekalan dalam kemas kini nilai merentas urutan.

Untuk menyelesaikan kekaburan ini, kata kunci yang tidak menentu boleh digunakan pada pembolehubah berhenti. Pengubah suai yang tidak menentu menguatkuasakan akses atom kepada pembolehubah, menghalang nilai cache daripada mengaburkan kemas kini sebenar.

Atas ialah kandungan terperinci Bolehkah Benang C# Mengabaikan Perubahan Nilai daripada Benang Lain?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!