Ответ на »сообщение 4385« (MS)
___________________________

В Обероне программы хранятся в файлах, начинающихся с ключевого слова МОДУЛЬ. Вы предлагеете ввести новый вид файлов с ключевым словом КЛАСТЕР?

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

Ответ на »сообщение 4378« (Руслан Богатырев)

Ох, Руслан. Яж опять не про то :-)
В Обероне программы хранятся в файлах, начинающихся с ключевого слова МОДУЛЬ. Вы предлагеете ввести новый вид файлов с ключевым словом КЛАСТЕР?

Ответ на »сообщение 4373« (Как слышно? Приём!)
___________________________

Как дела с распараллеливанием в Обероне?

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

Ответ на »сообщение 4379« (Jack Of Shadows)
___________________________

ХА-ХА-ХА
MS опять обошла вас на повороте :))

Не надо злобствовать -- в конце концов в одном тазу плывем.

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

Ответ на »сообщение 4381« (Stargazer)
___________________________

очень странно, что ни Минобр, ни Мининформ не прислушиваются к мнениям, высказанным на этом форуме. ...

Было бы странно, если бы "они" о сем форуме хотя бы слышали 8))

А слушают бюрократы всегда только начальство. А протчих -- только если начальство сильно-сильно прикажет. Для этого нужен "интерес".

Но раз уж речь зашла: не так уж совсем все безнадежно -- только что ушли аж две презентации в Минсвязи. На реакцию надеяться на данной стадии невозможно. Но шевелиться надо. Есть какие-то ниши в бюрократическом мире, где все это может оказаться интересно -- типа, сугубо для примера, приезжают вдруг "евроэксперты" и требуют прожектов, и надо че-то выкатить PR-пригодное ... клюнет-не клюнет.

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

Ответ на »сообщение 4379« (Jack Of Shadows)
___________________________

А-ХА-ХА
MS опять обошла вас на повороте :)) Пока вы тут болтали, все уже обговорено обтерто на самом высшем уровне, и бабло мощным потоком потечет в карманы закордонных буржуинов.
Ну а ваши школьники будут изучать уиндоус и визуал бейсик. :))


Jack, а ваши школьники что будут изучать, хаскель? :) Вообще, очень странно, что ни Минобр, ни Мининформ не прислушиваются к мнениям, высказанным на этом форуме. Хорошо, что Jack Of Shadows это заметил.

Ответ на »сообщение 4379« (Jack Of Shadows)
___________________________

ХА-ХА-ХА
MS опять обошла вас на повороте :))

Вах! горе нам...

http://www.minsvyaz.ru/news/?id_news=5818

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

ХА-ХА-ХА
MS опять обошла вас на повороте :)) Пока вы тут болтали, все уже обговорено обтерто на самом высшем уровне, и бабло мощным потоком потечет в карманы закордонных буржуинов.
Ну а ваши школьники будут изучать уиндоус и визуал бейсик. :))

Ответ на »сообщение 4361« (MS)
___________________________

А как будем на нём программировать?
На языке кластеров. :)

И где хранить программу?
"Программу" -- во внутреннем представлении, которое является результатом трансляции: это входная информация для генерирования (и группирования) Оберон-модулей (исходных текстов), хинтовка для верификатора, а также оттранслированные “картриджи” (логика для каждого кластера). Картриджи не нужны на уровне языка Оберон. Они используются на этапе выполнения.

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

Это слишком конкретные вопросы для неконкретного состояния дел с этим языком. :) Детали языка обсуждать не готов (он не вызрел до такой степени, чтобы представлять на суд общественности). Но рамки его -- пожалуйста. Я лишь хотел обратить внимание на само направление.

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

А как модули будут объденятся в кластеры?
Расскажу в первом приближении про один из вариантов языка.

Кластер может быть простым или составным. Простой кластер объединяет в себе набор модулей, топологически связанных (сеть модулей). Составной кластер содержит сеть кластеров. Кластеры оперируют интерфейсами двух видов: высокоуровневые интерфейсы модулей и интерфейсы кластеров. Имена модулей бывают относительными (внутри кластера) и абсолютными -- префиксируются через точку именами кластеров, в которые вложены модули (полный путь).

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

Кластеры могут быть трех видов:
1. активные кластеры
2. пассивные кластеры
3. нейтральные кластеры

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

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

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

В самом простейшем случае в языке кластеров могут использоваться только нейтральные кластеры (что сводится к простым кустам Оберон-модулей). Реализация: диспетчер кластеров (может быть распределенным). Выполняется на Обероне/КП (с использованием ран-тайма).

Ответ на »сообщение 4362« (Руслан Богатырев)



Ну если для Вас на уровне Оберон-модуля проблем нет, то попробую их сформулировать:
Ну если для Вас на уровне Оберон-модуля проблем нет, то попробую их сформулировать:
1. Есть группа взаимосвязанных модулей (подсистема, назовите хоть как). Эта взаимосвязь должна контролироваться как на этапе проектирования, так и на этапе выполнения (элементарная задача: выгрузить динамически все модули данной подсистемы и подгрузить -- если надо -- замену).
2. Реализован Оберон-модуль с некоторым интерфейсом. Возникает необходимость в создании его клонов (назовем, скажем, параметризацией заготовки). Как будем решать? Copy-paste?
3. Интерфейсы (модули) неравноправны -- есть публичные, есть служебные; есть проверенные (trusted), есть сырые; есть верифицируемые, есть бесконтрольные...


Вы меня немного не поняли.
Вот, скажем, нам требуется организовать динамичскую загрузку модулей и обеспечить динамическое же установление связей с некими внешними элементами.
Для этого нам жно создать диспетчер. Но он должен ранится где-то хранится или же быть некой самостоятельной сущностью - есть, например, в обероне МОДУЛЬ, а теперь будет и ДИСПЕТЧЕР.

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