Какой язык программирования предназначен для тестирования параллельных алгоритмов?
Мой коллега написал программу, которая доказывает, что некоторые условия не будут выполнены после тестирования алгоритма, выполняющего несколько параллельных потоков, пытающихся найти последовательность, которая может вызвать нежелательное условие. Он использовал компьютерный язык, который был разработан для этой цели, но я не могу вспомнить его название. Какие языки служат этой конкретной цели?
1 ответ
Spin - это популярный инструмент для проверки программного обеспечения с открытым исходным кодом, используемый тысячами людей по всему миру. Инструмент может быть использован для формальной проверки многопоточных программных приложений. Инструмент был разработан в Bell Labs в группе Unix Исследовательского центра компьютерных наук, начиная с 1980 года. Программное обеспечение доступно с 1991 года и продолжает развиваться, чтобы идти в ногу с новыми разработками. В апреле 2002 года инструмент был удостоен награды ACM System Software.