分布式系统中的FLP不可能原理、CAP理论与BASE理论(顺带提一下ACID)