Провокационный вопрос

[metaclass]

Знают ли разработчики ядра и околоядерного софта под линукс современные методики разработки софта - как-то объектно-ориентированный дизайн, функциональное программирование, доказательство валидности программ, всякие там DSL и кодогенерации?

Comments

[kiryl.livejournal.com]

Ну, давай по порядку ;)

> как-то объектно-ориентированный дизайн

Да. VFS линуксячий вполне себе объектно ориентированный.

> функциональное программирование

кто-то знает, кто-то -- нет.

make считаем за функциональное программирование? ;)

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

Я не знаю. кто-то должен знать.

> всякие там DSL и кодогенерации

Какие-то небольшие куски могут генерироваться, например таблица syscall'ов на x86.

Ещё есть http://coccinelle.lip6.fr/, которую в ядре пользуют для поиска/правки типичных ошибок или массовых изменений API'я. Она же умеет патчи генерировать.

[metaclass.livejournal.com]

А, значит как и везде - используют, но не массово.

[gmax-lj.livejournal.com]

http://www.devicetree.org/Main_Page
за кодогенерацию сойдёт?

[jek-hor.livejournal.com]

Тут просто реально некуда всунуть большую часть перечисленного.