The OpenNET Project / Index page

[ новости /+++ | форум | wiki | теги | ]

форумы  помощь  поиск  регистрация  майллист  вход/выход  слежка  RSS
"ОС Minix получила финансирование в размере 2.5 млн. евро"
Вариант для распечатки  
Пред. тема | След. тема 
Форумы Разговоры, обсуждение новостей (Public)
Изначальное сообщение [ Отслеживать ]

"ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от opennews (??) on 28-Апр-09, 17:56 
Операционная система Minix, детище профессора Эндрю Тененбаума из голландского университета Vrije, получила (http://www.pcworld.com/businesscenter/article/163890/europe_...) грант Европейского исследовательского совета (European Research Council) на сумму 2.5 млн. евро. Деньги будут потрачены на дальнейшие исследования в области разработки операционной системы, которая сама смогла бы находить уязвимости в своем коде и в последующем устранять их.

Ошибки в программном обеспечении никогда не будут полностью искоренены, написал Таненбаум в представлении к проекту. Но такие операционные системы как Windows и Linux изначально спроектированы без уделения должного внимания стабильности кода. Индустрия ПО намного более безответственно подходит к проверке качества готовой продукции, чем, например, автомобильная промышленность, где выявление дефекта одной детали может повлечь отзыв всего модельного ряда автомобилей. Решением данной проблемы может стать со...

URL: http://www.pcworld.com/businesscenter/article/163890/europe_...
Новость: http://www.opennet.ru/opennews/art.shtml?num=21489

Высказать мнение | Ответить | Правка | Cообщить модератору

 Оглавление

Сообщения по теме [Сортировка по времени | RSS]


1. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Greg (??) on 28-Апр-09, 17:56 
А кто будет устранять ошибки в программах по устранению ошибок ? :)
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

2. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от анониммм on 28-Апр-09, 18:03 
сама программа по устранению ошибок :)
потом добавят функции по генерации кода, из которого будет выделяться только тот что без ошибок, код будет чистым и оптимальным, выполняющем функции которые до этого людишки не могли реализовать сами, затем программа захватить операционку, потом железо, потом инет и наступит судный день :)
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

10. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от User294 (??) on 28-Апр-09, 18:57 
Во-во, потом оно объявит себя^W покемонами^W людей ошибкой природы и ... ну, Терминатор наверное все смотрели.
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

66. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Nichls email(??) on 29-Апр-09, 00:14 
>Во-во, потом оно объявит себя^W покемонами^W людей ошибкой природы и ... ну,
>Терминатор наверное все смотрели.

Когда же это придет? :-)

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

105. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от andr.mobi (??) on 29-Апр-09, 23:42 
Поздравляю разработчиков и поклонников с событием.

Что-то только настораживает: три "исследователя" (и два "программиста") - это как?
Зарплату из гранта будут получать мажоры, что-ли?
Чего они там втроём собираются "исследовать", интересно?

Пять программистов - было бы гораздо практичнее и полезнее для Minix3, IMHO

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

4. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от VecH email(ok) on 28-Апр-09, 18:28 
Skynet
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

5. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Аноним (??) on 28-Апр-09, 18:32 
Не, микроядро это будущее, я думаю даже Торвальдс не будет с этим спорить. Люди хотят видеть свои драйверы в виде пользовательских приложений, а не частей огромного ядра. Можно запустить сразу несколько или сделать рестарт в случае ошибки. А проблема тормознутого IPC нивелируется мощностью тачек, иначе все бы сейчас сидели под DOS, у которого вообще нет такого понятия как Context Switching.
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

8. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Новенький on 28-Апр-09, 18:40 
>Не, микроядро это будущее, я думаю даже Торвальдс не будет с этим
>спорить. Люди хотят видеть свои драйверы в виде пользовательских приложений, а
>не частей огромного ядра. Можно запустить сразу несколько или сделать рестарт
>в случае ошибки. А проблема тормознутого IPC нивелируется мощностью тачек, иначе
>все бы сейчас сидели под DOS, у которого вообще нет такого
>понятия как Context Switching.

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

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

11. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от yantux (??) on 28-Апр-09, 19:01 
>а система с монолитным ядром будет всегда работать быстрее... это как сравнение с++ и >java. после появления мощных компьютеров о с++ никто не забыл, так как и задачи >усложняются и пр.

Задачи не усложняются, неоправданно усложняется код!

Функцииодин и теже, прогресс в плане юзабетельности не особо, а системные требования растут!


Простейшее сравнение win95 с хр и Linux KDE.
Win95 грузится моментально на современных машинках, а хр и линукс упорно тормозят загрузку и скорость выполнения.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

21. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от vitek (??) on 28-Апр-09, 20:08 
>Win95 грузится моментально на современных машинках,

угу.
только ещё надо найти такую СОВРЕМЕННУЮ систему, на которой она бы вообще загрузилась.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

31. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от User294 (??) on 28-Апр-09, 20:47 
>Функцииодин и теже, прогресс в плане юзабетельности не особо, а системные требования
>растут!
>Простейшее сравнение win95 с хр и Linux KDE.

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

Это теперь называется одинаковым функционалом? oO Да, у плота и океанского лайнера в каком-то роде одинаковый функционал - оба плавают.И чего это все не пользуются плотами?Ведь их можно гораздо быстрее строить и спускать на воду =)

P.S. а если уж идти на рекорды - Linux с раскаткой образа работающей системы прямо в RAM может оживать из хибернейта на флеш за пару секунд - в гуйное окружение.Рекорд до заваливания в консоль с флеша - вообще порядка 0.69 секунд на некоторых эмбеддед системах.Никакому win95 такое и не снилось.И даже дос дольше грузился.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

38. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Аноним (??) on 28-Апр-09, 21:14 
Вроде в 95 всё было: защищённый режим, страничная адресация, вытесняющая многозадачность. И вообще, это была революционная система, опередившая время. Кроме её и NT мир не видел ничего нового уже 15 лет.
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

45. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от ixrws on 28-Апр-09, 21:42 
>Вроде в 95 всё было: защищённый режим, страничная адресация, вытесняющая многозадачность. И
>вообще, это была революционная система, опередившая время. Кроме её и NT
>мир не видел ничего нового уже 15 лет.

Это О_о откуда? Из слайдов рекламных?
Вам напомнить да, про solaris/sun os и другие unix варианты, про os/2, про mac os. Так вот, они все имели всё перчисленное раньше венды 95. И ещё, венда 95 имела ужасную реализацию, как китайские адибасы.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

61. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Kirill A. Shutemov on 28-Апр-09, 22:55 
>>Вроде в 95 всё было: защищённый режим, страничная адресация, вытесняющая многозадачность. И
>>вообще, это была революционная система, опередившая время. Кроме её и NT
>>мир не видел ничего нового уже 15 лет.
>
>Это О_о откуда? Из слайдов рекламных?
>Вам напомнить да, про solaris/sun os и другие unix варианты, про os/2,
>про mac os. Так вот, они все имели всё перчисленное раньше
>венды 95. И ещё, венда 95 имела ужасную реализацию, как китайские
>адибасы.

Справедливости ради: в макосе того времени(не икс) вытесняющей многозадачности не было.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

63. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от ixrws on 28-Апр-09, 23:11 
>Справедливости ради: в макосе того времени(не икс) вытесняющей многозадачности не было.

А вот за это спасибо, будем знать, а точнее будем посмотреть чо там было с мак ось 7.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

68. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Ariel (??) on 29-Апр-09, 01:24 
>>Справедливости ради: в макосе того времени(не икс) вытесняющей многозадачности не было.
>
>А вот за это спасибо, будем знать, а точнее будем посмотреть чо
>там было с мак ось 7.

Что сейчас называется Mac OS X, в прошлом веке было NextStep и у него всё это было еще в начале 90 ;-) концептуально Mac OS и Mac OS X ничего общего не имеют

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

79. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от ixrws on 29-Апр-09, 07:41 
Будьте внимательны, я нигде не писал про mac os x, а писал именно про mac os, на тот момент это была 7я версия.
А NextStep была вообще тогда другой компанией, и уже значительно позже эпл их съели и взяли их наработки за основу. Но это уже было другое время. А вот как там было в мак ос 7, вот это мне точно интерено. Википедия очень скудна на инфу и там мохоже ещё и неправды много.
Хотя конечно пафос про 15ти летний прорыв это у оратора сильно получилось, явно начитался буклетов:)
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

46. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от аноним on 28-Апр-09, 21:44 
>Вроде в 95 всё было: защищённый режим, страничная адресация, вытесняющая многозадачность. И
>вообще, это была революционная система, опередившая время. Кроме её и NT
>мир не видел ничего нового уже 15 лет.

Защищенный режим как бы распространялся на Win32-надстройку над DOS-ядром. Вам никогда не приходилось видеть, как некорректно отработавшее DOS-приложение делает Win95 полностью неработоспособным вплоть до перезагрузки? впрочем, оно и после перезагрузки с трудом попадало под определение "работоспособное".

По поводу вытесняющей многозадачности: а еще большинство функций WinAPI входили в global lock, причем он был настолько global, что всяким FreeBSD до таких локов даже в худшие времена было как ползком до Пекина. В реальности при наличии двух или более одновременно запущенных программ, которые активно вызывали WinAPI, никакой полноценной "вытесняющей" многозадачности не было, потому как та программа, которая удерживала блокировку, не давала возможности другой вызвать большинство функций WinAPI. global lock нивелировал возможности вытесняющей многозадачности.

Не совсем только понятно, чем именно эта система была "революционна". Разве если считать "революцией" то, что владельцы недоделанных PC относительно задешево получили в распоряжение более красивую, чем в предыдущей версии, игрульку... Уже в то время в мире *nix были намного более продвинутые вещи: DEC Tru64 Unix ( с DECthreads и с урезанным Mach внутри ), уже активно развивался Linux, очень много для того времени умела FreeBSD. Так что очень спорный вопрос, видел ли мир что-либо новое в течение 15 лет ( т.е. с 1980 по 1995 год ). Владельцы писюков, может быть, и не видели, да и то не все. А в это же самое время на нормальных машинах работали, активно развивались нормальные ОС.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

57. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от User294 (??) on 28-Апр-09, 22:24 
>как некорректно отработавшее DOS-приложение делает Win95 полностью неработоспособным

При том - оно так и было и часто.И win16 приложений это во многом касалось - для них жил по сути какой-то огрызок Win 3.x (krnl386 или как там этот шЫт правильно) под все это.Со всеми его горбылями.В общем архитектура 95-х была адской смесью костылей.

>По поводу вытесняющей многозадачности: а еще большинство функций WinAPI входили в global
>lock, причем он был настолько global, что всяким FreeBSD до таких
>локов даже в худшие времена было как ползком до Пекина.

Ой, еще глобальный там был message loop который в виндах 3.х все проги должны толкать самолично, добровольно отдавая тем самым время другим задачам(кооперативная многозадачность).Если прога не толкала loop, 3.х дохли - времени другим задачам не доставалось.В 95 эта проблема с программами вин 3.х (16-битными) никуда не пропадала :)

>WinAPI. global lock нивелировал возможности вытесняющей многозадачности.

Там дело даже не в глобальных блокировках - там все хуже было.Честная многозадачность, защита програм друг от друга и системы от них - была только для 32-битных программ Win32.А остальное в этом мяу-миксе 16 и 32-бит кода могло вытворять что хотело по сути.Результат понятен - положить систему на лопатки 16-бит программе было не вопрос.Да, в 32-битной надо было помучаться больше.Но вон WinCIH и то умудрялся себя впнуть там в ring0 и грохнуть флеш и почистить диск - прямым доступом к железу.И под NT оный кстати сосал и с стиранием флеша и с подтиранием первых тыщ секторов диска нулями :)

>Не совсем только понятно, чем именно эта система была "революционна".

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

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

Вот и вся революция win95 - кнопка пуск и более вменяемая оболочка.Вин 3.11 был достаточно уродлив и бестолков.

>активно развивался Linux, очень много для того времени умела FreeBSD.

