寻求建议，关于异步编程

codechurch

回复 20# yulihua49

我担心这样做的性能，因为这样你肯定要用到堆来分配，堆本身是可以有线程切换的，这样可能导致整个机制的性能降低很多。

除此之外，还有栈上数据复制，也是耗时操作。





   

yulihua49

codechurch 发表于 2014-12-17 16:47
回复 20# yulihua49

我担心这样做的性能，因为这样你肯定要用到堆来分配，堆本身是可以有线程切换的，这 ...

一般情况，进入不了IO未完成状态，我正想办法如何强制它进入这个状态呢。
内存分配，有个tcmalloc，可以改善。
memcpy，取决于数据量，一般情况，也就是几层调用，数据不会太多。
这些CPU的消耗量，可以通过多核多线程稀释掉。作为交易中间件，交易处理是大头，框架里的这些开销并不重要。
能否帮我看看，我那个栈帧，定的对不对，有关的边界处理，有否疏漏。

codechurch

回复 22# yulihua49

我突然想到一个严重的问题。

栈上的指针以及指向此栈的指针怎么办？

如果另外malloc内存，指针都变wild了。




   

hanxin83

codechurch 发表于 2014-12-18 10:32
回复 22# yulihua49

我突然想到一个严重的问题。

你多虑了, context切换回来时, 肯定要把栈拷贝回来的.
或者说, 你在生成协程进行处理时, 就得把栈指针切到他自己malloc出的那块内存里.

codechurch

回复 24# hanxin83


不对。

假设原来有指针指向 0x04001 ， 而 0x04001在你的栈 0x0400里，这个栈是你分配的堆块。

切换之后，你分配到新的堆块 0x0800 ，而原来的那个指针还指向 0x04001 , 此时会崩溃。

关键在于，你无法改变其他对象对此栈的引用。


   

windoze

回复 23# codechurch

这不是个问题，所有创建的桟都会在某个时刻彻底清空然后销毁。

但C++的异常会是个问题，如果这么用，一旦在某个点上有一个C++函数抛出了异常，unwind过程会一直持续到桟清空，如果一直到这里异常还没有被捕获，unwind就会持续到这个桟之外，然后程序就挂了。
要避免这种情况，你必须让每个context的底端都有一个catch(...)的函数，在这个函数之外不能再抛出任何异常，要不然这个程序里就不能直接或间接的调用任何C++程序，Fiberized.IO的fiber入口点函数就干了这事。

老实说C++的异常真不是什么好东西，不过这么多年都这样，也只能这样了……

windoze

回复 25# codechurch

不会崩溃的，尽管你切换到其它stack去了，但4001那块stack不是还在那儿吗。

codechurch

回复 26# windoze


类似于这样的代码，怎么处理？


int  a;

my_scanf("%d", &a);   

-------

假如在my_scanf函数里fiber挂起，栈被回收。fiber再运行后，a就是a'了，地址不一样了。

codechurch

回复 27# windoze

4001已经分配给其他fiber使用了，肯定会崩溃的。
   

codechurch

所以，我认为，在原生语言及直接能操作内存的语言（而对内存没有额外的锁定机制的（C#就有锁定机制，锁定内存后，可以屏蔽GC的效果）），其栈都不可能在yield时被回收，其上数据不能拷贝，因为拷贝后就让指针向它的指针失去意义了。（原生语言没有类型反射机制，也不可能知道谁指向这个栈了。） 除非你再次分配的地址跟原来是一样的。当然这也是一种选择，windows支持预留地址，linux我不知道。