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

[metaclass]

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

Comments

[nivanych.livejournal.com]

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

[vit-r.livejournal.com]

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

[hshhhhh.livejournal.com]

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

[jakobz.livejournal.com]

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

[bydlorus.livejournal.com]

Но зачем?

[teewoon.livejournal.com]

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

[kiryl.livejournal.com]

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

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

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

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

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

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

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

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

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

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

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

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

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

[guamoka.livejournal.com]

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

[teewoon.livejournal.com]

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

[develop7]

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

[theiced.livejournal.com]

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

[norguhtar.livejournal.com]

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

[besm6.livejournal.com]

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

[dmitry shamov (from livejournal.com)]

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