OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Четверг, 28 Март, 2024 15:22

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




Начать новую тему Ответить на тему  [ Сообщений: 94 ]  На страницу 1, 2, 3, 4, 5  След.
Автор Сообщение
СообщениеДобавлено: Пятница, 15 Ноябрь, 2019 19:38 

Зарегистрирован: Четверг, 08 Май, 2008 19:13
Сообщения: 1447
Откуда: Киев
viewtopic.php?f=22&t=6482&p=109508#p109503
Rifat писал(а):
А зачем нужен рефлекшн? Какие задачи он позволяет решить?
В рефлексии заключены могучие возможности, поэтому она решает многие задачи и поэтому же её не стоит использовать. За редким исключением.

Цитата:
Мне кажется, что это относительно новое нововведение и как-то же обходились раньше без всяких рефлекшенов?
Смотря где. Вроде бы, это одна из основных фишек Lisp.

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 15 Ноябрь, 2019 20:41 

Зарегистрирован: Понедельник, 11 Сентябрь, 2017 13:23
Сообщения: 1557
Рефлексия нужна для отладки. Кому не нужна, тот не использует. Кому нужна - тот не обсуждает.

Цитата:
Теперь разработчики предпочитают аннотации и кодогенерацию во время трансляции.

Да, поговорка про то, что "любая достаточно сложная программа на С++ содержит половину кривой реализации лиспа" верна и в случае java.

И самое главное - не зависимо от чьего-либо мнения о нужности или ненужности, в моём форке A2 рефлексия будет, и это ближайший пункт плана. Потому что без неё отлаживать сколько-нибудь сложные, написанные не мной и недокументированные вещи (типа TFPET) - это просто ад. Человеку, который ещё не забыл ощущения от работы в лиспе, это очень тяжело переносить, и только понимание временности данного состояния выручает.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 15 Ноябрь, 2019 20:52 

Зарегистрирован: Понедельник, 11 Сентябрь, 2017 13:23
Сообщения: 1557
Хотя кстати да. Делать сериализацию/десереализацию можно и через кодогенерацию в статике. Только вот это требует дополнительной инфраструктуры разработчика. А через рефлексию это делается проще. Возможно, что имеет смысл наложить ограничения на рефлексию и делать с помощью неё только то, что можно было бы сделать и чисто статически. А в случае, если это нельзя сделать статически, подумать, не зашли ли мы куда-то не туда, или ограничить такую практику теми случаями, когда это действительно нужно (например, интерпретатор с автодополнением вводимых команд без рефлексии никак не организовать).


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 16 Ноябрь, 2019 02:44 

Зарегистрирован: Четверг, 08 Май, 2008 19:13
Сообщения: 1447
Откуда: Киев
budden писал(а):
Рефлексия нужна для отладки.
Рефлексия для отладки есть и в Си, но разве речь о такой её разновидности? На ней ведь никто всерьёз не решает задачи, выходящие за пределы отладки.

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

Вообще, внедрение такой рефлексии в A2, на мой взгляд, похоже на трагикомедию, потому что является отстающим прыжком вслед за мейнстримом туда, откуда мейнстрим уже стремится выпрыгнуть.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 16 Ноябрь, 2019 10:13 
Аватара пользователя

Зарегистрирован: Пятница, 11 Май, 2007 21:57
Сообщения: 1488
Откуда: Украина, Киев
Comdiv писал(а):
Вообще, внедрение такой рефлексии в A2, на мой взгляд, похоже на трагикомедию, потому что является отстающим прыжком вслед за мейнстримом туда, откуда мейнстрим уже стремится выпрыгнуть.
Красивая фраза, не более. Где хоть какое-то подтверждение, что мейнстрим куда-то там собирается выпрыгнуть, в частности, с рефлексией?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 16 Ноябрь, 2019 13:23 
Аватара пользователя

Зарегистрирован: Пятница, 11 Май, 2007 21:57
Сообщения: 1488
Откуда: Украина, Киев
И вообще, если там где-то что-то протекает в мире Ц/Ц++, не надо экстраполировать это протекание на все языки.

Пишите на нормальных языках, на Delphi и Go, например, и будете в сухости и комфорте :D И рефлексия в них почему-то есть.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 16 Ноябрь, 2019 14:37 

Зарегистрирован: Понедельник, 11 Сентябрь, 2017 13:23
Сообщения: 1557
Мы тянемся за лидером развития, т.е за Blackbox, в котором такая возможность в окне TRAP есть :lol:


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 16 Ноябрь, 2019 15:59 
Аватара пользователя

Зарегистрирован: Пятница, 11 Май, 2007 21:57
Сообщения: 1488
Откуда: Украина, Киев
budden писал(а):
Мы тянемся за лидером развития, т.е за Blackbox, в котором такая возможность в окне TRAP есть :lol:
В этом плане все Обероны "протекают". У всех Оберонов окно TRAP богатое :lol:
Вот, по-моему, такое богатство, это как-раз плюс, а не минус.


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

