Khối nội dung trong trang quảng bá chính thức đó—“phê duyệt xong là kết thúc”, tôi chép lại trước rồi khoanh đúng bốn chữ đó. Làm việc bình thường, đây chính là lối vào sự thật. Khoanh xong rồi mới dám đọc tiếp. Trong câu hứa hẹn, những từ ngữ giới hạn được giấu bên trong còn đáng giá hơn cả chính mệnh đề chính. Đây là bài học thứ nhất.
Đọc nhiều tài liệu tuyên truyền, tôi hình thành một thói quen: trước tiên tìm các từ ngữ giới hạn, rồi mới đọc mệnh đề chính. Thứ tự bị đảo ngược thì phán đoán cũng bị đảo theo.
Trước hết, lật lại các tình huống bị gạch đi của cụm “vận hành bình thường”, rồi liệt kê từng điểm—câu trả lời nằm ngay trong phần bị gạch đó. Sự vắng mặt của bên xác minh là 1 mục, độ trễ tin nhắn là 1 mục, thời gian chờ cho lần lặp lại (iteration) vượt quá là 1 mục. Đếm xuống thì ít nhất có 3 trường hợp ngoại lệ. Đây mới là “sổ cái” bị giấu. Ngoài 3 mục này còn có nữa không? Tài liệu không ghi, nhưng chỉ riêng 3 mục đó thôi cũng đủ để tách lời hứa thành hai nửa. @Dusk
Tôi đã tra lại các đường đi theo 3 mục này, đi một lượt, thay từng cái vào. Khi bên xác minh vắng mặt, việc lặp lại sẽ không dừng, cơ chế thử lại tiếp tục chạy. Mỗi vòng lặp tối đa 50 lần; cháy xong một vòng thì phải quay lại từ đầu. Khi độ trễ tin nhắn vượt ngưỡng, logic khôi phục sẽ được tiếp quản. Đi đến mục thứ 3, tôi do dự một chút, rồi đánh dấu và đổi lại hướng đi của khoản chuyển tiền trên sơ đồ quy trình.
Đối chiếu lời hứa ở lớp cơ chế: tiền chuyển không hề biến mất. Nó được đưa vào hàng đợi thử lại, chờ lần lặp tiếp theo. Tôi cho toàn bộ lộ trình khôi phục này chạy thử; 3 điều ngoại lệ lần lượt đều kiểm chứng thông suốt. Kết quả đúng như những gì tôi đã vẽ. Trong trường hợp bất thường, nó sẽ bị sắp xếp lại, chứ không bị đánh rơi. “Sắp xếp lại” khác “mất đi”; với người dùng trong khâu thanh toán, khác biệt đó chính là: tiền còn có được giữ đúng sổ, cân được không. $DUSK
Cụm “kết thúc” trong câu tuyên truyền, và “kết thúc” trong lớp cơ chế, chưa bao giờ là cùng một lời hứa. Đây là khoảng cách. Một bên nói về kết quả, bên kia nói về phương án dự phòng. Ngoài trạng thái bình thường, lộ trình chính thức không hề giấu—chỉ là được viết ở vị trí không ai đọc kỹ. Đến lúc này tôi mới bừng ra: nói cho rõ ràng, lời hứa “kết thúc mang tính chắc chắn” là của trạng thái thường, chứ không phải cho mọi tình huống. Khi có bất thường, lời hứa sẽ bị tạm dừng, không phải bị phá vỡ.
Ranh giới của lời hứa vẫn luôn được viết trong những từ ngữ giới hạn, nhưng nó sẽ không thay bạn đọc lên các ngoại lệ. Với một lời hứa mang tính “kết thúc”, điều then chốt là phải tìm phần bị gạch đi của nó trước. Mức độ rõ ràng của ranh giới mới quyết định khoản tiền này chờ có đáng không. Khi có bất thường, lời hứa được tạm dừng, không bị vô hiệu—đó chính là câu trả lời. Hiểu được các từ ngữ giới hạn, mới xem như hiểu được nửa câu sau. #dusk
Đọc nhiều tài liệu tuyên truyền, tôi hình thành một thói quen: trước tiên tìm các từ ngữ giới hạn, rồi mới đọc mệnh đề chính. Thứ tự bị đảo ngược thì phán đoán cũng bị đảo theo.
Trước hết, lật lại các tình huống bị gạch đi của cụm “vận hành bình thường”, rồi liệt kê từng điểm—câu trả lời nằm ngay trong phần bị gạch đó. Sự vắng mặt của bên xác minh là 1 mục, độ trễ tin nhắn là 1 mục, thời gian chờ cho lần lặp lại (iteration) vượt quá là 1 mục. Đếm xuống thì ít nhất có 3 trường hợp ngoại lệ. Đây mới là “sổ cái” bị giấu. Ngoài 3 mục này còn có nữa không? Tài liệu không ghi, nhưng chỉ riêng 3 mục đó thôi cũng đủ để tách lời hứa thành hai nửa. @Dusk
Tôi đã tra lại các đường đi theo 3 mục này, đi một lượt, thay từng cái vào. Khi bên xác minh vắng mặt, việc lặp lại sẽ không dừng, cơ chế thử lại tiếp tục chạy. Mỗi vòng lặp tối đa 50 lần; cháy xong một vòng thì phải quay lại từ đầu. Khi độ trễ tin nhắn vượt ngưỡng, logic khôi phục sẽ được tiếp quản. Đi đến mục thứ 3, tôi do dự một chút, rồi đánh dấu và đổi lại hướng đi của khoản chuyển tiền trên sơ đồ quy trình.
Đối chiếu lời hứa ở lớp cơ chế: tiền chuyển không hề biến mất. Nó được đưa vào hàng đợi thử lại, chờ lần lặp tiếp theo. Tôi cho toàn bộ lộ trình khôi phục này chạy thử; 3 điều ngoại lệ lần lượt đều kiểm chứng thông suốt. Kết quả đúng như những gì tôi đã vẽ. Trong trường hợp bất thường, nó sẽ bị sắp xếp lại, chứ không bị đánh rơi. “Sắp xếp lại” khác “mất đi”; với người dùng trong khâu thanh toán, khác biệt đó chính là: tiền còn có được giữ đúng sổ, cân được không. $DUSK
Cụm “kết thúc” trong câu tuyên truyền, và “kết thúc” trong lớp cơ chế, chưa bao giờ là cùng một lời hứa. Đây là khoảng cách. Một bên nói về kết quả, bên kia nói về phương án dự phòng. Ngoài trạng thái bình thường, lộ trình chính thức không hề giấu—chỉ là được viết ở vị trí không ai đọc kỹ. Đến lúc này tôi mới bừng ra: nói cho rõ ràng, lời hứa “kết thúc mang tính chắc chắn” là của trạng thái thường, chứ không phải cho mọi tình huống. Khi có bất thường, lời hứa sẽ bị tạm dừng, không phải bị phá vỡ.
Ranh giới của lời hứa vẫn luôn được viết trong những từ ngữ giới hạn, nhưng nó sẽ không thay bạn đọc lên các ngoại lệ. Với một lời hứa mang tính “kết thúc”, điều then chốt là phải tìm phần bị gạch đi của nó trước. Mức độ rõ ràng của ranh giới mới quyết định khoản tiền này chờ có đáng không. Khi có bất thường, lời hứa được tạm dừng, không bị vô hiệu—đó chính là câu trả lời. Hiểu được các từ ngữ giới hạn, mới xem như hiểu được nửa câu sau. #dusk