16.4 进一步权衡：HAT和PACELC