浅谈.Net异步编程的前世今生----TPL篇

小灰灰 2022-09-17 05:22 156阅读 0赞

![396884fd2784e3566998f712d7738605.png][]

**前言**

![071356e428a9e6cb94d21ad009b0be65.png][]

我们在此前已经介绍了APM模型和EAP模型，以及它们的优缺点。在EAP模型中，可以实时得知异步操作的进度，以及支持取消操作。但是组合多个异步操作仍需大量工作，编写大量代码方可完成。

因此，在.Net Framework 4.0中，引入了一个新的关于异步操作的模型，叫做任务并行库，简称为TPL。

**第三个异步编程模型：TPL**

![7cc6259e637dd56b4a692e48fb3d6c38.png][]

**概述**

![35e70a153f58921809fdf3acaaa25283.png][]

TPL，全称为**Task Parallel Library**，它可以被认为是线程池之上的又一个抽象层，隐藏了部分底层细节，核心概念为**任务。**

一个任务代表了一个异步操作，该操作可以通过多种方式运行，可以使用或者不使用独立线程(如Thread)运行，还可以通过多种方式和其他任务组合起来。

在本文中，我们将探究TPL的使用方式，以及如何正确处理异常，取消任务，如何使多个任务同时执行等。

![a7ced7a5810e983453ce365e1a6945c9.png][]

**创建TPL**

![1856e3b6850c0bc1b894274dcaf5f284.png][]

我们首先需要创建一个控制台程序，用来执行Task的创建和运行，并在Task内部使用委托调用一个方法，用来打印当前任务以及当前任务所在的线程信息，如图所示：

![ca98e92e9067e501849d54468afa942c.png][]

我们分别使用了三种方式来创建任务并执行：

在第一种方式中，使用new Task类的方式，把需要执行的内容放入Action委托并传入参数，最后使用Start方法开启任务执行，若不调用Start方法，则不会启动任务，切记。

在第二种方式和第三种方式中，被创建的任务会立即开始工作，所以无需显式调用Start方法。Task.Run与Task.Factory.StartNew的区别为，前者是后者的一个快捷方式，但后者拥有附加选项，如没有特殊需求，通常使用前者来创建任务。

相关代码如下：

接着我们来看一下运行结果，如图所示：

![c3b97ea9c596fe95fa17873502e02201.png][]

可以看出任务1,2,3,4均为线程池中的线程，也印证了我们此前的概念，TPL为线程池上的一个抽象层。而任务5在实现时被我们标记为需要长时间运行的任务，因此在调度时，并未使用线程池中的线程，而是单独开启一个线程执行，这样可以避免线程池中的线程被长时间占用，无法复用资源。

![8662cf925396e6f3ad4d919a3fb8479c.png][]

**实现取消**

![2a8df7669db0fd3c70fb6c4e9af2dad7.png][]

在EAP模型中，我们借助BackgroundWorker组件封装好的取消方法，可以对正在执行的线程进行取消。那么这样的方式毕竟是有很大的局限性的，因此，在Net Framework 4.0中，微软创建了统一的模型来协作取消涉及两个对象的异步操作或长时间运行的同步操作，它就是CancellationTokenSource和CancellationToken。

我们需要创建CancellationTokenSource实例以传入Task，来标识此任务包含外部取消操作，然后使用CancellationToken来传播任务内的应取消操作的通知，如图所示：

![398eafaed30865e75a3b69f973dbefc0.png][]

相关代码如下：

