Каковы недостатки алгоритма Лампорта, который происходит до?

Question

Я читал о методике Лэмпорта, которая происходит до того, как обнаруживать условия гонки в многопоточных программах. Я не правильно понимаю его недостатки. Может кто-нибудь объяснить, пожалуйста? Я читал газету - Erasor - динамический детектор гонки для многопоточных программ.

Спасибо.

Answer 1

Ластик перечисляет два недостатка детекторов на основе предшествующего события:

1. Они медленные. Это менее верно в наши дни, чем когда Eraser был опубликован. Посмотрите на FastTrack .
2. Их результаты зависят от фактического порядка операций синхронизации в конкретном выполнении. То есть ошибка должна на самом деле обнаруживать себя, чтобы быть обнаруженной. Это более фундаментальное свойство, которое происходит раньше.

Я не могу думать о каких-либо других недостатках.