LINUX.ORG.RU

Таненбаум с MINIX 3 получил грант от Европейского союза

 


0

0

Эндрю Таненбаум сообщил на сайте Амстердамского свободного университета, что на MINIX 3 получен грант в размере 2,5 миллионов евро от Европейского совета по научным исследованиям.

Грант будет финансировать работу двух постдоков, нескольких аспирантов и нескольких программистов в рамках нынешнего проекта Таненбаума под названием MINIX 3. MINIX 3 — это актуальная версия микроядерной ОС Minix, которая была создана для исследовательских целей и сейчас обычно используется для изучения операционных систем.

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

>>> Подробности

★★

Проверено: maxcom ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

> А зачем тогда она нужна? В качестве сферической оси в вакууме?

Исследования квантовых вычислений не нужны, так?

> А вот евросоюз видимо думает что они дали деньги на разработку надёжной.


О-ло-ло! Представитель евросоюза на моем лоре? Откуда такие сведения, что там он думает?

codeine-man ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

> О-ло-ло! Представитель евросоюза на моем лоре? Откуда такие сведения, что там он думает?

евросоюз думает? о_О

lester ★★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

> евросоюз думает? о_О

Чукча не читатель, чукча писатель? Формулировка не моя, смотри выше:

> А вот евросоюз видимо думает что они дали деньги на разработку надёжной.

codeine-man ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

>Ну нет у нас своих Эндрю Таненбаумумов. Нет и своей операционной системы.

У нас много чего нет. Зато мы чемпионы мира по спортивному кодингу))

Deleted ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

> Чукча не читатель, чукча писатель? Формулировка не моя, смотри выше:

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

lester ★★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

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

Но отвечал то мне. А все из-за лени.

Расслабься, я не наезжаю.

codeine-man ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

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

lester ★★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

> спасибо, что успокоил, а то я уже начал собирать вещи, чтобы уехать в подальше( например в Бразилию ), где ты меня бы не нашел

FAIL

У меня братва в Бразилии имеется.

codeine-man ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

>Естественно. А медь и золото - вобще сакс, потому как сверхпроводимость рулит! Вот только сверхнизкие температуру по всей длине прводника обеспечить надо... но это мелочи! концепция-то правильная!

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

Waterlaz ★★★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

>Никто и не предлагает сейчас миникс ставить на вервера или даже на десктопы.

Как? оналитеге лора предлагают же!

Нет, требуют!

grinn ★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

>проявите наконец-то фантазию

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

grinn ★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

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

все-равно нудно, но слив не засчитаю - помучаю еще немного, а потом уже отпущу

lester ★★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

>> У меня братва в Бразилии имеется.

>у меня братва в Бразилии в два раза больше и круче, вот!

Братва "диких обезьян"© типа?

sabonez ★☆☆☆ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

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

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

r ★★★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

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

Ага канешно. Открытые исхордники избавляют от багов целиком и полностью а так же от сбоев аппаратуры.

r ★★★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

>странно тогда, что не слышно новостей про "другие гранты"

Другие гранты идут в виде постоянного финансирования. НА сайте раздел спонсорс и мемберс в разных фондах.

r ★★★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

>насчет надежности - у них и сейчас драйвера глючат, радости от того, что маленькая часть ядра работает в то время как у тебя слетают дрова на жесткий( хорошо, если без потери данных ), сетевую, видео и т.п. немного

Которые он перезагрузит и все будет работать?

r ★★★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

>Если коротко, то в Линукс в этом случае переписывают драйвер,

Через 3 минуты после краша? Или когда?

r ★★★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

>Я потратил 21 млн. руб. в течении года на "компьютеризацию" учебного заведения. (ПО, лицензии, железо, сеть и т.д.), а они 2,5 млн. на 5 лет?! Какой специалист за ЭТО будет работать.

У тебя наверное плохо с математикой? 2.5/5 - $500k в год.

r ★★★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

>В linux все части ядра делят одно адресное пространство.

