Вариант реализации атомарного счетчика, Укажите на проблемы, ежели таковые есть Опции

[turnon]

Нужен счетчик количества микросекунд, прошедших с момента старта МК (STM32).

Насколько мне известно, переменные длинее байта обновляются не за одну команду МК. И надо чтобы в момент обновления была уверенность, что переменную в это время не читают, потому как она скорее всего будет иметь некорректное значение (1 байт обновился, второй еще и нет и т.д.)

Вот набросал такой счетчик, для проверки атомарности используется флаг _busy. Имеет право на жизнь такая конструкция или чего-то не учел?

Код

class AtomicUint64
{
  private:
    volatile uint8_t _busy;
    volatile uint64_t _counterBackup;
    volatile uint64_t _counterValue;
  public:
    AtomicUint64(){
      _busy = 0;
      _counterBackup = 0;
      _counterValue = 0;
    }
    
    inline void inc(uint8_t value = 1){
      _counterBackup = _counterValue + value;
      _busy = 1;
      _counterValue += value;
      _busy = 0;
    }
    
    inline uint64_t get(){
      if (_busy)
        return _counterBackup;
      else    
        return _counterValue;
    }
};

extern AtomicUint64 gTick1MsecCounter;

Как используется. В прерывании 1 мsec вызывается gTick1MsecCounter.inc(), в остальном коде где нужно знать текущее значение счетчика - gTick1MsecCounter.get()

Сообщение отредактировал turnon - Aug 30 2015, 10:11

[Сергей Борщ]

Предложу еще один вариант, который не требует запрета прерываний и работает как с ОС, так и без нее:
1) Копируете во временную переменную счетчик (пусть он будет 64-битный, а копирование идет по 32 бита).
2) Копируете в еще одну временную переменную старшее слово счетчика
3) Сравниваете старшую часть первой переменной со второй. Если они одинаковы - отдаете первую переменную. Если они разные - считываете счетчик в первую переменную еще раз и отдаете ее.

[turnon]

Предложу еще один вариант, который не требует запрета прерываний и работает как с ОС, так и без нее:
1) Копируете во временную переменную счетчик (пусть он будет 64-битный, а копирование идет по 32 бита).
2) Копируете в еще одну временную переменную старшее слово счетчика
3) Сравниваете старшую часть первой переменной со второй. Если они одинаковы - отдаете первую переменную. Если они разные - считываете счетчик в первую переменную еще раз и отдаете ее.

Чего-то не пойму принцип работы. Почему на шаге 2 именно старшее слово? Меняться начинает со старшего слова?

[maksimp]

Предложу еще один вариант, который не требует запрета прерываний и работает как с ОС, так и без нее:
1) Копируете во временную переменную счетчик (пусть он будет 64-битный, а копирование идет по 32 бита).
2) Копируете в еще одну временную переменную старшее слово счетчика
3) Сравниваете старшую часть первой переменной со второй.....

Чего-то не пойму принцип работы. Почему на шаге 2 именно старшее слово? Меняться начинает со старшего слова?

Это если в пункте 1 скопировать сначала старшее слово, затем младшее.

Более простой для понимания вариант, но не оптимальный.
1) Копируете во временную переменную счетчик.
2) Копируете в другую временную переменную счетчик.
3) Сравниваете, если совпало то возвращаете, иначе всё сначала - то есть идти на шаг 1