本专题概要:

引言

同步代码存在的问题

传统的异步编程改善程序的响应

C# 5.0 提供的async和await使异步编程更简单

 async和await关键字剖析

小结

一、引言

在之前的C#基础知识系列文章中只介绍了从C#1.0到C#4.0中主要的特性,然而.NET 4.5 的推出,对于C#又有了新特性的增加——就是C#5.0中async和await两个关键字,这两个关键字简化了异步编程,之所以简化了,还是因为编译器给我们做了更多的工作,下面就具体看看编译器到底在背后帮我们做了哪些复杂的工作的。

二、同步代码存在的问题

对于同步的代码,大家肯定都不陌生,因为我们平常写的代码大部分都是同步的,然而同步代码却存在一个很严重的问题,例如我们向一个Web服务器发出一个请求时,如果我们发出请求的代码是同步实现的话,这时候我们的应用程序就会处于等待状态,直到收回一个响应信息为止,然而在这个等待的状态,对于用户不能操作任何的UI界面以及也没有任何的消息,如果我们试图去操作界面时,此时我们就会看到"应用程序为响应"的信息(在应用程序的窗口旁),相信大家在平常使用桌面软件或者访问web的时候,肯定都遇到过这样类似的情况的,对于这个,大家肯定会觉得看上去非常不舒服。引起这个原因正是因为代码的实现是同步实现的,所以在没有得到一个响应消息之前,界面就成了一个"卡死"状态了,所以这对于用户来说肯定是不可接受的,因为如果我要从服务器上下载一个很大的文件时,此时我们甚至不能对窗体进行关闭的操作的。为了具体说明同步代码存在的问题(造成界面开始),下面通过一个程序让大家更形象地看下问题所在:

  1. // 单击事件
  2. private void btnClick_Click(object sender, EventArgs e)
  3. {
  4. this.btnClick.Enabled = false;
  5.  
  6. long length = AccessWeb();
  7. this.btnClick.Enabled = true;
  8. // 这里可以做一些不依赖回复的操作
  9. OtherWork();
  10.  
  11. this.richTextBox1.Text += String.Format("\n 回复的字节长度为: {0}.\r\n", length);
  12. txbMainThreadID.Text = Thread.CurrentThread.ManagedThreadId.ToString();
  13. }
  14.  
  15. private long AccessWeb()
  16. {
  17. MemoryStream content = new MemoryStream();
  18.  
  19. // 对MSDN发起一个Web请求
  20. HttpWebRequest webRequest = WebRequest.Create("http://msdn.microsoft.com/zh-cn/") as HttpWebRequest;
  21. if (webRequest != null)
  22. {
  23. // 返回回复结果
  24. using (WebResponse response = webRequest.GetResponse())
  25. {
  26. using (Stream responseStream = response.GetResponseStream())
  27. {
  28. responseStream.CopyTo(content);
  29. }
  30. }
  31. }
  32.  
  33. txbAsynMethodID.Text = Thread.CurrentThread.ManagedThreadId.ToString();
  34. return content.Length;
  35. }

运行程序后,当我们点击窗体的 "点击我"按钮之后,在得到服务器响应之前,我们不能对窗体进行任何的操作,包括移动窗体,关闭窗体等,具体运行结果如下:

三、传统的异步编程来改善程序的响应

上面部分我们已经看到同步方法所带来的实际问题了,为了解决类似的问题,.NET Framework很早就提供了对异步编程的支持,下面就用.NET 1.0中提出的异步编程模型(APM)来解决上面的问题,具体代码如下(注释的部分通过获得GUI线程的同步上文对象,然后同步调用同步上下文对象的post方法把要调用的方法交给GUI线程去处理,因为控件本来就是由GUI线程创建的,然后由它自己执行访问控件的操作就不存在跨线程的问题了,程序中使用的是调用RichTextBox控件的Invoke方式来异步回调访问控件的方法,其实背后的原来和注释部分是一样的,调用RichTextBox控件的Invoke方法可以获得创建RichTextBox控件的线程信息(也就是前一种方式的同步上下文),然后让Invoke回调的方法在该线程上运行):

  1. private void btnClick_Click(object sender, EventArgs e)
  2. {
  3. this.richTextBox1.Clear();
  4. btnClick.Enabled = false;
  5. AsyncMethodCaller caller = new AsyncMethodCaller(TestMethod);
  6. IAsyncResult result = caller.BeginInvoke(GetResult, null);
  7.  
  8. //// 捕捉调用线程的同步上下文派生对象
  9. //sc= SynchronizationContext.Current;
  10. }
  11.  
  12. # region 使用APM实现异步编程
  13. // 同步方法
  14. private string TestMethod()
  15. {
  16. // 模拟做一些耗时的操作
  17. // 实际项目中可能是读取一个大文件或者从远程服务器中获取数据等。
  18. for (int i = ; i < ; i++)
  19. {
  20. Thread.Sleep();
  21. }
  22.  
  23. return "点击我按钮事件完成";
  24. }
  25.  
  26. // 回调方法
  27. private void GetResult(IAsyncResult result)
  28. {
  29. AsyncMethodCaller caller = (AsyncMethodCaller)((AsyncResult)result).AsyncDelegate;
  30. // 调用EndInvoke去等待异步调用完成并且获得返回值
  31. // 如果异步调用尚未完成,则 EndInvoke 会一直阻止调用线程,直到异步调用完成
  32. string resultvalue = caller.EndInvoke(result);
  33. //sc.Post(ShowState,resultvalue);
  34. richTextBox1.Invoke(showStateCallback, resultvalue);
  35. }
  36.  
  37. // 显示结果到richTextBox
  38. private void ShowState(object result)
  39. {
  40. richTextBox1.Text = result.ToString();
  41. btnClick.Enabled = true;
  42. }
  43.  
  44. // 显示结果到richTextBox
  45. //private void ShowState(string result)
  46. //{
  47. // richTextBox1.Text = result;
  48. // btnClick.Enabled = true;
  49. //}
  50. #endregion

运行的结果为:

四、C# 5.0 提供的async和await使异步编程更简单

上面部分演示了使用传统的异步编程模型(APM)来解决同步代码所存在的问题,然而在.NET 2.0,.NET 4.0和.NET 4.5中,微软都有推出新的方式来解决同步代码的问题,他们分别为基于事件的异步模式,基于任务的异步模式和提供async和await关键字来对异步编程支持。关于前两种异步编程模式,在我前面的文章中都有介绍,大家可以查看相关文章进行详细地了解,本部分就C# 5.0中的async和await这两个关键字如何实现异步编程的问题来给大家介绍下。下面通过代码来了解下如何使用async和await关键字来实现异步编程,并且大家也可以参看前面的博客来对比理解使用async和await是异步编程更简单。

  1. private async void btnClick_Click(object sender, EventArgs e)
  2. {
  3. long length = await AccessWebAsync();
  4.  
  5. // 这里可以做一些不依赖回复的操作
  6. OtherWork();
  7.  
  8. this.richTextBox1.Text += String.Format("\n 回复的字节长度为: {0}.\r\n", length);
  9. txbMainThreadID.Text = Thread.CurrentThread.ManagedThreadId.ToString();
  10. }
  11.  
  12. // 使用C# 5.0中提供的async 和await关键字来定义异步方法
  13. // 从代码中可以看出C#5.0 中定义异步方法就像定义同步方法一样简单。
  14. // 使用async 和await定义异步方法不会创建新线程,
  15. // 它运行在现有线程上执行多个任务.
  16. // 此时不知道大家有没有一个疑问的?在现有线程上(即UI线程上)运行一个耗时的操作时,
  17. // 为什么不会堵塞UI线程的呢?
  18. // 这个问题的答案就是 当编译器看到await关键字时,线程会
  19. private async Task<long> AccessWebAsync()
  20. {
  21. MemoryStream content = new MemoryStream();
  22.  
  23. // 对MSDN发起一个Web请求
  24. HttpWebRequest webRequest = WebRequest.Create("http://msdn.microsoft.com/zh-cn/") as HttpWebRequest;
  25. if (webRequest != null)
  26. {
  27. // 返回回复结果
  28. using (WebResponse response = await webRequest.GetResponseAsync())
  29. {
  30. using (Stream responseStream = response.GetResponseStream())
  31. {
  32. await responseStream.CopyToAsync(content);
  33. }
  34. }
  35. }
  36.  
  37. txbAsynMethodID.Text = Thread.CurrentThread.ManagedThreadId.ToString() ;
  38. return content.Length;
  39. }
  40.  
  41. private void OtherWork()
  42. {
  43. this.richTextBox1.Text += "\r\n等待服务器回复中.................\n";
  44. }

