Публикации с тэгом "Academia"

СТАТЬЯ CHESS: инструмент для тестирования мультипотоковых приложений

В продолжении темы о новых инструментах тестирования так называемых гейзенберговских ошибок (от Microsoft Research) предлагаю ознакомиться с проектом CHESS. CHESS - это инструмент для систематического тестирования мультипотоковых (concurrency) приложений. CHESS методично проходит все возможные варианты работы приложения, помогая найти assertions, deadlocks, livelocks, и data races. При нахождении ошибки, CHESS может воспроизвести поток, вызвавший ошибку. Доступны версии для управляемого и неупра...