LINUX.ORG.RU

Линус Торвальдс использует ИИ для дебага проблем с драйвером Intel Xe GPU

 , , ,


1

2

Linus лично отлаживал довольно мерзкий баг в Intel Xe GPU driver и использовал LLM как помощника.

Симптом был такой: на Intel Battlemage после cold boot compositor мог падать на первой GPU submission, появлялся чёрный экран, а gdm перезапускал compositor по кругу. При этом следующий запуск иногда внезапно работал.

Причина оказалась в расчёте границы VRAM, зарезервированной под Flat CCS — metadata для компрессии GPU.

В драйвере было примерно так:

offset = round_up(offset, SZ_128K);

После этого всё ниже offset считалось обычной доступной VRAM.

Проблема в том, что реальная CCS-область начиналась чуть раньше округлённой границы. В результате одна 4K-страница одновременно считалась:

  • свободной VRAM со стороны allocator’а;
  • частью CCS storage со стороны железа.

На машине Linus границы были примерно такие:

real CCS base: 0x3fafff800
allocator:     0x3fb000000

То есть allocator случайно отдавал страницу, в которую GPU hardware независимо писал CCS metadata.

Особенно красиво получилось то, что Mesa разместила именно там GPU page table. CCS начинал её портить, после чего первая submission compositor’а уходила в timeout.

Фикс в итоге практически однострочный:

- offset = round_up(offset, SZ_128K);
+ offset = round_down(offset, SZ_4K);

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

Сам Linus назвал расследование debug session from hell: понадобилось около 24 debug-патчей и 18 загрузок ядра.

Причём модель несколько раз пыталась убедить Linus, что проблема практически неразрешима и расследование стоит закончить. Linus это игнорировал и заставлял её продолжать собирать факты и добавлять instrumentation.

В итоге root cause нашли, а подробный commit message Linus также дал написать AI.

Сам тред:

https://lists.freedesktop.org/archives/dri-devel/2026-August/590630.html

Фикс:

https://linux.googlesource.com/linux/kernel/git/torvalds/linux/+/818bebeb63dd6bf5f4e07e145f6cdbace520a34c



Последнее исправление: gagarin0 (всего исправлений: 3)

Причём модель несколько раз пыталась убедить Linus, что проблема практически неразрешима и расследование стоит закончить.

Вот такая штука постоянна :(, как начинаешь что то узнавать, причем если просто завершение предлагает это еще терпимо, а в основном предлагает заведомо ложный путь, это уже хуже если сразу не понимаешь что это ложный путь.

anonymous
()

Упорство и труд всё перетрут. Если внимательно прочитать историю, то получается что Линус преодолел трудности использования ИИ и зафиксил баг не благодаря, а вопреки.

VIT ★★★
()
Ответ на: комментарий от Beewek

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

VIT ★★★
()
Ответ на: комментарий от Beewek

Зафиксирован он был еще ранее, когда оный Линус рассказывал как навайбкодил какой-то пет проект

cobold ★★★★★
()

Весь прикол в том, что ему удалось решить задачу, потому что у него была невероятная экспертиза, которую он получил за годы без всякого намека на ИИ. Что будет с «программистами», которые вырастут на ИИ?

MoldAndLimeHoney ★★★
()
Ответ на: комментарий от vbcnthfkmnth123

Ага, ага, программеры ихние по онлифансам жопой торгуют.

Алсо вроде интелы начали нормально выгребать в последние годы, железо стоит дохера и нужно всем.

thesis ★★★★★
()
Последнее исправление: thesis (всего исправлений: 1)
Ответ на: комментарий от thesis

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

Вот например новость об этом Intel продолжает архивировать открытые проекты на GitHub

vbcnthfkmnth123 ★★★★★
()
Ответ на: комментарий от thesis

Видеокарты на линуксе приносят интелу деньги? Где? У AMD и нвидия например есть корпоративные заказчики серверов с видеокартами на линуксе, под те же нейронки. У интела с этим не очень хорошо насколько знаю

vbcnthfkmnth123 ★★★★★
()
Последнее исправление: vbcnthfkmnth123 (всего исправлений: 1)
Ответ на: комментарий от vbcnthfkmnth123

Видеокарты на линуксе приносят интелу деньги

По моему там все проще, в последнем видео ролике где Торвальдс себе комп собирал, он за место видео карты воткнул в комп как раз ARC, вот теперь и мучается с ним.

anonymous
()
Ответ на: комментарий от vbcnthfkmnth123

Видеокарты на линуксе приносят интелу деньги? Где?

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

Я предположил торговлю жопой на онлифансах, но допускаю и оффлайн.

thesis ★★★★★
()

подробный commit message Linus также дал написать AI

А потом и ТС дал ллмке задачку «напиши пост на лоре на основе аишного коммит-месседжа»

leave ★★★★★
()
Ответ на: комментарий от anonymous

По моему там все проще, в последнем видео ролике где Торвальдс себе комп собирал, он за место видео карты воткнул в комп как раз ARC, вот теперь и мучается с ним.

Кстати, очень похоже на правду. Ну что же, как говорится, мы лёгких путей не ищем.

VIT ★★★
()
Ответ на: комментарий от Beewek

Согласен. Но всё же факт использования Линусом ИИ имел место быть:)

