OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Вторник, 11 Декабрь, 2018 20:53

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 11 ] 
Автор Сообщение
СообщениеДобавлено: Четверг, 04 Декабрь, 2014 09:31 

Зарегистрирован: Вторник, 01 Март, 2011 09:34
Сообщения: 288
Откуда: Москва
Всеволод Чаплин писал(а):
Россия должна защищаться. И чем быстрее мы разработаем свои максимально несовместимые с западными программные продукты, тем меньше будем потом жалеть о тотальном электронном контроле, за которым обязательно последует контроль экономический, политический и мировоззренческий. Самый прямой путь к такому контролю - это унификация всех программных продуктов и баз данных. Поэтому, чем несовместимее будут наши системы с системами тех стран, которые сегодня недружественно к нам относятся, тем больше у нас останется свободы.
https://hi-tech.mail.ru/news/rpc-smartfony-provociruut-ludey-na-grekhi.html


Примеры из нашей области. Оберон - самодостаточный и полностью свободный от ранее разработанного ПО проект. ББ уже desktop-приложение под Windows (начиналось с ETH OS).

А что мы приобретаем и что теряем при интеграции с продуктами мэйнстрима?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 13 Февраль, 2015 21:16 

Зарегистрирован: Пятница, 26 Август, 2011 23:42
Сообщения: 339
Откуда: Россия, Самара
Совместимость требуется, если нужны плюшки мейнстрима, а они таки есть и очень привлекательны. Начиная от open source ОС, до огромного количества софта.

Думаю, что пока нет альтернативы линукса + софта, вроде браузер, кодеки, гимп, оффис. Следует поддерживать совместимость. Но когда будет достигнута независимость, так сказать скинуть за борт, мамонта.

С другой стороны, выпили posix api, вот вам и несовместимость.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 13 Февраль, 2015 21:17 

Зарегистрирован: Пятница, 26 Август, 2011 23:42
Сообщения: 339
Откуда: Россия, Самара
Как мне думается, как раз отсутствие posix api, тормозит развитие оберон осей.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 14 Февраль, 2015 12:00 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9060
Откуда: Россия, Орёл
Jordan писал(а):
Как мне думается, как раз отсутствие posix api, тормозит развитие оберон осей.


Ну, дело-то не только в этом.
Posix API для кого - для бинарных приложений, написанных на чём угодно?

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

http://i.ermakov.pw/pub/EIE-21-2010.pdf
Цитата:
5. Адресные пространства и защита приложений
Традиционная функция операционных систем, поддержанная оборудованием (MMU —
memory-management unit) — обеспечение виртуальной памяти и изолированных адресных
пространств для приложений. Фактически, для небезопасных языков программирования
граница адресного пространства — основной рубеж надёжности.
Многое изменилось с распространением безопасных языков. В операционных системах
Оберон-семейства было показано, как безопасный язык делает возможным работу ОС и
приложений в едином адресном пространстве. Для объектных систем
здесь принципиально то, что решается проблема взаимодействия компонентов — ведь все объекты существуют в
едином адресном пространстве. Кроме того, резко повышается производительность
параллельного выполнения (переключение между контекстами процессов — очень
дорогостоящая операция) Современная ОС A2 (бывшая BlueBottle) поддерживает десятки
тысяч параллельно исполняемых объектов языка Active Oberon и очень быстрый запуск
новых [5].
Однако, как всегда, имеется и оборотная сторона медали: размываются границы между
зонами ответственности отдельных приложений, затрудняется выгрузка и перезапуск
отдельных компонентов (из-за плотной интеграции в «паутину» указателей). Наконец,
практически невозможно обеспечить контроль прав компонентов и защиту от злонамеренных
действий, либо это ведёт к такому усложнению языка и объектной системы, которое выходит
за всякие рамки инженерной целесообразности. Таким образом, наличие раздельных
объектных пространств остаётся востребованным для современных систем, за исключением
некоторых применений (например, встраиваемых, мультимедийных — как раз тех, в нишу
которых направлена ОС А2).
Если несколько изолированных объектных пространств существуют на базе единого
адресного, то такой подход называют программной изоляцией памяти, в противовес
аппаратной. Её преимущества в том, что между объектными пространствами возможна
эффективная передача и разделение статических структур данных, в частности — реализация
потоков сообщений.
Подразделение Microsoft Research в 2008 г. представило проект OS Singularity [19] ,
идея которого — разработка ОС на базе безопасного языка Sing#, кодогенерация из
промежуточного представления, развитые механизмы статического контроля и верификации,
различные режимы изоляции компонентов (единое пространство, SIP — Software-Isolated
Proccesses, HIP — Hardware-Isolated Proccesses). Система опубликована в открытых исходных
текстах, в настоящее время проект закрыт. Его опыт в полной мере задействован в разработке
новых ОС семейства Windows [20].
К сожалению, приходится констатировать, что
сообщество сводобного ПО значительно отстаёт от Microsoft в технологиях системного
программирования — технические проблемы, которые успешно решаются этой корпорацией,
в Linux-сообществе пока даже не осознаны, культура разработки и технологического
оснащения С/С++ программистов в принципе этому не способствует


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 14 Февраль, 2015 14:24 