运行结果如下:

五、async和await关键字剖析

我们对比下上面使用async和await关键字来实现异步编程的代码和在第二部分的同步代码,有没有发现使用async和await关键字的异步实现和同步代码的实现很像,只是异步实现中多了async和await关键字和调用的方法都多了async后缀而已。正是因为他们的实现很像,所以我在第四部分才命名为使用async和await使异步编程更简单,就像我们在写同步代码一样,并且代码的coding思路也是和同步代码一样,这样就避免考虑在APM中委托的回调等复杂的问题,以及在EAP中考虑各种事件的定义。从代码部分我们可以看出async和await的使用确实很简单,我们就如在写同步代码一般,但是我很想知道编译器到底给我们做了怎样的处理的?并且从运行结果可以发现,运行异步方法的线程和GUI线程的ID是一样的,也就是说异步方法的运行在GUI线程上,所以就不用像APM中那样考虑跨线程访问的问题了(因为通过委托的BeginInvoke方法来进行回调方法时,回调方法是在线程池线程上执行的)。下面就用反射工具看看编译器把我们的源码编译成什么样子的:

对于按钮点击事件的代码来说,编译器生成的背后代码却是下面这样的,完全和我们源码中的两个样:

  1. // 编译器为按钮Click事件生成的代码
  2. private void btnClick_Click(object sender, EventArgs e)
  3. {
  4. <btnClick_Click>d__0 d__;
  5. d__.<>4__this = this;
  6. d__.sender = sender;
  7. d__.e = e;
  8. d__.<>t__builder = AsyncVoidMethodBuilder.Create();
  9. d__.<>1__state = -;
  10. d__.<>t__builder.Start<<btnClick_Click>d__0>(ref d__);
  11. }

看到上面的代码,作为程序员的我想说——编译器你怎么可以这样呢?怎么可以任意篡改我的代码呢?这样不是侵犯我的版权了吗?你要改最起码应该告诉我一声吧,如果我的源码看到它在编译器中的实现是上面那样的,我相信我的源码会说——难道我中了世间上最恶毒的面目全非脚吗? 好吧,为了让大家更好地理清编译器背后到底做了什么事情,下面就顺着上面的代码摸瓜,我也来展示耍一套还我漂漂拳来帮助大家找到编译器代码和源码的对应关系。我的分析思路为:

