caxapa.ru :: Вы издеваетесь? Я же специально говорил для особо хитрых, что неважно какие мероприятия проводятся по принуждению к атомарности и как их назвать, лишь бы они были и работали. Ваше мероприятие известно со времён 8051 как многократное считывание

Олдфаг (21.11.2015 12:55, просмотров: 1) ответил LightElf на Я ждал!!!! :)

Вы издеваетесь? Я же специально говорил для особо хитрых, что неважно какие мероприятия проводятся по принуждению к атомарности и как их назвать, лишь бы они были и работали. Ваше мероприятие известно со времён 8051 как многократное считывание значения 16-разрядного таймера. То есть костыль для атомарности все же поставлен! Так бы сразу и сказали, а лучше бы почитали про них по ссылкам Буденновца.

- Определение атомарности я дал выше. Если вы с ним не согласны, то с этого и надо начинать. Приведенная функция, что характерно, не атомарна и обходится без критической секции. У нее множество недостатков, но в 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)

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