Во-первых, не все (фьюз, например)

>И соответственно, если у тебя заглючил драйвер девайса, то вся система не дохнет.

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

Attila ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

>Ага канешно. Открытые исхордники избавляют от багов целиком и полностью а так же от сбоев аппаратуры.

Ага канешно! Закрытое микроведро не содержит багов и исполняется в сферическом вакуме :)

Attila ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

>Ага канешно! Закрытое микроведро не содержит багов и исполняется в сферическом вакуме :)

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

А позиция "будут баги - исправим" фантасмагорична. До сих пор всех багов не исправили. А работать как-то надо и в то время как баги есть.

r ★★★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

> Закрытое микроведро не содержит багов и исполняется в сферическом вакуме :)

Оно маленькое, и багов меньше. Оно может быть настолько маленьким, что отсуствие багов можно даже доказать.

tailgunner ★★★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

>какие праздники, еще 3 дня работать!

Переведи часы! После завтра первое мая!

>алсо, бздя - rip, BSDL - ...


Слабовато.

r ★★★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

> Оно маленькое, и багов меньше. Оно может быть настолько маленьким, что отсуствие багов можно даже доказать.

и смысл в таком ядре? никто не мешает отваливаться драйверам и т.д., тем самым делая невозможным дальнейшую работу с ОС, в результате имеем таки ненадежное ядро( которое реально может защитить только себя ) + тормоза

lester ★★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

>> Закрытое микроведро не содержит багов и исполняется в сферическом вакуме :)

> Оно маленькое, и багов меньше. Оно может быть настолько маленьким, что отсуствие багов можно даже доказать.

Есть только одна проблема - безопасность. Микроядро имеет множество интерфейсов и корректность и допустимость данных в идеале надо проверять везде (учитывая работу с правами и тка далее). Но это очень накладно и сложно. Уровень сложности проверки безопасности гораздо больше уровня сложности реализации функциональности. Вообщем простым оно будет только если забьют на безопасность.

x86_64 ★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

>икто не мешает отваливаться драйверам и т.д., тем самым делая невозможным дальнейшую работу с ОС

Ну почитай что такое миникс. Отвалившийся драйвер он загрузит заново. У тебя когда медиаплеер крэшится - ты его перезапускаешь и слушаешь музыку дальше? Вот супервизор в микроядре точно так же перезапустит драйвер.

r ★★★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

>икроядро имеет множество интерфейсов и корректность и допустимость данных в идеале надо проверять везде

Ну да а монолитах - где вообще все внутри ядра и можно влезть куда угодно кем угодно - супербезопасность.

r ★★★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

>> икроядро имеет множество интерфейсов и корректность и допустимость данных в идеале надо проверять везде

> Ну да а монолитах - где вообще все внутри ядра и можно влезть куда угодно кем угодно - супербезопасность.

В монолите то что работает на уровне ядра - обладает доверием. Иначе его в это ядро не пустят.

В микроядре модуль - обычный процесс. Раздача уровней доверия работающим модулям в микроядре - задача очень высокой степени сложности.

x86_64 ★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

>В монолите то что работает на уровне ядра - обладает доверием.

Слава тебе господи что оно обладает доверием. Когда еще методику безбагового программирования придумают чтобы что бы доверенное не гадило где не надо по ошибке - вообще наступит благодать. Алелуйя!

>Раздача уровней доверия работающим модулям в микроядре - задача очень высокой степени сложности.


Я с удивллением смоютрю как с этим справляются текущие операционные системы - раздача привилегий процессам. Mach-kernel макоса - вообще вранье из фантастической литературы со своими mach-портами.


r ★★★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

> Ну почитай что такое миникс. Отвалившийся драйвер он загрузит заново. У тебя когда медиаплеер крэшится - ты его перезапускаешь и слушаешь музыку дальше? Вот супервизор в микроядре точно так же перезапустит драйвер.

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

lester ★★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

