Новости игр и программ. Исследователи Microsoft создадут терминатора

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

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

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

Существующая сейчас предварительная версия комплекса Terminator v0.1 поддерживает вложенные циклы, рекурсивные функции, указатели, побочные эффекты и пр. Система уже прошла успешные испытания при проверке драйверов Windows, содержащих до 35000 строк программного кода.
Владимир Парамонов
www.compulenta.ruдата: 26.08.2006
Ссылку на новость '.Исследователи Microsoft создадут "терминатора".' Вы можете установить к себе на блог или сайт, вот HTML код:

<a href="https://emuplanet.ru/gamenews/pqi.html" target="_blank">Исследователи Microsoft создадут терминатора </a>

Компания "Новый Диск" объявила имена актеров, которые примут участие в игре "Инстинкт".

Компания THQ представила новые скриншоты из проекта Frontlines: Fuel of War. Разработкой игры занята недавно открытая под крылом издателя студия Kaos Studios.

Компания OneStat.com подвела итоги исследования распространённости операционных систем для персональных компьютеров.

На прошлой неделе компания Google открыла доступ для всех желающих к онлайновому текстовому редактору Writely. Поисковый гигант приобрёл онлайнового конкурента Word в марте этого года.

Польская студия Techland представила новые скриншоты из фантастического шутера Chrome 2, выход которого состоится в середине следующего года на PC и консолях следующего поколения.

Компания Ubisoft анонсировала четвертую часть симулятора подводной лодки с рабочим названием Silent Hunter 4: Wolves of the Pacific, разработка которого идет в румынском отделении компании Ubisoft Romania.

Компания "Акелла" отправляет в печать пластилиновый квест "Танита или Морское Приключение", разработанный студией Trickster Games. В продажу игра поступит 29 августа.

Российская компания ABBYY, производитель ПО в области лингвистики, организовала в Московском физико-техническом институте на факультете инноваций и высоких технологий базовую кафедру "Распознавание изображений и обработка текста".

1C и Gaijin Entertainment представили видеоролик из игры "Адреналин 2: Час Пик". Напомним, что "Адреналин 2: Час Пик" - продолжение автосимулятора "Адреналин".

Президент Боливии Эво Моралес обрёл нового соратника в своём стремлении популяризовать индейские языки. Им стала корпорация Microsoft, выпустившая локализованные версии ОС Windows и пакета офисных приложений Office на языке кечуа.