erlang supervisor分析

当我们给supervisor指定需要创建的子进程的时候，会指定M,F,A,如果是simple_one_for_one的策略的话，启动子进程的方式是supervisor:start_child(SupName, OtherArgs),这种方式可以根据调用者的需求传不同的参数给需要启动的子进程的方法。和最初的参数合并成一个数组，A ++ OtherArgs。那么这个时候就有个问题了，既然参数不一致，那么在子进程挂掉的情况下，怎么重新启动对应的子进程呢？？？

原来supervisor会把每个自己管理的child的启动信息都存储在自己的进程字典中，Key就是Child的Pid，这样的话，如果某个Child挂掉，他的supervisor会收到一个{'EXIT',ChildPid,Reason}的消息，然后根据消息中的ChildPid去进程字典中找到这个Child的启动信息，重新启动，并更新进程字典中的信息。

 

supervisor的源代码就在：https://github.com/erlang/otp项目下的otp/lib/stdlib/src/supervisor.erl中，可以没事看看。