面对软件错误构建可靠的分布式系统

系统存在不完善的环节，但是我们希望我们的系统可靠，矛盾的要求，满足的条件两种解决方案，语言本身或者是方法库 在ERLANG中，对于上述的问题的解决方式采用语言+库一起作用的方式来解决，满足在程序有错误的情况下，我们的代码依旧会按照合理的方式运行 本文不关注算法细节、硬件假设、软件工程方面的要求 而是关注与软件的容错性在语言、库、操作系统方面的要求，纯消息传递式的语言，其它语言可能会存在共享内存的方式来解决这样的问题 速错进程的概念，现成的错误存在互相传递的隐患，会破坏掉系统内部的坚固性