ระบบบัญชีดิจิทัลอาจสูญเสียเงินเงียบๆ แม้เทสต์ผ่านฉลุย

ในระบบชำระเงิน บั๊กส่วนใหญ่ที่พบไม่ได้มาจากข้อผิดพลาดทางตรรกะ สูตรการคำนวณถูกต้อง การปัดเศษถูกต้อง และชุดการทดสอบทั้งหมดผ่าน แต่เงินกลับสูญหายไปอย่างเงียบๆ ปัญหานี้เกิดขึ้นเมื่อมีผู้ใช้งานสองคนทำธุรกรรมพร้อมกันในเสี้ยววินาทีเดียว

การทำงานร่วมกับระบบธุรกรรมและการชำระเงินเผยให้เห็นว่า ความผิดพลาดลักษณะนี้มีความเงียบเชียบในการแสดงผล ข้อผิดพลาดประเภท Null Reference จะโยนข้อยกเว้นออกมาทันที และสูตรที่ผิดจะปรากฏตั้งแต่การทดสอบรอบแรก ทว่าการอัปเดตที่สูญหายกลับทำให้ตัวเลขผิดเพี้ยนไปเล็กน้อยในบัญชีเดียวและวันเดียว จนกว่ากระบวนการกระทบยอดจะทำงานและพบว่าเงินจำนวนสี่ร้อยดอลลาร์หายไปไหน

ภาพประกอบจากคลังภาพสต็อก ไม่ใช่ภาพจากเหตุการณ์จริง

เพื่อทำให้ความล้มเหลวดังกล่าวปรากฏชัดเจน จึงมีการพัฒนาที่เก็บข้อมูลขนาดเล็กชื่อ ledger-core บน GitHub ซึ่งเป็นระบบบัญชีแบบบันทึกรายการคู่ที่มีกลยุทธ์การจัดการการทำงานพร้อมกันสามรูปแบบภายใตกินเตอร์เฟซเดียว พร้อมชุดการทดสอบที่พิสูจน์ว่ากลยุทธ์ใดรักษาเงินไว้ได้และกลยุทธ์ใดทำเงินหาย

กฎเหล็กเพียงข้อเดียวของระบบบัญชีคือ ผลรวมของยอดคงเหลือทั้งหมดหลังจากทำธุรกรรม N รายการต้องเท่ากับผลรวมก่อนหน้า ธุรกรรมมีหน้าที่ย้ายเงินเท่านั้น โดยจะไม่สร้างหรือทำลายเงินขึ้นมาใหม่