Вопросы по С/С++ (СИ)

[ARV]

Имхо, с атомарностью многострочность никак не связана.

А SBI, если я не ошибаюсь (давно асм в руки брал), инструкция одна, но работает именно в три этапа со всеми побочными эффектами.

[ПростоНуб]

ARV, связана. Если a объявлена volatile, то для этих примеров компилятор сформирует разный код.

Код: Выделить всё

a = (a | ((1<<2) | (1<<0))) & ~((1<<4) | (1<<1));

Код: Выделить всё

a |= ((1<<2) | (1<<0));
a &= ~((1<<4) | (1<<1));

А если не volatile, то, скоре всего, код сфорируется одинаковый.

[NStorm]

Нет там никаких 3х этапов, путаете что-то.
И конечно не совсем атомарно, будет всё-равно RMW, при этом M в 2 операции - AND, OR. Но запись будет именно в 1 операцию уже.

[Shuspano]

А вот такой вопросик. Как узнать длину строки в такой конструкции, не считая это вручную:

Код: Выделить всё

const __flash char lcd_data[] = "строка";

В ассемблере, транслятор может посчитать расстояние между метками, которыми ограничена строка, и так можно узнать ее длину. А тут как это делается?

[ПростоНуб]

Shuspano,

Код: Выделить всё

#define MY_STRING "строка"
#define MY_STRING_LEN sizeof(MY_STRING)

const __flash char lcd_data[] = MY_STRING;

[NStorm]

Shuspano, просто sizeof(lcd_data) тоже будет работать.

Добавлено after 2 minutes 13 seconds:
Только ес-но реальный размер, с учетом терминирующего \0 в конца:

Код: Выделить всё

volatile uint8_t a = 1;
const __flash char lcd_data[] = "stroka";

int main() {
  a = sizeof(lcd_data);
  56:   87 e0           ldi     r24, 0x07       ; 7
  58:   80 93 60 00     sts     0x0060, r24     ; 0x800060 <__data_start>

Возвращает 7 байт (stroka + \0). Если надо именно длину текста посчитать - sizeof() - 1

Добавлено after 1 minute 8 seconds:
Ну и кодировку учитывайте при кириллице. Если вдруг в utf-8 запишите, будет 13 байт соотв, по 2 байта на символ.

[ARV]

связана

я сказал "напрямую", т.е. невозможно заранее предсказать, какой именно код получится от 1, 2 или 3 строчной записи одного и того же действия. например, в случае не-volatile может и 100500 строк превратиться в одну команду

Нет там никаких 3х этапов, путаете что-то.

не поленился, поднял документы... ошибаетесь вы:

Как узнать длину строки в такой конструкции, не считая это вручную:

в конкретно вашем примере, как вам посоветовали, через sizeof. но вообще-то для этого есть в модуле avr/pgmspace.h специальная функция strlen_P, которая вычислит длину любой строки в памяти программ.

[NStorm]

ARV, это не о том. Полностью же написано всё. Речь идет о том, что в Status Flags нельзя с помощью инструкций CBI/SBI записать, т.к. они работают только с регистрами с 0х00 по 0х1F. Поэтому чтобы записать в Status Flags будет операция RMW - считается Status в один из этих регистров, затем он меняется с помощью CBI/SBI и записывается назад. Если будете менять регистр с 0x00 по 0x1F - он поменяется напрямую SBI/CBI атомарно и в одну операцию (которая 2 такта Fclk выполняется).

EDIT: Тут выше я уже сам запутался и не так перевел. Действительно, в некоторых старых AVR возможно эти инструкции так криво работали. В новых - неактуально, ниже в комментарии описал.

[ARV]

как не о том?! написано же: берет все биты и записывает обратно установенные в 1 - чистое RMW
еще тут https://electronix.ru/forum/index.php?a ... ent=275082 было доказательство от уважаемого ReAl

Добавлено after 4 minutes 41 second:
кстати, RMW и атомарность тут тоже не совсем связаны. атомарность - это то, что не может быть прервано по ходу исполнения, так? RMW-операция не может быть прервана, но выолняется в три этапа, что может давать побочные эффекты, если состояние бита меняется от чтения регистра.

Добавлено after 2 minutes 22 seconds:
кстати, даже стало любопытно, что будет, если послать в USART байт 0xFF, а в обработчике прерываний сделать CBI UDR, 1 ? хотя, конечно, это не совсем то, о чем мы тут говорим, но зато убедительно докажет RMW или не-RMW команда CBI/SBI

[NStorm]

как не о том?! написано же: берет все биты и записывает обратно установенные в 1 - чистое RMW

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

кстати, даже стало любопытно, что будет, если послать в USART байт 0xFF, а в обработчике прерываний сделать CBI UDR, 1 ? хотя, конечно, это не совсем то, о чем мы тут говорим, но зато убедительно докажет RMW или не-RMW команда CBI/SBI

Тут не выйдет ) UDR всего лишь буфер. Регистры там внутренние другие RXB, TXB. Поэтому UDR в принципе не поддерживает RMW. Потому что читать вы будете из другого регистра входящего буфера.

Добавлено after 10 minutes 53 seconds:
Короче не всё так однозначно. По ссылке же следующий пост сразу где эти фраза из ДШ уже по-другому звучит:

