OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Вторник, 03 Август, 2021 08:29

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




Начать новую тему Ответить на тему  [ Сообщений: 38 ]  На страницу 1, 2  След.
Автор Сообщение
 Заголовок сообщения: OS Day 2020
СообщениеДобавлено: Суббота, 07 Ноябрь, 2020 20:25 

Зарегистрирован: Вторник, 01 Март, 2011 09:34
Сообщения: 561
Откуда: Москва
Завершилась седьмая научно-практическая конференция OS Day, посвященная встроенным системам. Я принял участие с докладом "О разработке Оберон-системы с заданными свойствами эргодичности", аннотация здесь.
Конференция проходила в режиме онлайн, мой доклад это второй день, 6 ноября, начинается с 57:30 https://www.youtube.com/watch?v=MFH93fJzKBM.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: OS Day 2020
СообщениеДобавлено: Суббота, 07 Ноябрь, 2020 21:48 

Зарегистрирован: Вторник, 01 Март, 2011 09:34
Сообщения: 561
Откуда: Москва
Моя презентация прилагается. Сделано некоторое переосмысление моей ранней разработки для А2.


Вложения:
ErgodicOberonRuntime_OSDay2020_Дагаев_Д_В.pdf [829.29 КБ]
Скачиваний: 68
Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: OS Day 2020
СообщениеДобавлено: Суббота, 07 Ноябрь, 2020 22:01 

Зарегистрирован: Четверг, 08 Май, 2008 19:13
Сообщения: 1314
Откуда: Киев
Можно дать ссылку на youtube со временем - https://youtu.be/MFH93fJzKBM?t=3446


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: OS Day 2020
СообщениеДобавлено: Воскресенье, 08 Ноябрь, 2020 00:29 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9427
Откуда: Россия, Орёл
Дмитрий Викторович, какие реакции на доклад наблюдались?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: OS Day 2020
СообщениеДобавлено: Воскресенье, 08 Ноябрь, 2020 09:45 

Зарегистрирован: Вторник, 01 Март, 2011 09:34
Сообщения: 561
Откуда: Москва
Сдержанно-положительные. Уже не первое впечатление от Оберона, как в прошлый раз. И активность контактов в онлайне ниже, чем живьём. Ну, ещё в Ютубе зрители писали, что вот в Эрланге рестарт после сбоя тоже можно сделать.
Отмечу, что состав очень сильный, много людей профессиональных, в основном мэйнстрим, конечно.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: OS Day 2020
СообщениеДобавлено: Вторник, 10 Ноябрь, 2020 19:12 

Зарегистрирован: Вторник, 01 Март, 2011 09:34
Сообщения: 561
Откуда: Москва
Интересный доклад был про многоядерные ОС, наследие Barrelfish. Клименков из ИСП РАН был на стипендии в ETHZ при System Group. Презентацию пока не выложили, но доклад их первый в первом дне https://www.youtube.com/watch?v=jjYJKZK_bas&feature=youtu.be.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: OS Day 2020
СообщениеДобавлено: Вторник, 10 Ноябрь, 2020 21:44 

Зарегистрирован: Четверг, 08 Май, 2008 19:13
Сообщения: 1314
Откуда: Киев
Первый доклад

Чтобы дать ссылку на видео с нужным временем, нужно нажать на кнопку "поделиться" и выставить время начала


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: OS Day 2020
СообщениеДобавлено: Вторник, 10 Ноябрь, 2020 22:10 

Зарегистрирован: Вторник, 01 Март, 2011 09:34
Сообщения: 561
Откуда: Москва
Спасибо большое, сразу не понял.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: OS Day 2020
СообщениеДобавлено: Среда, 11 Ноябрь, 2020 18:11 

Зарегистрирован: Вторник, 01 Март, 2011 09:34
Сообщения: 561
Откуда: Москва
#ВтороеСедлоДляБоливара - такой пропагандистский прием применил против мэйнстрима.
Борьба за #ВтороеСедлоДляБоливара - это ставка на "единственно правильные" технологии: gcc, Linux kernel, Windows, ...

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: OS Day 2020
СообщениеДобавлено: Четверг, 12 Ноябрь, 2020 08:58 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8500
Откуда: Троицк, Москва
#ВтороеСедлоДляБоливара -- пож., поясните метафору: кто седло, кто боливар, почему второе?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: OS Day 2020
СообщениеДобавлено: Четверг, 12 Ноябрь, 2020 11:30 

Зарегистрирован: Вторник, 01 Март, 2011 09:34
Сообщения: 561
Откуда: Москва
Сюжет О'Генри:
1. 3 бандита на лошадях ограбили поезд;
2. Бандит Д(жон) убит - осталось 2 бандита, 3 лошади;
3. Запасную лошадь отпустили(!) - 2 бандита, 2 лошади;
4. Бандит Б(об) зависит от бандита А(кулы). Б слышал плохое об А, но сработало самоуспокоение;
5. Кобыла Б(оба) сломала ногу: "Очень мне жалко, что твоя гнедая сломала ногу, Боб";
6. А(кула) застрелил Б(оба): "Боливар не выдержит двоих".
7. Ситуация повторилась через много лет в бизнесе.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: OS Day 2020
СообщениеДобавлено: Четверг, 12 Ноябрь, 2020 11:44 

