解鎖已經解鎖的線程

Question

在一個已經運行的舊代碼中，我找到了一個他們試圖解鎖已經解鎖的互斥體的地方。

我很清楚，解鎖已經解鎖的互斥將導致未定義的行爲。

但是我的疑惑是

1. 我能夠通過檢查編譯器文檔來預測行爲？
2. 有沒有可能導致阻塞線程（死鎖）？
3. 未定義的行爲將在pthread_mutex_unlock上看到它在哪裏解鎖已經解鎖的線程？或者在未來的任何pthread調用中都可以看到未定義的行爲？

Answer 1

我可以通過檢查編譯器文檔來預測行爲嗎？

如果編譯器說明什麼是行爲，那麼如果使用該編譯器（並且它保留了該行爲），那麼您可以依賴該行爲。

有沒有可能導致阻塞線程（死鎖）？

是的。 UB可以導致任何事情。例如，如果解鎖函數無條件遞減鎖計數，它可能會下溢，從而永遠鎖住互斥鎖。

未定義的行爲會在pthread_mutex_unlock上看到它在解鎖已經解鎖的線程嗎？或者在未來的任何pthread調用中都可以看到未定義的行爲？

您在問如何定義行爲。它是未定義的。在這一點之後的任何時候都可能發生，至少就POSIX pthreads標準所說的那樣。除非另有說明，否則它可能是任何事情，你無權正式投訴。