乾貨 | 使用TLA+和PlusCal增強產品的可靠性

數治時代，計算機替代人腦成爲數據分析、流程處理、場景模擬的信息處理中心，這對數據庫及相關軟件的可靠性提出了較高要求。尤其在航天、金融等行業，更是對軟件可靠性有更爲嚴格的標準。   一、軟件可靠性的重要性 高併發系統和分佈式系統面臨的軟件可靠性挑戰在軟件工程中有很多原則、方法和經驗都可以輔助解決，但在很多場景下產品需要實現具備很高複雜度的軟件模塊。例如：   併發的共享資源訪問，尤其是lock fr

>>阅读原文<<