caxapa.ru :: Телепаты подсказывают что принудительное размещение константы во флеш нужно, скорее всего, чтобы иметь возможность поменять ее программатором.

Скрипач^пророк (04.05.2019 20:35, просмотров: 283) ответил SciFi на Рубрика "Вредные советы".

Телепаты подсказывают что принудительное размещение константы во флеш нужно, скорее всего, чтобы иметь возможность поменять ее программатором. А это таки volatile.

... но не любой ценой.

Ответить

- Интересная мысль. И она не имеет никакого отношения к подмене адреса переменной её значением. Можно порассуждать о массах чёрных дыр в этом контексте, будет столь же продуктивно. - SciFi(04.05.2019 21:15)
  - Имеет. Прямое. - Nikolay_Po(04.05.2019 21:33)
  - Имеет. Искать место в коде и писать программатором часть команды - плохой дзен. - Скрипач(04.05.2019 21:29)
    - Это да. Для этого нужен volatile. Но это не объясняет подмену адреса переменной её значением. SciFi(37 знак., 04.05.2019 21:59)
      - Компилятор - в своем праве. Если адрес константы и ее значение одного размера, то схера писать адрес. - Скрипач(04.05.2019 22:02)
        
        +1. В этом и корень проблемы. Когда компилятор точно знает, что определённое на этапе компиляции значение неизменно (константа), зачем ему использовать косвенную адресацию, которая требует больше времени и кода? Он будет использовать значение, Nikolay_Po(532 знак., 04.05.2019 22:11)
        
        Это фантазии. Не надо фантазировать, когда есть нормативные документы. Советую в них заглядывать, кстати. Там есть ещё один соскок: "undefined behavior". В этом случае возможно всё. Но вряд ли это тот случай. - SciFi(04.05.2019 22:16)
        
        Не фантазии, а реальность. И документы тут не при чём. Никакая оптимизация, дающая тот же результат, что и не оптимизированный вариант, стандартом не запрещена. Постоянно вижу такое, работая с Microchip XC16 и GNU Arm Embedded. Nikolay_Po(1579 знак., 04.05.2019 22:39 - 22:46)
        
        можно не пускать в работу проекты, где есть предупреждения, так что конверсия warning -> errors необязательна. - VLLV(05.05.2019 10:51)
        
        Вполне возможно что это отклонение от стандарта. ~~При желании, можно забиться в угол и поплакать.~~ Скрипач(86 знак., 04.05.2019 22:19)
        
        Вы, главное, свой волшебный volatile-бубен не потеряйте. А то еще действительно расплачетесь ;) - s_h_e(04.05.2019 23:10)
        
        Искрометный юмор. Скрипач(233 знак., 05.05.2019 08:37)
        
        Без цитаты текста стандарта языка Си нещитово. И вообще бред. - SciFi(04.05.2019 22:09)
        
        Стандарт не накладывает ограничений на оптимизацию за исключением объектов, объявленных volatile. Возражения без цитаты текста стандарта языка Си нещитво. - Nikolay_Po(04.05.2019 22:47)
        
        Не буду разубеждать, да и зачем? Можете верить во что угодно, только не сгубите иной неокрепший ум. Но тут я спокоен, VLLV тёртый калач :-) - SciFi(05.05.2019 06:45)
        
        Мой посыл "неокрепшим умам" - прост. Скрипач(309 знак., 05.05.2019 08:30 - 08:39)
        
        Вы же понимаете, что этот аргумент можно довести до неприличного абсурда. Адурина будет казаться вершиной знания :-) - SciFi(05.05.2019 08:45)
        
        Любой аргумент можно довести до абсурда. Этот - не исключение. Скрипач(193 знак., 05.05.2019 08:46 - 08:50)
        
        А я не отстану. Конкретно этот вопрос решается достаточно легко. Просто соотнести со стандартом и прийти к выводу, что имеет место баг. Юриспруденция, так сказать. Рассуждать о логике работы бага довольно тупо. - SciFi(05.05.2019 08:53)
        
        И? Дальше что? Что делать в одном случае (баг) и в другом (фича)? Скрипач(95 знак., 05.05.2019 09:00)
        
        а вообще можно написать "volatile const"? Можно написать все, кроме сочетаний, разрушающих разум) - VLLV(05.05.2019 11:54)
        
        SciFi был прав, насчет неподготовленных умов :) - Скрипач(05.05.2019 12:02)
        
        Можно, но имеет смысл только для регистров, изменяемых аппаратно в процессе работы программы. - s_h_e(05.05.2019 12:00, ссылка)
        
        Не только. Как раз константы (например настройки), лежащие во флеше и изменяемые путем специальных процедур - хорошие кандидаты на volatile const. - LightElf(05.05.2019 14:29)
        
        Каких специальных процедур, можно уточнить? М.б. есть пример, когда просто const во флеше может не работать? s_h_e(230 знак., 05.05.2019 15:37)
        
        Во флеше, в специально выделенной области, хранятся настройки. Эти настройки могут быть изменены средствами самой прошивки. Стирание/Запись данных во флеше обычно представляет из себя набор неочевидных для компилятора манипуляций с регистрами. В LightElf(186 знак., 05.05.2019 16:44 - 16:54)
        
        Хм, насчет "обычно" не согласен, в ARM'ах как раз обычно запись во флешь - это как раз стандартная операция записи по адресу, как в ОЗУ, после разного рода манипуляций. В каких-то других случаях, да, возможно, вариант. s_h_e(229 знак., 05.05.2019 17:24 - 17:37)
        
        Специальная процедура - модификация hex. Когда компилятор не может учесть изменения константы, так как это изменение происходит уже после сборки. - Nikolay_Po(05.05.2019 15:51)
        
        Т.е. вы даете компоновщику положить константу во флешь по неизвестному заранее адресу (и не указывая явно секцию), потом как-то ищете и модифицируете? Это интересно, никогда так не делал. - s_h_e(05.05.2019 16:00 - 16:02)
        
        Человек пишет, что место определяет средствами линкера, поэтому знает, где. - Nikolay_Po(05.05.2019 16:03)
        
        Ну хорошо, что же все-таки может случиться с константой, которая есть в hex, но при этом без volatile? - s_h_e(05.05.2019 16:18)
        
        Компилятор может оптимизировать обращение к ней, заменив обращение литералом в инструкции. Линкер ведь не сообщил компилятору, что константу программист специально положил по особому адресу и она программисту зачем-то очень нужна. Nikolay_Po(321 знак., 05.05.2019 17:14)
        
        Адрес/куда положить обычно явно указывается модификаторами при определении объекта, других вариантов не припомню. Так что компилятор всегда в курсе. Замена таких констант литералами не попадалась. s_h_e(92 знак., 05.05.2019 17:53)
        
        Не, не. Компилятор положит константу в ту секцию, куда надо. Но в исполняемом коде подставит значение константы вместо ссылки на секцию. Разумеете? - Хитрый Китаец(08.05.2019 03:13)
        
        Да понятно, что именно это подразумевается. Но как бы не очень логично занимать память под неиспользуемые константы. Прецеденты были? s_h_e(139 знак., 08.05.2019 08:32 - 08:35)
        
        Она может быть линкером выкинута как неиспользуемая, сплошь и рядом. - Хитрый Китаец(10.05.2019 01:08)
        
        Вот у меня константы с явно заданным размещением линкер никогда не выкидывал. Если такое делает купленный компилятор - это повод, как минимум, для ругани с техподдержкой. Поэтому и просил примеры. - s_h_e(10.05.2019 09:34)
        
        ПМСМ, кроме того, чтобы явно задать размещение константы, нужно объяснить компилятору, что она нужна тебе зачем-то ещё, чего компилятор не видит. Я за агрессивную оптимизацию. Пусть выкидывает. Nikolay_Po(959 знак., 10.05.2019 12:06 - 12:09)
        
        Не расстраивайте меня. 1)ну не дает компилятор создать переменную volatile const! 2)hardfault - это последствия неправильного выполнения операции взятия адреса, мы же не последствия разбираем, а причину. - VLLV(10.05.2019 12:56)
        
        1) Из инструкции к Microchip XC16 v1.36b: Nikolay_Po(2053 знак., 10.05.2019 13:56 - 14:01)
        
        А что, компиляторы к контроллерам профессионального уровня тоже переходят в разряд профессиональных и устанавливают планку для всех остальных? Объясните это скандинавам, у тех один ответ на все претензии - "У нас ANSI C компилятор" - VLLV(10.05.2019 14:00 - 14:08)
        
        Если так, то это означает, что компилятор не обеспечивает поддержку аппаратного обеспечения. Си - сями, но для полного использования железа, копиляторостроители вынуждены (и должны, ПМСМ) добавлять нужные костыли в виде дополнительных атрибутов, Nikolay_Po(176 знак., 10.05.2019 14:22)
        
        Бывают бесплатные:) Скрипач(392 знак., 10.05.2019 15:28 - 16:11)
        
        Ну придумал же fkO мем "контроллеры профессионального уровня" :) - VLLV(10.05.2019 16:06)
        
        volatile - говно (пардон за мой французский). Бывает множество способов обойти баг, и смена компилятора, порой, возможна. Ответственные товарищи пишут в ~~спортлото~~ Скандинавию, но если это не самая свежая версия, то и говорить не о чем - а SciFi(25 знак., 05.05.2019 09:30)
        
        На счёт говна не согласен. Применение volatile для решения задачи ТС - корректно и оптимально. Не вижу никаких противопоказаний и доказательств вины компилятора. Правда, я фантазёр ещё тот! - Nikolay_Po(05.05.2019 17:17)
        
        В параллель - да. Тупо сидеть и ждать ответа от этнического турка студента "из Скандинавии" - нет. - Скрипач(05.05.2019 09:37)
    - нормальный дзен, патчится хекс перед прошивкой каждого устройства - VLLV(04.05.2019 21:40)
      - Нюансы. У меня отдельный "люк" поверх Modbus. Беру из map адрес и пишу. Скрипач(53 знак., 04.05.2019 22:01)
        
        ваша практика не совпадает с моей - у меня десятки тысяч устройств разных версий, не вижу смысла заниматься ненужной поддержкой версионности, если все решается фиксированным расположением, которое предусмотрено штатными средствами линкера. - VLLV(05.05.2019 10:46)
        
        Тогда непонятно какая вам разница как компилятор передал в функцию константу. - Скрипач(05.05.2019 11:09)
        
        Потому что функция, работающая в других местах, в этом не работает - она ожидает адрес, начинает считывает байт по несуществующему адресу и ядро улетает в hardfault. Да можно написать другую функцию, но речь идет о том, как в серьезном VLLV(155 знак., 05.05.2019 12:00)
        
        Тогда (volatile const)* ptr. Или void func(const char* const param, ...), чтобы передавало константу вместо указателя везде. - Скрипач(05.05.2019 12:03 - 12:10)
        
        Вы таки будете смеяться, но эта конструкция не передаёт константу вместо указателя. Она передаёт именно что указатель. Константный указатель на константу, но не саму константу. - йцукен(05.05.2019 13:20)
        
        Только в этом месте извращение в части длины 4 байта, в остальных нормальный буфер в ОЗУ. Собственно решение я нашел, решение получше предложил il-2, volatile компилятор исключает : incompatible declarations. Вопрос остается простой: подмена VLLV(377 знак., 05.05.2019 12:47)
- Именно! - Nikolay_Po(04.05.2019 20:54)

Средства и методы разработки