Dingo (27.12.2021 10:48, просмотров: 9148) Evgeny_CD-
- Не будучи джедаем все же рискну уточнить: а сикока потоков реально
будет пользоваться одним буфером? Часто бывает достаточно: "один
пишет, другой читает". А такое реализуется на раз-два без всяких
критических секций. - LightElf(27.12.2021 15:27)
- Давным-давно, в одной далекой галактике наваял я такое поделие LightElf(167 знак., 28.12.2021 15:27, ссылка)
- +1, нефиг изобретать универсальную астролябию для гипотетических
сценариев, которые никогда не реализуются. И плюсы тут лишние,
голый сишник прекрасно всё это делает. - SciFi(27.12.2021 15:37)
- Думаю, за слова эти мастер Klen отправит чистить картошку тебя. - Evgeny_CD(27.12.2021 15:59)
- Гы. А я только что оттуда. Почистил, поставил варить.
Мамин помощник, ёба!:) - Cкpипaч(27.12.2021 16:01)- Вечно чистить картошку! - Evgeny_CD(27.12.2021 16:03)
- сравнение выходного асма всех рассудит а не я. рукожопу С++ не
только не поможет. он ему помешает. - klen(27.12.2021 16:49)
- Вообще-то я последние пару лет больше пишу на Питоне. На Си - лишь
говнокожучуть-чуть. Так что "сравнение выходного асма" проиграю со старта :) Cкpипaч(380 знак., 27.12.2021 17:20)- Так, один от чистки картошки грамотно отмазался. - Evgeny_CD(27.12.2021 17:20)
- Вообще-то я последние пару лет больше пишу на Питоне. На Си - лишь
- сравнение выходного асма всех рассудит а не я. рукожопу С++ не
только не поможет. он ему помешает. - klen(27.12.2021 16:49)
- Вечно чистить картошку! - Evgeny_CD(27.12.2021 16:03)
- Гы. А я только что оттуда. Почистил, поставил варить.
- Думаю, за слова эти мастер Klen отправит чистить картошку тебя. - Evgeny_CD(27.12.2021 15:59)
- А как без критических секций (или мутексов)? Там ведь доступ к
единым ресурсам. Ну например, к счетчикам. Какую-то атомарность все
равно нужно предусмотреть. Наверное. - Argon(27.12.2021 15:31)
- Реализация на 2-х раздельных счётчиках (один - запись, второй - чтение) вроде как норм, но получение статуса свободен-полон-сколько_есть вторую переменную всё равно читает. - Dingo(28.12.2021 04:56)
- Сделайте счетчик длиной, равной машинному слову. И вуаля. - LightElf(27.12.2021 15:37)
- На Cortex-M не прокатит (ну или надо LDREX, STREX для счётчика).
Схема голова-хвост (два счётчика) прокатит. - Chum_A(27.12.2021 16:19)
- Гм, а что, кто-то еще пользуется кольцевым буфером с одним
счетчиком? Тады ой, доктор уже выехал - LightElf(27.12.2021 19:44)
- Тогда и "длина машинного слова" ни при чём :). - Chum_A(28.12.2021 09:12)
- при определении количества данных в буфере/свободного места нужно
читать оба счетчика, потому требуется, чтобы чтение/запись были
атомарны. При этом атомарность операций над счетчиками не нужна. - LightElf(28.12.2021 15:06)
- Чего-то мысль не сходится, или нет? Chum_A(133 знак., 28.12.2021 16:20)
- Нужны только атомарное чтение и атомарная запись. Что достигается
просто использованием переменной правильного размера. Атомарная
арифметика (для которой нужны критические секции или всякие там
LDREX/STREX) - не нужна. - LightElf(28.12.2021 17:32)
- Дык, я же начал с Кортекса-М, ну не получается там атомарных
операций без всяких там.. - Chum_A(28.12.2021 17:37)
- чтение или запись uint8_t, uint16_t и uint32_t на кортексе
атомарны. Ну не может он записать сначала один байт от uint32_t, а
потом - остальные три байта. - LightElf(28.12.2021 17:52)
- UPD таки без конкретного примера дискуссия бессмыслена (возможно,
что мы рассматриваем атомарность в разных контекстах). Текст далее
оставлен "для справки". В инструкциях LDR/STR в качестве второго
аргумента всегда в том или ином виде регистр (или нет?),
соответственно его надо предварительно загрузить, что требует ещё
инструкцию. Ну и какая с двумя (минимум) инструкциями атомарность? - Chum_A(29.12.2021 10:18)
- Вот здесь пример. Прекрасно работает на кортексах (при условии, что
читатель один и писатель тоже один) с индексами uint8_t, uint16_t и
uint32_t. С индексами uint8_t работает на AVR и HCS12. На 8051
думаю тоже работать будет, если модификаторы памяти правильные
поставить. LightElf(1 знак., 29.12.2021 14:57, ссылка)
- Посмотрел, монстровый макрос. Любители ++ смотрят на Вас с ненавистью :))). - Chum_A(30.12.2021 09:08)
- Достаточно такой атомарности, чтобы читающий поток получал
стабильное состояние указателя - то есть либо текущее, либо
предыдущее. А не так, что младший байт уже инкрементировался и
переполнился, а старший ещё не обновился. - Samx(29.12.2021 10:48)
- Например, вот: SciFi(218 знак., 29.12.2021 10:59)
- Это работает, если проверять из треда указатель, изменяемый в прерывании. Samx(177 знак., 30.12.2021 15:10)
- Например, вот: SciFi(218 знак., 29.12.2021 10:59)
- Вот здесь пример. Прекрасно работает на кортексах (при условии, что
читатель один и писатель тоже один) с индексами uint8_t, uint16_t и
uint32_t. С индексами uint8_t работает на AVR и HCS12. На 8051
думаю тоже работать будет, если модификаторы памяти правильные
поставить. LightElf(1 знак., 29.12.2021 14:57, ссылка)
- UPD таки без конкретного примера дискуссия бессмыслена (возможно,
что мы рассматриваем атомарность в разных контекстах). Текст далее
оставлен "для справки". В инструкциях LDR/STR в качестве второго
аргумента всегда в том или ином виде регистр (или нет?),
соответственно его надо предварительно загрузить, что требует ещё
инструкцию. Ну и какая с двумя (минимум) инструкциями атомарность? - Chum_A(29.12.2021 10:18)
- чтение или запись uint8_t, uint16_t и uint32_t на кортексе
атомарны. Ну не может он записать сначала один байт от uint32_t, а
потом - остальные три байта. - LightElf(28.12.2021 17:52)
- Дык, я же начал с Кортекса-М, ну не получается там атомарных
операций без всяких там.. - Chum_A(28.12.2021 17:37)
- Нужны только атомарное чтение и атомарная запись. Что достигается
просто использованием переменной правильного размера. Атомарная
арифметика (для которой нужны критические секции или всякие там
LDREX/STREX) - не нужна. - LightElf(28.12.2021 17:32)
- Можно давать консервативную оценку свободного места. Если что, юзверь подождёт до следующей попытки, чай не из графьёв. - SciFi(28.12.2021 15:09)
- Чего-то мысль не сходится, или нет? Chum_A(133 знак., 28.12.2021 16:20)
- при определении количества данных в буфере/свободного места нужно
читать оба счетчика, потому требуется, чтобы чтение/запись были
атомарны. При этом атомарность операций над счетчиками не нужна. - LightElf(28.12.2021 15:06)
- Дык вот было. => На меня SciFi ругался даже. Однако показательно, что "не все буферы одинаково полезны", потому и спросил. И мультипотоки - для меня не самая знакомая мне область. Может и перестраховываюсь, но... Dingo(1 знак., 28.12.2021 05:16, ссылка)
- Тогда и "длина машинного слова" ни при чём :). - Chum_A(28.12.2021 09:12)
- Гм, а что, кто-то еще пользуется кольцевым буфером с одним
счетчиком? Тады ой, доктор уже выехал - LightElf(27.12.2021 19:44)
- На Cortex-M не прокатит (ну или надо LDREX, STREX для счётчика).
Схема голова-хвост (два счётчика) прокатит. - Chum_A(27.12.2021 16:19)
- Вот, например. VVB(245 знак., 27.12.2021 13:44, ссылка, ссылка)
- Есть потокобезопасная реализация применительно к scmRTOS и
байтам-словам. Байты-слова заменить на другие типы проблем нет, как
и переобозвать критические секции сообразно целевой ОС. Наверное.
Сойдет? Argon(1 знак., 27.12.2021 11:15, ссылка)
- Может и да - сначала посмотрю что там в реализации критических секций. Спасибо в любом случае. - Dingo(27.12.2021 11:25)
- Не будучи джедаем все же рискну уточнить: а сикока потоков реально
будет пользоваться одним буфером? Часто бывает достаточно: "один
пишет, другой читает". А такое реализуется на раз-два без всяких
критических секций. - LightElf(27.12.2021 15:27)