Chủ đề bị lỗi với khóa Mutex

Question

Có kịch bản, tôi có hai chủ đề đều đang sử dụng cùng một mutex. Một chủ đề đã khóa mutex và bị lỗi. Trạng thái mutex là gì? Nó vẫn bị khóa và luồng thứ hai không bao giờ sở hữu mutex đó? Có nghĩa là một tình trạng bế tắc?

Edit - Cũng giải thích một trường hợp pthread trên các hệ thống Linux

Answer 1

Vì bạn đã không quy định những gì hệ điều hành, tôi sẽ cho bạn biết những gì xảy ra trong Win32.

Trong Win32, chuỗi thứ hai sẽ được WAIT_ABANDONED khi nó chờ đợi trên mutex thuộc sở hữu của một chuỗi đã chấm dứt. Lưu ý rằng việc nhận WAIT_ABANDONED có nghĩa là chuỗi thứ hai đã nhận được mutex, do đó sẽ không có bế tắc. Chuỗi thứ hai sẽ phát hiện kết quả WAIT_ABANDONED và xác minh rằng tài nguyên được bảo vệ bởi mutex ở trạng thái hợp lệ. Nếu nó có thể phát hiện tham nhũng và không phát hiện bất kỳ lỗi nào, thì việc tiếp tục là an toàn. Nếu không, đó là một ý tưởng tốt để nâng cao lỗi của một số loại.

Với một số triển khai của một mutex không có cách nào để phát hiện rằng chuỗi sở hữu nó đã chấm dứt và bạn kết thúc bằng một bế tắc.

Với một số triển khai của một mutex có một cách để phát hiện chuỗi chủ sở hữu là gì, hãy chỉ ra rằng chuỗi sở hữu đã chấm dứt và sau đó sở hữu mutex.

Answer 2

Đó chắc chắn phụ thuộc vào (ít nhất) hai điều:

• Làm thế nào mutex được thực hiện, và
• Làm thế nào các tai nạn chủ đề (nó ném một ngoại lệ, hay nó chỉ là "biến mất") .

Ví dụ: trong các khối synchronized của Java được đảm bảo được giải phóng khi "chuỗi được thực hiện với đối tượng" - bất kể điều đó có nghĩa là gì (xem link). Theo this bài viết:

Dừng một chuỗi làm cho nó mở khóa tất cả các màn hình đã khóa.

Ok, stop() ing thread giải phóng màn hình, nhưng nếu chỉ bằng cách nào đó biến mất, thì "được thực hiện với đối tượng"? Tôi không thấy tài liệu này ở bất cứ đâu. Nhưng rõ ràng là một người nào đó phải phát hành các mutex bị khóa hoặc nếu không họ sẽ bế tắc; có lẽ một số mutexes hoặc môi trường bao gồm các cơ chế phát hành mutexes tự động nếu thread, người đã khóa chúng, trở nên không tồn tại.

Ví dụ khác: java.util.concurrent.Lock tài liệu khuyên bạn nên sử dụng câu lệnh finally để giải phóng khóa sao cho bất kỳ điều gì xảy ra với chuỗi thực thi, khóa sẽ được giải phóng. Tuy nhiên, nếu thread biến mất trước khi câu lệnh finally được thực thi, thì khóa không bao giờ được giải phóng và bế tắc thực sự xảy ra. Tất nhiên, chủ đề không nên "biến mất" như thế.

Khá là một câu hỏi hay!

Answer 3

Cảm ơn bạn đã trả lời. http://msdn.microsoft.com/en-us/library/ms687032%28VS.85%29.aspx MSDN cũng cho biết rằng bản phát hành mutex và các chuỗi chờ sẽ nhận trạng thái WAIT_ABANDONED.