Lamport的發生前算法有什麼缺點？

Question

我一直在閱讀有關Lamport's happen-before技術來檢測多線程程序中的競態條件。我不明白它的缺點。有人可以解釋嗎？我一直在閱讀這篇論文 - Erasor--一個用於多線程程序的動態比賽探測器。

謝謝。

Answer 1

Eraser列表基於之前發生的兩個檢測器的缺點：

1. 他們是緩慢的。這些日子比橡皮擦出版時更不真實。看看FastTrack。
2. 它們的結果取決於特定執行中同步操作的實際順序。也就是說，該錯誤必須實際顯示出來才能被檢測到。這更是發生之前的一個基本屬性。

我想不出任何其他缺點。