1、提出问题——我的click事件的源码到哪里去了呢?

  从编译器代码我们可以看到,前面的7句代码都是对某个类进行赋值的操作,最真正起作用的就是最后Start方法的调用。这里又产生了几个疑问——<btnClick_Click>d__0是什么类型? 该类型中的<>t__builder字段类型的Start方法到底是做什么用的? 有了这两个疑问,我们就点击<btnClick_Click>d__0(反射工具可以让我们直接点击查看)来看看它是什么类型

  1. // <btnClick_Click>d__0类型的定义,从下面代码可以看出它是一个结构体
  2. // 该类型是编译器生成的一个嵌入类型
  3. // 看到该类型的实现有没有让你联想到什么?
  4. private struct <btnClick_Click>d__0 : IAsyncStateMachine
  5. {
  6. // Fields
  7. public int <>1__state;
  8. public Form1 <>4__this;
  9. public AsyncVoidMethodBuilder <>t__builder;
  10. private object <>t__stack;
  11. private TaskAwaiter<long> <>u__$awaiter2;
  12. public long <length>5__1;
  13. public EventArgs e;
  14. public object sender;
  15.  
  16. // Methods
  17. private void MoveNext()
  18. {
  19. try
  20. {
  21. TaskAwaiter<long> CS$$;
  22. bool <>t__doFinallyBodies = true;
  23. switch (this.<>1__state)
  24. {
  25. case -:
  26. goto Label_010E;
  27.  
  28. case :
  29. break;
  30.  
  31. default:             // 获取用于等待Task(任务)的等待者。你要知道某个任务是否完成,我们就需要一个等待者对象对该任务进行一个监控,所以微软就定义了一个等待者对象的             // 从这里可以看出,其实async和await关键字背后的实现原理是基于任务的异步编程模式(TAP) // 这里代码是在线程池线程上运行的
  32. CS$$ = this.<>4__this.AccessWebAsync().GetAwaiter();             // 如果任务完成就调转到Label_007A部分的代码
  33. if (CS$$.IsCompleted)
  34. {
  35. goto Label_007A;
  36. }             // 设置状态为0为了退出回调方法。
  37. this.<>1__state = ;
  38. this.<>u__$awaiter2 = CS$$;             // 这个代码是做什么用的呢?让我们带着问题看下面的分析
  1. this.<>t__builder.AwaitUnsafeOnCompleted<TaskAwaiter<long>, Form1.<btnClick_Click>d__0>(ref CS$$, ref this);
  2. <>t__doFinallyBodies = false;             // 返回到调用线程,即GUI线程,这也是该方法不会堵塞GUI线程的原因,不管任务是否完成都返回到GUI线程
  3. return;
  4. } // 当任务完成时,不会执行下面的代码,会直接执行Label_007A中代码
  5. CS$$ = this.<>u__$awaiter2;
  6. this.<>u__$awaiter2 = new TaskAwaiter<long>(); // 为了使再次回调MoveNext代码
  7. this.<>1__state = -;
  8. Label_007A: // 下面代码是在GUI线程上执行的
  9. CS$$ = new TaskAwaiter<long>();
  10. long CS$$ = CS$$.GetResult();
  11. this.<length>5__1 = CS$$;         // 我们源码中的代码这里的
  12. this.<>4__this.OtherWork();
  13. this.<>4__this.richTextBox1.Text = this.<>4__this.richTextBox1.Text + string.Format("\n 回复的字节长度为: {0}.\r\n", this.<length>5__1);
  14. this.<>4__this.txbMainThreadID.Text = Thread.CurrentThread.ManagedThreadId.ToString();
  15. }
  16. catch (Exception <>t__ex)
  17. {
  18. this.<>1__state = -;
  19. this.<>t__builder.SetException(<>t__ex);
  20. return;
  21. }
  22. Label_010E:
  23. this.<>1__state = -;
  24. this.<>t__builder.SetResult();
  25. }
  26.  
  27. [DebuggerHidden]
  28. private void SetStateMachine(IAsyncStateMachine param0)
  29. {
  30. this.<>t__builder.SetStateMachine(param0);
  31. }
  32. }

  如果你看过我的迭代器专题的话,相信你肯定可以联想到该结构体就是一个迭代器的一个实现,其主要方法就是MoveNext方法。从上面的代码的注释应该可以帮助我们解决在第一步提到的第一个问题,即<btnClick_Click>d__0是什么类型,下面就分析下第二个问题,从<btnClick_Click>d__0结构体的代码中可以发现<>t__builder的类型是AsyncVoidMethodBuilder类型,下面就看看它的Start方法的解释——运行关联状态机的生成器,即调用该方法就可以开始运行状态机,运行状态机指的就是执行MoveNext方法(MoveNext方法中有我们源码中所有代码,这样就把编译器生成的Click方法与我们的源码关联起来了)。从上面代码注释中可以发现,当该MoveNext被调用时会立即还回到GUI线程中,同时也有这样的疑问——刚开始调用MoveNext方法时,任务肯定是还没有被完成的,但是我们输出我们源码中的代码,必须等待任务完成(因为任务完成才能调转到Label_007A中的代码),此时我们应该需要回调MoveNext方法来检查任务是否完成,(就如迭代器中的,我们需要使用foreach语句一直调用MoveNext方法),然而我们在代码却没有找到回调的任何代码啊? 对于这个疑问,回调MoveNext方法肯定是存在的,只是首次看上面代码的朋友还没有找到类似的语句而已,上面代码注释中我提到了一个问题——这个代码是做什么用的呢?让我们带着问题看下面的分析,其实注释下面的代码就是起到回调MoveNext方法的作用,AsyncVoidMethodBuilder.AwaitUnsafeOnCompleted<TAwaiter, TStateMachine> 方法就是调度状态机去执行MoveNext方法,从而也就解决了回调MoveNext的疑问了。

