caxapa.ru :: при переключении потока регистры сохраняются и т.п. код с барьером стал безопасным (ошибка пропала) - ну это циклический буффер - тут положили - там забрали. признаком положили/забрали является указатель, при правильной последовательности никаних

ыыыыыыыыыы (22.01.2014 15:34, просмотров: 1) ответил Sergey_N на Не понял проблемы. Этот код всегда будет потоконебезопасным. Даже в варианте с барьером. Барьер лишь снижает вероятность неблагополучного события

при переключении потока регистры сохраняются и т.п. код с барьером стал безопасным (ошибка пропала) - ну это циклический буффер - тут положили - там забрали. признаком положили/забрали является указатель, при правильной последовательности никаних проблем ни с многопоточностью, ни даже с многоядерностью (кэши синхронизированы) - а без барьера с оптимизацией получается, что указатель уже подвинут, а значение еще не положено - и пролазит мусорный байт

- Этот код будет безопасным только, если glob_ww не меняется ни в прерывании, ни в другом потоке. Иначе даже барьер не гарантирует, что эта переменная будет иметь правильное значение. - Sergey_N(22.01.2014 16:40)
  - меняется в одном потоке. в другом потоке другой указатель, а этот только читается. вроде как стандартная конструкция, со времен Дейкстры еще... - ыыыыыыыыыы(22.01.2014 16:51, )
    - Ну и зачем вам тогда барьер? ИМХО, тут в алгоритме какая-то проблема, а не в компиляторе. - Sergey_N(22.01.2014 16:54)
      - Проблема в том, что программа не является ПОСЛЕДОВАТЕЛЬНОСТЬЮ ИНСТРУКЦИЙ. Вот компилятор это понимает и вычисляет сразу результат, вместо последовательности. Со всеми вытекающими последствиями. - fk0(22.01.2014 23:00)

Микроконтроллеры