Erlang中的OTP简介

OTP包含了一组库和实现方式,可以构建大规模、容错和分布式的应用程序,包含了许多强大的工具,能够实现H248,SNMP等多种协议,核心概念是OTP行为,可以看作一个用回调函数作为参数的应用程序框架,类似一个J2EE容器。行为负责解决问题的非函数部分,回调函数负责解决函数部分。
 
通过gen_server模块可以实现事物语义和热代码交换,

1)      确定回调模块名
2)      编写接口函数
3)      在回调模块里编写6个必需的回调函数

当服务器崩溃时,需要一种机制来检测并重启它,要用到监测树,即创建一个监控器来管理服务器。监测树有两种:一对一和一对多。

$erl –boot start_sasl

会创建一个运行生产系统的环境,系统架构支持库(SASL,System Administration Support Libriaries)将负责错误记录和过载保护等工作。
 
使用gen_server, gen_supervisor,application等行为,可以构建可靠性为99.9999999的系统。
统一化的erlang消息:

1)  抽象了不同线路协议之间的区别
2)  Erlang消息无需解析,接收进程不必先解析消息再处理,而http服务器就必须解析就收到的所有消息
3)  Erlang消息可以包含任意复杂度的数据类型,而http消息必须被序列化成扁平化才能传输
4)  Erlang消息可以在不同处理器之间传送

常见的第三方库有rebar(https://github.com/basho/rebar)和cowboy(https://githun.com/extend/cowboy)。 Rebar是管理erlang项目的事实标准,用户可以通过rebar创建新项目、编译项目、打包它们,以及把它们与其他项目整合在一起,同时集成了github。Cowboy是一个用erlang编写的高性能web服务器,是嵌入式web的热门实现。另外,库mochiweb2(http://github.com/mochi/mochiweb)的编码和解码方法可以实现json字符串和erlang数据类型的相互转换。
 
Erlang程序在多核CPU上运行

1)  使用大量进程
2)  避免副作用,例如不使用共享式ETS或DETS
3)  避免顺序瓶颈,可以选择pmap代替map
4)  小消息,大计算
5)  用mapreduce使计算并行化
mapreaduce是一个并行高阶函数,定义如下

-specmapreduce(F1,F2,Acc0,L) ->Acc
         F1 = fun(Pid,X) ->void
         F2 = fun(Key,[Value],Acc0) ->Acc
         L = [X]
         Acc = X =term()

Mapreduce 是在并行高阶函数(phofs)模块中定义的。