Зарегистрирован: Вторник, 01 Март, 2011 09:34
Сообщения: 561
Откуда: Москва
Далее представим себе, что Вы - фирма-разработчик ПО. Допустим, Ваш продукт основан исключительно на мэйнстриме (например, Windows, MS Visual Studio, ..). Всех запасных лошадей Вы отпустили, варианты типа Оберона не рассматриваются и близко. Все: Вы попали в критическую зависимость от альфы Microsoft, ибо вы делегировали все системо-образующие функции. На что рассчитываете Вы?

Вы рассчитываете на #ВтороеСедлоДляБоливара. Что Вас будут поддерживать, обновлять в части киберзащищенности, поставлять драйверы, и проч... И подавляющее большинство может полагать, что так будет происходить вечно.

Я так не считаю. В один не очень прекрасный день кобыла сломает ногу, и тогда будет уже поздно искать другое решение. Выбирать, получается, нужно сейчас. Можно потихоньку выстраивать свои технологии, как это делает Информатика-21, а можно рассчитывать на #ВтороеСедлоДляБоливара.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: OS Day 2020
СообщениеДобавлено: Четверг, 12 Ноябрь, 2020 17:24 
Аватара пользователя

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: OS Day 2020
СообщениеДобавлено: Четверг, 12 Ноябрь, 2020 20:49 

Зарегистрирован: Суббота, 07 Март, 2009 15:39
Сообщения: 3257
Откуда: Астрахань
Дело не в том, что технология "правильная" или "не правильная".
Дело в квалификации.
Огромное большинство людей, освоив что-то хорошо, не захотят (или не смогут) изучать что-то еще на том же экспертном уровне.
Единственный вариант не привязываться к конкретной технологии - делать свое.
Но опять же - база этого своего на чем-то конкретном должна строиться.
Помнится, мы в 1985 году делали так: сначала прикрутили Лисп к ПЛ-1.
Потом придумали язык высокого уровня, реализовали его интерпретатор на этом конгломерате ПЛ-1+Лисп.
И на этом языке уже написали систему по договору.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: OS Day 2020
СообщениеДобавлено: Четверг, 12 Ноябрь, 2020 23:38 

Зарегистрирован: Пятница, 13 Март, 2015 16:40
Сообщения: 499
Валерий Лаптев писал(а):
...
Потом придумали язык высокого уровня, реализовали его интерпретатор на этом конгломерате ПЛ-1+Лисп.
И на этом языке уже написали систему по договору.

Вас можно поздравить: теперь вы в роли (А)кулы.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: OS Day 2020
СообщениеДобавлено: Пятница, 13 Ноябрь, 2020 16:00 

Зарегистрирован: Суббота, 07 Март, 2009 15:39
Сообщения: 3257
Откуда: Астрахань
Ну, мы никого не убивали... :)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: OS Day 2020
СообщениеДобавлено: Вторник, 02 Февраль, 2021 11:16 

Зарегистрирован: Вторник, 01 Март, 2011 09:34
Сообщения: 561
Откуда: Москва
Опубликована статья по докладу "О разработке Оберон-системы с заданными свойствами эргодичности". При поддержке: Международный общественный научно-образовательный проект Информатика-21.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: OS Day 2020
СообщениеДобавлено: Вторник, 02 Февраль, 2021 13:40 

Зарегистрирован: Четверг, 08 Май, 2008 19:13
Сообщения: 1314
Откуда: Киев
Давно хотел это обсудить:

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: OS Day 2020
СообщениеДобавлено: Вторник, 02 Февраль, 2021 15:59 

Зарегистрирован: Вторник, 01 Март, 2011 09:34
Сообщения: 561
Откуда: Москва
Comdiv писал(а):
запрет конкретных конструкций не означает запрета средств, которые позволяют эти конструкции воспроизвести.

Да, это верно. Что запрещается? Запрещается реализация Heaps функции NEW. Можно ли доказать это экспертам? Да, конечно, но будут вопросы. Вот Вы задаете правильные вопросы - нельзя ли выделить как-то память другими средствами в A2, минуя Heaps? Но, заметьте, пространство маневра сократилось, система стала более доказуемой и предсказуемой.

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: OS Day 2020
СообщениеДобавлено: Вторник, 02 Февраль, 2021 16:12 

Зарегистрирован: Четверг, 08 Май, 2008 19:13
Сообщения: 1314
Откуда: Киев
Но я и говорю, что в алгоритмически полном языке нельзя ничего запретить статически на уровне компиляции. Например, для того, чтобы воспроизвести динамическую память достаточно(но даже не необходимо) статического массива и даже не обязательно это осознавать.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 38 ]  На страницу 1, 2  След.

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


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

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


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

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