Цитата из ДШ мега48

Some of the Status Flags are cleared by writing a logical one to them. Note that, unlike most other AVRs, the CBI and SBI instructions will only operate on the specified bit, and can therefore be used on registers containing such Status Flags. The CBI and SBI instructions work with registers 0x00 to 0x1F only.

И такое поведение команд CBI и SBI свойственно для всех АВРок, начиная с тини13, то есть, все выпущенные за последние 3 года модели. Неужели некоторые уже 3 года не читали даташитов? А вера здесь не при чём.

Т.е. уже чистый сброс/установке без всяких RMW.

И вот еще: https://www.avrfreaks.net/forum/sbicbi-readmodifywrite

I believe that these are actually incorrect. In older AVRs the sbi/cbi opcodes did indeed affect other bits in the register and therefore one had to be careful not to use them in registers that contained interrupt flags. However, as the line I quoted above says, in newer AVRs these opcodes only affect the desired bit. Likely these are just copy-paste errors from older datasheets.

В общем для "новых" (те, что после tiny13 были) AVR не актуально. Для старых тоже надо смотреть, как бы не ошибочная копипаста в ДШ.

В древних AVR да, получается было когда-то CBI/SBI не прямой записью, а атомарным RMW получается по сути. Т.е. они атомарны (не могут прерываться), но при этом RMW. Соб-но и есть ответ на вопрос не связи RMW и атомарности (я кстати нигде это тождественными понятиями не записывал).

[WiseLord]

Странно вообще, что речь пошла про SBI/CBI. VladislavS вбросил, и пошло-поехало.

А тут как речь про обычные переменные шла, которые как бы в РОН, как правило, если они локальные. А это ANDI/ORI, достаточно атомарные.

[NStorm]

WiseLord, ну как обычно, углубились. Интересно на самом деле получается. Я не знал, что где-то оно так работало и вопрос не так просто про CBI/SBI инструкции. ARV правильно написал сначала, признаю, что я сам уже с переводом напутал и действительно скрин из мануала выше имеет отношение к тому, что SBI/CBI на каких-то AVR могут выполняться как RMW. Но на новых AVR это уже не так. Тоже стоит учитывать такие различия.

Тут вот вопрос - актуально ли это для С. Знает ли компилятор на каких "подархитектурах" AVR SBI/CBI работает независимо с битом, а где как RMW.

[eduard_upk]

Подскажите, в чем дело.
Рабочая среда: Keil, участок кода:

......
#define TICK_PER_CURRENT_PERIOD (200)
......
const uint8_t VALUE_TICK_PER_CURRENT_PERIOD = TICK_PER_CURRENT_PERIOD;
......
const uint8_t SCHEDULE1 = (VALUE_TICK_PER_CURRENT_PERIOD + 1);

Проблема:
VALUE_TICK_PER_CURRENT_PERIOD != TICK_PER_CURRENT_PERIOD;
SCHEDULE1 != (VALUE_TICK_PER_CURRENT_PERIOD + 1);
и т.д.

VALUE_TICK_PER_CURRENT_PERIOD == 40 вместо 200
TICK_PER_CURRENT_PERIOD == 200 как и должно быть
SCHEDULE1 == 40 вместо 201

[VladislavS]

А если всё же запустить программу?

Добавлено after 5 minutes 17 seconds:
Вот вы говорите вбросил. Это разве вбросил? А тем временем GCC 10 теперь вот так умеет.

Мопед не мой, пример с офсайта.

Pi.png

(9.95 КБ) 305 скачиваний

[ARV]

А тем временем GCC 10 теперь вот так умеет

а вот так умеет?

Код: Выделить всё

#define правда true
#define брехня false
typedef bool логическое;

логическое значение = брехня;

Добавлено after 4 minutes 58 seconds:
сцуко, умеет! сам выяснил...

ну, теперь-то заживём!

[VladislavS]

Я не об этом. Они ведь серьёзно считают, что Пи это знаковая целая константа, равная 3. Спасибо хоть константа.

[ARV]

В военное время Пи может достигать значения 4 и даже более, подумаешь...

[Мурик]

Они ведь серьёзно считают, что Пи это знаковая целая константа, равная 3.

Потом будут думать откуда погрешности в расчетах...

[Shuspano]

Жесть! Я просто думал как нибудь скукожить подпрограммы для индикатора, они непомерно много места занимают, а тиня нерезиновая

Ну и кодировку учитывайте при кириллице. Если вдруг в utf-8 запишите, будет 13 байт соотв, по 2 байта на символ.

,

Разумеется. Индикатор по ходу только US-ASCII понимает. Ну еще что-то японокитайское, я увидел это, когда накосячил с передачей тетрад. Есть с кириллицей, но он новый.

Shuspano,

Код: Выделить всё

#define MY_STRING "строка"
#define MY_STRING_LEN sizeof(MY_STRING)

const __flash char lcd_data[] = MY_STRING;

спасибо большое, все заработало.
добавил еще такое:
int strlegnt = MY_STRING_LEN

[NStorm]

int strlegnt = MY_STRING_LEN

И зачем? Зачем под это тратить память, когда размер строки во флэше всё-равно неизменен всегда?