Зарегистрирован: Вторник, 01 Март, 2011 09:34
Сообщения: 288
Откуда: Москва
Поверну в сторону психологии/социологии.
Эффект импринтинга по Конраду Лоренцу означает запечатлевание. В чувствительный критический период утята определяют маму (см. фото) и единожды свершившись, процесс запечатлевания необратим. Запечатлевание не требует повторения, достаточно одного предъявления движущегося предмета, чтобы утята или ягнята сочли бы его своей матерью. http://vikent.ru/enc/16/

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

Но опыт человечества не бывает бесполезен, например, дает некоторые стандарты, вполне себе полезные, как POSIX. Речь все-таки хочется вести о замещающих технологиях, и основной вопрос будет таким:
Возможен ли слом импринтинга в разработке ПО, и, если да, какие стандарты стоит взять с собой в новую жизнь?


Вложения:
LorenzImprinting.jpg
LorenzImprinting.jpg [ 50.83 КБ | Просмотров: 3149 ]
Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 15 Февраль, 2015 17:51 

Зарегистрирован: Вторник, 01 Март, 2011 09:34
Сообщения: 288
Откуда: Москва
Теперь про
Всеволод Чаплин писал(а):
контроль экономический, политический и мировоззренческий

Борьба там за воспитание двух подходов: либерального и консервативного. Либеральный в ближайшей перспективе (ювенальная юстиция) предложит клубы с группами вида:
(*) андрогин-воспитатель (сертифицированный, пол не определен) и (**) человеческие дети, запечатлевшие его как образ матери.
Консервативный, который будет пытаться вернуться к обычной схеме:
(*) родител(и) и (**) дети, традиционная семья.
Какой вы выберете? Тут вопрос в этике, христианская этика призывает оставить как в писаниях и смирить гордыню ("тварь я дрожащая"), либеральная настаивает на своем неотъемлемом праве на управление мировоззрением ("иль право имею").

Как это вяжется с программированием?
Цитата:
бизнес делают не они, а на них, те — кто придумал айпэд, придумал как организовать людей на его использование, как собирать деньги с пользователей.
То есть бизнес программиста, — «организовать людей с помощью кода». Примерно так: «господа, слушаем меня, идём сюда, кладём денежку в коробочку, потом идём сюда — берём шоколадку с полочки, потом следующий, всем всё ясно?». Программа. Это не бизнес-логика, это сценарий детского утренника: пляшем, радуемся, читаем стихи, билет 100 рублей, одеваемся нарядно, на пол не плевать.

http://habrahabr.ru/post/247363/
Эти интересные ссылки публиковались на форуме О.Чередниченко http://zx.oberon2.ru/forum/viewtopic.php?f=101&t=238
Т.е. такая либеральная бизнес-модель, имеющая целью организовать людей определенным образом, чтобы делать деньги. Вполне успешная, кстати.

А что пытались заложить в Оберон-технологии?
Никлаус Вирт писал(а):
Мне еще ни разу не попадался учебник по UNIX/C++/Java, который я мог бы освоить за неделю. Их учебники невозможно читать, они предполагают, что читатель принадлежит какой-то секте, чьи заклинания должны оставаться тайной для публики, и читателю не следует ожидать многого в плане надежности, связности или общей элегантности.
Мое отчаяние достигло апогея, когда я пытался научить своего сына программировать на C++ — факультативный курс в средней школе! После полугода агонии — как для отца, так и для сына — я посоветовал сыну бросить этот курс.
Чего я не понимаю, так это отсутствия возмущения среди ученых, специалистов по информатике. Когда управляющий совет колледжа решил включить в программу C++ в середине 90-х гг, я письменно выразил им свое возмущение.

Опять столкновение либерального и консервативного подхода. Вирт отказывает в праве либеральной модели "победивших в бизнес-соревновании Java C++" диктовать условия, называет даже сектой. Тут традиционными ценностями в первую очередь выступают наука и опыт. И ясность, к которой призывает Вирт, возникает из обоснованности, хорошей аргументации, а не использования "паствы" в бизнес-интересам какой-либо софтверной компании.

Так что проблема информатики-21 еще и в выборе консервативной или либеральной модели формирования мировоззрения.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 16 Февраль, 2015 08:17 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 7930
Откуда: Троицк, Москва
Ну, это Вы загнули чересчур, насчёт выбора модели мировоззрения.

Но что речь там действительно нужно вести о некоторых ценностных вещах -- это факт.

Некие переклички с, типа, аскетикой и т.п.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 16 Февраль, 2015 21:03 

Зарегистрирован: Вторник, 01 Март, 2011 09:34
Сообщения: 288
Откуда: Москва
Тема провокационная, сложно быть в рамках, вот и Чаплин говорил про мировоззренческий контроль, и Вирт про как бы секту. Но феномен передачи контроля каких-то фундаментальных аспектов обучения имеет место.

Есть еще аспект безопасности. Техническим языком, соответствие МЭК 15408-3 "Компоненты доверия к безопасности", часть AVA_VAN оценка уязвимостей. Там 5 уровней: обзор, анализ, фокусированный анализ, методический анализ, усиленный методический анализ. Естественно, наименее уязвимо ПО с наиболее простой архитектурой.
Однако обычно мы делегирует свои полномочия по обеспечению безопасности и сразу влетаем в отношения зависимости и программируем поведение, как утята у Лоренца. Тут вполне можно проводить анализ уязвимостей от угроз со стороны разработчика, когда Windows скачивает какие-то обновления.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 17 Февраль, 2015 18:44 

Зарегистрирован: Вторник, 01 Март, 2011 09:34
Сообщения: 288
Откуда: Москва
Вчера вот писал про делегирование полномочий по обеспечению безопасности, а сегодня
Лаборатория Касперского» обнаружила масштабную кибератаку


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 18 Февраль, 2015 12:42 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 7930
Откуда: Троицк, Москва
Влетаем в зависимость -- факт.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 16 Март, 2015 23:16 

Зарегистрирован: Вторник, 01 Март, 2011 09:34
Сообщения: 288
Откуда: Москва
Дмитрий Дагаев писал(а):

Эти интересные ссылки публиковались на форуме Оберон-клуба "ВЄДАsoft" http://zx.oberon2.ru/forum/viewtopic.php?f=101&t=238

Я привожу правильное название форума, на который ссылался.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 11 ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2018, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB