Kiểm tra đơn vị mã dựa trên chuỗi? Bắt buộc một điều kiện chủng tộc

Question

Khi sử dụng ứng dụng của mình, tôi đã tình cờ gặp một điều kiện chủng tộc trong một số mã sử dụng một NSOperationQueue để chạy tác vụ không đồng bộ sau các sự kiện do người dùng kích hoạt. Tôi biết cách sửa chữa điều kiện chủng tộc, vì đó là lỗi thiết kế ngu ngốc mà tôi sẽ không nghiên cứu, nhưng tôi muốn chứng minh lỗi với một trường hợp thử nghiệm (để nó không trở lại trong khi tối ưu hóa/tái cấu trúc thêm xuống dòng). Điều này khiến tôi bối rối. Làm thế nào để đi về thử nghiệm một cái gì đó là đa luồng, đặc biệt là khi mục đích của thử nghiệm là tạo ra một điều kiện chủng tộc?

Có ai có bất kỳ liên kết nào để tham chiếu tài liệu mà tôi có thể tham khảo khi nói đến xử lý các chủ đề và thử nghiệm đơn vị không? Tôi đặc biệt quan tâm đến việc tạo ra tình trạng cuộc đua.

Answer 1

Bạn phải đảm bảo rằng chuỗi sự kiện gây ra tình trạng cuộc đua thực sự phát sinh trong quá trình thử nghiệm. Đối với điều đó, bạn cần phải ảnh hưởng đến các sợi xen kẽ bên trong các trường hợp thử nghiệm.

Bạn có thể đạt được điều đó với đồng bộ hóa bổ sung (có điều kiện) hoặc bộ tính giờ bổ sung (đơn giản hơn và ít đáng tin cậy hơn). Đặt một số giấc ngủ() gọi vào các phần quan trọng để đảm bảo rằng chúng chạy đủ lâu để các luồng khác đến trạng thái không mong muốn. Khi bạn làm việc đó, hãy thay thế các cuộc gọi ngủ bằng đồng bộ hóa rõ ràng (nghĩa là chặn một luồng cho đến khi một chuỗi khác thực sự thừa nhận đã đến).

Sau đó, hãy thực hiện tất cả điều kiện này trên cờ toàn cầu được đặt bởi trường hợp kiểm tra.