Spring 11/07/2026 8 phút

Số dư -100 là bằng chứng khoá CHẠY ĐÚNG, số dư 0 mới là lỗi — ba cách xử lý hai luồng cùng rút tiền

Hai người cùng sửa một trang sổ cái: khoá bi quan là khoá sổ vào ngăn kéo với cây bút duy nhất; khoá lạc quan là photocopy trang rồi bị từ chối nếu phiên bản đã đổi. Đo ba cách, và vì sao con số trông an toàn hơn lại là con số sai.