相信大家从上面的解释中可以找到源码与编译器代码之间的对应关系了吧, 但是我在分析完上面的之后,又有一个疑问——当任务完成时,是如何退出MoveNext方法的呢?总不能让其一直回调吧,从上面的代码的注释可以看出,当任务执行完成之后,会把<>1__state设置为0,当下次再回调MoveNext方法时就会直接退出方法,然而任务没完成之前,同样也会把<>1__state设置为0,但是Switch部分后面的代码又把<>1__state设置为-1,这样就保证了在任务没完成之前,MoveNext方法可以被重复回调,当任务完成之后,<>1__state设置为-1的代码将不会执行,而是调转到Label_007A部分。

经过上面的分析之后,相信大家也可以耍出一套还我漂漂拳去分析异步方法AccessWebAsync(),其分析思路是和btnClick_Click的分析思路是一样的.这里就不重复啰嗦了。

分析完之后,下面再分享下几个关于async和await常问的问题

问题一:是不是写了async关键字的方法就代表该方法是异步方法,不会堵塞线程呢?

  答: 不是的,对于只标识async关键字的(指在方法内没有出现await关键字)的方法,调用线程会把该方法当成同步方法一样执行,所以然而会堵塞GUI线程,只有当async和await关键字同时出现,该方法才被转换为异步方法处理。

问题二:“async”关键字会导致调用方法用线程池线程运行吗?

  答: 不会,被async关键字标识的方法不会影响方法是同步还是异步运行并完成,而是,它使方法可被分割成多个片段,其中一些片段可能异步运行,这样这个方法可能异步完成。这些片段界限就出现在方法内部显示使用”await”关键字的位置处。所以,如果在标记了”async”的方法中没有显示使用”await”,那么该方法只有一个片段,并且将以同步方式运行并完成。在await关键字出现的前面部分代码和后面部分代码都是同步执行的(即在调用线程上执行的,也就是GUI线程,所以不存在跨线程访问控件的问题),await关键处的代码片段是在线程池线程上执行。总结为——使用async和await关键字实现的异步方法,此时的异步方法被分成了多个代码片段去执行的,而不是像之前的异步编程模型(APM)和EAP那样,使用线程池线程去执行一整个方法。

关于更多async和await关键字的常问问题可以查看——Async/Await FAQ和中文翻译——(译)关于async与await的FAQ

六、小结

  写到这里本专题的内容就介绍到这里的,并且我也会把本专题的内容同步到之前的C#基础知识系列文章索引,这样我的C#特性系列也就完整了,并且该专题也是异步编程的最后一篇专题,在后面的专题将为大家实现一个类似迅雷的多任务多线程下载器,对于这个专题可能会用到并行编程的内容,所以接下面我为为大家分享下并行编程的内容。

  根据 一路转圈的雪人的建议,因为对于刚使用await的人,经常会问“帮来看一下怎么死锁了,怎么办啊,要死了,怎么解决?”,对于这样的问题大家应该明白一点就是——使用async标识的异步方法的运行在GUI线程上(对于这点大家一定要明白,在我文章中的剖析部分也详细介绍了原因,阅读文章的人应该重点了解),所以就不用像APM中那样考虑跨线程访问的问题了

http://www.cnblogs.com/zhili/archive/2013/05/15/Csharp5asyncandawait.html

