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

[metaclass]

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

Comments

[nivanych.livejournal.com]

Не знают.
Надо их образовывать.

[vit-r.livejournal.com]

Зачем такие подозрения, если видно, что ядро более-менее рабтает. Вот как начнёт сбоить и валиться, тогда и надо начинать с обвинениями.

[hshhhhh.livejournal.com]

Там им же бабло пилить не надо :)

[jakobz.livejournal.com]

Да-да, нужно срочно нарисовать UML-диаграммы ядра, иначе не по феншую!

[bydlorus.livejournal.com]

Но зачем?

[plumqqz.livejournal.com]

Чтобы не считали, будто военная служба - это мед.

[teewoon.livejournal.com]

Обыкновенно, вышеперечисленная ахинея из прикладного софтостроения, встречает лютый отпор =)

[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]

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

[q987.livejournal.com]

самому современному из перечисленного лет двадцать будет :)

[blackyblack.livejournal.com]

ООП в ядре линукса во весь рост. Доказательство валидности есть для всяких альтернативных осей - про House много толков ходило.

[max630.livejournal.com]

ну там много людей. Есть и такие: http://en.wikipedia.org/wiki/Xavier_Leroy

[andrew kondratovich (from livejournal.com)]

Там своя уличная магия

[madeveloper.livejournal.com]

Самое забавное, что Microsoft с их Metro похоже обошли Linux сообщество по реализации нативного системного API на чистом ООП.

[jek-hor.livejournal.com]

Простите, но какое отношение имеет графический интерфейс к системному API?

[madeveloper.livejournal.com]

Притом, что Microsoft теперь четко делит "Metro Style Apps" которые взимодействуют с ОС через объектно-ориентированный WinRT и "Old Desktop Apps" которые работают через Win32.

[inhate.livejournal.com]

А куда попадают приложения без GUI вообще в этой классификации?

[madeveloper.livejournal.com]

Видимо в Desktop Apps. Хотя WinRT вроде как и не требует чтобы приложение имело GUI. Я пока глубоко не вникал и кодить не пробовал. Вобщем вопрос ждет своего исследователя ;)

На сегодняшни день WinRT это такая жутко изолированная песочница (вирутуальная ОС) для приложений с GUI в стиле Metro. Что будет дальше пока непонятно. Ну т.е. это не то что неполноценная замена Win32, а пока даже близко не замена. При этом ничего кроме самой WinRT для Metro Style приложений недоступно (даже опосредованно).

[vaddimka.livejournal.com]

это какой-то троянский коммент :)

[jek-hor.livejournal.com]

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

[guamoka.livejournal.com]

Знает ли ваш участковый урач Клятву Гиппократа?

[teewoon.livejournal.com]

По части ООП в низком уровне, наверное сильнее всех выделяется яблоко с наследием NexT.

[develop7]

да, да, не знаю, не знаю.

[theiced.livejournal.com]

современные методологии- это ортурегомирование - берём и хуячим пока не заработает.

[maholet.livejournal.com]

Тру. А когда заработает, окультуриваем.

[norguhtar.livejournal.com]

Срочно переходите на L4! У него микроядро математически валидировано :]

[nicka-startcev.livejournal.com]

а хотя бы посикс под ним на хотя бы сата-винтах с хотя бы вга-консолью и хотя бы одной сетевухой уже живет? :)

[norguhtar.livejournal.com]

У него есть православная прокладка с драйверами от линукза!

[theaspect.livejournal.com]

А они тоже математически валидированы?

[norguhtar.livejournal.com]

Нет конечно ;)

[besm6.livejournal.com]

Первое, к сожалению, да, поэтому чем дальше, тем больше около ядра софта, криво написанного на C++. Остальное - не факт.

[dmitry shamov (from livejournal.com)]

Ну ООП это GTK. А про остальное. кодогенерация точно есть. DSL? Вы меня извините, но задача ядра работать с железом и прикладным софтом. Вам C там не DSL?