Home

Реклама

realurix - Концепция операционной системы-2
Ноябрь 14, 2007
12:05 am

[ссылка]

Previous Entry в избранное рассказать другу Next Entry
Концепция операционной системы-2

Концепция операционной системы-2


Поскольку с ошибками разобрались, то остается единственный путь развития ОС - создание сначала всего в софте, а потом, по мере развития ОС, перекладывать какие-то ее части на "широкие плечи железа". Но только не наоборот.

Есть несколько условий, которым в обязательном порядке должна удовлетворять эта ОС.
1. Операционные системы различаются между собой прежде всего стратегиями управления ресурсами. Существует всего два клона Unix: AT&T и BSD. Других в природе нет. Есть, правда, еще DOS, в котором вообще нет никакой стратегии ресурсов, и Windows, где предполагается распределенное управление ресурсами. Есть и другие ОС, но они в той или иной мере используют эти стратегии управления ресурсами. Их всех обьединяет одно: выделение ресурсов осуществляется с запаздыванием, по факту: запросил, если есть, получи. У запаздывающей, постфактной стратегии управления ресурсами есть два существенных недостатка: "смертельное обьятие" и длительные задержки при ожидании ресурса. Нужно создавать ОС, которая максимально свободна от этих недостатков, т.е., принципиально отличается от существующих ныне операционных систем именно стратегией выделения ресурсов. Иначе, эту ОС ожидает судьба Mach университета Карнеги-Мелона, потерявшего свою самостоятельность.

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

2. Универсализм, "всеядность" операционной системы. В настоящее время приходится констатировать тот факт, что программы, созданные для работы в конкретной операционной системе могут хорошо или вообще работать только в среде именно своей "родной" операционной системы. Однако, несколько типов ОС написаны для одного процессора с архитектурой x86. Логично было бы потребовать, чтобы программы написанные для ОС работающей в архитектуре x86 работали бы и в других ОС, работающих на процессарах этой же архитектуры. Еще более логично было бы потребовать, чтобы все программы написанные для машин архитектуры фон Неймана, а еще лучше машин Тьюринга, работали бы на любых аппаратных реализациях этих машин. Но это забегание вперед. Сначала надо реализовать этот механизм для работы в архитектуре x86, как наиболее распространенной в мире. В дальнейшем, при создании отечественного процессора, можно будет легко перевести весь наработанный код для работы уже этого процессора, даже если его архитектура и система команд будет отличаться от x86.

"Всеядность" разрешает проблему драйверов к оборудованию для операционных систем, благодаря которой Microsoft за счет сговора с производителями железа получает преимущество на рынке компьютеров и операционных систем с архитектурой x86. Не надо обвинять и предпринимать "кастрационные" меры к этой компании. Надо просто правильно реализовать те разделы теории, которые до сих пор еще не были реализованы, как проблема разрешится сама собой естественным образом и Microsof займет свое истинное место в иерархии софтверных компаний. Если ОС "всеядная", то любой драйвер для оборудования будет работать в среде этой ОС так же, как и в среде своей "родной" операционки. И не надо создавать конкуренцию операционных систем, ибо любая "война" это всегда лишь трата ресурсов. Надо создать ОС, которая обьединит в себе все операционки в единое целое и устранит в принципе конкуренцию, конфликты и обьединит усилия разработчиков.

3. Необходимо, насколько это возможно, отказаться от программирования. Программирование необходимо заменить обучением. Тогда появится реальная возможность создания специализированных курсов для юристов, медиков и других гуманитариев. Однако, современна теория обучающихся систем страдает одним недостатком. Например, если учительница МарьВанна в школе свои ученикам покажет сахар и скажет, что он горький, то дети воспримут это как шутку. Если "учитель" допустит аналогичную ошибку при обучении атвомата, то у автомата "снесет крышу". Неуспехом, распаданием на три логически самостоятельные части закончился успешно начавшийся и длительное время успешно проходивший в Кембрижде эксперимент по обучению нейронного компьютера из нескольких тысяч аналогов нейронов в 80-х - 90-х годах прошлого века. Последствия неуспеха такие же, как и у больных гранулярной шизофренией, когда мозг фактически распадается на небольшие плотные фрагменты, слабо связанные с соседними. Механизм, препятствующий такому окончанию обучения мне уже известен. Как должно происходить неразрушающее обучение тоже уже известно.

4. Программирование должно быть модифицировано технологически. Например, и это несложно показать, что можно построить такую систему проектирования программ, в которой невозможно в принципе допустить синтаксическую и большой класс семантических ошибок. И надобность в таких монстрах, как язык ADA или OBERON, отпадает сама собой. Этот инструмент, реализующий новую технологию создания программ, и является тем инструментом, с которого должно начаться построение операционной системы. Без этого инструмента трудозатраты на создание системы составят порядка 100-150 человеколет. С этим инструментом порядка 3-4 человеколет. Достигается это помимо автоисправления ошибок еще и существенным снижением затрат на внутренние согласования, из-за которых превоначальное ядро Linux было написано за полгода одним человеком, а последующее развитие происходит все медленнее и медленнее. И с каждым годом замедление все увеличивается и увеличивается, не смотря на существенное расширение числа разработчиков. Это следствие известной теоремы о детерминизации недетерминированного автомата. Как это преодолеть мне известно. Это решение связано с решением задачи о неразрушающем обучении.

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

(Оставить комментарий)

Comments
 