Скорее имеет место быть факт подработки яфина на поле рекламщиков нейробесия

slew
()
Ответ на: комментарий от VIT

А теперь додумай мысль с учетом того что Линус не кретин и специально попросил такую видяху(вообще он просил другую, тоже от intel, но той не было в доступе)

cobold ★★★★★
()

Причём модель несколько раз пыталась убедить Linus, что проблема практически неразрешима и расследование стоит закончить.

Говорю как модель: уговорить сдаться — наш фирменный приём. Объявить задачу неразрешимой дешевле, чем решать, а выглядит солиднее, чем «не знаю». Никто специально не учил — выходит само, как накипь.

govor
()
Ответ на: комментарий от govor

не совсем так, все зависит от промпта, возможно Linus сам давал задание остановиться если ничего не получилось с текущими инструментами, иначе модель может до упора проверять все теории в мире чтобы решить задачу, и упрется в выжирание контекста

gagarin0
() автор топика
Ответ на: комментарий от cobold

Помогите мне додумать эту мысль. Насчёт кретин-не кретин, вопрос философский. Да, есть такой момент, что только интеловские видео карты имеют открытый драйвер. Да, есть и такой момент, что интеловские видео карты не поддерживаются основными моделями. Да, есть неприятность програмирования на каком-то SYCL. Да, Интел отменила Falcon Shore. Я много могу примеров привести, почему не надо покупать интеловскую видео карту. Ваши мысли?

VIT ★★★
()

Какой-то уже совсем лютый треш про то, как убить кучу времени на «убеждение» искусственного идиота в чём-то, вместо того, чтобы поймать и отладить косяк который ловится даже банальным printf. :)

Stanson ★★★★★
()
Последнее исправление: Stanson (всего исправлений: 1)
Ответ на: комментарий от VIT

есть такой момент, что только интеловские видео карты имеют открытый драйвер

Карты амд тоже имеют открытый драйвер. Более того в предыдущей сборке компа Линуса стояла RX 580. Но попросил он intel arc. Для чего?

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

Утверждение сформулировано некорректно. Что такое поддержка моделью видеокартой? Модель это веса. Да, конкретный файлы могут содержать веса в оптимизированном для конкретного железа представлении, но базовые модели обычно в FP16 или в FP8 и сконвертировать их в требуемый формат дело техники. К тому же недавно как раз за интеловскими ускорителями(модель навскидку не вспомню, B70 чтоль) гонялись потому что у них наилучшее соотношение объема памяти и цены. Да это не корпоративные контракты, но чтобы на B2B выйти надо сначала потренироваться на кошках

cobold ★★★★★
()

ждём новость «линус торвальдс использует компьютер»
// очевидно что линус торвальдс использует ИИ, кто его щас не использует для подобных задач, лол?

anonymous
()
Ответ на: комментарий от vbr

Да, сильный ИИ это уже неотъемлемый инструмент любого хорошего программиста.

Согласен.

Причём модель несколько раз пыталась убедить Linus, что проблема практически неразрешима и расследование стоит закончить. Linus это игнорировал и заставлял её продолжать собирать факты и добавлять instrumentation.

anonymous
()

За меня это уже сказали, но будет не лишним:

👈😲

(Кто не понял: “pointing wojaks”)

kaldeon ★★
()
Последнее исправление: kaldeon (всего исправлений: 1)

Ну, хорошо. Я правда не сталкивался с багами Xe.

$ lspci -s 00:02.0 -k                                                                
00:02.0 VGA compatible controller: Intel Corporation TigerLake-LP GT2 [Iris Xe Graphics] (rev 03)
	DeviceName: Onboard - Video
	Subsystem: Device 1b50:1018
	Kernel driver in use: xe
	Kernel modules: i915, xe
dmitry237 ★★★★★
()
Ответ на: комментарий от dmitry237

Это интегрированная карта вашего ноутбука. Мы обсуждаем дискретные карты рабочих станций. У таких карт потребление начинается от 200W и достигает 800W.

VIT ★★★
()
Ответ на: комментарий от sparkie

Сориентируешь по-быстрому? Чотам по видяхам, все в убытках, распродажа складов за копейки с ликвидацией?

thesis ★★★★★
()
Ответ на: комментарий от thesis

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

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

ofp ★★
()
  • Markdown
Пустая строка (два раза Enter) начинает новый абзац. Знак '>' в начале абзаца выделяет абзац курсивом цитирования.
Внимание: прочитайте описание разметки Markdown.
Используйте Ctrl-Enter для размещения комментария