Inside Erlang VM - 系统技术非业余研究.PPT

* Inside the Erlang VM Yu Feng mryufeng@ 2008/12/20 blog: BEAM的优势 高性能 多核心SMP的支持 透明分布的支持 轻量进程的支持 完善的监控信息 商业产品上经过时间的验证成熟 为什么其他语言要移植到Erlang虚拟机 语言Reia会成功吗 作者看中什么？ 框架 概念 成熟度 性能 模型 ERTS的代码规模 200K行C代码 几千行Erlang代码 同等的ACE框架 代码成熟度 尺寸很小 适合于嵌入式 1.5M 也适合做桌面程序 如p2p ERTS的物理结构 erlexec escript … beam beam.smp beam.hybird emulator driver sys utilts unix windows … tty_sl ram_file_drvzlib_drv udp_inet tcp_inet efile async BEAM的分类 BEAM 分成不同版本的目的是提高性能 避免不必要的开销 beam.plain beam.smp beam.hybrid (目前支持的不好) ERTS 启动过程 概念模拟操作系统 erl_exec 系统资源初始化 erl_first_process_otp opt_ring0 转入Erlang进程调度 开始执行init:boot ERTS是个典型的网络服务器框架 IO处理 kernel poll 如epoll kqueue 定时器处理 timewheel 逻辑处理处理 process coroutine fiber smp 强大的PORT 仿照Unix的哲学: 一切都是文件 管道通讯类似CGI 支持可执行文件和动态库 fd_driver_entry vanilla_driver_entry spawn_driver_entry kernel poll支持大量的句柄 高度优化的kpoll {lazy_updates,true}, {pending_updates,0}, {batch_updates,false}, {concurrent_updates,true}, 定时器 支持time jump detection and correction Erlang使用timer有3种方式： 语法层面的 receive ... after ... BIF: erlang:send_after(Time, Dest, Msg) ?? erlang:start_timer(Time, Dest, Msg) driver层面的。 ?? int driver_set_timer(ErlDrvPort port, unsigned long time);?? SMP 参见EUC_SMP http://www.erlang.se/euc/08/euc_smp.pdf 多处理器利用技术 线程 调度器 异步线程 driver发起的线程 精巧的锁 process_lock 快速的mutex 进程 PORT 管道通讯 虚拟机部分 基于register JIT Hipe native代码执行 效率高好多 语言速度评测中表现不俗 opcode R12B大概200条 goto 和 case 优化 arithmetic, comparsions and boolean logic; manipulating strings, tuples and lists; stack and heap allocation and freeing; type tests for Erlang primitives (numbers, lists, process IDs, references, and so on);? jumps, structured exception handling, and calls and returns; sending messages and reading from the process mailbox; waiting and timeouts 系统调度 处理timer超时 处理子进程退出的情况 处理port_task事件，也就是port的IO事件 port_task独立调度 有自己的调度队列 如果没有活跃的进程 就sys_schdule阻塞在底层的IO中。 check_io 根据process的优先级选出一个进程来调度。 PRIORITY_MAX PRIORITY_HIGH? PRIORITY_NORMAL PRIORITY_LOW? PRIORITY_LEVELS? 数据结构 用地址来区分数据类型 pid X, Y, Z atom index表示 cache 传送的是