OberonCore

Уважаемые специалисты,

Помогите, пожалуйста, советом.

Я пишу кое-какие расчёты на XDS-Oberon, под Windows.
Мне предстоит пренести их кластер, работающий под Linux.
К сожалению, XDS для этого не годится, т.к. его runtime
в многопоточных приложениях под Linux не стабилен
(http://www.excelsior-usa.com/forum/inde ... pic=1759.0).

Не могли бы вы мне посоветовать, на какую систему имеет смысл
переходить. Хотелось бы иметь одинаковое окружение в обеих
операционных системах.

С уважением,
GH.

Вам нужна многопоточность?

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

Да, многопоточность нужна.

Geniepro, Вам русским языком сказали, что задачи расчётные. Я так понимаю, "около-фортрановского" характера?

(Конечно, для человека, который "ну, дифуры я не знаю, но думаю, что на ФП это тоже легко" за советом ходить недалеко.)

С расчётными задачками у Ерланга не очень хорошо, но уж не хуже (в сумме), чем у оберонов будет...

Что могу сказать... Под Линукс я многопоточное ядро ББ не перетаскивал и теперь уже не планирую, т.к. не хочу использовать треды над общей памятью в принципе. Сейчас ориентируюсь на легковесный параллелизм внутри изолированных процессов, как раз в стиле Эрланга. Но опубликованного ничего предложить, увы, не могу.

Если адаптируете многопоточное ядро к Линуху...
Однопоточный ББ под Линух работает, консоль.

Уважаемый Генийпро туго представляет себе, что такое расчётные задачки, чтобы оценивать "хуже-лучше". Я ему уже предлагал попробовать описать в стиле без состояний хотя бы расчёт атрибутированного графа. Так, чтобы это выглядело вменяемо (т.е. соответствовало тому, как это делается в математике "на бумажке"), а не в стиле применения ФП как ассемблера. (Вот новосибирцы-то дураки, все материалы по исследованиям в теории графов на императивном псевдокоде. Шо ж они, специалисты нипадецкие по Comp-Science и теории программирования, а не знают того, что знает Генийпро - что ФП ж рулит же ж...)

(Я извиняюсь за оффтоп в теме. Достало просто уже.)

Вы бы что ли хоть задачу поконкретнее описали.
А так вообще у того же Хаскелла есть куча библиотек для работы с графами, от поставляемой с компилятором Data.Graph до отдельных вроде "FGL/Haskell - A Functional Graph Library for Haskell", чем они Вас не устраивают?

Ага, жалко их. Ну что поделать, так их учили...

Невежда.
Да, одна из мировых школ Comp-Science, представьте себе, ориентирована не только на ФП. (И не только на множественные, но и на графовые модели программ.)

А учиться надо Вам. Но Вы предпочитаете развивать чисто "интеллектуальность", но не мышление.



Добрый совет: Вы меньше думайте о "библиотеках для работы с ...", а больше о самом предмете "...". И библиотеки выбирайте такие, чтобы о них не надо было думать.

IMHO, наиболее близко -- использование либо Ады либо Модулы-3 (там вроде есть библиотека многозадачности).

Если всё же хочется оберон (или кого-то из его клонов), и хочется на кластер, то можно распараллелить так: сажаем на каждый узел (ака процессор/ядро) по отдельному ПРОЦЕССУ (ака приложению) обероновскому, эти приложения друг с другом общаются через некую шину (например через TCP или shared memory или что-то ещё -- смотреть надо по задаче, сам я распараллеливанием серьезным не занимался в подобных задачах).

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

PS. Я вот нифига не уверен что ерланг сумеет автоматически оптимально распараллелить вычислительную задачу, ибо паралеление оной задачи сильно зависит от собственно сущности этой задачи.

Конечно, по большому счету не умеет.

Передача информации в параллельную сущность там идет полным копированием структур данных, что контролировать в ФЯ может быть тяжело, а в результате некий достаточно заметный тормоз, который объективные люди отмечают недвусмысленно.

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

А там нет автоматического распараллеливания, это же не SISAL, но там (в Ерланге) намного проще вручную распараллелить код, чем на императивных языках.

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

Не надо ничего "легко понять", надо просто учить матчасть. Те же новосибирские работы по теории алгоритмов, теории схем программ и др. вещи. Чтобы небо размером с овчинку не казалось. ФП, ФП, блин...

А времена всегда одинаковые - и законы природы тоже.

А что народ думает о WinAOS/UnixAOS?

В А2 (Aos) есть "матричные" (точнее векторные) вычисления, которые поддерживаются компилятором. К тому же он явно ориентирован на многопоточность. UnixAOS мне запустить не удалось (но я особо и не пытался), под WinAOS пишу программки, но они носят больше исследовательский и учебный характер. "Тяжёлых" вычислений пока не предпринимал. Чистый A2 стоит, но больше для экспериментов с железом.

Язык АктивныйОберон имеет расширение MathOberon, из названия понятно назначение.
Некоторую инфу можно черпнуть здесь (Math) Compiler

Есть работающая "Oberon Computational Toolkit" (процент готовности не знаю) библиотека для вычислений на ATI GPU. Библиотека работает под ВинАос.
Т.е. как расспаралеливаются вычисления поглядеть можно.

Но под SUBJ ничего готового я не знаю.

PS: Есть еще OOC, это естествено к Аос отношения не имеет, но может будет интересно глянуть