> Микроядро имеет множество интерфейсов и корректность и допустимость данных в идеале надо проверять везде (учитывая работу с правами и тка далее).

Интерфейсы можно сделать по аналогии с файловой системой. Модуль (аналог юзера) при создании получает аналог uid/gid, а возможность открытия того или иного интерфейса (аналога файла) определяется по uid/gid. Что заметно поднимет секьюрность (когда все модули живут в одном адресном пространстве, да еще и в нулевом кольце, о таком разграничении прав даже и мечтать не приходится). И накладные расходы маленькие.

Корректность данных должно проверять не само ядро, а получатель сообщения. Если хочется иметь fault-tolerant system, от проверки аргументов на вменяемость/осмысленность все равно никуда не денешься. Остается лишь в каждом конкретном случае найти удовлетворительный tradeoff между тормозами и детальностью проверки.

Manhunt ★★★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

> представляю какие чудеса будут при перезапуске драйверов,

Какие? Посмотри как в висте отваливаются видеодрайвера - экран мигнул и все работает.

>что поддержка SATA у них кривая и может привести к порче данных,


Она не поддерживает последние режимы САТА. Ты что забыл как было в линуксе с ACPI в свое время? Тоже приходилось удаливать его в биосе в минимум, чтобы линукс хоть забутялся.


r ★★★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

>> Раздача уровней доверия работающим модулям в микроядре - задача очень высокой степени сложности.

> Я с удивллением смоютрю как с этим справляются текущие операционные системы - раздача привилегий процессам. Mach-kernel макоса - вообще вранье из фантастической литературы со своими mach-портами.

Их реализация - компромис между полнотой(необходимой) и эфективность и простотой.

x86_64 ★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

> Какие? Посмотри как в висте отваливаются видеодрайвера - экран мигнул и все работает.

нет висты, но раз там так - то нафиг Minix, раз уже есть супер защищенная виста( а точнее уже есть еще более супер защищенная Windows Seven ) :)

> Она не поддерживает последние режимы САТА. Ты что забыл как было в линуксе с ACPI в свое время?


я и не доказываю, что линукс сверхнадежный

lester ★★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

> Их реализация - компромис между полнотой(необходимой) и эфективность и простотой.

Да, реальная жизнь полна компромиссов. По сравнению с монолитом, здесь больший вес придается секъюрности. Может быть, вы можете предложить бескомпромиссное решение, где не придется жертвовать ни полнотой, ни эффективностью, ни простотой?

Manhunt ★★★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

> нет висты, но раз там так - то нафиг Minix, раз уже есть супер защищенная виста( а точнее уже есть еще более супер защищенная Windows Seven )

А что, Windows Seven выпускают под свободной лицензией?

Manhunt ★★★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

>> Их реализация - компромис между полнотой(необходимой) и эфективность и простотой.

> Да, реальная жизнь полна компромиссов. По сравнению с монолитом, здесь больший вес придается секъюрности. Может быть, вы можете предложить бескомпромиссное решение, где не придется жертвовать ни полнотой, ни эффективностью, ни простотой?

Я соглесен, что компромисы есть везде.

Но как долго отлавливают ошибки безопасности в ядре linux и утилитах? И дыры находят до сих пор.

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

Компромисы в микроядре - это принятие очень важного решения в каждом конкретном случае. Будет много ошибок и это займет очень много времени. Гораздо больше чем, интересующий меня период времени. :)

x86_64 ★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

>нет висты, но раз там так - то нафиг Minix, раз уже есть супер защищенная виста( а точнее уже есть еще более супер защищенная Windows Seven ) :)

Это говорит, что микроядерные принципы все больше и больше получают распространение. Mach Hurd, Mach часть ядра OSX, даже венда стала проявлять признаки микроядерности. И только толстый пингвин робко прячет тело (c)...

r ★★★★★ ()

Re: Таненбаум с MINIX 3 получил грант от Европейского союза

>Компромисы в микроядре - это принятие очень важного решения в каждом конкретном случае.

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

r ★★★★★ ()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.