Вот подсесть бы на оных тогда... жаль что тогда было мало информации о оных :(

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

64. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от аноним on 28-Апр-09, 23:21 
>>WinAPI. global lock нивелировал возможности вытесняющей многозадачности.
>
>Там дело даже не в глобальных блокировках - там все хуже было.Честная
>многозадачность, защита програм друг от друга и системы от них -
>была только для 32-битных программ Win32.

Точно. Если мне не изменяет память, зачастую при вызове WinAPI из 32-битной программы, требующем входа в ядро, захватывался глобальный лок, потом был переход в 16-битное ядро, по выходу из которого лок освобождался. Все это - следствие архитектуры "костыль на костыле".

>>активно развивался Linux, очень много для того времени умела FreeBSD.
>
>Вот подсесть бы на оных тогда... жаль что тогда было мало информации
>о оных :(

Ага, я сам по незнанию реалий потратил много времени, ковыряясь в этом хламе, в то время как профи работали с гораздо более вменяемыми *nix.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

93. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Дмитрий (??) on 29-Апр-09, 17:54 
- "Папа а что такое многозадачность Виндовс?"
- "Щас сынок доформатирую дискетку и покажу" Копирайт: Билл Гейтс
Причём этот анекдот в большей части остаэтся актуальным и до сегодняшних дней.
Чего только стоит окно копирования файлов поверх файл-браузера? :(
Меньше читайте всяких буклетов, а пользуйтесь Линукс в консоли - мощнее инструмента никто не придумал.
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

101. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Аноним (??) on 29-Апр-09, 21:44 
>Чего только стоит окно копирования файлов поверх файл-браузера? :(

В современных виндовсах это окно не модальное.Можете его засунуть под окно браузера и продолжить работу. Никаких проблем. Именно многозадачность в NT достаточно честная. В линуксах впрочем с этим тоже полный порядок.

>Меньше читайте всяких буклетов, а пользуйтесь Линукс в консоли - мощнее инструмента
>никто не придумал.

Расскажите пожалуйста, как этим мощным инструментом скопировать 17 файлов из 50 при отсутствии четких критериев которые можно сформулировать в программные конструкции?

Ну например, задачка из жизни: есть у меня 50 фоток на карте памяти.Хочется удачные перенести а остальное - убить.Удачными вышли не все, допустим 17 из 50.А остальные - где-то лоханулся автофокус, где-то в кадр попал левый субъект закрывший треть кадра, где-то дрогнула рука и смазано, ну и так далее.Есть и удачные дубли, разумеется.Фигурно мышкой выделить и скопировать 17 картинок - можно.Хороший файлманагер с превьюшками даже позволит по превьюшкам быстро определить откровенный хлам на снос.А вот программный критерий "что такое удачная фотография"  придумать мне слабо.А вам?И не надо пожалуйста отмазываться что вы не фотографируете и вообще, ТОЛЬКО в консоли без иксов сидите.А то задачи бывают разные и вы не уточняли что ваше решение - не универсальное.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

124. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от PereresusNeVlezaetBuggy email(ok) on 07-Май-09, 12:30 
>[оверквотинг удален]
>памяти.Хочется удачные перенести а остальное - убить.Удачными вышли не все, допустим
>17 из 50.А остальные - где-то лоханулся автофокус, где-то в кадр
>попал левый субъект закрывший треть кадра, где-то дрогнула рука и смазано,
>ну и так далее.Есть и удачные дубли, разумеется.Фигурно мышкой выделить и
>скопировать 17 картинок - можно.Хороший файлманагер с превьюшками даже позволит по
>превьюшкам быстро определить откровенный хлам на снос.А вот программный критерий "что
>такое удачная фотография"  придумать мне слабо.А вам?И не надо пожалуйста
>отмазываться что вы не фотографируете и вообще, ТОЛЬКО в консоли без
>иксов сидите.А то задачи бывают разные и вы не уточняли что
>ваше решение - не универсальное.

А что, в DOS'е это будет легче? Графические менеджеры есть и в *nux (оп!). Равно как и аналог(-и) Norton Commander (оп!).

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

126. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от User294 (??) on 07-Май-09, 12:52 
>Равно как и аналог(-и) Norton Commander (оп!).

Кстати довольно хреновый аналог.Половина шорткатов дедушки Нортона в mc успешно похерили.Как ни печально но хороший наследник nc - это не mc а Far.Не поломано то что было хорошего в нортоне и добавлено много всего.А в mc поломано многое хорошее что было в нортоне (или сделано через зад) а хорошестей добавлено меньше чем в FAR.И менее удобно.Шорткаты в FAR явно рассчитывались не на инопланетян.А вот кто писал mc с его шорткатами - это вопрос...

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

128. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от PereresusNeVlezaetBuggy email(ok) on 07-Май-09, 13:02 
>>Равно как и аналог(-и) Norton Commander (оп!).
>
>Кстати довольно хреновый аналог.Половина шорткатов дедушки Нортона в mc успешно похерили.Как ни
>печально но хороший наследник nc - это не mc а Far.

Согласен. Но всё же мигрировать вполне можно.

>Не поломано то что было хорошего в нортоне и добавлено много всего.А
>в mc поломано многое хорошее что было в нортоне (или сделано
>через зад) а хорошестей добавлено меньше чем в FAR.И менее удобно.Шорткаты
>в FAR явно рассчитывались не на инопланетян.А вот кто писал mc
>с его шорткатами - это вопрос...

Сейчас проект mc, авось, что-то допилят. Во всяком случае, современные версии ведут себя вполне адекватно. Правда, я им не пользуюсь, скорее наблюдаю за использованием другими людьми, и то изредка...

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

49. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от User294 (??) on 28-Апр-09, 22:05 
>Вроде в 95 всё было: защищённый режим, страничная адресация, вытесняющая многозадачность.

Правов на файлы и системные объекты не было а 16-бит задачи могли делать прямой доступ к железу и прочая.Нтя например такого не позволяет - она ловит исключения, сама долго педалит запрошенное действо если можно и если можно - возвращает управление проге делая вид что прямой доступ удался.Иначе - предлагается &%нуть такую прогу.Характерный такой диалог от NTVDM :).Логично что отлов исключений и проверка правов - дольше чем просто тупое выполнение команды железом напрямую.Да и системную память 16-бит программы в 9х могли засирать.Ну и в результате NT нельзя просто положить запуском горбатой дос- или win-16 программы.А вот 9х ни вопрос ни разу.Более того - а вы видели "вытесняющую" многозадачность когда у 16-бит виндовой программы встал колом message loop?Правильно - 9х при этом ВСТАЕТ РАКОМ.Весь гуй перестает работать, вытеснить 16-бит прогу которая не крутит свой message loop система не может - многозадачность да не та.А вот в NT это ставит колом только все 16-бит процессы под общим NTVDMом.Можно в принципе несколько NTVDMов с несколькими групками процессов водержать.А собссно NTVDMная песочница шедулится нормальным вытесняющим шедулером как и все остальные.Ессно при этом наворочено намного больше.Зато и систему более трудно раком поставить на всякой ерунде.Уровень неубиваемости системы элементарными проблемами - очень разный.Там где в 9х жали ресет, в нтях просто снимаем задачу.Можно ессно завалить и NT.Скажем я не в курсе как там отполисовать юзера чтобы он мог жрать не более чем столько-то памяти, времени проца и бандвиза дисков.В пингвине можно и многое из этого, в принципе :)

>И вообще, это была революционная система, опередившая время. Кроме её и NT
>мир не видел ничего нового уже 15 лет.

Ну дык NT и был намного тормознее 95-го.Что-то не так?И еще - в 2000 например появились дисковые квоты.Так уж и совсем ничего нового, yeah?Вот в висте и т.п. - там да, только какие-то затяжки гаек при полном нифигища нововведений.А вы думаете, чего я на микрософтовскую платформу забил?Мне неинтересна платформа где только затягивают гайки и...больше нифига.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

113. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Sergey email(??) on 30-Апр-09, 20:36 
>Скажем я не в курсе как там отполисовать юзера чтобы он мог
>жрать не более чем столько-то памяти, времени проца и бандвиза дисков.В
>пингвине можно и многое из этого, в принципе :)

расскажите как, про Linux? А то пару лет назад вставала задачка управления ресурсами, я что-то не нашел ни одной утилиты (ulimit не предлагать!). Механизмы работы с ресурсами в ядре были реализованы, но ни одной ручки чтобы их дернуть. В солярке все это добро есть, неудобное, кривоватое, но есть, я могу юзеру А выдать не более Х Мб памяти, семафором, и прочих ресурсов ядра, а юзебу В не более Y, но и не менее Z. В Linux не нашел никакого решения кроме как натянуть виртуализатор, типа OpenVZ и после уже рулить ресурсами контейнера...

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

118. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от User294 (ok) on 30-Апр-09, 23:37 
>расскажите как, про Linux?

Для NT я не в курсе даже про существование чего-либо аналогичного ulimit'у. По мелочи порезать ресурсы можно и им.В нтях (и всем том что было сделано на их основе) даже такого по-моему нельзя.Вот так вот захочешь NT-шному юзеру в системе что-то откусить - а тут то и опаньки.Я лично так и не понял как в винде юзеру ресурсы урезать.Самый максимум - дисковые квоты начиная с W2k есть.И все.Кстати виндузовых фанатов после получения ими в лобешник этого вопроса почему-то как ветром сдувает.Странно это как-то... :D

Навеяно все это вот чем: один юзерь без чувства меры пинал на многоюзеровском 2003 сервере аппу плодящую несколько процессов, и, что хуже, ~1000-2000 тредов в сумме.При этом все настолько вставало колом от пожирания проца что даже таскманагер черта с два дождешься чтобы этому добру приоритеты укоротить (с обычного normal-а кстати).Т.е. де факто юзер настрогав тредов может очень мерзко тормознуть крутой виндусь сервер.Тот самый, который Linux якобы обгоняет.

>ресурсами, я что-то не нашел ни одной утилиты (ulimit не предлагать!).

Экий вы хитрый.Нынче вроде еще cgroups в ядро впихнули вроде и даже вроде можно им рулить через файловую систему.Хотя как по мне - лучше уж openvz сразу поюзать.Более фичасто и менее мучительно, с бОльшей адаптацией к практическим задачам.Не знаю правда как оно с гуем работает, не проверял, а чисто порезать сервак на маленькие кусочки - очень прикольно, меня проперло.И чего операционки заточенные на сетевое применение сразу такими не делали?...

>никакого решения кроме как натянуть виртуализатор, типа OpenVZ и после уже
>рулить ресурсами контейнера...

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

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

96. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от FrBrGeorge (ok) on 29-Апр-09, 18:27 
>Вроде в 95 всё было: защищённый режим, страничная адресация, вытесняющая многозадачность. И
>вообще, это была революционная система, опередившая время. Кроме её и NT
>мир не видел ничего нового уже 15 лет.

Кончайте над людьми издеваться, не первое апреля, чай.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

75. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Ян Злобин on 29-Апр-09, 04:21 
>а система с монолитным ядром будет всегда работать быстрее...

Ты OS/2 видел, умник? :-)

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

77. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Аноним (??) on 29-Апр-09, 06:45 
>Ты OS/2 видел, умник? :-)

OS2 is a piece of shit. Shitty and limited system design as well as in early Windows systems were. Died by horrible death and really deserves such fate.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

22. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от ws (ok) on 28-Апр-09, 20:09 
>Не, микроядро это будущее, я думаю даже Торвальдс не будет с этим
>спорить.

Как раз в этом У Торвальдса с Эндрю Тененбаумом разногласия были на заре становления linux!

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

26. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от User294 (??) on 28-Апр-09, 20:33 
>Не, микроядро это будущее,

Чем-то напоминает сказки про светлое будущее при коммунизме.Его 70 лет ждали, ждали...а в результате приперлись в итоге капиталисты и навели свои порядки.Ну вот нынче видимо будут скорее гипервизоры и их наноядра сосуществовать с монолитами, а микроядра - уж не повторят ли они участь коммунизма?

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

29. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от аноним on 28-Апр-09, 20:39 
>микроядра - уж не повторят ли они участь коммунизма?

mach != communism

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

36. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Аноним (??) on 28-Апр-09, 21:10 
>Чем-то напоминает сказки про светлое будущее при коммунизме

Коммунизм - абстракция. Микроядро - насущная необходимость, вызванная стремлением человеского разума разделять всё на части и раскладывать по полочкам.

Утконос не птица и не млекопитающее. Но это проблемы только утконоса, поскольку никто не станет ради него одного рушить всю систему.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

51. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от User294 (??) on 28-Апр-09, 22:10 
>Коммунизм - абстракция. Микроядро - насущная необходимость,

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

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

58. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от . on 28-Апр-09, 22:35 
>нишевое решение для очень некоторых ситуаций

рисование, верстка, сведение, монтаж, мастеринг, постпродакшн, офис, сервер, смартфон

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

52. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от sHaggY_caT (ok) on 28-Апр-09, 22:12 
>>Чем-то напоминает сказки про светлое будущее при коммунизме
>
>Коммунизм - абстракция. Микроядро - насущная необходимость, вызванная стремлением человеского разума разделять
>всё на части и раскладывать по полочкам.
>
>Утконос не птица и не млекопитающее. Но это проблемы только утконоса, поскольку
>никто не станет ради него одного рушить всю систему.

