.Net并行编程高级教程（二）-- 任务并行

前面一篇提到例子都是数据并行，但这并不是并行化的唯一形式，在.Net4之前，必须要创建多个线程或者线程池来利用多核技术。现在只需要使用新的Task实例就可以通过更简单的代码解决命令式任务并行问题。

1.Task及它的生命周期

一个Task表示一个异步操作，它的创建和执行都是独立的，因此可以对相关操作的执行拥有完全的控制权；当有很多异步操作作为Task实例加载的时候，为了充分利用运行时的逻辑内核，任务调度器会尝试并行的运行这些任务，当然任务都是有额外的开销，虽然要小于添加线程的开销；

对Task实例的生命周期的理解非常重要。一个Task的执行，取决于底层硬件和运行时可用的资源。因此Task实例的状态会不断的发生改变，而一个Task实例只会完成其生命周期一次，当Task到达它三种可能的最终状态只后，它就回不去之前的任何状态了。

Task实例有三种可能的初始状态，Created是Task构造函数创建实例的初始状态，WaitForActivation是子任务依赖其他任务完成后等待调度的初始状态，WaitingToRun是通过TaskFactory.StartNew所创建任务的初始状态。表示正在等待调度器挑选自己并运行。

任务开始执行，状态就变为TaskStatus.Runing。如果还有子任务，主任务的状态会转变到TaskStatus.WaitingForChildrenToComplete状态。并最终到达，Canceled，Faulted和RunToCompletion 三种状态。从字面理解就是任务取消，出错和完成。

2.任务并行。

前面我们通过Parallel.Invoke来并行加载方法。

  Parallel.Invoke(GenerateAESKeys,GenerateMD5Has);

通过Task实例也能完成同样的工作。

      var t1 = new Task(GenerateAESKeys);
      var t2 = new Task(GenerateMD5Has);
      t1.Start();
      t2.Start();
      Task.WaitAll(t1, t2);

Start方法对委托进行初始化。 WaitAll方法会等待两个任务的执行完成之后再往下走。

可以看见，执行过程中，任务的状态不断的发生变化。可以给WaitFor方法加上毫秒数。看任务是否会在指定时间内完成。

  if(!Task.WaitAll(new[]{t1,t2},3000))
            {
                Console.WriteLine("任务执行超过3秒");
                Console.WriteLine(t1.Status.ToString());
                Console.WriteLine(t2.Status.ToString());
 }

即使到达了指定时间，任务还是继续执行。

同样任务本身也是可以等待

  if (t1.Wait(3000))
   {
    Console.WriteLine("任务t1执行超过3秒");
    Console.WriteLine(t1.Status.ToString());
    }

3.通过取消标记取消任务。

可以通过CancellationToken 来中断任务的执行。这需要再委托中添加一些代码，创建可以取消的任务。

  private static void GenerateMD5HasCancel(CancellationToken ct)
        {
            ct.ThrowIfCancellationRequested();
            var sw = Stopwatch.StartNew();
            for (int i = 0; i < NUM_AES_KEYS; i++)
            {
                var md5M = MD5.Create();
                byte[] data = Encoding.Unicode.GetBytes(Environment.UserName + i);
                byte[] result = md5M.ComputeHash(data);
                string hexString = ConverToHexString(result);
                ct.ThrowIfCancellationRequested();
            }
            Console.WriteLine("MD5:" + sw.Elapsed.ToString());
        }

            Console.WriteLine("任务开始...");
            var cts = new CancellationTokenSource();
            var ct = cts.Token;
            var sw = Stopwatch.StartNew();
            var t1 = Task.Factory.StartNew(() => GenerateMD5HasCancel(ct), ct);
            var t2 = Task.Factory.StartNew(() => GenerateAESKeysCancel(ct), ct);

            //1秒后取消任务
            Thread.Sleep(1000);

            cts.Cancel();

            try
            {
                if (!Task.WaitAll(new[] { t1,t2}, 1000))
                {
                    Console.WriteLine("任务执行超过1秒");
                    Console.WriteLine(t1.Status.ToString());
                }
            }
            catch (AggregateException ex)
            {
                foreach (var exc in ex.InnerExceptions)
                {
                    Console.WriteLine(exc.ToString());
                }
                if (t1.IsCanceled)
                {
                    Console.WriteLine("任务1取消了...");
                }
                Console.WriteLine(sw.Elapsed.ToString());
                Console.WriteLine("结束");
            }

CancellationTokenSource能够初始化取消的请求，而CancellationToken能将这些请求传递给异步操作；上面的方法通过Task类的Factory方法得到一个TaskFactory实例，相比Task直接创建任务，这个实例可以使用更多的功能。而StartNew 等价于用Task构造函数创建一个Task并调用Start方法执行。

