学习erlang三个月小节

期间主要做了

 

- 看erlang programming中文版

- 浏览了一遍otp的文档

- 了解了几个著名的erlang开源软件

- 论坛

- 虚拟机集群管理系统的一个alpha版

 

还是要写东西，才能深入理解。

 

说说虚机管理系统的大致功能是：

用户管理

存储管理

虚拟机管理

集群监控

 

其架构从上到下依次为为：

 

监控中心(WebServer)

通信层

虚拟化层

存储层

 

监控的slaves节点可以动态加入集群。监控中心采用mnesia数据库，这个数据量是比较小的。需要采用replication来避免单点故障，即部署成分布式应用。

 

虚拟机是抽象出来的主要对象，对每个虚拟机的操作是顺序的，各个虚拟机的操作是并行的，所以这里用了gen_fsm来管理每个虚拟机。这样对虚拟机的操作自动串行化了，也方便管理虚拟机的状态空间。

 

负载均衡策略

 

容错机制

 

从图论的观点看，错误大体分为两类，节点故障和通信故障。

 

最近感兴趣的地方：

 

- 并发的形式化建模和分析技术

- 分布式算法的petri net 建模与分析

- 事务处理

- 并发控制算法

       --- 基于lock的

       --- MVCC， 多版本技术值得好好学习