摘要：現(xiàn)在我們來談一些黑科技，希望能給大家一些啟發(fā)和幫助。這里針對的情況是，兩次連接之間的時(shí)間段是斷開的情況。而在每一次退出執(zhí)行的時(shí)候都要保存一下，除非已經(jīng)執(zhí)行結(jié)束了，或者執(zhí)行出現(xiàn)了錯誤也相當(dāng)于執(zhí)行結(jié)束，才把它削除。

現(xiàn)在我們來談一些（黑）科技，希望能給大家一些啟發(fā)和幫助。現(xiàn)在我有一個策略文件addition.policy：

load!: addition_delegate.py

await: first_string -> s1
apply: concat_with_time(s1) -> s1

await: second_string -> s2
apply: concat_with_time(s2) -> s2

await: return_result
apply: join_with_linefeed(s1, s2) -> result
yield: result

還有一個委托函數(shù)的Python源碼addition_delegate.py：

# addition_delegate.py

def concat_with_time(s):
    import time

    return str(s) + time.ctime()

def join_with_linefeed(s1, s2):
    return "%s
%s
" % (str(s1), str(s2))

這是什么語法？但是我們大抵都能明白它想干什么：先后獲取兩個字符串，分別將它們和時(shí)間拼接在一起，然后在獲取return_result后回傳結(jié)果。然后呢？然后我們有一些Web接口，簡單地用web.py編寫main.py：

#!/usr/bin/env python

import web
from policy import resume

class first_str_view:
    def GET(self):
        resume("addition.policy", "first_str",
            value = web.input()["value"], anew = True)
        return ""

class second_str_view:
    def GET(self):
        resume("addition.policy", "second_str",
            value = web.input()["value"])
        return ""

class return_result_view:
    def GET(self):
        return resume("addition.policy", "return_result")

urls = [
    "/first_str/?", first_str_view,
    "/second_str/?", second_str_view,
    "/return_result/?", return_result_view,
]

if __name__ == "__main__":
    app = web.application(urls, globals())
    app.run()

就算沒用過web.py的人都大抵能明白這個結(jié)構(gòu)是什么意思了，除了那個resume有點(diǎn)不知所謂之外，但是結(jié)合上面的那個addition.policy，好像看上去也挺合理，大概就是從acquire處斷開，然后得到輸入后繼續(xù)執(zhí)行那個policy。如你所料：

$ ./main.py 9999 &
[1] 19121
http://0.0.0.0:9999/
$ curl "http://localhost:9999/first_str?value=First+Record+"
$ curl "http://localhost:9999/second_str?value=Second+Record+"
$ curl "http://localhost:9999/return_result"
First Record Sat Sep  5 15:59:25 2015
Second Record Sat Sep  5 15:59:28 2015

這樣可以解決很多問題。比如在用戶更變郵箱的時(shí)候，用戶先提交新郵箱，然后還要等等他什么時(shí)候去郵箱里收驗(yàn)證郵件，這樣更變郵箱的操作才完成。還有一些更麻煩的操作，整個流程下來，要收幾次輸入，然后才能真正地輸入成功存進(jìn)數(shù)據(jù)庫。舉個例子，你可以簡單地寫一個策略文件，讓它控制整個流程，接口只需要跟用戶打交道就好了：

load!: email_service
assert!: is_authenticated

await: modify_email -> address
apply: send_verf_email(address)

await: verf_email_recv
apply: save_current_user_info(address)

不得不說這種模型有點(diǎn)像是協(xié)程（coroutine），但是不是用它來實(shí)現(xiàn)的，畢竟：一次請求完成了整個線程大大小小都結(jié)束了哪里還有協(xié)程啊對吧。這也不是WebSocket能解決的：比如收驗(yàn)證郵件，都在第二個地方連接了，哪里還有Socket可言。這里針對的情況是，兩次連接之間的時(shí)間段是斷開的情況。（如果非要用設(shè)計(jì)模式來說，我覺得是一個策略+狀態(tài)+解釋器的組合，然而我并不喜歡被設(shè)計(jì)模式拘束）

主要是在模擬恢復(fù)執(zhí)行的時(shí)候能較好地恢復(fù)原有上下文，在Python有exec的情況下，想辦法生成可配合執(zhí)行Python代碼是一個不錯的選擇。恢復(fù)執(zhí)行有這些步驟：

解析策略文件

從持久存儲設(shè)備中反序列化上下文

找到斷點(diǎn)應(yīng)該在哪里，按照這個位置，執(zhí)行一些每次都要執(zhí)行的語句（標(biāo) !號）

一直執(zhí)行到下一個await點(diǎn)，退出執(zhí)行

先看一下resume()函數(shù)的一個實(shí)現(xiàn)是什么樣子的：

from policy import policy

import pickle
import os

def resume(pf, await_tag, value = None, anew = False):
    c = context.start_new() if anew else 
        pickle.load(file("context.dump", "rb"))
    p = policy.load(pf)

    p.load_context(c)
    p.provide(await_tag, value)

    ret = None
    
    try:
        ret = p.resume()
    finally:
        os.remove("context.dump")

    if p.is_end():
        os.remove("context.dump")

    return ret

這里的context和policy是我對這個模型的一個實(shí)現(xiàn)，可以看出這兩者是分開保存的，Policy幾乎就是一個常量了，硬編碼在一個文件里。而Context在每一次退出執(zhí)行的時(shí)候都要保存一下，除非已經(jīng)執(zhí)行結(jié)束了，或者執(zhí)行出現(xiàn)了錯誤（也相當(dāng)于執(zhí)行結(jié)束），才把它削除。

Policy-Control已經(jīng)推上了Github，代碼很短，歡迎各位圍觀：https://github.com/Shihira/policy-control

附：語法清單

digit  := "0" | ... | "9"
underscore := "_"

symbol ::=
    letter | underscore
    { letter | underscore | digit }

command ::= symbol
variable ::= symbol

string ::=
    """ {
    [ 0x00 | ... | 0x21 | 0x23 | ... | 0x7f | "
" | "
" | """ | "" ]
    } """

value ::= string | variable

parameter ::= value
parameter-list ::=
    "("
    [ parameter-list "," parameter | parameter ]
    ")"

argument ::= symbol [ parameter-list ]
argument-list ::= argument-list argument | argument

command-line ::=
    command [ "!" ] ":"
    argument-list
    [ "->" variable ]

policy ::=
    policy 
 command-line | command-line