Erlang Actor

Supervisor Tree

let it crash

通用多线程模型问题：竞态条件、死锁。