epoll + 非阻塞I/O 怎么改进才能变成 多线程 + epoll + 非阻塞I/O

yulihua49

windoze 发表于 2014-11-07 11:53
回复 29# yulihua49

所以我才不用setjmp/longjmp/ucontext……

就是那点汇编码的程序？

windoze

回复 31# yulihua49

是啊，你看boost源代码里libs/context/src/asm下面，每个平台就那么几十行……

cobras

纤程fiber的概念在WIN32中早就使用了。所以说跨平台不是问题。

windoze

回复 33# cobras

就原理来说跨平台当然不是问题，但就那点汇编码，想要给每个平台都写对还真不容易，光是那几个浮点寄存器，各种规范就烦得要死。
详情参见这里

yulihua49

windoze 发表于 2014-11-08 22:13
回复 33# cobras

就原理来说跨平台当然不是问题，但就那点汇编码，想要给每个平台都写对还真不容易，光 ...

再问一句，不管什么方法，交换context时，原来属于各线程的堆栈帧，大家串着用，这有问题吗？

windoze

回复 35# yulihua49

如果你能做一些保证，那么没有问题
1、每个coroutine都有自己独立的stack，地址空间互相不能重叠
2、每个coroutine确保自己不会访问已分配范围之外的stack
3、每个coroutine不使用/不依赖于TLS，因为coroutine可能被切换到其它thread
4、任一时刻，一个coroutine只能在一个thread中执行，如果你在两个thread里同时执行一个coroutine，那么你懂的……

如果是C++程序，你还要保证在coroutine结束时正确的清理coroutine的stack上所有依然活着的对象。

yulihua49

windoze 发表于 2014-11-10 17:23
回复 35# yulihua49

如果你能做一些保证，那么没有问题

TLS是啥？

yulihua49

__BlueGuy_ 发表于 2014-11-11 12:33
线程本地存储,俺都知道?

多谢。那些条件我会满足，也要求应用插件满足。
啊！有问题。一个coroutine会有很多线程同时运行，但是一个context只有1个线程持有，每个context里边的栈帧不会重叠。
每个线程，在coroutine的流程的开始，都会用一个特定的context处理栈帧。这样，coroutine+栈帧形成特定的环境，只属于一个线程，应该可以了吧？
那个栈帧，当初不一定是哪个线程的，但是任何时刻只有一个线程持有它。可以保证任何一个相关的线程都不会中途退出。即，我们不使用动态线程池。

windoze

回复 39# yulihua49

Fiberized.IO就是一个M:N green thread实现，除了一部分调度工作是在用户态做的之外和标准线程没有什么区别，只是用的时候有一些注意事项而已。

我们一般说"coroutine"这个词的时候，指的不是那一段代码，而是指那段代码加上一个stack frame，所以不存在“一个coroutine会有很多线程同时运行”这种情况，你只能说“一段代码会有很多线程同时运行”。

coroutine和thread如果是1:1，那么就是标准的多线程，此时coroutine的stack frame就是thread的stack frame。
coroutine和thread如果是M:1，那么就是单线程并发，每个coroutine有一个自己独立的stack，靠用户态调度切来切去，早期的Java就是这个样子（当然后来改成1:1直到现在），Lua的coroutine也是这个样子，其实Node.JS也差不多是这个样子（它里面其实没有维护每个“coroutine”的stack，而是用callback-continuation串起来的）。
coroutine和thread如果是M:N，Fiberized.IO就是这样的，每个coroutine有一个自己独立的stack，靠用户态调度和内核态调度一起配合在一堆thread上切来切去。这种模式和Solaris下的thread实现、曾经引入FreeBSD的KSE以及曾经引入Linux的NGPT（这个后来被NPTL取代了）有点类似，都是把blocking操作变成“异步”+“切换context”+“completion-callback唤.醒”这种模式。


PS. 谁能给我解释下为神马“唤.醒”居然是敏感词？