[ON] Intel Labs работает над системой, которая сможет создавать драйверы без участия человека

[rssbot]

Издание The Register опубликовало интервью с Аруном Рагхунатом (Arun Raghunath), одним из разработчиков Intel Labs, который занимается созданием системы для автоматической генерации исходного кода драйверов устройств и их адаптации для различных операционных систем. В ходе беседы Арун пояснил принцип работы системы, рассказал о текущем состоянии разработки и требованиях, которые она предъявляет к производителям устройств. Центральная идея технологии, получившей имя Termit, состоит в том, чтобы автоматизировать труд программистов, пишущих драйверы устройств, и избежать возможных ошибок в коде за счет автоматизации их работы с помощью алгоритмов, используемых при создании систем искусственного интеллекта. Программа-генератор получает в качестве входных данных спецификации устройства и интерфейса драйверов операционной системы и генерирует код, способный связать их вместе и реагировать на события и потребности друг-друга.

В отличие от других подобных проектов, алгоритм работы Termit основан на методах Теории Игр. Как говорит Арун, процесс общения драйвера с устройством можно представить в виде типичной игровой ситуации, в которой драйвер - это один игрок, а все остальное окружение, к которому можно причислить ОС и устройство - другой. "Когда драйвер делает ход, окружение изменяет свое состояние. Выигрышная стратегия заключается в том, чтобы делать ходы по игровому полю так, чтобы не ввести окружение в противоречивое или тупиковое состояние". Во время "игры" генератор запоминает выигрышные ходы и строит драйвер на основе этих знаний. Сильная сторона такого подхода в его универсальности: при необходимости перенести сгенерированный драйвер в другую операционную систему, не понадобится ничего кроме корректных спецификаций интерфейса драйверов для этой ОС. Впервые технология Termit была представлена сотрудниками австралийского исследовательского центра NICTA, Open Kernel Labs и исследователями из университета Нового Южного Уэльса на симпозиуме SOSP ("Symposium on Operating Systems Principles"). В представленном на симпозиуме докладе приведено подробное описание технологии, формата файлов-спецификаций и продемонстрирован процесс генерации кода драйверов для контроллера SD-карт Ricoh R5C822 и адаптера USB-Ethernet ASIX AX88772 для операционных систем GNU+Linux и FreeBSD.


Источник: http://www.opennet.ru/opennews/art.shtml?num=30839


оригинал на opennet.ru

[Slimy]

Так же можно не только драйвера писать

[Ism]

Очень интересная вещь, возможно первый шаг к самоадаптирующимся системаи.

[Janik]

Как вы думаете, повлияет ли это на качество кода (и программ, соответственно)?

[Deo]

надеюсь, что повлияет и код будет более предсказуем с минимальным количеством, извините, черезжопий.

а что касается не только драйверов - думается, с драйвероми проще - у них, драйверов, самая четкая из нечетких логик :)
а то будет как в анекдоте

- зачем принес 10 палок колбасы?
- так яйца же в магазине были!

[kma21]

Как вы думаете, повлияет ли это на качество кода (и программ, соответственно)?

Я думаю, что повлияет в любом случае. А вот в положительную или же отрицательную сторону, это покажет время.

[/dev/random]

Самое интересное, что согласно используемому в GPL определению, исходниками является форма представления программы, наиболее приспособленная для внесения изменений. В случае драйверов, написанных подобным образом, это спецификации. То, что будет сгенерировано на их основе, уже не будет исходниками. Ждём новой волны негодований по поводу отсутствия исходников в коде ядра.

[ubuntuAndrew]

Интересно... Мне кажется что вряд ли получится... нда...