摘要：很長一段時(shí)間，我都很天真的認(rèn)為，特別是以為代表的庫，才是協(xié)程的樂土。里是沒法實(shí)現(xiàn)協(xié)程，更別說實(shí)現(xiàn)這樣可以的協(xié)程的。咱真的是太井底之蛙了。不完全列表如下還有一個(gè)據(jù)作者說是最的這些協(xié)程庫的實(shí)現(xiàn)方式都是類似的，都是通過字節(jié)碼生成達(dá)到的目的。

很長一段時(shí)間，我都很天真的認(rèn)為python，特別是以gevent為代表的庫，才是協(xié)程的樂土。Java里是沒法實(shí)現(xiàn)協(xié)程，更別說實(shí)現(xiàn)stackless python這樣可以pickle的協(xié)程的。Bong！咱真的是太井底之蛙了。
Java不但可以實(shí)現(xiàn)協(xié)程，而且還有很多個(gè)實(shí)現(xiàn)版本。不完全列表如下：

PicoThreads
http://research.microsoft.com/en-us/um/people/abegel/cs262.pdf

RIFE
http://rifers.org/wiki/display/RIFE/Web%20continuations.html

Javaflow
http://commons.apache.org/sandbox/commons-javaflow/

Matthias Mann"s
http://hg.l33tlabs.org/Continuations/
http://docs.paralleluniverse.co/quasar/
http://indiespot.net/files/projects/continuationslib/

還有一個(gè)據(jù)（作者）說是最NB的kilim （https://github.com/kilim/kilim）
這些協(xié)程庫的實(shí)現(xiàn)方式都是類似的，都是通過jvm字節(jié)碼生成達(dá)到pause/resume的目的。在這篇文章中，RIFE的作者很清楚地講明白了其實(shí)現(xiàn)方式：
http://www.artima.com/lejava/articles/continuations.html

  
Geert Bevin: At the byte-code level, when the method pops variables

  from the stack, exactly the same operation will be performed on the

  parallel stack. We just add a piece of byte code that mimics what goes

  on exactly. Then, when a continuation has to be resumed, there"s a bit

  of added byte-code that interacts with the state of the stack, and

  puts all the variables in the correct location so that they are

  present when the executing thread passes that point. At this point,

  it"s as if nothing happened—execution resumed as if nothing happened.

  
The second problem is how to arrive at the point to resume a

  continuation. You want to skip over code that you don"t want to

  execute. That"s easily done in byte code, because you can maintain a

  tableswitch in byte code that allows you to jump to a particular

  location. You can create a unique label for each continuation point,

  jump to that label in the switch table, and then you know exactly what

  the stack for that label of variables was. You can restore that stack,

  and continue executing from that point on.

kiliam的作者用代碼解釋得更加清楚（http://www.malhar.net/sriram/kilim/thread_of_ones_own.pdf）：

// original
void a() throws Pasuable {
    x = ...
    b(); // b is pausable
    print (x);
}

經(jīng)過代碼增強(qiáng)之后是

// transformed code
void a(Fiber f) {
    switch (f.pc) { // prelude
        case 0: goto START;
        case 1: goto CALL_B}
    START:
    x = ...
    CALL_B: // pre_call
    f.down()
    b(f);
    f.up() // post-call
    switch (f.status) {
        case NOT_PAUSING_NO_STATE:
            goto RESUME
        case NOT_PAUSING_HAS_STATE:
            restore state
            goto RESUME
        case PAUSING_NO_STATE :
            capture state, return
        case PAUSING_HAS_STATE:
            return
    }
    RESUME:
    print (x);
}

因?yàn)檫@些框架都是以java對(duì)象的方式來存儲(chǔ)call stack state和programe counter的，所以要做到序列化存儲(chǔ)一個(gè)執(zhí)行中的狀態(tài)（continuation）一點(diǎn)都不困難。RIFE在其web框架就狠狠地利用了clonable的狀態(tài)來實(shí)現(xiàn)復(fù)雜的wizard（回到任意時(shí)刻地過去重新執(zhí)行之類的）。
看過了這些實(shí)現(xiàn)之后，我不禁覺得持久化一個(gè)continuation好像沒啥了不起的，為什么會(huì)是stackless python的pypy兩家的獨(dú)門絕技呢？基于CPython的兩個(gè)協(xié)程實(shí)現(xiàn)，一個(gè)greenlet一個(gè)fibers是否可以實(shí)現(xiàn)狀態(tài)的持久化？狀態(tài)持久化能不能不用更高效的serializer來實(shí)現(xiàn)呢？