C# Async&Await

在async和await之前我们用Task来实现异步任务是这样做的:

static Task<string> GetBaiduHtmlTAP()
        {
      //创建一个异步Task对象,内部封装了异步任务逻辑
return new Task<string>(() => { Console.WriteLine("GetBaiduHtml 1:" + Thread.CurrentThread.ManagedThreadId); var httpRequest = WebRequest.CreateHttp("http://www.baidu.com"); var response = httpRequest.GetResponse(); Console.WriteLine("GetBaiduHtml 2:" + Thread.CurrentThread.ManagedThreadId); //var response = httpRequest.GetResponse(); var streamReader = new StreamReader(response.GetResponseStream()); //var bodyText = await streamReader.ReadToEndAsync(); var bodyText = streamReader.ReadToEnd(); //Console.WriteLine(bodyText); return bodyText; }); }
这样来调用:

var task = GetBaiduHtmlTAP();
task.Start();//在线程池中启动异步任务
task.Wait();//等待异步任务结束,此时当前线程阻塞在这里
Console.WriteLine(task.Result);//获取异步任务结果。

而使用async和await后的异步任务是这样写的:

static async Task<string> GetBaiduHtmlAsync()
        {
                Console.WriteLine("GetBaiduHtml 1:" + Thread.CurrentThread.ManagedThreadId);

                var httpRequest = WebRequest.CreateHttp("http://www.baidu.com");
                var response = await httpRequest.GetResponseAsync();
          
//通过查看线程id,await之后的代码是在一个新的线程中运行的。也就是说当调用await的时候,当前线程会退出执行,await的task完成后在新的线程运行后续代码
Console.WriteLine("GetBaiduHtml 2:" + Thread.CurrentThread.ManagedThreadId); 
var streamReader = new StreamReader(response.GetResponseStream());
var bodyText = streamReader.ReadToEnd(); return bodyText; }

调用的时候这样做:

      string result = await GetBaiduHtmlAsync();
      Console.WriteLine(result);

 

 其实不仅仅是写法变了,而是执行原理,控制权模型也发生了变化。引用官方的图:

上图第6步执行完await后,线程的控制权就返回给调用者了,而不是阻塞。详见

在使用中有如下问题一直很疑惑。

1. 为什么async方法的返回值是Task对象,但是我们在方法体内部返回的却可以是Task的Result对象呢。(唯一能解释该问题的只能是编译器针对async方法特殊处理了。)

2. 为什么如果要在方法中使用await,方法必须要标示为async

3. 一般我们自己创建的Task对象需要手动去调用run方法才能启动任务。那async方法返回的Task对象为什么不需要手动调用run方法task所封装的代码就运行了呢。(一开始是以为对task执行await关键字的时候会调用run方法,但是其实就算不执行await,async方法返回的task对象就已经是在运行状态了。)

4. 当我们await异步任务后,为什么异步任务结束之后可以在新的线程中继续运行await之后的代码

5. 通过测试可以知道,GetBaiduHtmlAsync方法中await调用前面的代码是在函数调用者的线程中运行,而await调用后面的代码是在另一个线程中运行。

如果编译器是将方法体内部整个在一个Task中运行,那await调用前面的代码不应该在函数调用者线程中运行。

要解释这些问题,最直接的办法就是查看编译器生成的代码。

问题1          

把上面的async函数代码编译后,再通过反编译工具反编译得到如下结果:

 

 

通过图片我们可以看到:

1. 生成了一个新的类:<GetBaiduHtmlAsync>d_2。

2. 而GetBaiduHtmlAsync方法则被替换为编译器产生的代码。

先看看这个编译器重写的方法的签名:没有了async关键字,返回值为Task<string>,而在方法体里面返回的是:d__.<>t_builder.Task,并且在返回值前调用了<>t_builder的Start方法。

通过这段代码可以回答上面第1,3个问题了。

async方法里不用返回Task对象确实是编译器的语法糖,编译器会为我们生成返回Task对象的代码。至于Task的状态,我们可以继续看上面生成的代码:

新生成的类<GetBaiduHtmlAsync>d_2实现了IAsyncStateMachine接口,可以认为是一个状态机。而其中的属性<>t__builder的类型是AsyncTaskMethodBuilder<T>,MSDN上对它的描述是

Represents a builder for asynchronous methods that returns a task and provides a parameter for the result

也就是说提供将异步方法转换为Task的功能,再看看它的Start方法的定义:

public void Start<TStateMachine>(
    ref TStateMachine stateMachine
)
where TStateMachine : IAsyncStateMachine

Begins running the builder with the associated state machine.

理解为基于传入的状态机启动有Builder产生的Task。

因此上面编译器生成的GetBaiduHtmlAsync方法的所做的事情是:

1. 实例化一个状态机<GetBaiduHtmlAsync>d_2,并将状态设置为-1(我们自己所定义的GetBaiduHtmlAsync方法体应该被移入这个状态机种,后面描述)

2. 创建了一个AsyncTaskMethodBuilder<string>实例来产生异步任务的Task对象

3. 基于Step1中创建的状态机启动Step2中创建的builder所生成的Task。

4. 将Task对象返回给调用者

至此可以解释上面第3个问题。Task在返回给调用者时已经被启动。但是发现一个问题,GetBaiduHtmlAsync方法返回的task对象的status属性并不是Running状态,而是WaitingForActivation。貌似第3个问题并不是我想象的那样。接着往下看。

问题4        

那我们自己定义的GetBaiduHtmlAsync中的代码去哪了呢?很明显应该被转换为状态机,被移植到<GetBaiduHtmlAsync>d_2类中了。下面是它的代码:

private struct <GetBaiduHtmlAsync>d__2 : IAsyncStateMachine
{
    // Fields
    public int <>1__state;
    public AsyncTaskMethodBuilder<string> <>t__builder;
    private TaskAwaiter<WebResponse> <>u__1;

    // Methods
    private void MoveNext()
    {
        string str;
        int num = this.<>1__state;
        try
        {
            TaskAwaiter<WebResponse> awaiter;
            if (num != 0)
            {
                Console.WriteLine("GetBaiduHtml 1:" + Thread.CurrentThread.ManagedThreadId);
                awaiter = WebRequest.CreateHttp("http://www.baidu.com").GetResponseAsync().GetAwaiter();
                if (!awaiter.IsCompleted)
                {
                    this.<>1__state = num = 0;
                    this.<>u__1 = awaiter;
                    this.<>t__builder.AwaitUnsafeOnCompleted<TaskAwaiter<WebResponse>, Program.<GetBaiduHtmlAsync>d__2>(ref awaiter, ref this);
                    return;
                }
            }
            else
            {
                awaiter = this.<>u__1;
                this.<>u__1 = new TaskAwaiter<WebResponse>();
                this.<>1__state = num = -1;
            }
            WebResponse result = awaiter.GetResult();
            awaiter = new TaskAwaiter<WebResponse>();
            Console.WriteLine("GetBaiduHtml 2:" + Thread.CurrentThread.ManagedThreadId);
            str = new StreamReader(result.GetResponseStream()).ReadToEnd();
        }
        catch (Exception exception)
        {
            this.<>1__state = -2;
            this.<>t__builder.SetException(exception);
            return;
        }
        this.<>1__state = -2;
        this.<>t__builder.SetResult(str);
    }

    [DebuggerHidden]
    private void SetStateMachine(IAsyncStateMachine stateMachine)
    {
        this.<>t__builder.SetStateMachine(stateMachine);
    }
}

这里实现的大致逻辑为:

1. 状态机初始状态为-1,因此上面的builder启动任务时会创建获取Http的Response的异步Task

2. 设置状态机状态为0,表示在等待http task的结果。这里有个关键调用

3. 当http task任务结束,获取http task的result,从中读取http response的body,同时将状态机状态设为-1

4. 将http response的body设置builder关联的task的result,设置状态机状态为-2

上面的过程中有一个关键调用:

this.<>t__builder.AwaitUnsafeOnCompleted<TaskAwaiter<WebResponse>, Program.<GetBaiduHtmlAsync>d__2>(ref awaiter, ref this);
这个调用会去等待awaiter,awaiter完成后会调用状态机的moveNext方法将状态机移到下一个状态。这个调用推动了上面状态机的转换。

从上面的逻辑可以看出,编译器将我们的代码以await调用为分隔生成了一个状态机,await调用前的代码置于状态-1中,await调用后的代码置于状态0中。通过这种方式来实现异步任务完成后继续运行await后面
的代码。至此解释了上面的第4个问题。其实和回调效果一样,只不过使用await是代码可读性更好。

问题3,5         
接着我们再看前面提到过的AsyncTaskMethodBuilder<T>的Start方法:
public void Start<TStateMachine>(ref TStateMachine stateMachine) where TStateMachine: IAsyncStateMachine
{
    if (((TStateMachine) stateMachine) == null)
    {
        throw new ArgumentNullException("stateMachine");
    }
    ExecutionContextSwitcher ecsw = new ExecutionContextSwitcher();
    RuntimeHelpers.PrepareConstrainedRegions();
    try
    {
        ExecutionContext.EstablishCopyOnWriteScope(ref ecsw);
        stateMachine.MoveNext();
    }
    finally
    {
        ecsw.Undo();
    }
}

这个方法中调用了状态机的MoveNext方法,相当于启动了状态机。而状态机的第一个状态会运行await前面的代码。所以,GetBaiduHtmlAsync方法中await前面的代码的运行并不是运行其返回的task的结果。而是这里AsyncTaskMethodBuilder的Start方法调用了MoveNext方法的结果。并且是同步调用,因此是运行在GetBaiduHtmlAsync方法的调用线程里。由此可以看出,在Async&Await编程模型中,Task其实只是表达异步任务和承载任务状态和结果,而任务的运行其实通过状态机的状态改变来推动。至此解释了第3和第5个问题。

问题2        
至于第2个问题,根据上面反编译的代码,await关键字被编译器翻译为
1. 获取异步任务的awaiter
2. 基于awaiter调用
this.<>t__builder.AwaitUnsafeOnCompleted<TaskAwaiter<WebResponse>, Program.<GetBaiduHtmlAsync>d__2>(ref awaiter, ref this);
而这个调用是依赖根据async所生成的一整套代码(状态机,task builder...)所以await必须在async的环境中使用。

 

posted @ 2018-02-06 10:49  self.refactoring  阅读(779)  评论(0编辑  收藏  举报