线程中的竞态条件的问题

                 本篇是我学习竞态条件的笔记。笔记如下：

（一）代码：

 

using System; using System.Collections.Generic; using System.Linq; using System.Text; //添加命名空间 using System.Threading; using System.Diagnostics; namespace ThreadProblem { //竞态条件：如果两个或多个线程访问相同的对象，或者不同步的共享状态，就会出现竞态条件 class Program { static void Main(string[] args) { //StateObject对象，它所有的线程共享。 StateObject state = new StateObject(); //创建200个线程，每个线程都执行SampleThread类中的RaceConditon()方法 for (int i = 0; i < 200; i++) { Thread thread = new Thread(new SampleThread().RaceConditon); thread.Start(state); } } } //如果第一个线程刚刚执行完if(state==5)语句，它就被其他的线程抢先，调度器去运行另一个线程了 //第二线程就进入if体，由于state的值仍是5，所以将它递增为6，第一个线程现在再次被安排执行，在 //下一个语句中,state被递增为7，这时就发生了竞态条件，显示断言信息 //竞态条件第一次出现后，还需要多长时间才能出现第二次竞态条件，取决于系统以及建立为发布版本还是调试版本。 //发布版本比调试版本多(代码优化了),多个CPU比单个CPU多 public class StateObject { private int state = 5; public void ChangeState(int loop) { if (state == 5) { state++; Trace.Assert(state == 6, "Race condition occurred after" + loop + "loops"); } state = 5; } //避免竞态条件方法二：将共享对象设置为线程安全的对象 //ChangeState()方法包含了一个lock语句,由于不能锁定state变量本身（只有引用类型才能用于锁定） //因此定义一个object类型的变量sync，将用于lock语句,如果每次state值修改时，都用同一个同步对象来锁定 //竞态条件条件就不会出现。 //private int state = 5; //private 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 RaceConditon(object o) { Trace.Assert(o is StateObject, "o must be of type StateObject"); StateObject state = o as StateObject; int i = 0; while (true) { state.ChangeState(i++); //避免竞态条件方法一：锁定共享的对象（这个可以在线程中完成） //用下面的lock语句在线程中共享的变量state,只有一个线程能在锁定块中处理共享的state对象。 //由于这个对象由所有的线程共享,因此如果一个线程锁定了state，另一线程就必须等待该锁定的解除。 //一旦进行了锁定，线程就拥有了该锁定，直到锁定块的末尾才能解除锁定。 //如果每个改变state变量引用的对象线程都是用了一个锁定，竞态条件就不会出现了 //lock(state) //{ // state.ChangeState(i++); //} } } } }

（二）运行截图：

（三）小结：

        本篇主要学习了,为什么会发生竞态条件（如果两个或多个线程访问相同的对象，或者不同步的共享状态），并用一个实例模拟竞态条件的发生，并通过两种方法避免竞态条件。

这两种方法是：

（1）锁定共享的对象

（2）将共享对象设置为线程安全的对象