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.