OberonCore https://forum.oberoncore.ru/ |
|
Присваивание строки самой себе при конкатенации https://forum.oberoncore.ru/viewtopic.php?f=131&t=6462 |
Страница 1 из 1 |
Автор: | Oleg N. Cher [ Пятница, 25 Октябрь, 2019 03:38 ] | ||
Заголовок сообщения: | Присваивание строки самой себе при конкатенации | ||
Помните, я писал, что BlackBox, возможно, делает лишнюю операцию копирования при конкатенации? Так вот. Я выяснил, что он действительно присваивает строку самой себе там, где этого можно не делать, специально вызывая для этого копирования CPC486.AddCopy и CPV486.AddCopy, т.е.: Код: MODULE TestConcat; VAR a: ARRAY 100 OF CHAR; BEGIN a := a + "abc" (* <= Или: a := a$ + "abc", будет то же самое *) END TestConcat. Вот ассемблерный листинг выхода:
|
Автор: | Oleg N. Cher [ Пятница, 25 Октябрь, 2019 03:45 ] |
Заголовок сообщения: | Re: Присваивание строки самой себе при конкатенации |
Теперь я отвечу сам себе как ассемблерщик: а можно ли сделать оптимальнее? Однозначно, да. Раз нам нужно вычислить для конкатенации длину исходной строки, чтобы добавлять другую ей в хвост, то на процессоре x86 есть даже несколько способов сделать это оптимальнее, чем спаренное с перебросом строки в саму себя (lodsw/stosw) теперешнее решение BlackBox. Так что я за оптимизацию, господа. А в CPfront'е и Ofront'е+ эта проблема уже решена. Кстати, привет Дмитрию Викторовичу, потому что в Мульти-Обероне ещё наверняка нет. Есть ли желающие пободаться с Йозефом и Центром по поводу этой проблемы? Может Wening Luo (luowy) выкатит хорошее решение, у него это очень ловко получается. |
Автор: | Иван Денисов [ Пятница, 25 Октябрь, 2019 08:04 ] |
Заголовок сообщения: | Re: Присваивание строки самой себе при конкатенации |
Oleg N. Cher писал(а): Кстати, обращаю внимание мэйнтейнеров собственных сборок BlackBox. Я не удивлюсь, если в них присутствует эта же проблема - копирование строки саму в себя при конкатенации. Похоже, что OMinc эту оптимизацию планировали, просто она у них не срабатывает по недосмотру: процедура OPV.SameExp (n1, n2: OPT.Node): BOOLEAN возвращает TRUE, если выражение одно и то же. Она-то и призвана отсечь копирование строки саму в себя. Но после псевдооперации преобразования типа "массив" к типу "строка" он уже не воспринимается этой процедурой как та же сущность, и она срабатывает некорректно. Правлю так: Код: PROCEDURE SameExp (n1, n2: OPT.Node): BOOLEAN; BEGIN + IF (n2^.class = Nderef) & (n2^.typ^.form = String) THEN n2 := n2^.left END; WHILE (n1^.class = n2^.class) & (n1^.typ = n2^.typ) DO Т.е. если последняя операция это преобразование массива к строке, то мы для сравнения её откатываем. Это работает. Ссылка на коммит: https://github.com/Oleg-N-Cher/OfrontPl ... bf834b295d Отпишитесь, пожалуйста, если удастся исправить это в какой-то сборке BlackBox. Очень интересно, надо будет попробовать. |
Автор: | Ярослав Романченко [ Пятница, 25 Октябрь, 2019 08:58 ] |
Заголовок сообщения: | Re: Присваивание строки самой себе при конкатенации |
Конкатенация строк - зло. Для подобной функциональности лучше объект - "Построитель строки", обладающий внутренним буфером и увеличивающий его по мере необходимости. |
Автор: | Oleg N. Cher [ Пятница, 25 Октябрь, 2019 15:59 ] |
Заголовок сообщения: | Re: Присваивание строки самой себе при конкатенации |
Ярослав Романченко писал(а): Для подобной функциональности лучше объект - "Построитель строки", обладающий внутренним буфером и увеличивающий его по мере необходимости. Согласен с тем, что такой функционал может быть полезен, но если его не предлагается использовать для стрельбы из пушки по воробьям (динамику там, где достаточно статики, к примеру, только для коротких строк или строк с известной максимальной длиной).Иван Денисов писал(а): Oleg N. Cher писал(а): Отпишитесь, пожалуйста, если удастся исправить это в какой-то сборке BlackBox. Очень интересно, надо будет попробовать. Теперь такой вопрос ко всем. Как считаете, должен ли компилятор в случае операции присваивания строки самой себе просто не генерировать никакого кода? Для массивов в КП есть операция a := a , которая просто копирует кусок памяти сам в себя. Для такой операции, пожалуй, можно код не генерировать. Есть другая операция a := a$ , на первый взгляд может показаться, что для неё тоже можно не генерировать код, но у неё есть побочный эффект: трап в том случае, если в массиве не будет символа 0X. В любом случае, проблема именно такой оптимизации стоит не столь остро. Раз программист написал a := a , то наверное он же что-то этим хотел сказать. Хотя как сказать. Но можно не писать такой код. В случае же конкатенции у нас нет выбора, и операция копирования строки саму в себя всё равно происходит. |
Автор: | Ярослав Романченко [ Пятница, 25 Октябрь, 2019 17:36 ] |
Заголовок сообщения: | Re: Присваивание строки самой себе при конкатенации |
Oleg N. Cher писал(а): Согласен с тем, что такой функционал может быть полезен, но если его не предлагается использовать для стрельбы из пушки по воробьям (динамику там, где достаточно статики, к примеру, только для коротких строк или строк с известной максимальной длиной). Конечно, такой функционал оправдан, если операций конкатенации предполагается много, и длины строк большие, согласен.
|
Автор: | Иван Денисов [ Вторник, 29 Октябрь, 2019 14:53 ] |
Заголовок сообщения: | Re: Присваивание строки самой себе при конкатенации |
Олег, вот тут Йозеф спрашивает, учёл ли ты вот такую ситуацию? https://community.blackboxframework.org ... =235#p1528 |
Автор: | Oleg N. Cher [ Вторник, 29 Октябрь, 2019 20:17 ] |
Заголовок сообщения: | Re: Присваивание строки самой себе при конкатенации |
Ессно. Ответил Йозефу. Тут расписывать не буду, если где-то этот случай и будет оптимизирован, то в Центре, только потом растянут по сборкам, кто менее консервативен) |
Страница 1 из 1 | Часовой пояс: UTC + 3 часа |
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |