valgrind quầy hàng trong chương trình socket đa luồng

Question

Tôi đang chạy một chương trình socket đa luồng với valgrind. Máy khách sẽ gửi yêu cầu tới máy chủ qua TCP, và sau đó bận chờ một boolean. Boolean sẽ được thiết lập khi hàm gọi lại phục vụ phản hồi từ máy chủ được gọi. Sau khi nhận được phản hồi (và cờ boolean được thiết lập), máy chủ sẽ gửi lại một yêu cầu và lặp lại thao tác này lặp lại trong một vòng lặp.

Tôi nhận ra rằng truy cập không được quản lý đối với biến được chia sẻ (boolean) có thể gây ra sự cố luồng, nhưng tôi đã thử sử dụng mutexes pthread, và chương trình làm chậm khoảng 20% ​​(tốc độ là tầm quan trọng ở đây). Tôi tin rằng việc ghi vào biến boolean được chia sẻ là tốt vì nó có thể được thực hiện trong một chu kỳ đơn.

Chương trình chạy tốt bên ngoài valgrind, nhưng thường sẽ dừng khi chạy với valgrind. Tôi rời khỏi chương trình để chạy qua đêm .. thường mất một vài giây để hoàn thành, vì vậy tôi không nghĩ rằng đó là một trường hợp không chờ đợi đủ lâu để chương trình kết thúc. Luồng được quản lý bởi khung công cụ nguồn mở (sửa lỗi nhanh), vì vậy tôi không nghĩ rằng đó là vấn đề với cách tạo luồng/quản lý luồng.

Có ai biết về bất kỳ vấn đề nào với việc đo lường xung quanh các chương trình đa luồng/vòng lặp chờ đợi bận/liên lạc ổ cắm (hoặc kết hợp các kết nối này) không?

Answer 1

Trong khi các câu trả lời khác tập trung vào việc nhấn mạnh rằng bạn sử dụng phương pháp đồng bộ hóa chuẩn (điều tôi hoàn toàn đồng ý), tôi nghĩ thay vào đó tôi nên trả lời câu hỏi của bạn về Valgrind.

Theo như tôi biết không có vấn đề gì với Valgrind đang chạy trong môi trường nhiều luồng. Tôi tin rằng Valgrind buộc ứng dụng chạy trên một lõi đơn lẻ, nhưng khác với việc nó không ảnh hưởng đến chủ đề của bạn.

Điều Valgrind có thể làm cho ứng dụng của bạn là thay đổi thời gian và tương tác giữa các chuỗi của bạn theo cách có thể làm lộ các lỗi và điều kiện chủng tộc trong mã mà bạn không thường thấy khi chạy độc lập.

Cùng một logic bạn đã áp dụng để quyết định rằng lỗi không thể nằm trong khung luồng nguồn mở mà bạn đang sử dụng cũng áp dụng cho Valgrind theo ý kiến ​​của tôi. Tôi khuyên bạn nên xem xét những lỗi này là lỗi trong mã của bạn và gỡ lỗi chúng như vậy, bởi vì đó là khả năng nhất của chúng.

Một lưu ý phụ, sử dụng mutex có thể là quá mức cần thiết cho sự cố bạn đã mô tả. Bạn nên điều tra các semaphores hoặc biến điều kiện để thay thế.

Chúc may mắn.

Answer 2

Đọc/ghi boolean không phải là thao tác nguyên tử trên x86.

Xem câu hỏi của tôi ở đây: Is volatile a proper way to make a single byte atomic in C/C++?

Answer 3

Ngay cả khi viết boolean của bạn là một hoạt động nguyên tử, các compiler and the CPU are free to re-order the update xung quanh bộ nhớ khác truy cập. Chuỗi bận chờ đợi của bạn có thể thức từ vòng lặp bận và phát hiện ra rằng cấu trúc dữ liệu được chia sẻ có chưa thực sự được cập nhật.

Tôi khuyên bạn nên gắn bó với các nguyên thủy thô sẵn có để bạn viết nhất quán chương trình thực thi chính xác như bạn muốn, mỗi lần.