Издание The Register опубликовало (http://www.theregister.co.uk/2011/06/10/automatic_device_dri...) интервью с Аруном Рагхунатом (Arun Raghunath), одним из разработчиков Intel Labs, который занимается созданием системы (http://ertos.nicta.com.au/research/drivers/synthesis/) для автоматической генерации исходного кода драйверов устройств и их адаптации для различных операционных систем. В ходе беседы Арун пояснил принцип работы системы, рассказал о текущем состоянии разработки и требованиях, которые она предъявляет к производителям устройств.

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

URL: http://ertos.nicta.com.au/research/drivers/synthesis/
Новость: http://www.opennet.me/opennews/art.shtml?num=30839

• Intel Labs работает над системой, которая сможет создавать д...,strah4, 16:23 , 10-Июн-11
  • Intel Labs работает над системой, которая сможет создавать д...,анонимно, 16:27 , 10-Июн-11
    • Intel Labs работает над системой, которая сможет создавать д...,brother anon, 16:43 , 10-Июн-11
      • Intel Labs работает над системой, которая сможет создавать д...,filosofem, 21:47 , 10-Июн-11
      • Intel Labs работает над системой, которая сможет создавать д...,pavlinux, 15:53 , 11-Июн-11
  • Intel Labs работает над системой, которая сможет создавать д...,pro100master, 16:28 , 10-Июн-11
• Intel Labs работает над системой, которая сможет создавать д...,XVilka, 16:25 , 10-Июн-11
  • Intel Labs работает над системой, которая сможет создавать д...,Аноним, 08:41 , 11-Июн-11
• Intel Labs работает над системой, которая сможет создавать д...,grayich, 16:32 , 10-Июн-11
  • Intel Labs работает над системой, которая сможет создавать д...,burdakovd, 16:51 , 10-Июн-11
    • Intel Labs работает над системой, которая сможет создавать д...,grayich, 17:59 , 10-Июн-11
      • Intel Labs работает над системой, которая сможет создавать д...,арсен, 06:56 , 11-Июн-11
        • Intel Labs работает над системой, которая сможет создавать д...,Аноним, 08:42 , 11-Июн-11
      • Intel Labs работает над системой, которая сможет создавать д...,Piter_Ring, 13:10 , 11-Июн-11
        • Intel Labs работает над системой, которая сможет создавать д...,grayich, 13:47 , 11-Июн-11
  • Intel Labs работает над системой, которая сможет создавать д...,Michael Shigorin, 03:28 , 11-Июн-11
• Intel Labs работает над системой, которая сможет создавать д...,xxx, 16:37 , 10-Июн-11
  • Intel Labs работает над системой, которая сможет создавать д...,XVilka, 16:39 , 10-Июн-11
    • Intel Labs работает над системой, которая сможет создавать д...,_yurkis_, 16:43 , 10-Июн-11
      • Intel Labs работает над системой, которая сможет создавать д...,Alatar, 18:20 , 10-Июн-11
        • Intel Labs работает над системой, которая сможет создавать д...,Lain_13, 00:08 , 11-Июн-11
  • Intel Labs работает над системой, которая сможет создавать д...,_yurkis_, 16:41 , 10-Июн-11
  • Intel Labs работает над системой, которая сможет создавать д...,Aquarius, 16:45 , 10-Июн-11
  • Intel Labs работает над системой, которая сможет создавать д...,Atterratio, 17:32 , 10-Июн-11
  • Intel Labs работает над системой, которая сможет создавать д...,Аноним, 20:24 , 10-Июн-11
• Intel Labs работает над системой, которая сможет создавать д...,RaY, 17:06 , 10-Июн-11
  • Intel Labs работает над системой, которая сможет создавать д...,Ytch, 01:18 , 11-Июн-11
• Intel Labs работает над системой, которая сможет создавать д...,winrar777, 17:11 , 10-Июн-11
  • Intel Labs работает над системой, которая сможет создавать д...,_yurkis_, 17:15 , 10-Июн-11
• Intel Labs работает над системой, которая сможет создавать д...,Аноним, 17:28 , 10-Июн-11
  • Intel Labs работает над системой, которая сможет создавать д...,Michael Shigorin, 03:30 , 11-Июн-11
• Intel Labs работает над системой, которая сможет создавать д...,Аноним, 17:29 , 10-Июн-11
• Intel Labs работает над системой, которая сможет создавать д...,Аноним, 17:48 , 10-Июн-11
• Intel Labs работает над системой, которая сможет создавать д...,Аноним, 18:14 , 10-Июн-11
• Intel Labs работает над системой, которая сможет создавать д...,eugenyn, 18:23 , 10-Июн-11
• Intel Labs работает над системой, которая сможет создавать д...,Пробегавший, 21:00 , 10-Июн-11
  • Intel Labs работает над системой, которая сможет создавать д...,Аноним, 22:48 , 11-Июн-11
• Intel Labs работает над системой, которая сможет создавать д...,Онаним, 23:14 , 10-Июн-11
  • Intel Labs работает над системой, которая сможет создавать д...,Клыкастый, 15:42 , 11-Июн-11
• Intel Labs работает над системой, которая сможет создавать д...,СуперАноним, 23:15 , 10-Июн-11
• Intel Labs работает над системой, которая сможет создавать д...,Аноним, 00:56 , 11-Июн-11
  • Intel Labs работает над системой, которая сможет...,anonymous, 01:40 , 11-Июн-11
    • Intel Labs работает над системой, которая сможет...,Michael Shigorin, 03:33 , 11-Июн-11
• Intel Labs работает над системой, которая сможет создавать д...,Funt, 01:46 , 11-Июн-11
  • Intel Labs работает над системой, которая сможет создавать д...,Ytch, 05:26 , 11-Июн-11
  • Intel Labs работает над системой, которая сможет создавать д...,Piter_Ring, 13:18 , 11-Июн-11
• Intel Labs работает над системой, которая сможет создавать д...,axe, 08:36 , 11-Июн-11
  • Intel Labs работает над системой, которая сможет создавать д...,Аноним, 22:50 , 11-Июн-11
• Intel Labs работает над системой, которая сможет создавать д...,arturpub, 10:15 , 14-Июн-11
  • Intel Labs работает над системой, которая сможет...,anonymous, 10:21 , 14-Июн-11
  • Intel Labs работает над системой, которая сможет создавать д...,belkin, 12:40 , 14-Июн-11
• Intel Labs работает над системой, которая сможет создавать д...,lucentcode, 00:35 , 15-Июн-11
  • Intel Labs работает над системой, которая сможет...,anonymous, 05:57 , 15-Июн-11
  • Intel Labs работает над системой, которая сможет создавать д...,B.O.B.A.H., 16:42 , 15-Июн-11

Предвижу сообщение при подключении. Система генерирует драйвер для нового устройства.

когда железка будет отдавать свою спецификацию при подключении, так и будет, это неизбежно )

