當(dāng)然它們是很不一樣的東西妥泉。
在上一篇文章中我也表述對(duì)這種的喜愛掐禁。
Erlang
Erlang大概是2012年接觸的。然后就被震撼了:
- 簡(jiǎn)單的語(yǔ)法
- 隨意的spawn erlang process
- 基于消息傳遞數(shù)據(jù)
- 模式匹配
- 遞歸
- 優(yōu)雅的二進(jìn)制處理
- 強(qiáng)大的OTP框架
- 分布式支持
- 自帶NOSQL
在學(xué)習(xí)了Erlang后,總是想著用Erlang搞點(diǎn)事情出來(lái)讲竿,
于是先后有了:
- make-proxy 你懂的
- code-battle 當(dāng)時(shí)Erlang練手的一個(gè)個(gè)人項(xiàng)目
在不斷的學(xué)習(xí)使用 Erlang, Gevent的過(guò)程中拟杉,我也有了自己的感受和看法庄涡,我就依次講講幾個(gè)印象深刻的地方:
簡(jiǎn)單的語(yǔ)法
Erlang沒(méi)有多少語(yǔ)法糖,直接了當(dāng)搬设,看別人代碼很容易穴店。
(特別是基于OTP的項(xiàng)目)
雖然Python基礎(chǔ)語(yǔ)法也很簡(jiǎn)單,并且哲學(xué)就是干一件事情只有最好的一個(gè)辦法拿穴。但是Python的各種語(yǔ)法糖會(huì)讓你看別人代碼不是那么行云流水般流暢泣洞。
比如Python用了三年多了,前幾個(gè)月才知道還可以這么寫:
with A() as a, B() as b, C() as c:
pass
基于消息傳遞數(shù)據(jù)
Pid ! MyData
如此簡(jiǎn)潔的語(yǔ)法默色, 可以在一個(gè)Erlang Node內(nèi)球凰,跨Node,跨機(jī)器發(fā)送消息腿宰。 MyData
是任何Erlang term
呕诉。 也就是任意Erlang合法數(shù)據(jù)。
模式匹配 & 遞歸
-module(fibo).
-export([start/1]).
-vsn(1.1).
start(Num) ->
ResultList = start(Num, 0, []),
Result = lists:sum(ResultList),
io:format("~p~n", [ResultList]),
io:format("~p~n", [Result]),
ok.
start(0, _, Result) ->
[0 | Result];
start(1, _, Result) ->
[1 | Result];
start(Num, 0, Result) ->
start(Num, 1, [0 | Result]);
start(Num, 1, Result) ->
start(Num, 2, [1 | Result]);
start(Num, Acc, [H1, H2 | _Tail] = Result) when Acc =< Num ->
start(Num, Acc + 1, [H1 + H2 | Result]);
start(_, _, Result) ->
lists:reverse(Result).
這個(gè)簡(jiǎn)單的例子就說(shuō)明了模式匹配和遞歸是多么的符合人的自然思維酗失。而且在模式匹配期間就可以從列表
和元組
中提取自己所需的數(shù)據(jù)义钉。
模式匹配的痛苦
Erlang程序內(nèi)部自己的匹配真的很爽,但是如果遇到需要去 使用
一些 通用數(shù)據(jù)格式協(xié)議 (比如 protobuf
, msgpack
) 要和其他語(yǔ)言交互的時(shí)候规肴,那真是遇到惡魔了
比如一個(gè) protobuf 的定義如下:
message MyMessage {
required int32 id = 1;
required string name = 2;
optional int32 age = 3;
}
Python中是這樣來(lái)打包/解包數(shù)據(jù)的:
# 打包
msg = MyMessage()
msg.id = 1
msg.name = "hi"
data = msg.SerializeToString()
# 解包
msg = MyMessage()
msg.ParseFromString(data)
print msg.id
print msg.name
print msg.age
Erlang是這樣的:
%% 打包
Data = proto_pb:encode_message({
mymessage,
1,
<<"hi">>,
undefined,
}).
%% 解包
{mymessage, Id, Name, Age} = proto_pb:decode_cmd(Data).
好捶闸,我們現(xiàn)在在 MyMessage
中加一個(gè)域:
message MyMessage {
required int32 id = 1;
required string name = 2;
optional int32 age = 3;
optional int32 gender = 4;
}
Python 程序不用修改夜畴, Erlang 必須修改。因?yàn)橐?strong>匹配啊删壮。
在與他人合作的時(shí)候贪绘,如果采用protobuf
, msgpack
,這些數(shù)據(jù)格式,那么修改消息定義央碟,對(duì)Erlang就是個(gè)災(zāi)難税灌!
雖然我在工作中有著很大的自主權(quán),選擇自己喜歡的技術(shù)亿虽,但是正是由于這個(gè)原因我沒(méi)在大項(xiàng)目中用過(guò)Erlang菱涤。
當(dāng)然,還是自己Erlang技術(shù)不過(guò)硬洛勉。
優(yōu)雅的二進(jìn)制處理
我就舉一個(gè)簡(jiǎn)單的例子粘秆。獲取以大端序表示數(shù)字5的 4bytes 長(zhǎng)的binary
Python中這么做:
import struct
fmt = struct.Struct('>i')
binary = fmt.pack(5)
Erlang:
<<5:32>>.
當(dāng)然你也可以明確的寫成
<<5:32/integer-big>>
這不過(guò)這是默認(rèn)行為而已。
是不是覺得太方便了收毫,Python 的 struct那一大堆格式誰(shuí)TM記得住啊攻走。你心里是不是竊喜 用erlang寫socket發(fā)包收包處理包頭方便多呢? 騷年此再, Erlang在建立socket如果指定了 {packet, N}
參數(shù)昔搂,如果N是 1,2,3,4這寫數(shù)字,那么發(fā)數(shù)據(jù)添加包頭输拇,收數(shù)據(jù)去除包頭已經(jīng)幫你搞定了摘符!
得益與 模式匹配, 你可以這樣:
<<A:16, B:16, C/binary>> = <<D>>
%% A 是 D 的第一和第二字節(jié)
%% B 是 D 的第三和第四字節(jié)
%% C 是 D 的第五到最后剩下的字節(jié)
%% 當(dāng)然D的長(zhǎng)度得》=4 字節(jié)。否則會(huì)報(bào)錯(cuò)淳附。
Python 里有 列表解析
议慰, Erlang里也有,并且更強(qiáng)大奴曙。
而且 Erlang 還有 二進(jìn)制列表解析
别凹!
強(qiáng)大的OTP框架
gen_server
, gen_fsm
, gen_event
, supervisor
這些模式組成了OTP的分層架構(gòu)。它讓你寫的程序思路清晰洽糟,各個(gè)組件分工明確炉菲。
Gevent
然后在回來(lái)看看Gevent。
我先學(xué)的Erlang坤溃,然后才看的Gevent這個(gè)Python的庫(kù)拍霜。
剛開始學(xué)Gevent的時(shí)候總是要和Erlang去對(duì)比,覺得這么庫(kù)很難理解啊薪介。比如:
我在Python shell中 gevent.spawn一個(gè)函數(shù)祠饺,它怎么不運(yùn)行? 按照自然的思維就是spawn后就應(yīng)該要運(yùn)行啊汁政。Erlang就是這樣的
為什么spawn出的協(xié)程要join道偷,一調(diào)用join就會(huì)把整個(gè)python process阻塞住缀旁。絲毫感覺不到異步啊。
在學(xué)習(xí)兩次失敗后勺鸦,后來(lái)終于想明白了:
shell 中spawn不運(yùn)行并巍,是因?yàn)間event 的event loop沒(méi)有跑起來(lái),無(wú)法去調(diào)度greenlet换途。
join就是在啟動(dòng)gevent 的 gevent loop懊渡,一旦gevent loop通過(guò)其他方式啟動(dòng)起來(lái)了, 那么就可以在程序中自然的spawn進(jìn)程军拟。新spawn的 greenlet 會(huì)被調(diào)度執(zhí)行剃执。
當(dāng)跨過(guò)這個(gè)障礙后,學(xué)習(xí)和使用Gevent容易了很多吻谋。
得易于Python這么有好的語(yǔ)言忠蝗,大量的庫(kù),還有Pycharm
這么優(yōu)秀的IDE漓拾。 (我以前是VIM死忠。戒祠。骇两。),再加上gevent這么給力的庫(kù)姜盈,寫并發(fā)真是輕松愜意啊低千。
然后就有了基于Gevent的項(xiàng)目:
最近對(duì)Gevent又有了新的感悟。
所以有了這篇文章馏颂,以及用了一天時(shí)間將 codebattle 的服務(wù)器寫了個(gè)Gevent的版本 codebattle-server-python
結(jié)論
Erlang很好示血,天生就是為了服務(wù)器編程而生。
但從我上面的 模式匹配 的描述救拉,以及Python的易用性难审,
以后會(huì)更多的用Gevent
最后附上一個(gè) 激情視頻