Магазин по продаже наркотиков
Магазин по продаже наркотиков - Рабочее зеркало кракен
(DPOR)Vollständig anzeigen… — методике поиска ошибок путем изучения всех чередований. Предыдущие подходы DPOR имели три основных ограничения:1. Он не работает со слабыми моделями памяти (например, как в C/C++ 11).
2. Он может либо исследовать экспоненциальное растущее число избыточных чередований, либо иметь экспоненциальный расход памяти.
3. Он плохо масштабируется при проверке больших конкурентных структур данны.GenMC позволяет преодолеть эти ограничеия и предлагает масштабируемое решение для верификации конкурентных программ, работающих на «слабой» памяти. Михалис расскажет, как работает GenMC и покажет его в действии.Подробности и билеты: https://bit.ly/3LHVIJt