Зарегистрирован: Четверг, 08 Май, 2008 19:13
Сообщения: 1447
Откуда: Киев
Ярослав Романченко писал(а):
Где хоть какое-то подтверждение
Подтверждение, в смысле научной работы по тенденциям в mainstream? Это результат наблюдения, основанный на перелопачивании большого количества библиотек. Annotation processor в Java, отчасти, для того и нужно, чтобы поменьше лезть в рефлексию во время исполнения и это работает. Отменить что-либо полностью из-за наследия, в том числе идейного, невозможно, но тенденция достаточно очевидная.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 16 Ноябрь, 2019 17:49 

Зарегистрирован: Четверг, 08 Май, 2008 19:13
Сообщения: 1447
Откуда: Киев
Ярослав Романченко писал(а):
Пишите на нормальных языках, на Delphi и Go, например, и будете в сухости и комфорте
Абстракции из-за рефлексии во время исполнения протекают вне зависимости от "нормальности" языка. Это можно попытаться ограничить, но тогда она потеряет привлекательность для сторонников использования рефлексии для решения обыденных задач.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 16 Ноябрь, 2019 17:51 

Зарегистрирован: Четверг, 08 Май, 2008 19:13
Сообщения: 1447
Откуда: Киев
Ярослав Романченко писал(а):
В этом плане все Обероны "протекают". У всех Оберонов окно TRAP богатое
Не богаче, чем в отладчике С-программы, но никто для C всерьёз не использует отладочную информацию для других задач.


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

Зарегистрирован: Пятница, 11 Май, 2007 21:57
Сообщения: 1488
Откуда: Украина, Киев
Comdiv писал(а):
Подтверждение, в смысле научной работы по тенденциям в mainstream? Это результат наблюдения, основанный на перелопачивании большого количества библиотек. Annotation processor в Java, отчасти, для того и нужно, чтобы поменьше лезть в рефлексию во время исполнения и это работает. Отменить что-либо полностью из-за наследия, в том числе идейного, невозможно, но тенденция достаточно очевидная.
Т.е. больше уход в сторону аннотаций? Но аннотации тоже пишутся в объектный файл? В чём тогда принципиальные отличия с Активным Обероном? Аннотаций нет, но компилятор генерирует информацию о типах и складывает в отдельный байтовый массив, находящийся в объектном файле. При желании этот байтовый массив можно из объектного файла вообще выбросить и никакой рефлексии не будет. В чём тогда проблема? В желании напустить туману?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 16 Ноябрь, 2019 18:04 
Аватара пользователя

Зарегистрирован: Пятница, 11 Май, 2007 21:57
Сообщения: 1488
Откуда: Украина, Киев
Comdiv писал(а):
Не богаче, чем в отладчике С-программы, но никто для C всерьёз не использует отладочную информацию для других задач.
Ну, так пишите на С, раз там всерьёз не используют. Нам один преподаватель говорил "никогда не используйте в С указатели". И я его прекрасно понимаю.
Ещё раз напоминаю, не экстраполируйте "общепринятые" проблемы С на другие языки.

ЗЫ. Но легко сказать, не используйте указатели. Они же, сволочи, везде выпирают. Уродские сишные "массивы" чего стоят.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 16 Ноябрь, 2019 22:28 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9459
Откуда: Россия, Орёл
Comdiv писал(а):
Ярослав Романченко писал(а):
Пишите на нормальных языках, на Delphi и Go, например, и будете в сухости и комфорте
Абстракции из-за рефлексии во время исполнения протекают вне зависимости от "нормальности" языка. Это можно попытаться ограничить, но тогда она потеряет привлекательность для сторонников использования рефлексии для решения обыденных задач.


Да зря пытаться решать проблемы информ. безопасности (т.е. защиты не от неправильного использования, а от злоумышленного вмешательства) в одной адресном пространстве, языковыми средствами.. Тут таки изоляция процессов. Т.е. модель типа Minix 3 + Oberon в каждом процессе.

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

Для супер-оптимизаций и выкидывания неиспользуемого кода да, стараются ограничить использование рефлексии (как в Dart, где в упакованный JS идут только реально использующиеся функции и типы). Но тут уже надо возлагать на разработчика ответственность: использует что-то динамически - пусть добавляет зависимость в конфиг для учёта сборщиком...

Отказ от рефлексии - архитектурно шаг назад.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 16 Ноябрь, 2019 22:51 

Зарегистрирован: Вторник, 29 Август, 2006 12:32
Сообщения: 2662
Откуда: Россия, Ярославль
Преимущества - можно делать неявные вещи.
Недостаток - можно делать неявные вещи.

