線程同步之竟態條件

 如果兩個或多個線程訪問相同的對象，或者訪問不同步的共用狀態，就會出現竟態條件。

 在單核的CPU中，若線程調度是搶先式的，就會出現此問題；在多CPU或雙核CPU系統中，其多個線程可以同時運行，竟態條件這個問題會比單核CPU系統中較多。

  Example:

   public class StateObject{

   int state=5;

    //避免竟態條件的第二種方法是將共用對象設為安全執行緒的對象。

  Object sync= new Object();

            public void ChangeState(int loop)

  {

    lock(sync)

     {

     if(state==5)

        {

                   state++;

     

            Trace.Assert(state==6,"Race Condition occurred after"+loop+" loops");

           

            }

          state=5;

  }

}

 

}

 

    public class SampleThread

     {

        public void RaceCondtion(object o)

          {

             StateObject so= o as StateObject;

             int i=0;

             while(true)

             {

                 lock(so)//鎖定共用對象，可以避免竟態條件發生

                    {

                         so.ChangeState(i++);

                    }

             }

          }

     }

  public static class MainCllass

   {

      static void Main()

     {

        StateObject o =  new StateObject();

       for(int i=0;i<20;i++)

        {

            new thread(new SampleThread().RaceCondtion)).start(o);

        }

     }

   }