什么是.Net的异步机制(线程间通信) - step 5

前几篇文章我已经对异步的操作进行的详细的解释.异步操作也是线程的一种,当我们开始一个异步操作(新线程),完成调用后需要和其他线程通信(可能需要告知状态信息),这时候我们就需要线程间的通信编程.

 

线程间通信

 

我们看下面的图

图1

我们来看线程间通信的原理:线程(Thread B)和线程(Thread A)通信, 首先线程A 必须实现同步上下文对象(Synchronization Context), 线程B通过调用线程A的同步上下文对象来访问线程A,所有实现都是在同步上下文中完成的.线程B有两种方式来实现线程间的通信.

第一种:调用线程A的同步上下文对象,阻碍当前线程,执行红色箭头调用,直到黄色箭头返回(同步上下文执行完毕)才释放当前线程. (1->2->3->5)

第二种: 调用线程A的同步上下文对象(实际上是在开启一个新线程去执行,1->2->3->5) ,执行红色箭头,但并不阻碍当前线程(原有线程,1->4->5),绿色箭头继续执行.

文章中将会通过下面几个类来进行介绍:

1.         ISynchronizeInvoke 接口

2.         SynchronizationContext 类

3.         AsyncOperation / AsyncOperationManager 类

附:  同步上下文对象(Synchronization Context)是什么呢? 当我们访问上下文对象时候(多个对象可以存在于一个上下文中), 是使用代理的方式引用的,而不是直接引用的.这种方式可能是当多个对象访问上下文对象时候,先到达对象先访问,锁住,执行完毕再解锁,排队式访问.

1. ISynchronizeInvoke 接口

 

我们先来看下面一段异步的代码(Window Form控件下有1个Button/1个Label),但点击Button的时候,执行异步调用,完成后,告诉Window Form的 Label控件Text属性” Asynchronous End”.

Code1.1

 1        delegate void DoWork();
 2        private void button1_Click(object sender, EventArgs e)
 3,
Thread.CurrentThread.ManagedThreadId));
 6            //Label lblStatus 属于主线程的控件[1]
 7            this.lblStatus.Text = "Asynchronous Start.";
 8            //使用委托来调用异步方法
 9            DoWork work = DoWorkMethod;
10            work.BeginInvoke(OnWorkCallback, work);
11        }
12        void OnWorkCallback(IAsyncResult asyncResult)
13,
Thread.CurrentThread.ManagedThreadId));
16            DoWork work = asyncResult.AsyncState as DoWork;
17            if (work != null)
18        }

运行代码,我们在第22行报错(异步方法体内).为什么呢?我们必须清楚的一点,在windows应用窗体应用程序中，对窗体上控件属性的任何修改都必须在主线程中完成。不能从其他线程安全地访问控件的方法和属性。从Debug窗口中我们也可以看出(图1.1).执行Button Click事件的时候,运行在线程ID =#10; 在异步的方法体内,运行在线程ID=#7.不同线程间不能直接通信.

图1.1

为了解决这个问题,实现图1.1 中 #10 和 #7 的通信,下来开始认识ISynchronizeInvoke 接口(此接口来自.Net Framework 1.0),提供3个方法1个属性:

BeginInvoke / EndInvoke 方法 : 异步方法
Invoke 方法 : 同步方法
InvokeRequired 属性 : 判读来源的执行线程

 

下面我们看Code1.2的具体代码来说明(对Code1.1改写,其中Label 改为ListBox)

Code1.2

 1        delegate void DoWork();
 2        private void button1_Click(object sender, EventArgs e)
 3        }

图1.2

在代码中(UpdateStatus方法体内),我们可以看到主要是在ISynchronizeInvoke async = this.listBoxStatus;实现了线程间的通信,MSDN的解释” 实现此接口的对象可以接收事件已发生的通知，并且可以响应有关该事件的查询”. 并使Window Form(主线程) 下的ListBox 控件和来自异步方法(另外一个线程)的建立了通道. InvokeRequired 判断线程的来源,如果使用(1)方法,来源于Window Form 自身Control 的Invoke方法, InvokeRequired将返回false; 来源另外线程(异步)如果使用(2)返回true.同时ISynchronizeInvoke 提供了异步(BeginInvoke+EndInvok)和同步方法(Invoke)来实现线程间通信.Invoke 就是最上面的图1 所示的第一种 / BeginInvoke+EndInvok 是第二种.

 