using System;
    using System.Collections.Generic;
    using System.Linq;
    using System.Text;
    using System.Threading;
    using System.Threading.Tasks;
    
    
    namespace TPLDemo
    {
        class Program
        {
            static void Main(string[] args)
            {
                var cts = new CancellationTokenSource();
                var longTask = new Task<int>(() => TaskMethod("任务1", 10, cts.Token), cts.Token);
                Console.WriteLine(longTask.Status);
                cts.Cancel();
                Console.WriteLine(longTask.Status);
                Console.WriteLine("任务1在执行前已经被取消");
                cts = new CancellationTokenSource();
                longTask = new Task<int>(() => TaskMethod("任务2", 10, cts.Token), cts.Token);
                longTask.Start();
                for (int i = 0; i < 5; i++)
                {
                    Thread.Sleep(TimeSpan.FromSeconds(0.5));
                    Console.WriteLine(longTask.Status);
                }
                cts.Cancel();
                for (int i = 0; i < 5; i++)
                {
                    Thread.Sleep(TimeSpan.FromSeconds(0.5));
                    Console.WriteLine(longTask.Status);
                }
    
    
                Console.WriteLine($"任务2执行完成，结果:{longTask.Result}");
                Console.Read();
            }
    
    
            /// <summary>
            /// 任务取消的方法
            /// </summary>
            /// <param name="name"></param>
            /// <param name="seconds"></param>
            /// <param name="token"></param>
            /// <returns></returns>
            private static int TaskMethod(string name, int seconds, CancellationToken token)
            {
                Console.WriteLine($@"Task {name} 是一个正在线程id为 {Thread.CurrentThread.ManagedThreadId} 上运行的任务，
                                是否为线程池线程：{Thread.CurrentThread.IsThreadPoolThread}");
                for (int i = 0; i < seconds; i++)
                {
                    Thread.Sleep(TimeSpan.FromSeconds(1));
                    if (token.IsCancellationRequested)
                    {
                        return -1;
                    }
                }
    
    
                return 42 * seconds;
            }
        }
    }

运行后结果如图所示：

![89aac2cf693af46b90e7734cdc6e8139.png][]

从代码中，我们可以看出，我们给Task传递了两次CancellationTokenSource，一次是任务内执行方法，一次是任务本身构造函数，那么为什么要这样做呢？

因为如果我们在任务启动之前进行取消，那么该任务所在的TPL模型，就会“接管”该取消操作，因为这些代码根本不会继续执行。我们查看第一个任务的状态可以得知，它已经被取消了，如果在此时再调用Start方法，那么将会抛出一个异常。

而在第二个任务中，我们先执行任务，再做取消，那么此时我们相当于是在外部对此任务进行取消控制，而且在执行取消之后，任务2的状态依然是RanToCompletion，而不是Canceled。因为从TPL的角度来看，该任务正常完成了它的工作，所以我们在编写代码时需要辨别这两种情况，同时理解它在两种情况下职责的不同。

![11718effe6c44045022fa4eead6405df.png][]

**处理异常**

![26a1e0741d91b744f55a0883a8cd36ef.png][]

在普通情况下，我们通常使用try-catch代码块来处理异常，但在TPL中，最底层的异常会被封装为一个AggregateException的通用异常，如果需要获取真正的异常，则需要访问InnerException属性，相关实现如图所示：

![28c33596d6e2d7ce910665be5d5d6932.png][]

相关代码如下：

using System;
    using System.Collections.Generic;
    using System.Linq;
    using System.Text;
    using System.Threading;
    using System.Threading.Tasks;
    
    
    namespace TPLDemo
    {
        class Program
        {
            static void Main(string[] args)
            {
                Task<int> task;
                try
                {
                    task = Task.Run(() => TaskMethod("任务1", 2));
                    int result = task.Result;
                    Console.WriteLine($"结果为：{result}");
                }
                catch (Exception ex)
                {
                    Console.WriteLine($"发生异常：{ex}");
                }
                Console.WriteLine("----------------------------------------------------------------------------------------");
                Console.Read();
            }
    
    
            static int TaskMethod(string name, int seconds)
            {
                Console.WriteLine($@"Task {name} 是一个正在线程id为 {Thread.CurrentThread.ManagedThreadId} 上运行的任务，
                                是否为线程池线程：{Thread.CurrentThread.IsThreadPoolThread}");
                Thread.Sleep(TimeSpan.FromSeconds(seconds));
                throw new Exception("异常！");
            }
        }
    }

运行后结果如图所示：

![da88bb9b2d455416ec06e585e723bd17.png][]

从代码实现和运行结果中，我们可以看出调用Task的Result属性，会使得当前线程等待直到该任务完成，并将异常传播到当前线程，因此我们可以通过catch捕获到该异常，且该异常的类型为AggregateException，同时我们打印出的结果包含底层真正异常内容。

但在TPL中，还有另外一种方式来处理异常，那就是使用Task的GetAwaiter和GetResult方法来获取结果，相关代码如下：

using System;
    using System.Collections.Generic;
    using System.Linq;
    using System.Text;
    using System.Threading;
    using System.Threading.Tasks;
    
    
    namespace TPLDemo
    {
        class Program
        {
            static void Main(string[] args)
            {
                Task<int> task;
                try
                {
                    task = Task.Run(() => TaskMethod("任务1", 2));
                    int result = task.Result;
                    Console.WriteLine($"结果为：{result}");
                }
                catch (Exception ex)
                {
                    Console.WriteLine($"发生异常：{ex}");
                }
                Console.WriteLine("----------------------------------------------------------------------------------------");
                Console.WriteLine();
                try
                {
                    task = Task.Run(() => TaskMethod("任务2", 2));
                    int result = task.GetAwaiter().GetResult();
                    Console.WriteLine($"结果为：{result}");
                }
                catch (Exception ex)
                {
                    Console.WriteLine($"发生异常：{ex}");
                }
                Console.WriteLine("----------------------------------------------------------------------------------------");
                Console.Read();
            }
    
    
            static int TaskMethod(string name, int seconds)
            {
                Console.WriteLine($@"Task {name} 是一个正在线程id为 {Thread.CurrentThread.ManagedThreadId} 上运行的任务，
                                是否为线程池线程：{Thread.CurrentThread.IsThreadPoolThread}");
                Thread.Sleep(TimeSpan.FromSeconds(seconds));
                throw new Exception("异常！");
            }
        }
    }

运行后结果如图所示：

![76362648af5d09b8f9c23533ce68e1d2.png][]

我们从结果中可以看出，在这种情况下，可以直接捕获到底层异常，而无需再访问InnerException属性，原因是TPL模型会直接提取该异常进行处理。

由上述两种情况我们可以得出结论：如果你需要直接获取并处理底层异常，那么请使用GetAwaiter和GetResult方法来获取Task的结果，反之，则可直接使用Result属性。

![a4bed193f05bdde317e436f22b4f8d85.png][]

**任务并行**

![ade659f07763554b4d843f5a87f5dbe2.png][]

我们在之前的示例中，都是单独创建任务并执行，每个任务的执行过程和结果都是独立的。那么，如果我们需要多个任务并行，要怎么做呢？可以使用如下方式：

![14efa35662af5eb6415690b92a1dc0b9.png][]

我们分别创建了三个任务，但任务之间并不再是无关联的关系，而是使用了Task.WhenAll与ContineWith来使得它们以某种方式关联起来。

相关代码如下：

运行后结果如图所示：

![c82a78e6190b22c83e46ba9f21a033a1.png][]

分析代码及运行结果，我们可以得知，在前两个任务完成后，第三个任务才开始运行，并且该任务的结果提供了一个结果数组，第一个元素是第一个任务的结果，第二个元素是第二个任务的结果，以此类推。

在TPL中，我们也可以创建另外一系列任务，并使用Task.WhenAny的方式等待这些任务中的任何一个执行完成。当有一个任务完成时，会从列表中移除该任务并继续等待其他任务完成，直到列表为空为止。获取任务的完成进展情况，或在运行任务时使用超时，都可以使用Task.WhenAny方法。例如我们等待一组任务运行，并且使用其中一个任务来记录是否超时，如果该任务先完成，那么我们只需取消其他还未完成的任务即可。

![32031fa0d75a9dbfd3a36822743da314.png][]

**小结**

![ca6de2a1c1057969efcbdd5ec2fbf581.png][]

我们在这一篇中，讲解了TPL的发展历程和使用方式，对比APM和EAP模型，TPL显得比较灵活且功能强大，支持取消、异常和并行等操作。

![030b1c401da9d69cb195028184fbef8a.png][]

**但TPL模型仍有它的不足之处**

![10cd4dd06fab34238c0d395c30e84825.png][]

*  阅读此类程序代码时，仍难以理解程序的实际执行顺序。
 *  处理异常时，不得不使用单独的后续操作任务来处理在之前的异步操作中发生的错误，导致了代码比较分散，增加了复杂度。

所以为了解决这些问题，微软直接从语言层面引入了更高级别的抽象，真正简化了异步编程，使得编写异步程序更为容易。那么它又是什么呢？它能为我们提供多少便利性呢？预知后事如何，且听下回分解。

![cd0095331b8bb1d9bc38934241596afe.png][]

**您的点赞和在看是我创作的最大动力，感谢支持**

![40fce8e1fe49ef16a8b374fff1864e82.png][]

![9382cb3d0323859368270f7b1d06d4bd.png][]

![b76e6c2303603f22d7c07774f899d17b.png][]

**公众号：wacky的碎碎念**

**知乎：wacky**

[396884fd2784e3566998f712d7738605.png]: /images/20220828/783822aff64d40fca3dee3f89404f535.png
[071356e428a9e6cb94d21ad009b0be65.png]: /images/20220828/ad1d701c30de4402a1a2cf7cdead8749.png
[7cc6259e637dd56b4a692e48fb3d6c38.png]: /images/20220828/e8323c2cb9b8478dae8eec3ec83e0f6e.png
[35e70a153f58921809fdf3acaaa25283.png]: /images/20220828/a9f8d6137ea347d79d9943d6b6943983.png
[a7ced7a5810e983453ce365e1a6945c9.png]: /images/20220828/a4b5abb3d62f493c8f6d393e98f015d4.png
[1856e3b6850c0bc1b894274dcaf5f284.png]: /images/20220828/eb0d5d0ceae8471baffdd82a7f6abff9.png
[ca98e92e9067e501849d54468afa942c.png]: /images/20220828/bda97fba62254d808ed360ebdf347067.png
[c3b97ea9c596fe95fa17873502e02201.png]: /images/20220828/98a7fb97cbdb44c183a4ea77a8cffdf7.png
[8662cf925396e6f3ad4d919a3fb8479c.png]: /images/20220828/3a9e93d27d6f47a8998c4916bf5ceb3a.png
[2a8df7669db0fd3c70fb6c4e9af2dad7.png]: /images/20220828/0f66690a7db84f94af203f6628740379.png
[398eafaed30865e75a3b69f973dbefc0.png]: /images/20220828/0ba96549afea415bbbf023e54b54465d.png
[89aac2cf693af46b90e7734cdc6e8139.png]: /images/20220828/80622f143e4544a19887f23c49cb57ea.png
[11718effe6c44045022fa4eead6405df.png]: /images/20220828/da38428b51e24621abeb0eb1c78c19d4.png
[26a1e0741d91b744f55a0883a8cd36ef.png]: /images/20220828/c17ffe7deb9b4023ab4e8a8f59a31dcc.png
[28c33596d6e2d7ce910665be5d5d6932.png]: /images/20220828/cee556a76b1540aaa9cbc107bb052e04.png
[da88bb9b2d455416ec06e585e723bd17.png]: /images/20220828/52fd075beb1e4b98a7e6a3865271eae5.png
[76362648af5d09b8f9c23533ce68e1d2.png]: /images/20220828/e6fcfac408ae46eea7c092363cb322fc.png
[a4bed193f05bdde317e436f22b4f8d85.png]: /images/20220828/aa5b6a93b9ee419f935d7a53873fff23.png
[ade659f07763554b4d843f5a87f5dbe2.png]: /images/20220828/bb5159dd10bd48ea9cd6d93c70369490.png
[14efa35662af5eb6415690b92a1dc0b9.png]: /images/20220828/ca94c8ca63f645eab414f68e802275af.png
[c82a78e6190b22c83e46ba9f21a033a1.png]: /images/20220828/77aa75c8839c4e3183787083dab8f136.png
[32031fa0d75a9dbfd3a36822743da314.png]: /images/20220828/a386b8606ae54dfea5f6e00182a081e3.png
[ca6de2a1c1057969efcbdd5ec2fbf581.png]: /images/20220828/325cddd109644a0db37f0707b95dc36a.png
[030b1c401da9d69cb195028184fbef8a.png]: /images/20220828/45279bce1cf94a4ca13dc89a15aeb316.png
[10cd4dd06fab34238c0d395c30e84825.png]: /images/20220828/309fca2213a24eb8a6f42638e0b69179.png
[cd0095331b8bb1d9bc38934241596afe.png]: /images/20220828/0e12a96c857e4fe385eb486a3cafd83e.png
[40fce8e1fe49ef16a8b374fff1864e82.png]: /images/20220828/9f5cd1f0063042d5b841b0f76012dc7a.png
[9382cb3d0323859368270f7b1d06d4bd.png]: /images/20220828/b2223eb7dea849678d57db971f847dd9.png
[b76e6c2303603f22d7c07774f899d17b.png]: /images/20220828/216b969e8888423fba374ec0b3942c86.png