标签：com http class div code c t tar sp ext string
在 .NET 4.0 以后，基于 Task 的异步编程模式大行其道，因其大大简化了异步编程所带来的大量代码工作而深受编程人员的欢迎，如果你曾经使用过 APM(基于 IAsyncResult) 和 EAP( 基于 event/delegate)，那么你一定感受颇深。
而随之而来.NET 4.5 的两个关键字 async 和 await 又使得异步编程如编写顺序的代码一样容易，特别是 async 对 委托(Lamda/LINQ 表达式，匿名委托)的支持，使得async 和 await 成为异步编程的代名词。
但是我们都知道，异步编程的背后是多线程的技术，线程处理，线程间的通讯，线程的管理一直是编程世界里比较难于掌握的部分，那么 async 和 await 关键字究竟有什么魔法能够把复杂的线程处理变成简单的两个关键字而已那？
我相信对 .NET 框架有过了解的人都知道，微软喜欢把底层的东西大肆的进行封装，力求把用户当成傻子看（也不是不好，用户其实不需要知道产品细节），这样使得C#/.Net 容易学习，但是也使得程序员知其然而不知其所以然。
那么我们怎么学习 .NET 光亮功能背后的关键字的技术及其实现原理那？读文章，但是还有一种方式，看源代码(MSIL)，使用反编译工具如(Reflector) 查看编译的代码以了解背后的运行机制，使用这种方式我们知道了 using, lock, event, delegate 的背后机制，我们依样画葫芦来解析一下 async 与 await 关键字。
在开始之前，我们先看一段 C# 代码：
static void Main(string[] args)
{
CountAsync();
Console.WriteLine("Async run back to main");
Console.Read();
}
private static async void CountAsync()
{
Console.WriteLine("Async run ");
await Task.Run(() =>
{
for (int i = 0; i < 10; i++)
{
Console.WriteLine(i);
Thread.Sleep(100);
}
}
);
Console.WriteLine("Async completed");
}
然后看一下他的输出， async 与 await 工作的如同 MSDN 所说的一致（废话01）: -- 当方法执行到 await 时，控制权返回调用方，然后等待方法执行完成获取控制权，然后执行 await 后的代码。
那么现在我们用反编译器这个照妖镜来照照这一个 async 和 await 究竟是何方妖魔 : ( 注意要勾选显示编译代码)：
神马？怎么多出来这么多不知所谓的东西，我明明只编写了两个方法 Main 和 CountAsync, 其它的是神马东东。 微软，不编译器你究竟对我的代码做了什么，让她(它)变成这样了？
好吧，让我们逐条看一下：
基本上和我们写的一样。没有什么特别，没有什么可疑，当然就没有什么好说的！
private static void Main(string[] args)
{
Program.CountAsync();
Console.WriteLine("Async run back to main");
Console.Read();
}
这个不是我写的CountAsync 方法么？
我的 async 关键字，我的await Task.Run 都去那儿了？
为了揭开这个谜底，找出真相，真相永远只有一个，我们先看一下方法的构成：
[DebuggerStepThrough]
[AsyncStateMachine(typeof (Program.<CountAsync>d__2))]
private static void CountAsync()
{
Program.<CountAsync>d__2 stateMachine;
stateMachine.t__builder = AsyncVoidMethodBuilder.Create();
stateMachine.1__state = -1;
stateMachine.t__builder.Start<Program.<CountAsync>d__2>(ref stateMachine);
}
private static Action $__CachedAnonymousMethodDelegate1;
生成了一个 Action 委托，巧合的是，我们在调用 Task.Run 方法启动一个新的 Task 时，传的也是一个Action 委托，难道这是一个巧合，还是别有用意？
一个方法，代码示例如下，没啥特别，是个程序猿就能写，但是它是怎么来的那？因为我没有写这个方法。
[CompilerGenerated]
private static void <CountAsync> b__0()
{
for (int index = 0; index < 10; ++index)
{
Console.WriteLine(index);
Thread.Sleep(100);
}
}
看一下方法体，忽然觉得很眼熟。美女! 我们好像哪里见过。仔细想想，这不就是我们写的Lambda 表达式么，让我们再来看一眼我们的 Lambda 表达式。原来我们传给 TaskRun 的 Action 类型的委托转换成了一个方法。
而且我们也看到了编译器生成了一个 Action 类型委托的字段，估计就是用来传递这个自动生成的方法的。
await Task.Run(() =>
{
for (int i = 0; i < 10; i++)
{
Console.WriteLine(i);
Thread.Sleep(100);
}
}
);
CountAsync ，这个名字很熟悉，是我声名的异步方法的名字，并且使用了 async 关键字进行了限制 -- private static async void CountAsync()。
但是我声名的是一个方法，绝不是一个 struct 呀！为什么编译成了 struct 那？
难道是 async 这个东西在作怪，因为在这个代码里再也找不到 async 了，它消失了。不，不是消失了，而是变成一个 Struct, 而且实现了IAsyncStateMachine接口。
private struct <CountAsync>d__2 : IAsyncStateMachine
那么IAsyncStateMachine 接口是做什么的？百度一下，还是直接去MSDN 英文网站吧，看看 Microsoft 怎么说。
http://msdn.microsoft.com/en-us/library/system.runtime.compilerservices.iasyncstatemachine(v=vs.110).aspx 上面说，Represents state machines that are generated for asynchronous methods. This type is intended for compiler use only.
大致意思是(我的英文水平也不咋的，所以每次碰到一些概念呀，我通常比较喜欢读英文，这样说起来比较官方了，其实有点 ZB): IAsyncStateMachine 代表了一个为异步方法生成的状态机，它是转么为了编译设计的。代码不能调用它。（看到这里我有一个疑问，既然专门设计的为什么要声名为 public）。
晕！还没有弄明白IAsyncStateMachine 时神马，又来个状态机 (State Machine) ， 这又是什么？忽然间觉得天旋地转，原来我只是一个小白，啥也不知道。黑发不知勤学早, 白首方悔读书迟(废话02)。
有事问 Google/Bai du，很多关于状态机的解释是数字电路，恍惚间觉得我好像在大学里读过这门课，但是又好像没读过。（废话03）
不管了，状态机大致上说的是，在有限个状态以及这些状态的转移和动作等行为的模型。每个状态可以分为进入动作，退出动作等。在编程中有基于事件的状态机。事件，难道这个 struct 使用了事件？且行且学习吧！
言归正传，IAsyncStateMachine 接口在System.Runtime.CompilerServices命名空间下，有两个的方法：
好了，看了了struct 的声名，看一下它的成员吧，先从字段看起(我们知道 .NET 中的属性实际上是对字段的封装，编译器会对其做相应转化)，为了易读我对属性名字做了一些加工，这样让各位看官看起来更舒服吧:
TaskAwaiter, await。 多么的相似呀! 难道它们之间有什么神秘的联系！
按照我八卦的思维来说，这个肯定有不可告人的联系。（废话04）
但是我时程序猿，需要理性的思维，还是看看源代码吧：
用反射神器看清一下AsyncVoidMethodBuilder。哦，原来如此！
private Task Task
{
get
{
if (this.m_task == null)
this.m_task = new Task();
return this.m_task;
}
}
啊！原来 async 是一个披着漂亮外皮的 Thread。妖怪，哪儿跑！
public void Start<TStateMachine>(ref TStateMachine stateMachine) where TStateMachine : IAsyncStateMachine
{
this.m_coreState.Start<TStateMachine>(ref stateMachine);
}
public void AwaitOnCompleted<TAwaiter, TStateMachine>(ref TAwaiter awaiter,
ref TStateMachine stateMachine)
where TAwaiter : INotifyCompletion
where TStateMachine : IAsyncStateMachine
{
try
{
Action completionAction = this.m_coreState.GetCompletionAction<AsyncVoidMethodBuilder, TStateMachine>(ref this, ref stateMachine);
awaiter.OnCompleted(completionAction);
}
catch (Exception ex)
{
AsyncMethodBuilderCore.ThrowAsync(ex, (SynchronizationContext) null);
}
}
从上面介绍，MoveNext 方法用来处理状态机不同状态之间的转换。根据 state 不同执行不同的操作，实际上是一个 switch(state) 的语句。
复杂的事物往往是由简单的东西构成的，switch 语句，多么熟悉的语句，经历那么多年风和雨!
Agile 说唯一有说服力，且完全正确的东西就是代码。那么就把完全的反编译代码放在下面，大侠们自己阅读，自己体会。
[CompilerGenerated]
[StructLayout(LayoutKind.Auto)]
private struct <CountAsync>d__2 : IAsyncStateMachine
{
public int 1__state;
public AsyncVoidMethodBuilder t__builder;
private TaskAwaiter u__$awaiter3;
private object t__stack;
void IAsyncStateMachine.MoveNext()
{
try
{
bool flag = true;
TaskAwaiter awaiter;
switch (this.1__state)
{
case -3:
goto label_8;
case 0:
awaiter = this.u__$awaiter3;
this.u__$awaiter3 = new TaskAwaiter();
this.1__state = -1;
break;
default:
Console.WriteLine("Async run ");
if (Program.CS$9__CachedAnonymousMethodDelegate1 == null)
{
// ISSUE: method pointer
Program.CS$9__CachedAnonymousMethodDelegate1 = new Action((object) null, __methodptr(<CountAsync>b__0));
}
awaiter = Task.Run(Program.CS$9__CachedAnonymousMethodDelegate1).GetAwaiter();
if (!awaiter.IsCompleted)
{
this.1__state = 0;
this.u__$awaiter3 = awaiter;
this.t__builder.AwaitUnsafeOnCompleted<TaskAwaiter, Program.<CountAsync>d__2>(ref awaiter, ref this);
flag = false;
return;
}
else
break;
}
awaiter.GetResult();
awaiter = new TaskAwaiter();
Console.WriteLine("Async completed");
}
catch (Exception ex)
{
this.1__state = -2;
this.t__builder.SetException(ex);
return;
}
label_8:
this.1__state = -2;
this.t__builder.SetResult();
}
[DebuggerHidden]
void IAsyncStateMachine.SetStateMachine(IAsyncStateMachine param0)
{
this.t__builder.SetStateMachine(param0);
}
}
}
}
Async 关键字标识的方法，编译器会把其编译成一个实现了 IAsyncStateMachined 接口的状态机结构体 (struct) 。
状态机允许一个线程执行其MoveNext 中的部分代码并返回，应为有相应的状态对应，这个时候需要调用 SetStateMachine 来维护当前对应的状态值。
Await 关键字修一个返回 Task 或者 Task<TResult> 的方法。当代码遇到 await 后的方法时，创建一个
Task, 并且将控制权交还给 状态机的调用者。Await 关键字实际上创建一个在Task 的ContinueWith，在ContinueWith
中激活状态机，并且获取线程控制权。
Async 与 Await 关键字研究,码迷,mamicode.com
标签：com http class div code c t tar sp ext string
原文地址：http://www.cnblogs.com/xinghuayang/p/ASYNC_AWAIT_KEYWORD.html
