异步编程:IAsyncResult异步编程模型 (APM)
2013-05-25 10:30
197 查看
传送门:异步编程系列目录……
大部分开发人员,在开发多线程应用程序时,都是使用ThreadPool的QueueUserWorkItem方法来发起一次简单的异步操作。然而,这个技术存在许多限制。最大的问题是没有一个内建的机制让你知道操作在什么时候完成,也没有一个机制在操作完成时获得一个返回值。为了克服这些限制(并解决其他一些问题),Microsoft引入了三种异步编程模式:
.NET1.0异步编程模型 (APM),基于IAsyncResult接口实现。
.NET2.0基于事件的异步编程模式(EMP),基于事件实现。
.NET4.X基于任务的异步编程模式(TPL),新型异步编程模式,对于.NET4.0之后的异步构造都推荐使用此模式
尽管在新的设计上我们推荐都使用“.NET4.0基于任务的编程模式”,但我还是计划整理出旧版的异步编程模型,因为:
在一些特殊场合下我们可能觉得一种模式更适合;
可以更充分认识三种模式之间的优劣,便于选择;
很多遗留的代码包含了旧的设计模式;
等等…
示例下载:异步编程:IAsyncResult异步编程模型.rar
IAsyncResult设计模式----规范概述
使用IAsyncResult设计模式的异步操作是通过名为 Begin*** 和 End*** 的两个方法来实现的,这两个方法分别指代开始和结束异步操作。例如,FileStream类提供BeginRead和EndRead方法来从文件异步读取字节。这两个方法实现了 Read 方法的异步版本。
在调用 Begin*** 后,应用程序可以继续在调用线程上执行指令,同时异步操作在另一个线程上执行。(如果有返回值还应调用 End*** 来获取操作的结果)。
1) Begin***
a) Begin*** 方法带有该方法的同步版本签名中声明的任何参数。
b) Begin*** 方法签名中不包含任何输出参数。方法签名最后两个参数的规范是:第一个参数定义一个AsyncCallback委托,此委托引用在异步操作完成时调用的方法。第二个参数是一个用户定义的对象。此对象可用来向异步操作完成时为AsyncCallback委托方法传递应用程序特定的状态信息(eg:可通过此对象在委托中访问End*** 方法)。另外,这两个参数都可以传递null。
c) 返回IAsyncResult对象。
?
2) End***
a) End*** 方法可结束异步操作,如果调用 End*** 时,IAsyncResult对象表示的异步操作还未完成,则 End*** 将在异步操作完成之前阻塞调用线程。
b) End*** 方法的返回值与其同步副本的返回值类型相同。End*** 方法带有该方法同步版本的签名中声明的所有out 和 ref 参数以及由BeginInvoke返回的IAsyncResult,规范上 IAsyncResult 参数放最后。
i. 要想获得返回结果,必须调用的方法;
ii. 若带有out 和 ref 参数,实现上委托也要带有out 和 ref 参数,以便在回调中获得对应引用传参值做相应逻辑;
3) 总是调用 End***() 方法,而且只调用一次
以下理由都是针对“I/O限制”的异步操作提出。然而,对于计算限制的异步操作,尽管都是用户代码,但还是推荐遵守此规则。
I/O限制的异步操作:比如像带FileOptions.Asynchronous标识的FileStream,其BeginRead()方法向Windows发送一个I/O请求包(I/O Request Packet,IRP)后方法不会阻塞线程而是立即返回,由Windows将IRP传送给适当的设备驱动程序,IRP中包含了为BeginRead()方法传入的回调函数,待硬件设备处理好IRP后,会将IRP的委托排队到CLR的线程池队列中。
必须调用End***方法,否则会造成资源的泄露。有的开发人员写代码调用Begin***方法异步执行I/O限制后就不需要进行任何处理了,所以他们不关心End***方法的调用。但是,出于以下两个原因,End***方法是必须调用的:
a) 在异步操作时,对于I/O限制操作,CLR会分配一些内部资源,操作完成时,CLR继续保留这些资源直至End***方法被调用。如果一直不调用End***,这些资源会直到进程终止时才会被回收。(End***方法设计中常常包含资源释放)
b) 发起一个异步操作时,实际上并不知道该操作最终是成功还是失败(因为操作由硬件在执行)。要知道这一点,只能通过调用End***方法,检查它的返回值或者看它是否抛出异常。
另外,需要注意的是I/O限制的异步操作完全不支持取消(因为操作由硬件执行),但可以设置一个标识,在完成时丢弃结果来模拟取消行为。
现在我们清楚了IAsyncResult设计模式的设计规范,接下来我们再通过IAsyncResult异步编程模式的三个经典场合来加深理解。
一、基于IAsyncResult构造一个异步API
现在来构建一个IAsyncResult的类,并且实现异步调用。
?
使用上面通过IAsyncResult设计模式实现的带ref引用参数的异步操作,我将展示三种阻塞式响应异步调用和一种无阻塞式委托响应异步调用。即:
执行异步调用后,若我们需要控制后续执行代码在异步操作执行完之后执行,可通过下面三种方式阻止其他工作:(当然我们不推荐你阻塞线程或轮询浪费CPU时间)
a) IAsyncResult的AsyncWaitHandle属性,待异步操作完成时获得信号。
b) 通过IAsyncResult的IsCompleted属性进行轮询。
c) 调用异步操作的 End*** 方法。
执行异步调用后,若我们不需要阻止后续代码的执行,那么我们可以把异步执行操作后的响应放到回调中进行。(推荐使用无阻塞式回调模式)
一则示例:包含了阻塞与不阻塞的代码,根据你的需求自行采用适合的模式进行开发。
?
二、使用委托进行异步编程
对于委托,编译器会为我们生成同步调用方法“invoke”以及异步调用方法“BeginInvoke”和“EndInvoke”。对于异步调用方式,公共语言运行库 (CLR) 将对请求进行排队并立即返回到调用方,由线程池的线程调度目标方法并与提交请求的原始线程并行运行,为BeginInvoke()方法传入的回调方法也将在同一个线程上运行。
异步委托是快速为方法构建异步调用的方式,它基于IAsyncResult设计模式实现的异步调用,即,通过BeginInvoke返回IAsyncResult对象;通过EndInvoke获取结果值。
示例:
上节的CalculateLib类中的同步方法以及所要使用到的委托如下:
?
然后,通过委托进行同步或异步调用:
?
三、多线程操作控件
访问 Windows 窗体控件本质上不是线程安全的。如果有两个或多个线程操作某一控件的状态,则可能会迫使该控件进入一种不一致的状态。还可能出现其他与线程相关的 bug,包括争用情况和死锁。确保以线程安全方式访问控件非常重要。
不过,在有些情况下,您可能需要多线程调用控件的方法。.NET Framework 提供了从任何线程操作控件的方式:
非安全方式访问控件(此方式请永远不要再使用)
多线程访问窗口中的控件,可以在窗口的构造函数中将Form的CheckForIllegalCrossThreadCalls静态属性设置为false。
?
安全方式访问控件
原理:从一个线程封送调用并跨线程边界将其发送到另一个线程,并将调用插入到创建控件线程的消息队列中,当控件创建线程处理这个消息时,就会在自己的上下文中执行传入的方法。(此过程只有调用线程和创建控件线程,并没有创建新线程)
注意:从一个线程封送调用并跨线程边界将其发送到另一个线程会耗费大量的系统资源,所以应避免重复调用其他线程上的控件。
1) 使用BackgroundWork后台辅助线程控件方式(详见:基于事件的异步编程模式(EMP))。
2) 结合TaskScheduler.FromCurrentSynchronizationContext() 和Task 实现。
3) 捕获线程上下文ExecuteContext,并调用ExeceteContext.Run()静态方法在指定的线程上下文中执行。(详见:执行上下文)
4) 使用Control类上提供的Invoke 和BeginInvoke方法。
5) 在WPF应用程序中可以通过WPF提供的Dispatcher对象提供的Invoke方法、BeginInvoke方法来完成跨线程工作。
因本文主要解说IAsyncResult异步编程模式,所以只详细分析Invoke 和BeginInvoke跨线程访问控件方式。
Control类实现了ISynchronizeInvoke接口,提供了Invoke和BeginInvoke方法来支持其它线程更新GUI界面控件的机制。
?
1) Control类的 Invoke,BeginInvoke 内部实现如下:
a) Invoke (同步调用)先判断控件创建线程与当前线程是否相同,相同则直接调用委托方法;否则使用Win32API的PostMessage 异步执行,但是 Invoke 内部会调用IAsyncResult.AsyncWaitHandle等待执行完成。
b) BeginInvoke (异步调用)使用Win32API的PostMessage 异步执行,并且返回 IAsyncResult 对象。
?
PostMessage 是windows api,用来把一个消息发送到一个窗口的消息队列。这个方法是异步的,也就是该方法封送完毕后马上返回,不会等待委托方法的执行结束,调用者线程将不会被阻塞。(对应同步方法的windows api是:SendMessage();消息队列里的消息通过调用GetMessage和PeekMessage取得)
2) InvokeRequired
获取一个值,该值指示调用线程是否与控件的创建线程相同。内部关键如下:
?
即返回“通过GetWindowThreadProcessId功能函数得到创建指定窗口线程的标识和创建窗口的进程的标识符与当前线程Id进行比较”的结果。
3) 示例(详见示例文件)
在使用的时候,我们使用 this.InvokeRequired 属性来判断是使用Invoke或BeginInvoke 还是直接调用方法。
?
注意,在InvokeControl方法中使用 this.Invoke(Delegate del) 和使用 this.textBox1.Invoke(Delegate del) 效果是一样的。因为在执行Invoke或BeginInvoke时,内部首先调用 FindMarshalingControl() 进行一个循环向上回溯,从当前控件开始回溯父控件,直到找到最顶级的父控件,用它作为封送对象。也就是说 this.textBox1.Invoke(Delegate del) 会追溯到和 this.Invoke(Delegate del) 一样的起点。(子控件的创建线程一定是创建父控件的线程,所以这种追溯不会导致将调用封送到错误的目的线程)
4) 异常信息:"在创建窗口句柄之前,不能在控件上调用 Invoke 或 BeginInvoke"
a) 可能是在窗体还未构造完成时,在构造函数中异步去调用了Invoke 或BeginInvoke;
b) 可能是使用辅助线程创建一个窗口并用Application.Run()去创建句柄,在句柄未创建好之前调用了Invoke 或BeginInvoke。(此时新建的窗口相当于开了另一个进程,并且为新窗口关联的辅助线程开启了消息循环机制),类似下面代码:
解决方案:在调用Invoke 或 BeginInvoke之前轮询检查窗口的IsHandleCreated属性。
本节到此结束,本节主要讲了异步编程模式之一“异步编程模型(APM)”,是基于IAsyncResult设计模式实现的异步编程方式,并且构建了一个继承自IAsyncResult接口的示例,及展示了这种模式在委托及跨线程访问控件上的经典应用。下一节中,我将为大家介绍基于事件的编程模型……
感谢大家的观看,如觉得文章不错还请多多推荐……
参考:MSDN
书籍:《CLR via C#(第三版)》
http://www.cnblogs.com/heyuquan/archive/2013/03/22/2976420.html
大部分开发人员,在开发多线程应用程序时,都是使用ThreadPool的QueueUserWorkItem方法来发起一次简单的异步操作。然而,这个技术存在许多限制。最大的问题是没有一个内建的机制让你知道操作在什么时候完成,也没有一个机制在操作完成时获得一个返回值。为了克服这些限制(并解决其他一些问题),Microsoft引入了三种异步编程模式:
.NET1.0异步编程模型 (APM),基于IAsyncResult接口实现。
.NET2.0基于事件的异步编程模式(EMP),基于事件实现。
.NET4.X基于任务的异步编程模式(TPL),新型异步编程模式,对于.NET4.0之后的异步构造都推荐使用此模式
尽管在新的设计上我们推荐都使用“.NET4.0基于任务的编程模式”,但我还是计划整理出旧版的异步编程模型,因为:
在一些特殊场合下我们可能觉得一种模式更适合;
可以更充分认识三种模式之间的优劣,便于选择;
很多遗留的代码包含了旧的设计模式;
等等…
示例下载:异步编程:IAsyncResult异步编程模型.rar
IAsyncResult设计模式----规范概述
使用IAsyncResult设计模式的异步操作是通过名为 Begin*** 和 End*** 的两个方法来实现的,这两个方法分别指代开始和结束异步操作。例如,FileStream类提供BeginRead和EndRead方法来从文件异步读取字节。这两个方法实现了 Read 方法的异步版本。
在调用 Begin*** 后,应用程序可以继续在调用线程上执行指令,同时异步操作在另一个线程上执行。(如果有返回值还应调用 End*** 来获取操作的结果)。
1) Begin***
a) Begin*** 方法带有该方法的同步版本签名中声明的任何参数。
b) Begin*** 方法签名中不包含任何输出参数。方法签名最后两个参数的规范是:第一个参数定义一个AsyncCallback委托,此委托引用在异步操作完成时调用的方法。第二个参数是一个用户定义的对象。此对象可用来向异步操作完成时为AsyncCallback委托方法传递应用程序特定的状态信息(eg:可通过此对象在委托中访问End*** 方法)。另外,这两个参数都可以传递null。
c) 返回IAsyncResult对象。
?
a) End*** 方法可结束异步操作,如果调用 End*** 时,IAsyncResult对象表示的异步操作还未完成,则 End*** 将在异步操作完成之前阻塞调用线程。
b) End*** 方法的返回值与其同步副本的返回值类型相同。End*** 方法带有该方法同步版本的签名中声明的所有out 和 ref 参数以及由BeginInvoke返回的IAsyncResult,规范上 IAsyncResult 参数放最后。
i. 要想获得返回结果,必须调用的方法;
ii. 若带有out 和 ref 参数,实现上委托也要带有out 和 ref 参数,以便在回调中获得对应引用传参值做相应逻辑;
3) 总是调用 End***() 方法,而且只调用一次
以下理由都是针对“I/O限制”的异步操作提出。然而,对于计算限制的异步操作,尽管都是用户代码,但还是推荐遵守此规则。
I/O限制的异步操作:比如像带FileOptions.Asynchronous标识的FileStream,其BeginRead()方法向Windows发送一个I/O请求包(I/O Request Packet,IRP)后方法不会阻塞线程而是立即返回,由Windows将IRP传送给适当的设备驱动程序,IRP中包含了为BeginRead()方法传入的回调函数,待硬件设备处理好IRP后,会将IRP的委托排队到CLR的线程池队列中。
必须调用End***方法,否则会造成资源的泄露。有的开发人员写代码调用Begin***方法异步执行I/O限制后就不需要进行任何处理了,所以他们不关心End***方法的调用。但是,出于以下两个原因,End***方法是必须调用的:
a) 在异步操作时,对于I/O限制操作,CLR会分配一些内部资源,操作完成时,CLR继续保留这些资源直至End***方法被调用。如果一直不调用End***,这些资源会直到进程终止时才会被回收。(End***方法设计中常常包含资源释放)
b) 发起一个异步操作时,实际上并不知道该操作最终是成功还是失败(因为操作由硬件在执行)。要知道这一点,只能通过调用End***方法,检查它的返回值或者看它是否抛出异常。
另外,需要注意的是I/O限制的异步操作完全不支持取消(因为操作由硬件执行),但可以设置一个标识,在完成时丢弃结果来模拟取消行为。
现在我们清楚了IAsyncResult设计模式的设计规范,接下来我们再通过IAsyncResult异步编程模式的三个经典场合来加深理解。
一、基于IAsyncResult构造一个异步API
现在来构建一个IAsyncResult的类,并且实现异步调用。
?
执行异步调用后,若我们需要控制后续执行代码在异步操作执行完之后执行,可通过下面三种方式阻止其他工作:(当然我们不推荐你阻塞线程或轮询浪费CPU时间)
a) IAsyncResult的AsyncWaitHandle属性,待异步操作完成时获得信号。
b) 通过IAsyncResult的IsCompleted属性进行轮询。
c) 调用异步操作的 End*** 方法。
执行异步调用后,若我们不需要阻止后续代码的执行,那么我们可以把异步执行操作后的响应放到回调中进行。(推荐使用无阻塞式回调模式)
一则示例:包含了阻塞与不阻塞的代码,根据你的需求自行采用适合的模式进行开发。
?
对于委托,编译器会为我们生成同步调用方法“invoke”以及异步调用方法“BeginInvoke”和“EndInvoke”。对于异步调用方式,公共语言运行库 (CLR) 将对请求进行排队并立即返回到调用方,由线程池的线程调度目标方法并与提交请求的原始线程并行运行,为BeginInvoke()方法传入的回调方法也将在同一个线程上运行。
异步委托是快速为方法构建异步调用的方式,它基于IAsyncResult设计模式实现的异步调用,即,通过BeginInvoke返回IAsyncResult对象;通过EndInvoke获取结果值。
示例:
上节的CalculateLib类中的同步方法以及所要使用到的委托如下:
?
?
访问 Windows 窗体控件本质上不是线程安全的。如果有两个或多个线程操作某一控件的状态,则可能会迫使该控件进入一种不一致的状态。还可能出现其他与线程相关的 bug,包括争用情况和死锁。确保以线程安全方式访问控件非常重要。
不过,在有些情况下,您可能需要多线程调用控件的方法。.NET Framework 提供了从任何线程操作控件的方式:
非安全方式访问控件(此方式请永远不要再使用)
多线程访问窗口中的控件,可以在窗口的构造函数中将Form的CheckForIllegalCrossThreadCalls静态属性设置为false。
?
原理:从一个线程封送调用并跨线程边界将其发送到另一个线程,并将调用插入到创建控件线程的消息队列中,当控件创建线程处理这个消息时,就会在自己的上下文中执行传入的方法。(此过程只有调用线程和创建控件线程,并没有创建新线程)
注意:从一个线程封送调用并跨线程边界将其发送到另一个线程会耗费大量的系统资源,所以应避免重复调用其他线程上的控件。
1) 使用BackgroundWork后台辅助线程控件方式(详见:基于事件的异步编程模式(EMP))。
2) 结合TaskScheduler.FromCurrentSynchronizationContext() 和Task 实现。
3) 捕获线程上下文ExecuteContext,并调用ExeceteContext.Run()静态方法在指定的线程上下文中执行。(详见:执行上下文)
4) 使用Control类上提供的Invoke 和BeginInvoke方法。
5) 在WPF应用程序中可以通过WPF提供的Dispatcher对象提供的Invoke方法、BeginInvoke方法来完成跨线程工作。
因本文主要解说IAsyncResult异步编程模式,所以只详细分析Invoke 和BeginInvoke跨线程访问控件方式。
Control类实现了ISynchronizeInvoke接口,提供了Invoke和BeginInvoke方法来支持其它线程更新GUI界面控件的机制。
?
a) Invoke (同步调用)先判断控件创建线程与当前线程是否相同,相同则直接调用委托方法;否则使用Win32API的PostMessage 异步执行,但是 Invoke 内部会调用IAsyncResult.AsyncWaitHandle等待执行完成。
b) BeginInvoke (异步调用)使用Win32API的PostMessage 异步执行,并且返回 IAsyncResult 对象。
?
2) InvokeRequired
获取一个值,该值指示调用线程是否与控件的创建线程相同。内部关键如下:
?
3) 示例(详见示例文件)
在使用的时候,我们使用 this.InvokeRequired 属性来判断是使用Invoke或BeginInvoke 还是直接调用方法。
?
4) 异常信息:"在创建窗口句柄之前,不能在控件上调用 Invoke 或 BeginInvoke"
a) 可能是在窗体还未构造完成时,在构造函数中异步去调用了Invoke 或BeginInvoke;
b) 可能是使用辅助线程创建一个窗口并用Application.Run()去创建句柄,在句柄未创建好之前调用了Invoke 或BeginInvoke。(此时新建的窗口相当于开了另一个进程,并且为新窗口关联的辅助线程开启了消息循环机制),类似下面代码:
感谢大家的观看,如觉得文章不错还请多多推荐……
参考:MSDN
书籍:《CLR via C#(第三版)》
http://www.cnblogs.com/heyuquan/archive/2013/03/22/2976420.html
相关文章推荐
- 异步编程:IAsyncResult异步编程模型 (APM)
- 异步编程:IAsyncResult异步编程模型 (APM)
- 异步编程:IAsyncResult异步编程模型 (APM)
- CLR via C# 读书笔记 3-6 比较APM和EAP(异步编程模型和基于事件的编程模式)
- 【温故知新】c#异步编程模型(APM)--使用委托进行异步编程
- 异步编程模型APM(2)
- [你必须知道的异步编程]——异步编程模型(APM)
- 模式1、APM异步编程模型 Net1.0 [Asynchronous Programming Mode]
- 嵌入式软件异步编程:异步编程模型和传统编程模型
- [你必须知道的异步编程]——异步编程模型(APM)
- [你必须知道的异步编程]——异步编程模型(APM)
- 异步编程模型(APM)
- 三种异步编程模型(APM)获取异步返回结果的方法
- APM之 .net中异步编程模型比较-3
- 异步编程模型(APM)模式
- 转:[你必须知道的异步编程]——异步编程模型(APM)
- C#中的异步编程模型(APM)
- 重新想象 Windows 8 Store Apps (44) - 多线程之异步编程: 经典和最新的异步编程模型, IAsyncInfo 与 Task 相互转换
- C# 并行编程 之 异步编程模型
- 重新想象 Windows 8 Store Apps (44) - 多线程之异步编程: 经典和最新的异步编程模型, IAsyncInfo 与 Task 相互转换