Tình trạng tranh chấp dữ liệu (Race Condition)
Việc hiểu rõ về tình trạng tranh chấp (race conditions) là điều cần thiết để thiết kế các hệ thống đáng tin cậy có khả năng xử lý đồng thời nhiều thao tác
Tình trạng tranh chấp dữ liệu (race condition) xảy ra khi hai hoặc nhiều tiến trình hoặc luồng truy cập và sửa đổi cùng một dữ liệu tại cùng một thời điểm, và kết quả cuối cùng phụ thuộc vào thứ tự thực thi của chúng. Nếu không có sự phối hợp thích hợp, điều này có thể dẫn đến kết quả không chính xác hoặc không thể dự đoán được.
Ví dụ: Nếu hai người cùng cập nhật thông tin tài khoản ngân hàng đồng thời mà không kiểm tra sự thay đổi của nhau, số dư cuối cùng có thể bị sai.
- Tài nguyên dùng chung: Một biến, tệp, vị trí bộ nhớ hoặc thiết bị được nhiều tiến trình truy cập.
- Đồng thời: Nhiều tiến trình hoặc luồng thực thi cùng lúc hoặc chồng lấn nhau trong quá trình thực thi.
- Các thao tác không mang tính nguyên tử: Các thao tác có thể bị gián đoạn, chẳng hạn như đọc–sửa đổi–ghi, có thể gây ra trạng thái không nhất quán khi nhiều tiến trình đồng thời truy cập cùng một dữ liệu.
Nguyên nhân gây ra tình trạng tranh chấp dữ liệu
- Truy cập đồng thời: Khi hai hoặc nhiều tiến trình cố gắng đọc hoặc ghi cùng một tài nguyên được chia sẻ tại cùng một thời điểm.
- Cập nhật không mang tính nguyên tử: Các thao tác như tăng hoặc giảm có thể được chia thành nhiều bước và do đó có thể bị gián đoạn.
- Thiếu đồng bộ hóa: Không sử dụng các cơ chế như khóa, semaphore hoặc monitor để kiểm soát quyền truy cập.
- Lập lịch không phù hợp: Bộ lập lịch của hệ điều hành làm gián đoạn các tiến trình vào những thời điểm quan trọng.
Ví dụ: Hai tiến trình cập nhật một biến chung
Giả sử biến số chung balance = 100 và hai quy trình P1 và P2:
- P1 muốn cộng thêm 10 vào số dư.
- P2 muốn trừ 10 khỏi số dư.
Kịch bản không có đồng bộ hóa:
Giải thích:
- P1 đọc số dư = 100 và chuẩn bị cộng thêm 10.
- Trước khi P1 cập nhật số dư lên giá trị mới (110), nó bị gián đoạn bởi tiến trình P2.
- P2 không biết về thao tác của P1 (cộng thêm 10), đọc số dư là 100 và chuẩn bị trừ đi 10.
- Sau khi thực hiện phép trừ, P2 cập nhật số dư thành 90. Sau đó, P1 tiếp tục và ghi số dư thành 110, dẫn đến giá trị cuối cùng không chính xác.
Trong nhiều trường hợp, số dư cuối cùng có thể là 110 hoặc 90 thay vì giá trị dự kiến là 100. Đây là một ví dụ điển hình về tình trạng tranh chấp dữ liệu (race condition).
Ảnh hưởng của tình trạng tranh chấp dữ liệu
- Hỏng dữ liệu: Dữ liệu được chia sẻ có thể trở nên không nhất quán.
- Hành vi khó dự đoán: Kết quả đầu ra có thể thay đổi mỗi khi chương trình chạy.
- Rủi ro bảo mật: Tình trạng tranh chấp dữ liệu có thể bị khai thác, chẳng hạn như trong các giao dịch ngân hàng hoặc để vượt qua cơ chế xác thực.
- Sự cố hệ thống: Dữ liệu hệ thống quan trọng có thể bị hỏng, dẫn đến lỗi.
Các kỹ thuật phòng ngừa
- Mutex (loại trừ lẫn nhau): Đảm bảo chỉ một tiến trình hoặc luồng có thể truy cập vùng tới hạn (critical section) tại một thời điểm.
- Semaphore: Semaphore đếm hoặc semaphore nhị phân kiểm soát quyền truy cập vào tài nguyên.
- Monitor (bộ giám sát): Các cấu trúc đồng bộ hóa cấp cao dùng để quản lý tài nguyên được chia sẻ.
- Thao tác nguyên tử: Sử dụng các thao tác nguyên tử được hỗ trợ bởi phần cứng hoặc phần mềm.
- Vô hiệu hóa ngắt (đối với lập trình cấp nhân): Ngăn chặn việc chuyển đổi ngữ cảnh trong các phần quan trọng.
- Lập lịch phù hợp: Đảm bảo bộ lập lịch không làm gián đoạn việc thực thi trong vùng tới hạn.