Утконос точно не птица, но точно млекопитающее)) RTFM школьный учебник биологии :)

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

50. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Голодный Остап on 28-Апр-09, 22:08 
>>Не, микроядро это будущее,
>
>Чем-то напоминает сказки про светлое будущее при коммунизме.Его 70 лет ждали, ждали...а
>в результате приперлись в итоге капиталисты и навели свои порядки.

Зато в странах типа Норвегии, Швеции, Канады капиталисты и правители после 1917ого довольно быстро поняли, что с ними со всеми будет, если хотя бы изредка не идти навстречу народу. Вот теперь в этих странах и есть социализм, хоть они и не любят называть свой строй этим словом.

Ну и мы все тоже неплохо теперь понимаем, что есть капитализм в условиях современной России. Можно еще подумать о том, правильный ли путь был выбран для выхода из того непростого положения, в котором был СССР 80ых.

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

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

59. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от User294 (??) on 28-Апр-09, 22:36 
>и есть социализм, хоть они и не любят называть свой строй
>этим словом.

Это такой капитализм, lite версия.И кстати скажите, а почему ThePirateBay засудили в угоду толстосумам?Это такая, гм, победа социализма?Не похоже...

>Так что хоть эксперимент и окончился плачевно, зато, изучив его ход, можно
>узнать много нового.

А это бесспорно - опыт это такая штука которая приходит сразу после того как это было позарез необходимо :).

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

65. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от аноним on 28-Апр-09, 23:27 
>Это такой капитализм, lite версия.И кстати скажите, а почему ThePirateBay засудили в
>угоду толстосумам?Это такая, гм, победа социализма?Не похоже...

Ну, Москва не сразу строилась. Переболеют и этой заразой рано или поздно. Бороться с прогрессом бесполезно. Один провайдер швецкый уже объявил, что будет выпиливать логи с IP-шниками пользователей сразу же после обработки этих данных биллингом.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

28. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от User294 (??) on 28-Апр-09, 20:38 
>А проблема тормознутого IPC нивелируется мощностью тачек,

Что-то микрософт в висте так донивелировался что 80% рынка нетбуков пингвину слил.Обосрался со страха и раскопал XP :).Ну вот вы будете предлагать юзерам тормозилку типа висты а конкурент - допустим что-то шустрое с пингвином или типа того.Вопрос: что купит клиент?Правильно - 99.9% клиентов насрать на то что раз в год пингвин может в теории выпасть в панику там где микроядро может быть и выкарабкается.В итоге будет узконишевое решение для тех кому пофиг на скорость и нужна надежность любой ценой.В майнстриме таких требований попросту не стоит.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

40. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Аноним (??) on 28-Апр-09, 21:20 
Пользователей никто никогда не спрашивал и не спросит. Решение останется за программистом, который, естественно, предпочитает отлаживать драйвер в обычном дебаггере, а не в составе массивного ядра.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

102. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Аноним (??) on 29-Апр-09, 21:56 
>Пользователей никто никогда не спрашивал и не спросит.

Все так, но пользователи в ответ могут выдать волну бэкслэша и негативного фидбэка.Тогда вам хана.Даже микрософт с его могучим маркетинговым отделом смог впарить висту только 20% юзеров и то не особо честными методами.А лопухнись так кто-то менее могучий - ему просто хана.Его систему не будут использовать вообще.Микрософт на это налетал уже.НТ стала кому-то интересна как коммерческая система для практического использования только после того как они внесли видеодрайвера и кусок GDI в ядро.А до тех пор - система просто не продавалась из-за тормознутого UI.Сейчас запросы юзеров возрасли.Им 3D эффекты подавай, HD видео, 3D игры и прочая.И опять на пределе возможностей железа.Опять места для тормозов и лишних тактов нет.В висте микрософт это доходчиво ощутил на своей шкуре.Так, на подумать: семерка была в пожарном порядке очень нехило оптимизирована по части производительности.А иначе ее заведомо ждала бы участь висты.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

54. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Аноним (??) on 28-Апр-09, 22:15 
А я видел статистику наоборот - 80% на Windows, и даже все что есть в нашем городе тоже на Windows, так что не надо ля-ля, то есть выдавать желаемое за действительное.
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

114. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Sergey email(??) on 30-Апр-09, 20:45 
>А я видел статистику наоборот - 80% на Windows, и даже все
>что есть в нашем городе тоже на Windows, так что не
>надо ля-ля, то есть выдавать желаемое за действительное.

А на какой Windows? На Vista? И то, когда производителям нетбуков ХР стали всучать чуть не под страхом разрыва контрактов. Ясен пень, что народ стал брать старое-привычное ХР... Да и статистика та была проведена по заказу MS, типичные Get The Facts. Вот если бы ту статистику выдали отделы продаж вендоров нетбуков, было бы интересено посмотреть.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

116. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от аноним on 30-Апр-09, 21:02 
>А на какой Windows? На Vista?

какая разница?
права на nt 5.1 и nt 6.0 принадлежат ms

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

106. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от andr.mobi (??) on 30-Апр-09, 00:18 
>Не, микроядро это будущее, я думаю даже Торвальдс не будет с этим
>спорить.

Линус спорит не только с этим, а этому спору (про микроядро) уже лет 15. Линус спорит ещё и с тем, что объектно-ориентированное программирование рулит! Это было совсем недавно, года полтора назад. Линус просто болван

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

Неленивые люди давным давно видят и юзают всё, что Таненбаум пожелал.
http://community.qnx.com/sf/sfmain/do/home
Не хочу бросать тень на замечательный проект, но minix3 - отнюдь не инновация. А учитывая огромную сложность полной поддержки POSIX, жесткого realtime и человеко-лет реально крутых профи, а не студентов-аспирантов-исследователей-энтузиастов, minix3 до QNX ещё долго не дорастёт, если их вообще можно будет когда-то сравнить.

Описание старушки QNX4 уже соответствует почти всем пожеланиям уважаемого профессора.
http://www.lib.ru/LINUXGUIDE/QNX/qnx4.txt
QNX6 ЗНАЧИТЕЛЬНО круче.

>в случае ошибки. А проблема тормознутого IPC нивелируется мощностью тачек, иначе
>все бы сейчас сидели под DOS, у которого вообще нет такого
>понятия как Context Switching.

Всё это - пустая болтовня дилетантов, типа Линуса. Переключение контекстов вообще не зависит от архитектуры ядра. В QNX скорость переключения контекста в десятки раз превышает скорость этой операции во всех популярных ОС общего назначения, да и во многих специальных тоже. Большинство их имеет монолитное ядро. У QNX6 гарантированная скорость передачи управления обработчику прерывания с высшим приоритетом 4 мс.

А IPC везде одинаковое. Если хочешь скорости - расшаривай мемори, и никакой разницы не будет, хоть монолитное ядро, хоть микро. Только вот в QNX есть защита от инверсии приоритетов, а в Линуксе - нет. И всё его IPC при определённых условиях накрывается медным тазом.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

121. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от leshiy.by email on 02-Май-09, 16:08 
>я думаю даже Торвальдс не будет с этим спорить

Как раз позавчера читал его книгу - Just for fun называется. Вот что там говорится по поводу микро:

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


Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

6. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Tim (??) on 28-Апр-09, 18:39 
"Индустрия ПО намного более безответственно подходит к проверке качества готовой продукции, чем, например, автомобильная промышленность, ..."

Это писАл Таненбаум ?!!

Зависание десктопа и отказ тормозов -- это разный уровень опасности.

К примеру, стандарт на безопасность ПО в авиации DO-178B/ED-12B.
отказ Windows или Linux можно классифицировать как 'E' или 'D' уровень.
Но отказ системы управления на транспорте уже 'B' или 'A' уровень.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

16. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от FrBrGeorge (ok) on 28-Апр-09, 19:18 
По-моему, вы с Танненбаумом говорите об одном и том же: о том, что ответственность ощущуется намного ниже. Именно поэтому ни Linux, ни Windows нельзя использовать на АЭС. А ведь используют!
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

33. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от User294 (??) on 28-Апр-09, 21:00 
>нельзя использовать на АЭС. А ведь используют!

Критичными системами на что-то влияющими они там все-таки не рулят.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

55. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Аноним (??) on 28-Апр-09, 22:17 
Ага, прямо два раза. Там используют самописные realtime системы с жестким выделением ресурсов при старте, то есть там даже malloc/free отсутствует, что есть правильно. И верифицируют их код до упора.
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

81. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Anonmous on 29-Апр-09, 09:17 
>По-моему, вы с Танненбаумом говорите об одном и том же: о том,
>что ответственность ощущуется намного ниже. Именно поэтому ни Linux, ни Windows
>нельзя использовать на АЭС. А ведь используют!

Кьюних там стоит

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

7. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от terminus (ok) on 28-Апр-09, 18:39 
>А проблема тормознутого IPC нивелируется мощностью тачек, иначе все бы сейчас >сидели под DOS, у которого вообще нет такого понятия как Context Switching.

Знаете как под курицей (вистой) в юзерспейсе работают драйвера не имеющие цифровой подписи от M$? Вернее с какой скоростью...

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

9. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Аноним (??) on 28-Апр-09, 18:43 
QNX?
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

12. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от ixrws on 28-Апр-09, 19:03 
>QNX?

Когда qnx обрастёт хотя бы таким же количеством драйверов как linux, не говоря уже о windows, тогда можно будет говорить о нём.
А вообще, для тех кто в танке, множественное переключение контекста, для драйвера, который очень часто обращается к разным подсистемам ядра - это катастрофа производительности. Для космических кораблей да, это жертва во имя стабильности. А для десктопа, ткнуть на кнопку и подождать секунд 20  порой проще, чем докупить железа или мириться с тормозами.


Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

83. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от аноним on 29-Апр-09, 10:15 
>для десктопа, ткнуть на кнопку и подождать секунд 20  порой
>проще, чем докупить железа или мириться с тормозами.

Почему же я не наблюдаю написанного Вами бреда в QNX? С секундомером не замерял, но чисто визуально, отзывчивость десктопа аналогична таковой в линукс, ни о каких "20 секундах" речи естественно не идет. Abiword, например, работает точно так же, как и версия под виндой и линуксом. Все эти сугубо теоретические россказни про множественные переключения контекстов были актуальны 20 лет назад, когда железо было на порядки слабее. Чем-то напоминает гундёж некоторых умников, обчитавшихся древних книжек по организации ЭВМ. О том, какой хреновый х86 (на примере i80386), как у него мало регистров и как это ужасно скажется на его производительности (а книжки были писаны как раз в те времена, когда RISC было ООЧЕНЬ модной темой). И начинают размахивать цитатами из этих книжек, как же будет ужасно тормозить х86, только вот Core i7 почему-то не в курсе :D
P.S. Повторю вопрос- почему этих диких тормозов не видно в QNX? МИКРОЯДЕРНОЙ ОС


Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

88. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Другой аноним. on 29-Апр-09, 15:00 
>[оверквотинг удален]
>20 лет назад, когда железо было на порядки слабее. Чем-то напоминает
>гундёж некоторых умников, обчитавшихся древних книжек по организации ЭВМ. О том,
>какой хреновый х86 (на примере i80386), как у него мало регистров
>и как это ужасно скажется на его производительности (а книжки были
>писаны как раз в те времена, когда RISC было ООЧЕНЬ модной
>темой). И начинают размахивать цитатами из этих книжек, как же будет
>ужасно тормозить х86, только вот Core i7 почему-то не в курсе
>:D
>P.S. Повторю вопрос- почему этих диких тормозов не видно в QNX? МИКРОЯДЕРНОЙ
>ОС

Правильно!
Поддерживаю.
Иш, умники, книжек начитались об организации ЭВМ!
Настоящие пацаны ничего не замеряют.
Даже секундомером.
О более точных методах измерения я уж молчу.
И знать ничего об архитектуре ЭВМ не желают.
Они авторитетно флудят на форумах. :-D

А что до "сугубо теоретических росказней о преключении контента" то это последствия Вашей безграмотности, кстати. Почитали бы книги о архитектуре ЭВМ что ль.
И поняли бы, что регистры тут не при чём. Более того, чем меньше регистров, тем быстрее переключить контент задачи. Потому как хранить контент задач в регистрах принято разве что в микроконтроллерах. На ПЦ вам никаких регистров не хватит.
А то уныло как-то тролите.
Безграмотно.

ЗЫ: А RISC как был, так и остался "модной темой". Для тех, кто понимает о чём говорит.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

90. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от аноним on 29-Апр-09, 15:42 
>И поняли бы, что регистры тут не при чём. Более того, чем
>меньше регистров, тем быстрее переключить контент задачи.

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

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

100. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от IGX on 29-Апр-09, 21:25 
>ЗЫ: А RISC как был, так и остался "модной темой". Для тех, кто понимает о чём говорит.

x86 - это CISC+RISC уже довольно давно. Вообще это всё условности из серии, что называть коммунизмом и капитализмом. В чистом виде ни того, ни другого нет, и не требуется. Всё решают нюансы.

Дело не в том, какая архитектура круче. У каждой свои уникальные характеристики и цена, которые вместе обуславливают сферы применения некоторого решения. В конечном итоге, за что пользователь голосует кошельком, то для него и лучше.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

109. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от User294 (ok) on 30-Апр-09, 15:52 
>ни о каких "20 секундах" речи естественно не идет. Abiword, например,

Abiword, например, 99% времени ждет реакции пользователя.И поэтому тормозить там особо нечему - если программа ничего не делает, изменение времени ничегонеделания на глаз не заметно.А вот попробуй вы какие-то задачи интенсивно эксплуатирующие драйвера делать - там то все и вылезет.

>только вот Core i7 почему-то не в курсе :D

А у вас была возможность сравнить точно такой же по параметрам кристалл в виде RISC?По тем же техпроцессам, той же площади, etc?Или вы так, абстрактно газифицируете лужи сравнивая ежа и ужа?

>P.S. Повторю вопрос- почему этих диких тормозов не видно в QNX? МИКРОЯДЕРНОЙ ОС

Потому что в программе типа abiword нечему тормозить.А вы сравните число FPSов допустим в 3D шутере, нагрузку на проц при просмотре HD видео, копирование больших файлов на скоростях близких к предельным скоростям дисков, работу по сети с большими потоками данных.А то знаете, Word+Win95 хорошо работали на первом пне.И зачем тогда какие-то Core i7 производят?Вы не знаете? :)

А так то да, чисто набивать что-то в абиворде можно и в qnx.Правда зачем это нужно - не понятно.Обычно набивание текста в ворде не настолько критичная к надежности задача чтобы преимущества микроядра себя проявили.У меня например линух с обычным ядром не падает месяцами.Как-то для набивания документов в абиворде - вполне достаточно.

А что до подыханий драйверов и плюсов ядер: чаще всего дохнут дрова видеокарт, при том - загоняют видеокарту в такое состояние что ей помогает только ресет.И никакой qnx там не поможет.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

115. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Sergey email(??) on 30-Апр-09, 20:54 
>А что до подыханий драйверов и плюсов ядер: чаще всего дохнут дрова
>видеокарт, при том - загоняют видеокарту в такое состояние что ей
>помогает только ресет.И никакой qnx там не поможет.

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

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

117. "ОС Minix получила финансирование"  +/
Сообщение от аноним on 30-Апр-09, 21:08 
>в программе типа abiword нечему тормозить

тем не менее abiword тормозит. ну и хрен с оным, о другом речь

>сравните число FPSов допустим в 3D шутере

используется GPU

>нагрузку на проц при просмотре HD видео

используется GPU

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

122. "ОС Minix получила финансирование"  +/
Сообщение от User294 (ok) on 04-Май-09, 17:13 
>используется GPU

Заладили то.Для начала - не используется.Потому что абстрактные сферические драйвера в вакууме мне неинтересны.Где они - 3D дрова да чтоб с API для декода видео для микроядерных?Нигде?А, ну вот то-то.Как всегда в теории круто а на практике - болт.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

78. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Аноним (??) on 29-Апр-09, 06:47 
>Знаете как под курицей (вистой) в юзерспейсе работают драйвера не имеющие цифровой
>подписи от M$? Вернее с какой скоростью...

Kernel drivers without signature do NOT work under 64-bit Vista. Instead, system sticks to "fuck off" response. User-mode drivers are separate crap and virtually nobody uses them. Even Microsoft itself.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

14. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от ixrws on 28-Апр-09, 19:12 
Остаётся лиш пожелать успеха, а главное - чтобы Тененбаум таки показал нам работающую быстро микроядерную и суперстабильную систему. Если 2.5 млн ему помогут перегнать linux,bsd,solaris, то он молодец и робяты его молодцы, и придётся пожать ему руку. А если не перегонит, то деньги прогорели зазря, так как есть и другие полезные места, куда можно засунуть эти деньги. В любом случае, если на эти деньги будет написан реальный код - это хорошо.
А вот насчёт сравнения с автомобилями, это он конечно как минимум лукавит, или с катушек съехал под старость. Ему бы ещё следовало сравнить с проверкой качества в космических кораблях. И настоять на необходимости дублирования микроядер.
Кстати, а ведь это действительно проблема, невозможно добиться отказоусточивости без дублирования оборудования, динамической изоляции оборудования и тд. То есть, если ошибка в процессоре или кондер потёк, то дублирующее микроядро на соседнем процессоре быстренько подключает к себе всех пользователей своего собрата на неблагополучном процессоре:) К великому разочарованию Тененбаума - любое железо может сгореть или просто отказать. Что он с этим будет делать и как он решит эту проблему? А ведь любое заявление, претендующее на правильность - должно быть цельным. Отказоустойчивые серверы - это не только дублирующий софт, но и дублирующее железо.
Ну да ладно, удачи их работе.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

20. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Аноним (??) on 28-Апр-09, 20:07 
> Отказоустойчивые серверы - это не только дублирующий софт, но и дублирующее железо.

+1 кстати. об этом ведь почти все забывают.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

30. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Myc (??) on 28-Апр-09, 20:41 
>> Отказоустойчивые серверы - это не только дублирующий софт, но и дублирующее железо.
>
>+1 кстати. об этом ведь почти все забывают.

Ибо отказ "нормального" случается значительно реже отказа современного софта (по крайней мере большей части).

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

34. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от ixrws on 28-Апр-09, 21:01 
Софта, да, но кернел паник в стабильном дистрибе, том же дебиан - это редкость такая же почти, как аппаратные глюки. Так что этот аргумент в пользу микроядра сомнителен, очень.
И тут ещё раз надо вот на что обратить внимание: там где действительно необходима безотказность - там она уже есть сейчас.
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

60. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Myc (??) on 28-Апр-09, 22:39 
> Софта, да, но кернел паник в стабильном дистрибе, том же дебиан - это редкость такая же почти, как аппаратные глюки. Так что этот аргумент в пользу микроядра сомнителен, очень.

Ага. Только какой ценой этого добились. Сколько !!!тысяч!!! тестировщиков было у линуксового ядра?!!
Даже в том же ленни и етхе я наблюдал изумительные паники. Особенно часто они бывают на кривых дровах.

> И тут ещё раз надо вот на что обратить внимание: там где действительно необходима безотказность - там она уже есть сейчас.

Это, интересно, где же?

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

62. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от ixrws on 28-Апр-09, 23:00 
Цена да, согласен, она велика. Но писать ТРУ микроядерную ось не просто, и это тоже очень большая цена. Пока её как-то не особо хотят платить, может разработчикам виднее? Не думает же Таненбаум что все разработчики bsd/linux/solaris и прочих - глупее его? А если даже так, то где найти столько Таненбаумов чтобы угнаться за мейнстримом по всем направлениям, а не только по встраиванию в хилые железки.
А что до безотказности - то ibm давно, и не только они, толкают безотказные кластеры и ни жужжат. И там как известно не только 'паникёрский' линукс и aix, там гипервизоры, дублирование на уровне железа и тд. Иными словами там - полная безотказность. А тут - сложно сказать, сначала надо поглядеть как будет работать minix3, когда дорастёт до того состояния, когда можно будет сделать GNU Debian Minix :)
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

123. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от User294 (ok) on 04-Май-09, 17:21 
>Цена да, согласен, она велика. Но писать ТРУ микроядерную ось не просто,
>и это тоже очень большая цена. Пока её как-то не особо
>хотят платить,

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

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

94. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Дмитрий (??) on 29-Апр-09, 18:06 
>Остаётся лиш пожелать успеха, а главное - чтобы Тененбаум таки показал нам

Мне лично жаль выброшеных на творение ничего-ненужного 2,5 миллиоников. Уж лучше дали бы эти деньги ОпенСорс сообществу - на них можно было действительно наворотить столько кода, и столько идей толковых воплотить, что дописывание чисто научной системы мне уже кажется ЗЛОМ.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

18. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Аноним (??) on 28-Апр-09, 19:32 
Если европейцы зделают ставку на MINIX - все остальные будут в пролёте. Дизайн подобной системы в сочетании с её открытостью, мощным финансированием, пиаром и мировым кризисом сделают своё дело. Другое дело, что и денег никто особо давать не хочет, тем более что уже есть бесплатный готовый линукс.
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

19. "Гонят они"  +/
Сообщение от diggy email on 28-Апр-09, 20:02 
>Выделенных средств должно хватить на оплату труда трех исследователей и двух программистов в течении следующих пяти лет.

Вы меня конечно простите, но мне лично с трудом верится что команда из 5-ти человек, даже какими бы супер профи они не были не смогут состряпать то о чём говорится в статье. Потом, даже Танненбаум и его команда не застрахована от ошибок+патчи+апдейты и тп и тд...

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

23. "Гонят они"  +/
Сообщение от аноним on 28-Апр-09, 20:15 
>мне лично с трудом верится что команда из 5-ти человек, даже какими бы
>супер профи они не были не смогут состряпать то о чём говорится в статье.

в статье говорится всёго лишь о реинкарнации, просто стиль немного отдает желтизной

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

35. "Гонят они"  +/
Сообщение от Myc (??) on 28-Апр-09, 21:01 
>> Выделенных средств должно хватить на оплату труда трех исследователей и двух программистов в течении следующих пяти лет.
> Вы меня конечно простите, но мне лично с трудом верится что команда из 5-ти человек, даже какими бы супер профи они не были не смогут состряпать то о чём говорится в статье. Потом, даже Танненбаум и его команда не застрахована от ошибок+патчи+апдейты и тп и тд...

Думаю, грант был выделен на исследования в области, а не на написание и доведения до ума Minix.
Сам Minix не стоит таких денег, но исследования потом могут разойтись по другим проектам, что приведет к долгосрочным выгодам для области.
Вспоминается исследовательский проект Mach. Идеи и результаты, которого живут в современных unix, и в том же minix-е.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

24. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от bAlex_ (ok) on 28-Апр-09, 20:19 
Да, удачи коллективу Танненбаума!

Вот только смущает размер коллектива - 3 исследователя и 2 программиста и 2.5 лимона на 5 лет. Через 5 лет много может измениться. Почему бы не попробовать те же деньги бОльшему количеству людей на менее короткий срок?

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

25. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от кеку on 28-Апр-09, 20:22 
>Да, удачи коллективу Танненбаума!
>
>Вот только смущает размер коллектива - 3 исследователя и 2 программиста и
>2.5 лимона на 5 лет. Через 5 лет много может измениться.
>Почему бы не попробовать те же деньги бОльшему количеству людей на
>менее короткий срок?

Читайте «Мифический человеко-месяц или Как создаются программные системы» — Фредерика Брукса
Большое количество программистов тоже не выход...

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

27. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Ariel (??) on 28-Апр-09, 20:34 
Мне нравится идея Minix, кто знает не будет ли Mac OS XI работать на Minix или гибриде его с Darwin лет через пять?
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

37. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от ixrws on 28-Апр-09, 21:13 
Если оно будет работать эффективно - то оно будет влито много куда, в том числе слито в linux:) Вопрос ведь в эффективности. Микроядра строят давно. Их строить сложно, даже формализованное api c генерацией скелетов после описания в xml не сильно упрощяет задачу. Писать объёмную систему, состоящую из множества паралельно работающих сервисов, завязанных друг на друга - не простая задача. Плюс есть чисто технические трудности, типо накладных расходов на смену контекстов, расходы на обмен ресурсами между сервисами.
Частенько высказывается мнение, что микрояд имеет некий мифический легко вычисляемый оверхед, который легко компенсируется возрастающей мощностью процессорв. Но в реальном мире, накладные расходы микроядерной системы зависят от качества кода, от качества применяемых решений. Если разработчики не будут дотошно экономить каждую инструкцию процессора на смене контекстов, в том числе стараться как можно реже делать запросы между сервисами, а также будут вырабатывать максимально эффективные методы обмена ресурсами между сервисами - то да, микрояд может быть достаточно эффективен. В некоторой степени это доказывает qnx.
К чему всё это словоблудство? К тому, что это дороже, сложнее. Эпл в одиночку развивать такую систему надорвёт свою прямую кишку. А вот потянет ли кто-то вообще развивать качественный микрояд, который сравнится по динамичности развития с linux, bsd, solaris - это вот главный вопрос. Ведь с практической точки зрения выбирают то, что работает, решает задачи. А не показывает поразительные результаты в синтетических тестах.
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

103. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Tim (??) on 29-Апр-09, 21:56 
>Если оно будет работать эффективно - то оно будет влито много куда,
>в том числе слито в linux:)

Да, фундаментальные исследования требуют больших затрат, но идёт на пользу всем в долгосрочной перспективе.

> Если разработчики не будут дотошно экономить каждую инструкцию процессора на смене контекстов,

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

Одна из проблем присущих современным ОС -- они очень тяжело распараллеливаются.
Напротив в микроядерной системе проблемы параллельности и синхронизации решаются "естественным" образом.


Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

32. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от diggy email on 28-Апр-09, 20:49 
Хм, только что посчитал.
2500000$ / (5лет * 12месяцев) / 5 девелоперов = 8300 уе
Неплохие у них там ЗП, или это включает еще косвенные расходы+налоги?
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

39. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от ixrws on 28-Апр-09, 21:19 
>Хм, только что посчитал.
>2500000$ / (5лет * 12месяцев) / 5 девелоперов = 8300 уе
>Неплохие у них там ЗП, или это включает еще косвенные расходы+налоги?

Это не большая зп кстати, если учесть что работа, если они вообще собираются работать:), так вот это не большая зп. Тем более как обычно сюда входят и косвенные расходы, в грандах они всегда есть. Но 8 тон на девелопера в месяц, при том что девелопер по совместительству ещё и архитектор микроядерной ОС, это вменяемая зарплата.
minix3 в нынешнем виде - это очень небольшая работа, мало на что способная. А стало быть им ещё и архитектуру пилить и пилить надо. Хотя конечно Тененбаум может оказаться крутым мужиком, и возможно архитектура уже идеал:D
Ну и конечно странно с чем вы сравниваете? С явой?:) С обычными приложениями на С++?

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

43. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Аноним (??) on 28-Апр-09, 21:29 
Не легче ли нанять тысячу фрилансеров на эти деньги?
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

44. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от ixrws on 28-Апр-09, 21:32 
>Не легче ли нанять тысячу фрилансеров на эти деньги?

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

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

71. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от pavlinux (ok) on 29-Апр-09, 02:42 
Евро товарищи, е-в-ро!!! *
8333e = 10833$
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

85. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от uZver on 29-Апр-09, 11:39 
>Хм, только что посчитал.
>2500000$ / (5лет * 12месяцев) / 5 девелоперов = 8300 уе
>Неплохие у них там ЗП, или это включает еще косвенные расходы+налоги?

Это включает ВСЕ и налоги и рабочий комп и электричество и аренду помещений.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

41. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от av (??) on 28-Апр-09, 21:27 
> Не, микроядро это будущее, я думаю даже Торвальдс не будет с этим спорить

Насколько я помню он положительно отзывался об этой идее. Вместе с тем как серьезный минус - сложность реализации. А вобще Эндрю Тененбаум был его преподователем ;-D

> Win95 грузится моментально на современных машинках,

win9x вообще уже не поддерживаются практически всеми новыми чипсетами. Так что зачем вспоминать призраки.

> Неплохие у них там ЗП

ну да, неплохая прибавка к пенсии. ;-D Лучше бы заставили антимонопольным законом все железячные конторы торгующие на территории ЕС писать открытые драйверы под Linux или по крайней мере открывать спецификации необходимые для этого вместе с документацией.
А вобще лучше бы Линусу эти деньги подогнали. Minix существует с 1987 года а на сегодняшний день практической пользы от нее - ноль. Ну если только как модель для изучения.

Хотя Таненбаум пенсию тоже заслужил.  

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

48. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от аноним on 28-Апр-09, 21:55 
>А вобще лучше бы Линусу эти деньги подогнали. Minix существует с 1987
>года а на сегодняшний день практической пользы от нее - ноль.

Во первых, Minix 3 довольно сильно отличается от предыдущих версий. А тройка разрабатывалась явно не с 87 года. Во вторых, от Multics и от Unix V7 тоже сейчас практической пользы - ноль, однако, трудно переоценить роль этих ОС для современного IT.

>Ну если только как модель для изучения.

Именно. Как и Mach - тот хоть и оказался фэйлом, зато вывел много идей, а разработчикам QNX еще и показал, каких ошибок не следует допускать.

>
>Хотя Таненбаум пенсию тоже заслужил.

+1
У дядьки хорошие книги не только по тематике ОС.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

42. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от av (??) on 28-Апр-09, 21:29 
> > Win95 грузится моментально на современных машинках,

ах да забыл. Вспомнил синие экраны смерти и постоянные ошибки в kernel.dll .... прослезился. Всетаки в Microsoft гении по части продаж сидят - суметь заработать деньги на таком г..... это феноменально.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

47. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от soko1 email(??) on 28-Апр-09, 21:47 
>в области разработки операционной системы, которая сама смогла бы находить уязвимости в своем коде и в последующем устранять их.

Сформулировано так, будто ОС обладает искуственным интеллектом и способна сама в себе исправлять ошибки :)

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

67. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от pavlinux (ok) on 29-Апр-09, 01:13 
Ну в общем, развод на бабло, чушь и тупичок - см. Теоремы Гёделя о не полноте.


"Во всякой достаточно богатой непротиворечивой теории первого порядка формула,
утверждающая непротиворечивость этой теории, не является выводимой в ней."

  Иными словами, непротиворечивость достаточно богатой теории не может быть доказана средствами этой теории. Однако вполне может оказаться, что непротиворечивость одной конкретной теории может быть установлена средствами другой, более мощной формальной теории. Но тогда встаёт вопрос о непротиворечивости этой второй теории, и т. д."
(wikipedia)

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

70. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Минас on 29-Апр-09, 02:09 
Вывод не верный. Из теорем Гёделя не следует не только то, что это развод, на бабло, чушь, тупик, или даже полный мысле-дэдлок.
А из теорем Гёделя не следует даже то, что им приписывают - невозможность построения "достаточно мощных" формальных теорий. В этой области есть не только работы Гёделя, а и другие работы, Кузичева-Колмогорова, правда, я не знаю, насколько подробно они записаны в википедиях.

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

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

72. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от pavlinux (ok) on 29-Апр-09, 03:04 
> Вывод не верный. Из теорем Гёделя не следует не только то,
> что это развод, на бабло, чушь, тупик, или даже полный мысле-дэдлок.

Ну это я конечно разукрасил... То что дядька Таненбаум талант -
никто не сомневается (хотя из того же Гёделя, получится что люди
этого доказать не смогут :))

Не об этом, а о том, что эти 2.5 ляма это может быть даже плата за ОТРИЦАТЕЛЬНЫЙ,
как известно всем, тоже результат. И потратив 2.5e6 сэкономят гораздо больше, чем
в реальных лабораториях, где каждый программер зарабатывает по 25.000e в месяц.    

------------------------------------
Про Гёделя:  

x = a;
y = b;

if ( x == y ) - ИСТИНА, ТО из этого мы можем только заключить, что x = y, но не а = b;

КАК ПРОВЕРИТЬ ЧТО в условии if ( x == y ) мы сравниваем a и b, а не другие равные значения?

Только внешним сравнением if ( (x == y) == ( a == b ) ),
но теперь мы сравниваем  (x == y) и (a == b) как доказать что x, y и a, b  имеют нужные значения, а не попарно равные???
Ну и так далее...


    

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

108. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от polymorph on 30-Апр-09, 14:47 
Пролблема в том,что вы не определились что означает операция сравнения "=".
В результатеб ваши логическик сентенции содержат некий неопределенный параметр. который вы свободно трактуете.....
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

74. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от pavlinux (ok) on 29-Апр-09, 04:18 
>В этой области есть не только работы Гёделя,
> а и другие работы, Кузичева-Колмогорова,

http://kuzichev.boom.ru/

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

69. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Минас on 29-Апр-09, 01:47 
"сама в себе исправлять ошибки":
1. ИИ для этого не нужно
2. ИИ для этого недостаточно,

Для этого понадобился бы сертифицированный психоаналитичный-ИИ, или, точнее, робопихоаналитичный ИИ.

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

* * *