Спецификацию можно "нагуглить" автоматически по device id (или как он там называется)

user@host:~#Termite --make-all --install
building driver for network card...
googling specification for network card...
Can't find Internet connection.
FAIL!

>Спецификацию можно "нагуглить" автоматически

нагугли плиз

14e4:5820 (rev 10)

Это уже частично есть - Plug aNd Play

Это надо чтобы все производители устройств проедоставляли спецификации в едином, машиночитаемом формате. Без всяких PDF и NDA

особенно желательно чтобы таковыми были verilog/vhdl сорцы сразу :)

дык, спецификации всё равно нужны

Ну так спецификацию написать один раз, а драйвер можно будет сгенерить для всех ОС.

То есть если есть n моделей устройств, и m ОС.
То раньше нужно было писать n * m драйверов.
А теперь n + m спецификаций.

былиб спеки, народ сам под свои оси напишет дрова, я не против автоматизации подобной, но сама по себе она ничего не даёт без спеков, которые производители всё ещё жмодят.

"Народ сам напишет" - это миф. Спросите у реальных опенсурсных мегакодеров

> "Народ сам напишет" - это миф. Спросите у реальных опенсурсных мегакодеров

А тем не менее, пишут же. Опенсорсные мегакодеры.

> былиб спеки, народ сам под свои оси напишет дрова, я не против
> автоматизации подобной, но сама по себе она ничего не даёт без
> спеков, которые производители всё ещё жмодят.