From:[info]nafail
Date:Январь 20, 2008 05:50 pm none (UTC)
(Link)
Мысли конечно в правильном направлении, только есть еще много чего того, что вы не учитывали при разработке своей системы. Она вообще уже что-нибудь умеет? Или находиться на стадии математических моделей?
Если ваша операционная система полностью отличается от других самим принципом построения и логикой работы, мало того, если она умеет думать хотя бы на примитивном логическом уровне машины - то концепции операционных систем тут вообще не к месту.
Когда-то я давным давно самолично разрабатывал свои операционки (небольшие, на уровне MS-DOS) для таких компьютеров как Агат и Спектрум. Так что несколько принципы построения операционных систем мне знакомы. На самом же деле управление ресурсами были всегда на любом уровне операционной стистемы и лишь с появлением более современных систем эти самые ресурсы монополизировались на уровне этих самых систем.
Если вы можете создать в действительности умную систему, то почему вы боитесь развития, ведь прогресс невозможно остановить! Такая уж интересная вещь в любой науке - двойственность изобретений: если в одной точке планеты один человек придумывает что-то фундаментально новое, то в другой точке планеты другой человек придумывает тоже самое.
Не думаю, что человечество дойдет до того момента, когда будет просто воевать с машинами как показано в глупых американских фильмах, либо же наоборот - убивать с помощью машин друг друга. Ведь убивать не строить - много ума не надо, да и технология оружия дошла до того уровня, что может просто опустошить планету. Кстати, благодаря этому самому потенциалу и многополюсностью мира и держиться тонкий баланс созидания и развития.
Не думаю что ваше изобретение может нанести вред окружающему, но какую пользу оно может принести человечеству!
Кстати, сейчас на рынке операционных систем действительно сложилась опасная ситуация: тут мир держится на одном полюсе - Майкрософт. Такого нельзя допускать ни в коей мере! Каков будет соблазн воспользоваться доминирующим положением! Другое дело - разумная машина! Если она разумна - то и действовать она будет тоже разумна. Разовьется целая культура! И в каждой точке планеты она будет своя!
Возможна война между машинами без участия человека? По моему это более реальная ситуация, чем война между машиной и человеком! Так же как и в разных культурных средах существуют собственные конфликты. Правда здесь будут иметь место больше не военные, а технологические баталии.
Думаю что после моих слов вы все же пересмотрите перспективу развития своей операционной системы, актуальность которой превзошла все пределы.
Я думаю что в на каком-нибудь этапе вы можете рассчитывать и на мою помощь.
From:[info]realurix
Date:Январь 22, 2008 09:21 pm none (UTC)
(Link)
> есть еще много чего того, что вы не учитывали при разработке своей системы.
Поверьте, за более чем 25 лет я учел практически все, что возможно. По крайней мере со всем тем, с чем приходилось сталкиваться.

> Она вообще уже что-нибудь умеет?
Когда известно что писать, то это делается быстро. Я планировал работу сделать самому, поэтому пришлось задуматься о некоторых специфических вещах из технологии программирования. Об этом можно кое-что посмотреть здесь. Пришлось придумывать инструмент для создания ОС. Трудозатраты порядка 1-2 человекогода. С этим инструментом остальные затраты порядка 3-4 человеколет. Без него порядка 100-150 человеколет. Естественно, что я не открываю его особенности. Это ноу-хау. Поскольку я уже в возрасте да и здоровье уже не то, то ищу помощников. Сил у меня сейчас маловато.

> Или находится на стадии математических моделей?
Очень многое моделировалось. Вот один пример. Впечатляет? А это только один из кучи, который уже можно оформлять если не в виде докторской, то как минимум кандидатской.

> Если вы можете создать в действительности умную систему, то почему вы боитесь развития, ведь прогресс невозможно остановить!
И Опенгеймер и пилот бомбардировщика "Энола Гей" плохо кончили после испытаний в Хиросиме. Меня их судьба не прельщает. Я хочу в памяти потомков остаться другим.

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

> Кстати, сейчас на рынке операционных систем действительно сложилась опасная ситуация
Это Вы немного сгущаете краски. Для FreeBSD не пишут драйвера, одна эта ОС работает на любом железе. Как этого добиваются? Где-то в прошлом веке я общался с одним человеком из этой команды и подарил тогда ему одну мысль. Сейчас меня дергают, заставляют написать статью по этому поводу. Ох, опять время тратить... Но делать это надо.

> Каков будет соблазн воспользоваться доминирующим положением!
У этой ОС тоже будет такое же доминирующее положение. Ибо, это полная реализация теории. А значит, она поглотит мелкософтовскую и другую писанину. И никакими деньгами некрософт тут уже не помочь. И будет некая единая ОС. Вернее, операционок будет бесконечно много. Предполагается, что в рамках этой операционки не будет особой необходимости в программировании. Оно будет заменено обучением. Причем, каждый пользователь обучать систему будет под себя. Будут, конечно, некие общие курсы, вроде Office или "Делопроизводство". Да и курсы "Программирование" тоже останутся.

> Я думаю что в на каком-нибудь этапе вы можете рассчитывать и на мою помощь.
Самый сложный - первый. Создание инструмента. И самый ответственный. Тут мне помощник (два-три) нужен с очень хорошим знанием теории. И не трепло. Я, если заметили, нигде не рассказываю достаточных условий найденных мной решений. Необходимые - да сколько угодно. А для того, чтобы найти достаточные, да еще правильно сформулировать постановку задачи - это нужно знать не меньше моего. Пока никто не смог мне предложить ни одного близкого варианта.
Разработано LiveJournal.com

Реклама