Например, в джяве фреймворк Спрынг основан на прокси-классах, то есть рефлексией анализируется ваш класс (по-нашенски - модуль), все интерфейсные методы фиксируются и прямо в рантайме формируется (на уровне машкода, да, вот какой прогрэсс) класс-обёртка с какими-то дополнительными функциями, например, транзакционность до первого исключения. Клиентский код как работал, так и работает, а класс по факту уже другой. Вы должны это предполагать, надеяться на это. Проверять это. Но клиентский код всего этого не предполагает и когда, например, он попытается стандартными средствами сохранить состояние этого класса в JSON, тут и наступит разочарование. Дальше олухи одумались и ввели понятие POJO, которые типа не принято обёртывать, они типа честные классы и объекты.

Так что как всегда, придумали дурь, а теперь с этим живут.


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

Зарегистрирован: Четверг, 08 Май, 2008 19:13
Сообщения: 1447
Откуда: Киев
Ярослав Романченко писал(а):
Т.е. больше уход в сторону аннотаций? Но аннотации тоже пишутся в объектный файл? В чём тогда принципиальные отличия с Активным Обероном?
Во-первых, доступно только то, что явно помечено, а не всё подряд (призываю Валерия Лаптева :) ), а во-вторых, аннотации могут быть времени трансляции, то есть, во время исполнения доступ к ним не получить.

Цитата:
При желании этот байтовый массив можно из объектного файла вообще выбросить и никакой рефлексии не будет.
Завязав всё на решениях на основе рефлексии, ни желания ни возможности выбросить эти данные не будет.


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

Зарегистрирован: Четверг, 08 Май, 2008 19:13
Сообщения: 1447
Откуда: Киев
Илья Ермаков писал(а):
Да зря пытаться решать проблемы информ. безопасности (т.е. защиты не от неправильного использования, а от злоумышленного вмешательства) в одной адресном пространстве, языковыми средствами.. Тут таки изоляция процессов. Т.е. модель типа Minix 3 + Oberon в каждом процессе.
Верно, но с точностью до наоборот - нет большой пользы от изоляции процессов, если протекают абстракции на уровне процесса. Если процесс получает данные из недоверенного источника, недостаточно хорошо их проверяет, формирует на их основе запрос в рефлексию, командную оболочку, базу данных, к процессору и т.д.(богатую программную среду), то он предоставляет несанкционированный доступ вовне вне зависимости от наличия богатой архитектурной изоляции. Почему вообще компьютерные системы взламываются? Разве компьютеры не изолированны друг от друга аппаратно?

Цитата:
Отказ от рефлексии - архитектурно шаг назад.
А Вы точно не можете решить свои архитектурные задачи на знаниях о программе на этапе трансляции?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 18 Ноябрь, 2019 08:53 

Зарегистрирован: Пятница, 22 Март, 2019 07:50
Сообщения: 62
Илья Ермаков писал(а):
Отказ от рефлексии - архитектурно шаг назад.

Наверное, лучше говорить не о полном отказе, а о необходимости ограничения такой возможности. В Java с 9 версии уже так просто не помахаешь рефлекшеном из-за внедрения модулей.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 18 Ноябрь, 2019 13:35 

Зарегистрирован: Понедельник, 11 Сентябрь, 2017 13:23
Сообщения: 1557
И неплохо бы предметно. Т.е. для таких-то случаев рефлексию хорошо использовать, а для каких-то - нет. Потому что данная тема изначально сформулирована несколько манипулятивно. Допустим, даже рефлексия почти всегда - это зло. А что делать в остальных случаях? Полезность отладочной печати никто не оспаривал, и её очень естественно можно сделать через рефлексию. Более того, в случае параметра ANY её никак иначе сделать и невозможно, потому что нужно как-то перейти от типа ANY к конкретному типу и это можно сделать только за счёт RTTI. Значит, в целом рефлексия нужна.

Если тут происходит попытка привести кого-то к выводу, что раз рефлексия почти никогда не нужна, то она и совсем не нужна, то эта попытка обречена на провал. Если цель иная, то было бы неплохо бы, чтобы автор темы её сформулировал. Также нет никакого смысла осуждать тип ANY - он уже есть в A2 и довольно широко используется, является ли он безопасным или нет.

Если же мы пытаемся здесь выяснять плюсы и минусы, то давайте обсуждать конкретику.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 18 Ноябрь, 2019 22:54 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9459
Откуда: Россия, Орёл
Comdiv писал(а):
Почему вообще компьютерные системы взламываются? Разве компьютеры не изолированны друг от друга аппаратно?


Так статистика известна. Для системного уровня >95% (как бы не 98?) - атака на переполнение буфера.

Или аналог для динамических скриптов: всякие атаки на инъекцию.

Остальное решается принципов минимализма: компактные логические протоколы и API. Чтобы лезть по пришедшему из сети имени тупо "рефлексировать" - ну это, во-первых, редко сама по себе такая мысль придёт, во-вторых, и проверить в таком случае можно.


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

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


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

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


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

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