直接在Debug下面运行，程序会在异常的地方中断。直接运行exe得到上面的结果。

ThrowIfCancellationRequested在每一次循环迭代都会执行，内部是判断任务取消后抛出一个OperationCanceledException的异常，来避免运行不必要的循环和其他命令。

  public void ThrowIfCancellationRequested()
        {
            if (IsCancellationRequested)
                ThrowOperationCanceledException();
        }
 private void ThrowOperationCanceledException()
        {
            throw new OperationCanceledException(Environment.GetResourceString("OperationCanceled"), this);
        }

如果有代码正在等待取消，还会自动抛出一个TaskCanceledException异常。会包含在AggregateException中。

4.处理异常。

修改上面的方法抛出一个异常。

 private static void GenerateMD5HasCancel(CancellationToken ct)
        {
            ct.ThrowIfCancellationRequested();
             //....if (sw.Elapsed.TotalSeconds > 0.5)
                {
                    throw new TimeoutException("超时异常0.5秒");
                }
                ct.ThrowIfCancellationRequested();
            }
            Console.WriteLine("MD5:" + sw.Elapsed.ToString());
        }

修改Main方法的Catch。

                if (t1.IsFaulted)
                {
                    foreach (var exc in ex.InnerExceptions)
                    {
                        Console.WriteLine(exc.ToString());
                    }
                    Console.WriteLine(t1.Status.ToString());
                }

执行结果：

当出现异常时，任务的状态就会转换为Faulted。并不会影响另外一个任务的执行。

5.从任务返回值。

前面的方法都是没有返回值，得到任务的返回值需要使用Task<TResult>实例，TResult要替换为返回的类型。修改AES方法。返回一个指定前缀的List<String>

GenerateMD5HasList：

 private static List<string> GenerateMD5HasList(CancellationToken ct, char prefix)
        {
            ct.ThrowIfCancellationRequested();
            var sw = Stopwatch.StartNew();
            var list = new List<string>();
            for (int i = 0; i < NUM_AES_KEYS; i++)
            {
                var md5M = MD5.Create();
                byte[] data = Encoding.Unicode.GetBytes(Environment.UserName + i);
                byte[] result = md5M.ComputeHash(data);
                string hexString = ConverToHexString(result);
                if (hexString[0] == prefix)
                {
                    list.Add(hexString);
                }
                ct.ThrowIfCancellationRequested();
            }
            Console.WriteLine("MD5:" + sw.Elapsed);
            return list;
        }

  Console.WriteLine("任务开始...");
            var cts = new CancellationTokenSource();
            var ct = cts.Token;

            var t1 = Task.Factory.StartNew(() => GenerateMD5HasList(ct,'A'), ct);
            //等待执行完成
            t1.Wait();

            var res = t1.Result;
            for (int i = 0; i < res.Count; i++)
            {
                Console.WriteLine(res[i]);
            }

而这时的StartNew创建的类型是Task<List<String>>.StartNew源码如下：

  public Task<TResult> StartNew<TResult>(Func<TResult> function)
        {
            StackCrawlMark stackMark = StackCrawlMark.LookForMyCaller;
            Task currTask = Task.InternalCurrent;
            return Task<TResult>.StartNew(currTask, function, m_defaultCancellationToken,
                m_defaultCreationOptions, InternalTaskOptions.None, GetDefaultScheduler(currTask), ref stackMark);
        }

我们还可以将任务串联起来。比如上面的代码。避免写太多代码来检查前面一个任务是否完成。而ContinueWith这个方法可以用来串联多个任务。

            var t1 = Task.Factory.StartNew(() => GenerateMD5HasList(ct,'A'), ct);
            var t2 = t1.ContinueWith((t) =>
            {
                for (int i = 0; i < t.Result.Count; i++)
                {
                    Console.WriteLine(t.Result[i]);
                                    }
            });
            //可以等待t2执行完成
            t2.Wait();

如果需要设置继续的条件，就要用到TaskContinuationOptions，它是一个枚举类型，用来控制另一个任务执行和调度的可选行为

 var t2 = t1.ContinueWith((t) => OtherMethod(t), TaskContinuationOptions.NotOnCanceled);

NotOnCanceled，就是表示上个任务不取消的情况下执行。例如还有NotOnFaulted.如果上一个任务抛出了异常，那么就不会执行。这里就不一一例举了。

小结：这一章主要是将了基于任务的编程模型，学习了任务的创建、状态，以及如何取消、捕获异常和获得返回值，并能串行任务，任务的延续不仅能简化代码，而且还能帮助调度器对很快就要执行的任务采取正确的操作。下一章学习并发集合。

http://www.cnblogs.com/stoneniqiu/p/4873544.html