Спеки на АТИ карточки давненько уже открыли - и где драйвера ?
в Опе!.

где открыты? насколько я помню главное то как раз и не раскрыто.

Не "всё равно", и не просто "машиночитаемые", а не подлежащие трактовке ("шоб даже железяке сразу понятно было").  До такой степени пригодности к корректному обобщению продукция китайцев в обозримом будущем вряд ли доберётся, а в интеле, похоже, так и не сделали выводы из разработки ACPI в пределах существенно шире отдельно взятого Гровера.

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

Это скорее применимо для создания "заготовки" драйвера, для доработки напильником. Но тогда спецификации должны быть, например в XML и содержать максимум информации. Тот же интел, кучу информации просто опускает в своих спеках.

> Это скорее применимо для создания "заготовки" драйвера, для доработки напильником. Но тогда
> спецификации должны быть, например в XML и содержать максимум информации. Тот
> же интел, кучу информации просто опускает в своих спеках.

Или стандартизировать классы девайсов и заставлят этим стандрартам следовать. (Как в usb, например). Но это тоже не гарантия, конечно.

> Или стандартизировать классы девайсов и заставлят этим стандрартам следовать. (Как в usb, например)

Угу... ставил Линуху на комп. В комп воткнуты два USB-ных беспроводных комплекта разных производителей (клава+мышь и клава+трекбол). И то и другое класс USB HID. Один заработал, другой нет. Вот вам и стандартизация классов. =)

Это ещё что. У меня есть беспроводная клава с мышью. До Убунту 10.10 линукс при виде мыши переставал видеть клавиатуру. После 10.10 они наконец заработали, но (!) во всех играх с хоть какой-то графикой клавиатура ведёт себя так, будто клавиши влево и вверх вечно зажаты. Играть невозможно в принципе.

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

> Здорово конечно, однако и с участием человека нормальные драйвера написать никто не
> может, а тут такое. И ещё кто работал с железом знают,
> что там вечно встречаются всякие подводные камни, глюки, хаки и прочее,
> поэтому спецификации постоянно не соответствуют реальности.

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

Дак в том то и смысл, что бы были полные спецификации, а не хаки, подводные камни и т.д.

> Здорово конечно, однако и с участием человека нормальные драйвера написать никто не может

Там встречается пачка развеселых errata. У интела их кстати навалом, как признаных ими так и отловленных добровольцами и заворкэраундеными. Далеко ходить не надо - они в sandy bridge довольно хорошо пролошились.

и при установке устройства будут новые ошибки: драйвер проиграл, начать новую партию? :)

> драйвер проиграл, начать новую партию? :)

драйвер проиграл, отправьте sms на короткий номер, чтобы начать новую партию.

P.S. Можно еще тотализатор. "Ставки на новый девайс от logitech 3 к 1 в первом забеге" или "Темная лошадка" noname победила техническим нокаутом во втором раунде.

Что-то мне подсказывает, что создание подобной машиночитаемой спецификации будет гораздо сложнее написания драйвера под windows и этим заморачиваться не будут. Ведь в ней нужно учитывать кроссплатформенность. Это будет что-то подобное байт-коду, только для драйверов.

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

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

