caxapa.ru :: Я ждал!!!! :)

LightElf (21.11.2015 12:43 - 12:55, просмотров: 178) ответил Олдфаг на Прекрасно. Давайте и рассмотрим Ваше кредо: не защищать только пишущуюся в прерывании и только читаемую в задаче переменную int16. Назначаем служебное расследование. Позиция1: AVR, мы в задаче считали первый байт от int16 из памяти в регистр и...

Я ждал!!!! :) Смотрим сюда: static unsigned int read_uint(volatile unsigned int *ptr) { unsigned int temp = *ptr; while (temp != *ptr) { temp = *ptr; } return temp; } Я утверждаю, что эта функция корректно прочитает данную переменную. Вместо unsigned int можете поставить любой скалярный тип или указатель. PS. Глючные компиляторы, которые забивают на volatile (2*2 превращают в 5 и т.д.), не рассматриваются.

Не надо делать мне как лучше, оставьте мне как хорошо

Ответить

- Вы издеваетесь? Я же специально говорил для особо хитрых, что неважно какие мероприятия проводятся по принуждению к атомарности и как их назвать, лишь бы они были и работали. Ваше мероприятие известно со времён 8051 как многократное считывание Олдфаг(157 знак., 21.11.2015 12:55, )
  - Определение атомарности я дал выше. Если вы с ним не согласны, то с этого и надо начинать. Приведенная функция, что характерно, не атомарна и обходится без критической секции. У нее множество недостатков, но в C89 "маемо що маемо". - LightElf(21.11.2015 13:02)
    - Ещё раз: почитайте по ссылкам Буденновца. Способов достижения атомарности немало. - Олдфаг(21.11.2015 13:12, )
      - Блин, есть 100500 методов сделать так или иначе. Но они не выражаются стандартными средствами языка Си. Нестандартных средств - как грязи (модификатор __monitor в IAR например), но они именно что нестандартны. - LightElf(21.11.2015 13:22)
  - Что-то я не догоняю. А где гарантия, что два раза считается правильно? fk0(471 знак., 21.11.2015 13:00)
    - Нет, там для таймеров порядок считывания был H1,L1, потом повторно H2 и проверка H1==H2, после чего либо годно либо начать чтение сначала. - Олдфаг(21.11.2015 13:10, )
      - Ну это только для таймеров годится. - fk0(21.11.2015 13:20)
        
        Ну дык я сразу и сказал. Для таймеров и программных многобайтных счетчиков, которые инкрементираются в прерывании. - Олдфаг(21.11.2015 13:26, )
    - Уел :) Ессно есть некоторые допущения по частоте следования этих прерываний. Иначе функа может поломаться несколькими способами, как вариант она может никогда не завершиться. Я с ее помощью читаю счетчик таймаута, который из прерывания LightElf(18 знак., 21.11.2015 13:08)
      - Есть же алгортм Деккера для таких случаев (и, см. английскую википедию, альтернативные алгоритмы). В основном потоке делаем критическую секцию. В прерывании ставим флаг (если не получается войти в секцию), который проверяем на выходе из fk0(348 знак., 21.11.2015 13:18, ссылка)
        
        Можно сделать кольцевой буфер такого размера, чтобы его индекс укладывался в sig_atomic_t. Прерывание пихает значения в буфер, поток их оттуда читает. Получается вообще жирно, но зато и агрегаты можно гонять. - LightElf(21.11.2015 13:27)
- Вот любят размазать на 20 строк, что можно написать в одну: fk0(48 знак., 21.11.2015 12:55)
  - Тоже при частом toggle значения в памяти можно попасться) - Олдфаг(21.11.2015 13:17, )
  - Можно и так :) PS. А вообще: хороший, годный срач получился. - LightElf(21.11.2015 13:11 - 13:15)

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