В помощь сайту
В мире технологий
04-09-2006 20:00
TDK представила диск Blu-ray ёмкостью 200 Гб
04-09-2006 20:00
Появилась новая информация о будущих процессорах AMD
04-09-2006 20:00
"Вымпелком" пошел на уступки региональным сотовым операторам
31-08-2006 20:00
Fujitsu выпустила винчестеры для ноутбуков ёмкостью в 160 Гб
31-08-2006 20:00
Samsung выпустила MP3-плеер с флэш-памятью на 1 Гб
28-08-2006 20:00
Разрабатывается новая система охлаждения микрочипов
28-08-2006 20:00
В зонах .info и .biz будет действовать "поярусная" система регистрации
27-08-2006 20:00
"Стрателлиты" улучшат качество мобильной связи
27-08-2006 20:00
Выработка стандарта на аккумуляторы может начаться до конца года
27-08-2006 20:00
Исследователи Microsoft создадут "терминатора"
27-08-2006 20:00
ABBYY открыла кафедру в МФТИ
21-08-2006 20:00
Сайты Кевина Митника снова взломали
20-08-2006 20:00
Sony начала продажу двуслойных "болванок" Blu-ray
20-08-2006 20:00
Учёные повысили быстродействие биполярных транзисторов
20-08-2006 20:00
Опасные батареи Sony присутствуют не только в ноутбуках Dell
20-08-2006 20:00
Выход Firefox 2.0 откладывается до октября
20-08-2006 20:00
Количество статей в русской "Википедии" перевалило за 100000
15-08-2006 20:00
Google не желает становиться глаголом
15-08-2006 20:00
AMD выпустила новые процессоры Opteron
15-08-2006 20:00
Hitachi выпустит винчестер ёмкостью 1 Тб ближе к концу года
Страницы: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28
Реклама
-
Сообщение
27-08-2006 20:00
Автор: nikedeforest
Исследователи Microsoft создадут "терминатора"
Специалисты исследовательской лаборатории корпорации Microsoft работают над новым проектом Terminator, основная цель которого заключается в решении так называемой "проблемы зависания".


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

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

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