Не поверите(да и не надо), два года назад у меня была эта же мысль, т.е.с помощью ИИ создавать драйвера, только вот такие унылые критики как большинство отписавшихся только и вечно тормозят прогресс своим скепсисом. Рад, что дело идет и идет как я это себе представлял!

> только и вечно тормозят прогресс своим скепсисом

http://bash.altlinux.org/2048

Фактически создание такой спецификации - это и есть разработка драйвера, но более высокоуровневом языке, независимом от железа и системных интерфейсов.

Может наконец появится нормальный драйвер для встроенного видео Intel без tearing?

А в это время винда требует обязательной сертификации драйверов...

Моя мышка отказалась стрелять в афроамериканца в кооперативной игре, мотивируя это тем, что мой цвет кожи - белый, и что она против выбора целей по дискриминационным мотивам.

На счастье клавиатура не согласилась с ее оценкой в 48% и выдала только 21% вероятности этого, в результате чего я смог нажать на <1> и ножичком почикать противника.

К сожалению видеокарта не согласилась с моим выбором на счет <1> и отключила шейдеры, чтобы я не смог увидеть результат.

Хм...

Ну напишет ИИ неглючный драйвер, а скорость?

Ну скомпилирует программа машинный код, а скорость?

Сразу вспоминается отмазка, обязательная во всех спеках: "производитель оставляет за собой право вносить изменения без специального уведомления"

В корень!

Интересно, а сама система генерации исходного кода драйверов будет с открытыми исходниками? Если проприетарная, то тогда придётся ещё верифицировать полученный код на отсутствие закладок вручную или с помощью инструмента, к которому есть доверие.

Выглядит фантастично. Будет круто, если они смогут это довести до production уровня. Скольким программистам придётся тогда переквалифицироваться.

> Будет круто, если они смогут это довести до production уровня.

не смогут. по многим причинам, которые мне расписывать очень лень.

>> Будет круто, если они смогут это довести до production уровня.
> не смогут. по многим причинам, которые мне расписывать очень лень.

Начиная с недоверия браминам? ;-)
(заинтриговали в части возможной степени совпадения причин)

побыстрее уже, это последняя надежда завести мой канон))))

> побыстрее уже, это последняя надежда завести мой канон))))

Ну почему же? Всегда есть, как минимум, еще один способ, который, кстати, может вообще попробовать каждый. Если взять рандомное количество рандомных байтов, то существует отличная от нуля вероятность того, что это и будет искомый драйвер. )))

> побыстрее уже, это последняя надежда завести мой канон))))

А что с твоим каконом ?

Скайнет наступает?
Программирование драйверов в случае успеха перейдет от императивного программирования на декларативный, только и всего. Человек никуда не денется.

Тебе ж посчитали: писать придётся вместо n * m драйверов n + m спецификаций.

Чем всякой хренью эвристической заниматься, лучше бы пролоббировали в каком-нить ANSI стандарт на дрова и их с кернелом взаимный интерфейс, хотя бы в общих чертах. А то C99 есть, POSIX есть, а в дровах бардак. Так и будем до скончания лет прыгать с бубном вокруг *.drv, *.sys, *.dll, *.ko, *.ppd...

а ещё надо не забыть Самую Правильную ОС. а остальные запретить.

Так было уже такое. Называлось I2O. Драйвер состоял из двух частей: зависимое от устройства (писали разработчики устройства) и зависимое от ОС (писали разработчики ОС). Почему не пошло не знаю.
http://en.wikipedia.org/wiki/I2O

Новость - просто супер! Во первых процесс внедрения технологии приведёт к открытию спецификаций, что есть гуд. Ну и для разработчиков устройств экономия, не нужно писать дрова. Нет издержек на дрова, можно и цену на устройства немного понизить. А это опять профит потребителю:)

> Во первых процесс внедрения технологии приведёт к открытию спецификаций

с какого испугу? O_O

> Нет издержек на дрова, можно и цену на
> устройства немного понизить.

ну на ЭТО рассчитывать не приходится :)