c# 语法5.0 新特性 转自网络的更多相关文章

  1. atitit.Servlet2.5 Servlet 3.0 新特性 jsp2.0 jsp2.1 jsp2.2新特性

    atitit.Servlet2.5 Servlet 3.0 新特性 jsp2.0 jsp2.1 jsp2.2新特性   1.1. Servlet和JSP规范版本对应关系:1 1.2. Servlet2 ...

  2. C# 7.0 新特性2: 本地方法

    本文参考Roslyn项目中的Issue:#259. 1. C# 7.0 新特性1: 基于Tuple的“多”返回值方法 2. C# 7.0 新特性2: 本地方法 3. C# 7.0 新特性3: 模式匹配 ...

  3. C# 7.0 新特性1: 基于Tuple的“多”返回值方法

    本文基于Roslyn项目中的Issue:#347 展开讨论. 1. C# 7.0 新特性1: 基于Tuple的“多”返回值方法 2. C# 7.0 新特性2: 本地方法 3. C# 7.0 新特性3: ...

  4. C# 7.0 新特性3: 模式匹配

    本文参考Roslyn项目Issue:#206,及Docs:#patterns. 1. C# 7.0 新特性1: 基于Tuple的“多”返回值方法 2. C# 7.0 新特性2: 本地方法 3. C# ...

  5. C# 7.0 新特性4: 返回引用

    本文参考Roslyn项目中的Issue:#118. 1. C# 7.0 新特性1: 基于Tuple的“多”返回值方法 2. C# 7.0 新特性2: 本地方法 3. C# 7.0 新特性3: 模式匹配 ...

  6. c# 6.0新特性(一)

    写在前面 接近年底了,基本上没什么活了,就学点新东西,就想着了解下c# 6.0的新特性.在code project上看到了一篇不错的文章,就准备翻译一下,顺便照着学习学习.废话不多说,直奔主题. 原文 ...

  7. iOS开发——新特性OC篇&Swift 2.0新特性

    Swift 2.0新特性     转眼间,Swift已经一岁多了,这门新鲜.语法时尚.类型安全.执行速度更快的语言已经渐渐的深入广大开发者的心.我同样也是非常喜爱这门新的编程语言. 今年6月,一年一度 ...

  8. [C#]6.0新特性浅谈

    原文:[C#]6.0新特性浅谈 C#6.0出来也有很长一段时间了,虽然新的特性和语法趋于稳定,但是对于大多数程序猿来说,想在工作中用上C#6.0估计还得等上不短的一段时间.所以现在再来聊一聊新版本带来 ...

  9. 返璞归真 asp.net mvc (9) - asp.net mvc 3.0 新特性之 View(Razor)

    原文:返璞归真 asp.net mvc (9) - asp.net mvc 3.0 新特性之 View(Razor) [索引页][源码下载] 返璞归真 asp.net mvc (9) - asp.ne ...

随机推荐

  1. cJSON 使用笔记

    缘      起 最近在stm32f103上做一个智能家居的项目,其中选择的实时操作系统是 rt_thread OS v1.2.2稳定版本,其中涉及到C和java(android)端数据的交换问题,经 ...

  2. Codeforces Round #338 (Div. 2) D. Multipliers 数论

    D. Multipliers 题目连接: http://codeforces.com/contest/615/problem/D Description Ayrat has number n, rep ...

  3. 【PAT】1029. Median (25)

    Given an increasing sequence S of N integers, the median is the number at the middle position. For e ...

  4. VS2010: Microsoft.TeamFoundation.PowerTools.CheckinPolicies.ChangesetComments 未注冊

    VS2010 缺少Team Foundation Server Power Tools 下载地址: http://visualstudiogallery.msdn.microsoft.com/c255 ...

  5. 利用KindEditor的uploadbutton实现异步上传图片

    利用KindEditor的uploadbutton实现异步上传图片 异步上传图片最经常使用的方法就是图片在iframe中上传.这样仅仅须要刷新iframe.而不用刷新整个页面.     KindEdi ...

  6. iOS开发——网络编程OC篇&使用WebView构建HyBird应用

    使用WebView构建HyBird应用 HyBird是一种本地技术与Web相结合,能过实现跨平台的移动应用开发,最常用的一个框架:PhoneGap 一:首先,写好html代码 <!DOCTYPE ...

  7. javascript 中 in操作符

    in in 操作检查对象中是否有名为 property 的属性.也可以检查对象的原型,以便知道该属性是否为原型链的一部分. 对于一般的对象属性需要用字符串指定属性的名称 var mycar = {ma ...

  8. 浏览器使用ActiveX控件

    在IE中使用ActiveX控件,需要使用HTML中的标志是<OBJECT>,该标记几个重要的参数特性有:1.ID:为控件提供一个标识名称,为HTML代码提供一种访问该控件的入口.2.CLA ...

  9. Ildasm.exe 概要:

    一.前言: 微软的IL反编译实用程序——Ildasm.exe,可以对可执行文件(ex,经典的控制台Hello World 的 exe 可执行文件)抽取出 IL 代码,并且给出命名空间以及类的视图.在讲 ...

  10. 关于Android 访问权限设置

    我前几天在做同城交友网(www.niyuewo.com)与医药网(www.yiyaojing.com)时遇到的问题整理如下: Android开发应用程序时,如果应用程序需要访问网络权限,需要在 And ...