并行开发 7.简要分析任务与线程池
其实说到上一篇,我们要说的task的知识也说的差不多了,这一篇我们开始站在理论上了解下“线程池”和“任务”之间的关系,不管是
说线程还是任务,我们都不可避免的要讨论下线程池,然而在.net 4.0以后,线程池引擎考虑了未来的扩展性,已经充分利用多核微处理器
架构,只要在可能的情况下,我们应该尽量使用task,而不是线程池。
首先看一下task的结构
从图中我们可以看出Task.Factory.StartNew()貌似等同于用ThreadPool.QueueUserWorkItem()创建,但是请注意,我是用TPL的形式
使用线程池,要知道task出现以后,一直标榜着以更少的工作量,更低的性能消耗来PK原始线程。
这里简要的分析下CLR线程池,其实线程池中有一个叫做“全局队列”的概念,每一次我们使用QueueUserWorkItem的使用都会产生一个
“工作项”,然后“工作项”进入“全局队列”进行排队,最后线程池中的的工作线程以FIFO的形式取出,效果图类似如下:
这里要值得一提的是,在.net 4.0之后“全局队列”采用了无锁算法,相比以前版本锁定“全局队列”带来的性能瓶颈有了很大的改观。那么任务
委托的线程池不光有“全局队列”,而且每一个工作线程都有”局部队列“,效果图如下
我们的第一反应肯定就是“局部队列“有什么好处,可以考虑这样的情况,当我们new一个task的时候“工作项”就会进去”全局队列”,如果我们的
task执行的非常快,那么“全局队列“就会FIFO的非常频繁,那么有什么办法缓解呢?当我们的task在嵌套的场景下,“局部队列”就要产生效果了,
比如我们一个task里面有3个task,那么这3个task就会存在于“局部队列”中。
1 class Program 2 { 3 static void Main(string[] args) 4 { 5 var task = Task.Factory.StartNew(() => 6 { 7 var task1 = Task.Factory.StartNew(Run1); 8 var task2 = Task.Factory.StartNew(Run2); 9 var task3 = Task.Factory.StartNew(Run3); 10 11 Task.WaitAll(new Task[] { task1, task2, task3 }); 12 }); 13 14 Console.Read(); 15 } 16 17 public static void Run1() { Thread.Sleep(100000); } 18 19 public static void Run2() { Thread.Sleep(100000); } 20 21 public static void Run3() { Thread.Sleep(100000); } 22 }
从图中可以看到,其实“局部队列“起到了一个分流的作用,也叫做”任务内联化“,”局部队列“采用的是”LIFO"的形式,其实这样的形式也是
为了提升性能之用,因为Run3送到“局部队列”中时可能还存在CPU的高速缓存中,所以从“局部队列”中取出来相对来说更快一点,最后的效
果就是Run3要理论上优先于Run2,Run1先执行。
现在我们再来考虑这样一种情况,比如有两个人,一个人干完了分配给自己的所有活,而另一个人却还有很多的活,从人情上说,闲的人应
该接手点忙的人的活,同样,对应图中“线程2“跑完了“局部队列”中的所有任务,并且同时发现”全局队列“中已经没有可以跑的”任务“了,然而
“线程1”里面还有Run1,Run2,Run3,那么此时“线程2”采用“FIFO”的形式窃取“线程1”里面的任务。
从上面种种情况我们看到,这些分流和负载都是普通ThreadPool.QueueUserWorkItem所不能办到的,所以说在.net 4.0之后,我们
尽可能的使用TPL,抛弃ThreadPool。