纤程 java_协程和纤程的区别是什么？

浅浅的花香味﹌ 2022-11-02 13:13 256阅读 0赞

在我接触到的知识点中，这两者没有特别大的差别。或许只是两个不同的名词而已。

首先， 纤程(Fiber)这个名词，我知道的，只出现在Windows上。跟thread一样，拥有栈，寄存器现场等等(不确定是否拥有TLS数据)，只不过其调度由用户进行。

而最开始的stackfull协程，本质上跟微软的Fiber是一样的。只不过，寄存器现场的保存和回复，一般不是由操作系统的API来提供而已。保存和恢复代码百花齐放，我至少知道五种以上知名的代码。除了基本的栈空间，寄存器现场，其他数据就可有可无了。很多协程是肯定不支持TLS数据的，所以，在使用某些函数上就要针对协程的特性来决定能不能用。或者协程库妥协为单线程执行。

后来呢，stackcopy，stackless的协程也出来了，就扩大了协程的概念。特别是stackless协程，除了”协作“这个概念外，其实现手段，完全不同于stackfull协程。不过，其功能，还是满足”过程“这个概念，故大家也没有额外去给stackless协程起一个怪异的名字。

所以，以现在的概念来看，Fiber只是stackfull协程的一个实现方式，还是属于协程。而协程的内涵已经被扩大，不仅止于老的stackfull协程。

另外说一句，由于go实现了一个调度更加复杂，深入的协程，并且跟go语言其他部分配合良好。所以，很多go粉就把goroutine跟coroutine严格区分开来。这种做法是严重错误的。M:N调度模型的协程，在C/C++世界里一抓一大把。但是，由于协程不是C/C++的一等公民，channel这样的同步手段，更是一个上不得台面的东西。所以，类似goroutine这种实现的协程，在C/C++世界里，一直没有什么知名度。

如果要想研究清楚协程这个概念，还是把goroutine当作协程的一个实现来看比较好。

@圆胖肿 的区分方式，是完全错误的。看得出 @圆胖肿 根本就没有接触过Fiber，没有使用甚至连Fiber的文档都没有看过。

看了 @廖雪峰的这个帖子协程的内容后，又觉得 @廖雪峰 把协程的概念压缩了。

时代在变化，协程的内涵也在发生变化。协程最重要的两个特征是：协作和过程。其他的特征仅仅是实现手段的不同而已。

我枚举下我所知道的协程的实现手段：

一、stack-twine：在古老的，DOS都如日中天的时代，没有啥线程概念，更没有多个栈的能力。这个时代协程，是通过在栈里规划出一片额外的空间来执行协程。保证压栈退栈不破坏这片栈空间就行。多个协程就会规划出多个空间，然后在这些栈空间里跳转来跳转去的执行代码，就像相互缠绕着一样。

二、stackfull：栈缠绕毕竟太过于原始粗暴，限制很多，而且危险。所以，在有了多线程能力后，分配一个独立的栈来运行协程再好不过了。除了空间需求增大外，相对于stack-twine几乎没有任何害处。

三、stackcopy：stackfull被滥用后，或者说被用滥后，其额外空间的消耗就不是一个可以忽视的因素的。动辄上万甚至十万个协程，这内存开销是非常非常大的。在一些时间开销不是那么紧要地方，可以通过把当前栈内容拷贝出去的方式来实现协程切换。因为这种场合下，大部分协程使用的栈空间并不大，故可以显著的节省内存开销。但是呢，在有指针的语言里，这种行为很不安全。限制颇多，故没有流行开来。

四、stackless：这是一个新兴的实现方案。本质上其实就是一个状态机。但通常由语言提供语法，编译器去实现状态机。拥有内存开销小，切换快的几乎所有优点，是一个“现代”语言都想拥有的功能。目前最成熟的实现是C\#的await/async。C++/Java/Rust等语言也在谋划加入(或者已经成功加入)。