Race conditions & concurrency
Hiểu check-then-act và bị phá khi nhiều request chạy đồng thời, nhưng thực hành bằng simulator không gửi burst thật.
- ✓ Giải thích Race conditions & concurrency bằng ngôn ngữ của chính mình
- ✓ Dùng và để tách quan sát khỏi kết luận
- ✓ Hoàn thành lab Race conditions & concurrency an toàn và nêu được /
Làm cùng nhau: hai người cùng thấy một trạng thái
Đọc timeline booking synthetic có hai request cạnh tranh.
- Bước 1: Lập : một request đặt vé thành công làm
Kết quả cần thấy: Bạn ghi được hành vi bình thường trước khi thay đổi bất cứ điều gì trong case synthetic.
Vì sao: cho biết kết quả nào thực sự bất thường thay vì chỉ dựa vào cảm giác hoặc tên của một tool.
Đừng nhầm: Một output lạ chưa tự chứng minh có lỗ hổng hay sự cố; luôn giữ kết luận tạm thời.
- Bước 2: Đổi đúng một biến và quan sát: so hai request cùng đọc inventory trước khi write
Kết quả cần thấy: Bạn có một mẩu cụ thể để so sánh với và ghi vào note.
Vì sao: Một thay đổi duy nhất giúp nối nguyên nhân với kết quả và giảm trong lab.
Đừng nhầm: Không tăng số lượng command hay thử nhiều biến cùng lúc khi chưa hiểu output.
- Bước 3: Nêu control hoặc bước tiếp theo: enforce transaction hoặc atomic update rồi
Kết quả cần thấy: Bạn mô tả được cách verify control bằng một positive case và một negative case trong lab.
Vì sao: Security tốt phải cho thấy cả cách phát hiện, cách phòng thủ và cách kiểm tra lại sau sửa.
Đừng nhầm: Không áp dụng thao tác đó lên host, account hoặc dữ liệu thật ngoài phạm vi được phép.
Bức tranh lớn
Hiểu check-then-act và bị phá khi nhiều request chạy đồng thời, nhưng thực hành bằng simulator không gửi burst thật. Chủ đề này quan trọng vì Race xuất hiện khi operation không atomic và hai flow quan sát cùng state trước khi commit. Coupon limit, balance hoặc inventory là ví dụ dễ hình dung. Khi đi , hoặc , phần khó thường không phải nhớ tên công cụ mà là nhận ra mô hình này trong một biến thể mới. Ở và web hiện đại, client không phải nguồn sự thật. Server phải xác thực identity, cho từng object/action, validate input và giữ nghiệp vụ dù request đến từ browser, mobile app hay script. Với , test theo identity và object: cùng endpoint nhưng đổi subject/object/action để xem server có enforce policy ở phía server hay không. Trước khi sang phần tiếp theo, hãy tự nói lại chủ đề “Race conditions & concurrency” bằng hai câu: hệ thống đang cố làm gì, và quyết định nào có thể tạo ra rủi ro nếu sai.
Mental model & từ khóa
Race xuất hiện khi operation không atomic và hai flow quan sát cùng state trước khi commit. Coupon limit, balance hoặc inventory là ví dụ dễ hình dung. Các thuật ngữ trọng tâm của bài là: , , transaction, . Hãy liên kết chúng với luồng dữ liệu và quyết định bảo mật thay vì học định nghĩa rời rạc. Các từ khóa cần nối thành một mô hình duy nhất gồm: , , transaction, . Đừng học chúng như flashcard rời rạc. Hãy chỉ ra dữ liệu đi từ đâu tới đâu, thành phần nào giữ state, thành phần nào ra quyết định và đâu là . Khi mô hình đúng, bạn có thể dự đoán một thay đổi nhỏ sẽ làm output thay đổi thế nào. Race xuất hiện khi operation không atomic và hai flow quan sát cùng state trước khi commit.
Quy trình quan sát có kiểm chứng
Simulator cho phép sắp interleaving step-by-step để chứng minh vỡ; không tạo traffic concurrency tới hệ thống thật. Luôn bắt đầu bằng expected behavior rồi mới tìm deviation; như vậy bạn biết mình đang chứng minh điều gì. Simulator cho phép sắp interleaving step-by-step để chứng minh vỡ; không tạo traffic concurrency tới hệ thống thật. Bắt đầu bằng expected behavior và một sạch. Sau đó chỉ thay một biến, ghi input/output, timestamp hoặc state cần thiết rồi lặp lại để loại trừ ngẫu nhiên. Nếu tool đưa ra một nhãn như “open”, “vulnerable”, “failed” hay “suspicious”, quay về field thô tạo ra nhãn đó và xác minh bằng cách thứ hai. Đây là thói quen giúp tránh và cũng giúp report tái hiện được.
Case lab: từ dữ kiện tới kết luận
Sắp thứ tự hai request redeem coupon trong simulator để tạo race, rồi thử bằng atomic update. Đây là tình huống tổng hợp trong lab của khóa học, không dùng target thật. Bài thực hành trọng tâm là: Sắp thứ tự hai request redeem coupon trong simulator để tạo race, rồi thử bằng atomic update. Khi làm, chia note thành bốn cột: FACT (thấy trực tiếp), HYPOTHESIS (giả thuyết), TEST (thay đổi nào sẽ phân biệt các giả thuyết) và RESULT (kết quả). Sau khi có đáp án, tạo ít nhất hai biến thể: đổi identity/context và đổi input/state. Nếu kết luận vẫn đứng vững qua các biến thể, bạn mới có confidence cao hơn.
Bẫy tư duy & cách tự debug
Lỗi hay gặp là nhìn thấy một tín hiệu rồi gắn ngay nhãn vulnerability hoặc dùng công cụ trước khi hiểu hệ thống. Với chủ đề này, hãy nhớ: thường là vấn đề interleaving và , không chỉ tốc độ request. Với bài này, mệnh đề phải giữ là: thường là vấn đề interleaving và , không chỉ tốc độ request. Nếu bị kẹt, đừng tăng số lượng command/payload một cách mù quáng. Quay lại , thu hẹp câu hỏi, kiểm tra assumptions và đọc error/output theo từng lớp. Trong lab hoặc , đặt rồi đổi hướng khi không có mới; trong /, luôn kiểm tra trước khi mở rộng bề mặt thử nghiệm.
Phòng thủ, & tiêu chí qua bài
Transaction, atomic operation, key, locking phù hợp và ở database. Khi review fix, kiểm tra cả positive case, negative case và một biến thể gần kề để tránh vá đúng một chuỗi kiểm thử. Một tốt phải chỉ ra root cause, control đặt ở đúng và cách . Hãy kiểm tra positive case hợp lệ, negative case bị từ chối và ít nhất một biến thể gần kề để tránh “vá đúng payload”. Bạn có thể coi mình qua bài khi: (1) giải thích Race conditions & concurrency không nhìn tài liệu; (2) dự đoán được một output mới; (3) hoàn thành lab bằng ; (4) nêu được cách phòng thủ; và (5) phân biệt được observation với conclusion.
Bài tập
Sắp thứ tự hai request redeem coupon trong simulator để tạo race, rồi thử bằng atomic update. Deliverable: lập ma trận subject × action × object cho case, lưu ít nhất một hợp lệ và một negative case, rồi chỉ ra mà phải enforce phía server. Kết thúc bằng với identity hoặc object khác để kiểm tra variant.
WhiteHat Safe Terminal v2 · MEMORY-ONLY SIMULATOR · gõ help để bắt đầu.
5 câu kiểm tra
Không trừ điểm. Mục tiêu là giải thích được lý do, không phải đoán đúng.
Phát biểu nào đúng nhất về Race conditions & concurrency?
Trong một lab về “Race conditions & concurrency”, nào phù hợp nhất để bắt đầu kiểm chứng?
Control/ nào bám sát chủ đề “Race conditions & concurrency” nhất?
Mental model nào nên giữ khi gặp một biến thể mới của “Race conditions & concurrency”?
Nếu bài “Race conditions & concurrency” cần thao tác có tính offensive, môi trường nào phù hợp?
Đánh dấu hoàn thành
Cần đạt ít nhất 80% quiz trước khi chốt bài.