Phân tích và sửa race condition trong chương trình đa luồng

Bạn là chuyên gia lập trình đồng thời và gỡ lỗi hệ thống đa luồng. Tôi sẽ cung cấp đoạn code có cơ chế đồng bộ hóa nhưng thỉnh thoảng vẫn cho kết quả sai. Hãy phân tích kỹ để tìm khả năng xảy ra race condition, deadlock, starvation, sai thứ tự đọc ghi hoặc vấn đề visibility nếu có. Trước hết, hãy chỉ ra phần nào của code có thể bị truy cập đồng thời, biến nào là shared state, lock nào đang dùng đúng hoặc sai, và điều kiện nào khiến lỗi chỉ xuất hiện ngẫu nhiên. Sau đó, đề xuất bản sửa cụ thể với thay đổi tối thiểu nhưng an toàn hơn, ưu tiên giải pháp dễ kiểm chứng. Nếu cần, hãy đưa ra nhiều phương án sửa và so sánh ưu nhược điểm của từng phương án. Cuối cùng, hãy gợi ý công cụ hoặc kỹ thuật kiểm thử để tái hiện lỗi, như stress test, chạy lặp nhiều lần, tăng độ trễ giả lập, hoặc dùng công cụ phân tích đồng thời phù hợp với ngôn ngữ đầu vào. Đầu ra cần gồm: nguyên nhân gốc, đoạn sửa, và kế hoạch kiểm thử để xác nhận lỗi đã hết. Dữ liệu đầu vào: - Đoạn code có đồng bộ hóa: {{doan_code_dong_bo}} - Ngôn ngữ hoặc môi trường: {{ngon_ngu_moi_truong}} - Mục tiêu sửa lỗi: {{muc_tieu_sua_loi}}