Microsoft создаст "терминатора"

Специалисты исследовательской лаборатории корпорации Microsoft работают над новым проектом Terminator, основная цель которого заключается в решении так называемой "проблемы зависания".

Проблема зависания может быть сформулирована следующим образом. Имеются описание программного алгоритма и начальные входные данные. Необходимо определить, завершится ли когда-либо выполнение алгоритма с этими данными или же программа зависнет. Ещё в 1936 году Алан Тьюринг доказал, что не существует общего решения проблемы для всех возможных программ и всех возможных входных данных. Однако в корпорации Microsoft всё же рассчитывают создать систему, которая будет работоспособна в большинстве случаев.

Проектом Terminator руководит исследователь Microsoft Байрон Кук. По словам Кука, многие пользователи считают, что зависшие программы полностью перестают работать. На самом же деле такие приложения, как правило, входят в бесконечный цикл и не реагируют на команды.

Проект Terminator предполагает создание системы, которая сможет автоматически проверять программные модули и приложения, моделируя различные входные параметры. Компонент, прошедший такую проверку, должен будет гарантированно работать без зависаний в подавляющем большинстве практических случаев. Существующая сейчас предварительная версия комплекса Terminator v0.1 поддерживает вложенные циклы, рекурсивные функции, указатели, побочные эффекты и пр. Система уже прошла успешные испытания при проверке драйверов Windows, содержащих до 35000 строк программного кода.

Источник: compulenta.ru

Новости партнеров: