Сепарация кода от данных как основа программной архитектуры высоконадежных распределенных систем

Конференция: День Оберона 2022
Докладчик: Дмитрий Викторович Дагаев

Презентация доклада:

Поддержать YouTube-канал:
Bitcoin: 14Vk6tLFyBz64k158QV2QzuMg7YCQ5y1YE (BTC)

[vladimirpo]

Очень интересно, когда переосмысляются такие базовые вопросы. Разрыв шаблона.

[Nemo_XYZ]

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

[adimetrius]

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

[Nemo_XYZ]

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

[ggbfrtm]

"Сепарация"! Как звучит, а? Не то что это ваше "отделение"... Уверен, что если сдобрить описание задачи непонятными и диковинными словами -- уже одно это способно сделать программу более надёжной. Иначе и быть не может.

[Nemo_XYZ]

Некоторые выводы
• Сепарация данных от кода дает возможность разделения их
жизненных циклов в контексте развития/обновления;
• Переход в Оброне-2 к типо-ориентированным процедурам несет
за собой набор ограничений, несвойственный классическому
Оберону;
• Инкапсуляция данных, предлагаемая ООП, не всегда является
очевидным преимуществом при построении систем.

Классика Си-подобных утверждает обратное...Я когда впервые встретился с Си долго не мог понять, чем оно лучше Паскаля...Возможно, что Си-подобные созданы вредителями и врагами народа...Советского народа!