附1:关于Action<T…> / Func (T…, TResult) (简单的说就是”简化后的委托”)的知识可以看MSDN的介绍.

Action<T…>: http://msdn.microsoft.com/zh-cn/library/018hxwa8.aspx
Func (T…, TResult): http://msdn.microsoft.com/zh-cn/library/bb549151.aspx

 

Code1.2虽然实现了线程间的通信, 回顾图1的解释,” 首先线程A 必须实现同步上下文对象(Synchronization Context)”, 而在Code1.2 中并没有为Window Form(主线程)实现上下文对象,如果没有这个对象一切都是不成立的.那么Window Form 做了些什么呢?

 

我们来看下面的代码(使用Console程序):

Code1.3

 1    static class Program
 2{ }

图1.3

由代码和图可以看出(SynchronizationContext.Current == null 判断同步上下文对象是否存在), 实例化FormTest 对象后(继承System.Windows.Forms.Form),Form默认的帮我们创建了同步上下文对象,使主线程#9 具备了同步上下文对象,这就是为什么Code1.2 不用声明同步上下文对象的原因,同时也告诉我们,开启一个新线程#10,线程本身是没有同步上下文对象的.

 

2. SynchronizationContext 类

 

相比ISynchronizeInvoke 接口,SynchronizationContext 类(来自.Net Framework 2.0)提供了更多的方法来操作同步上下文对象,实现线程间通信.在上面的例子中SynchronizationContext类中将由 Post/Send 方法来实现.

反编译后我们看到:

Code2.1

1        public virtual void Post(SendOrPostCallback d, object state)
2        }

Send = ISynchronizeInvoke 中的Invoke 同步调用.图1中的第一种
Post = ISynchronizeInvoke 中的BeginInvoke + EndInvoke异步调用. 图1中的第二种

改写Code1.2的代码(还是在WinForm 下编程).

Code2.2

 1        delegate void DoWork();
 2        private void button1_Click(object sender, EventArgs e)
 3        }

上面我们已经说过在主线程中System.Windows.Forms.Form 自动的创建默认的同步上下文对象, 这时候我们把当前的同步上下文对象通过参数的形式赋值到异步线程中,调用Post 方法来实现, Post 方法接收 SendOrPostCallback 委托和额外object state参数,在Post方法体内调用线程池的线程来实现(Code2.1).当然我们也可以直接使用Send方法.

下面我们看看线程中的代码(在Console 下编程).

Code2.3

 1static class Program
 2    }

图2.3

在主线程中因为没有同步上下文对象,所以开始我们new SynchronizationContext(); 对象,其他和Code2.2 基本一样.从图2.3很好的解释图1的第二种调用,也说明了Post 是开启新线程(线程池)运行的.

 

3. AsyncOperation / AsyncOperationManager 类

AsyncOperation / AsyncOperationManager 类是SynchronizationContext 类的进一步封装和实现, AsyncOperationManager在创建AsyncOperation对象的时候会取得当前线程的同步上下文对象，并存储在AsyncOperation之中,使我们访问同步上下文对象更加容易.

Code3.1

 1public class MySynchronizedClass
 2    }

代码很简单,我也不在解释,可以参照上面所有代码. 注意1: AsyncOperation类中实现了OperationCompleted的方法. SynchronizationContext 类中这个方法是没有具体的代码实现的.

总结:

文章中也非常适合线程的编程(除了异步)来实现通信, SynchronizationContext是最重要的一个,其他的扩展类,如SynchronizationContextSwitcher 等更高级的主题,具体可参考下面的链接. 在Winform中有个非常重要的BackgroundWorker 类,关于BackgroundWorker的文章很多,在此不做解释了.

下一篇文章中,我将会讨论Web 上的异步方法.

 

技术参考:

http://www.codeproject.com/KB/cpp/SyncContextTutorial.aspx
http://www.codeproject.com/KB/threads/SynchronizationContext.aspx
http://www.codeproject.com/KB/threads/SynchronizationContext2.aspx
http://www.codeproject.com/KB/threads/SynchronizationContext3.aspx
http://www.code-magazine.com/Article.aspx?quickid=0403071

以上有word 文档直接粘贴,排版可能不太好看,你可以通过下面来下载相应的代码/文档

1,文档

2,代码(VS2008开发,.Net Framework 3.5(C Sharp)编写)

文章为原创,如果需要引用,请保留原地址. 有什么问题/错误的地方请联系 fox7805034 (at) hotmail.com