前言当讨论高可用时，那么必然有与之对应的低可用甚至不可用，但无论是哪种可用描述，其中都暗含了一个大众共识，即不存在永久稳定运行的系统程序。事实上，几十年前图灵也论证过类似的问题，称为“停机问题”，具体的描述是：能否为A计算机编程，使得程序才能在有限时间内推