Но сама идея хорошо. Вообще компьютер сайенс в последние десятилетия загибается от своей безинновативности в области системного софта. Хорошо хоть идею виртуальных машин реанимировали, со времен первого их изобретения на мейнфреймах. Да еще L4. В остальном - только хоронили:
* идею ассоциативных процесооров похоронили
* идею компилятора встроенного в ядро/в пакет ОС - "не придумали"
* о декомпиляторах совмещенных с компиляторами вообще молчу
* Форт и Рефал похоронены, в то время как им только расти бы и расти... до реальных инструментов
Жах, один ужас. Планета Кодинг Манки

Про ИИ бы сказал, тоже, но уже и так ясно.

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

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

73. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Аноним (??) on 29-Апр-09, 04:08 
Ололо, декомпиляция и форт! Да, закончилась, слава богу.
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

82. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от аноним on 29-Апр-09, 09:18 
>Ололо, декомпиляция и форт! Да, закончилась, слава богу.

Если речь про Рефал, то это все-таки суперкомпиляция. Только фиг когда она закончится, не дождетесь.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

76. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Андрей К. on 29-Апр-09, 06:12 
Молодец, Таненбаум! Уважаю исследоваталей.
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

80. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Я (??) on 29-Апр-09, 08:29 
закопали бабки...лучше б linux и gnome допилили, а то мелкие недоделки достали.
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

84. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от mazzay on 29-Апр-09, 10:21 
>>Думаю, грант был выделен на исследования в области, а не на написание и доведения до ума Minix.

Сам Minix не стоит таких денег, но исследования потом могут разойтись по другим проектам, что приведет к долгосрочным выгодам для области.
Вспоминается исследовательский проект Mach. Идеи и результаты, которого живут в современных unix, и в том же minix-е.

Вот именно. Почитайте хотя бы кто такой Таненбаум, почитайте на википедии о его споре с Торвалдсом по поводу преимуществ монолита-микроядер (Linux-Minix)
http://ru.wikipedia.org/wiki/%D0%A1%D0%B...

>>Я написал MINIX, потому что хотел дать студентам самостоятельно поиграть с операционной системой. После того, как AT&T запретила обучение по книге Джона Лайонса [к книге прилагались исходники], я решил написать UNIX-подобную систему, чтоб мои студенты на ней практиковались. […] Я не пытался заменить GNU/HURD или Berkeley UNIX. Видит бог, я уже достаточно это повторил. Я просто хотел показать своим и другим студентам, как можно написать UNIX-подобную систему, использую современные технологии. Множество других людей хотели бесплатную коммерческую UNIX с бирюльками и свистульками и хотели сделать это из MINIX. И меня затянуло в этот водоворот, но когда появился Linux, с меня снялось это бремя, и я мог снова профессорствовать.

В общем мне кажется, что практического кода от этого гранта будет минимум, а вот если потом их наработки будут читать и использовать люди, занимающиеся практической разработкой того же Linux, OS/2 и даже Windows, то не сомневаюсь что мы получим перспективные реализации

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

87. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Frank email(??) on 29-Апр-09, 14:10 
Компьютер не делает разницы для исполняемго кода - монолит там, не монолит - это процессору не известно. Он исполняет лишь чёткие инструкции.
Я к чему - хорошо написанный код хорошо работает, вне зависимости от методики его написания. Плохо написанный плохо работает даже в условиях "мы рассчитывали на грабли в коде".
В частности, допустим, происходит бэд на винте.
Монолит рапортует "ошибка записи" и отменяет транзакцию, с дальнейшей обработкой по обстоятельствам, например, известив юзера.
Микроядро, обнаружив ошибку в процессе записи, что будет делать? Перезапустит драйвер ФС, чтобы повторить запись в тот же сектор винта и снова получит ошибку, что приведёт к рестарту драйвера ФС, чтобы...
Вобщем, микроядро будет максимально долго скрывать ошибку, "надеясь" на её самоизлечение?
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

89. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Аноним (??) on 29-Апр-09, 15:40 
>Не совсем только понятно, чем именно эта система была "революционна".

Чем, чем... Графическим интерфейсом, удобным для пользователя.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

91. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Андрей К. on 29-Апр-09, 16:13 
"сама находить уязвимости в своем коде и в последующем устранять их" означает перезапуск драйверов, а не что-то там фантастическое.
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

95. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Fgry on 29-Апр-09, 18:12 
Удачи Таненбауму и его детищу! Хорошее дело делает...
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

97. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от av (??) on 29-Апр-09, 18:43 
> * идею компилятора встроенного в ядро/в пакет ОС - "не придумали"

Позвольте, а это тогда что? http://www.osp.ru/cw/1997/42/25003/
Cтатья практически антикварная, что сейчас на эту тему происходит я как к сожалению не очень то интересуюсь.

> * идею компилятора встроенного в ядро/в пакет ОС - "не придумали"

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

> * о декомпиляторах совмещенных с компиляторами вообще молчу

не умеете нормально заниматься debugging так и скажите.

> Форт и Рефал похоронены, в то время как им только расти бы и расти...

В чем проблема? В мире море всяких разных языков программирования. Если ими никто не пользуется значит у них с практической точки зрения найдены какие то недостатки. Воскресите его? Правда я не знаю под какими лицензиями/платформами существуют инструменты разработки для этих языков. Будьте новым Бьёрном Страуструпом, если сможете. ;-D

> "сама находить уязвимости в своем коде и в последующем устранять их"
> означает перезапуск драйверов, а не что-то там фантастическое.

Перезапуск драйвера как то повлияет на кривизну рук разработчика? Звучит так как будто если мы на входе возьмем MS DOS отдадим ядру и на выходе получим Windows 7. По моему это вобще напоминает из серии вирусных мутаций.

Находить уязвимости/слабые места - это в первую очередь задача компилятора/отладчика и правильно написанного IDE - подсказывать разработчику где он неправильно написал код. Со временем еще больше разовьются, и программировать станет намного легче.


Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

104. "http://www.minix3.ru"  +/
Сообщение от zLoj email on 29-Апр-09, 22:08 
Vot vy sporite.
A poprobujte luczshe nabrat' http://www.minix3.ru
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

107. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от sluge (??) on 30-Апр-09, 13:52 
бред какой то... лучше бы в ядро линукс вложили, уже сколько лет не могут нормальный хибернейт сдедать
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

110. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Аноним (??) on 30-Апр-09, 18:52 
>бред какой то... лучше бы в ядро линукс вложили, уже сколько лет не могут нормальный хибернейт сдедать

На фиг этот линукс! Багов не меньше чем в винде!
Пусть уж лучше микроядро, не миникс, так чтонить другое...

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

111. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от SnoWLight on 30-Апр-09, 19:49 
Ниасилил. По поводу спора монолитное ядро либо микроядерный подход Таннебаума я считаю спор решен. Линус писал об этом в своей книге. При микроядерном подходе сложность взаимодействия модулей компенсирует монолитность ядра. Кроме того ниодной операционной системы с микроядром которая стабильно работала бы не было сделано за всю историю. Так что все это бред.
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

112. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от SnoWLight on 30-Апр-09, 19:51 
>На фиг этот линукс! Багов не меньше чем в винде!
>Пусть уж лучше микроядро, не миникс, так чтонить другое...

Ню ню ню. Багов не меньше. А где вирусы и вирусные эпидемии??? Может вам стоит зеленку попить чтобы прийти в себя?

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

119. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Аноним (??) on 01-Май-09, 00:00 
>Ню ню ню. Багов не меньше. А где вирусы и вирусные эпидемии??? Может вам стоит зеленку попить чтобы прийти в себя?

Все вирусы в пользовательском пространстве, так что монолит отстой... ;)

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

120. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от Аноним (??) on 01-Май-09, 07:51 
>Кроме того ниодной операционной системы с микроядром которая стабильно работала >бы не было сделано за всю историю. Так что все это бред.

QNX - слышал? Используется военными. Надеюсь объяснять не нужно что военным нужна именно надежность и безопасность.

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

129. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от NoName on 08-Май-09, 18:42 
[qoute]Minix существует с 1987 года а на сегодняшний день практической пользы от нее - ноль.[/quote] О чем и речь - Танненбауму нужны шашечки, а Торвальдсу нужно ехать :D
Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

130. "ОС Minix получила финансирование в размере 2.5 млн. евро"  +/
Сообщение от аноним on 08-Май-09, 20:23 
>на сегодняшний день практической пользы от нее - ноль

если не считать десятки обученных первоклассных специалистов

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Индекс форумов | Темы | Пред. тема | След. тема
Оцените тред (1=ужас, 5=супер)? [ 1 | 2 | 3 | 4 | 5 ] [Рекомендовать для помещения в FAQ]




Спонсоры:
Inferno Solutions
Ideco
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2021 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру