Kiểm tra cấu trúc dữ liệu đồng thời

Question

Làm thế nào để bạn thực tế kiểm tra cấu trúc dữ liệu được đồng bộ hóa (trong C)?

Bắn một vài chủ đề và yêu cầu họ cạnh tranh để truy cập vào cấu trúc trong một thời gian để xem có bất cứ điều gì không ổn không có vẻ rất an toàn hay không.

EDIT để trả lời nhận xét: Tôi có nghĩa là có một số chủ đề chạy các hàm hoạt động trên cùng một tập hợp dữ liệu, với một số loại chiến lược đồng bộ hóa (cờ/semaphores/lock-free CAS/etc) điều kiện và deadlocks. Vấn đề là thử nghiệm có lập trình cho việc đồng bộ hóa chính xác của người lao động.

Answer 1

Không ai thực sự biết cách thực hiện điều này với độ tin cậy 100%. Here chỉ là một ví dụ về một công cụ kiểm tra để tìm lỗi đồng thời.