caxapa.ru :: Вы привели только два оператора. А что происходит дальше? Сдается мне, что компилятор сделал все правильно. Или нет?

Bill (22.01.2014 13:20, просмотров: 76) ответил ыыыыыыыыыы на про програмирование, вернее gcc -O2 и memory barrier. в какой раз уже наступаем, но продолжаем колоться и есть кактус... все переменные volatile

Вы привели только два оператора. А что происходит дальше? Сдается мне, что компилятор сделал все правильно. Или нет?

Ответить

- дальше возврат из функции - могу привести больше кода, но смысл? - я хотел показать, что компилятор может переставить операции даже с volatile переменными: видно, что первый оператор glob_wbuf[glob_ww]=in_buf[i]; транслируется в ldub ... stb ... а ыыыыыыыыыы(147 знак., 22.01.2014 15:46, )
  - так все таки можете проверить предложенный мной вариант и показать полное объявление переменных и массива (во всех местах где они объявляются, если юзаются в разных файлах)? - aoreh(22.01.2014 15:56)
    - независимо от преинкремента или постинкремента - ассемблер одинаковый (ну а зачем разные файлы и т.п. непонятно - я смотрю objdump объеткника) - ыыыыыыыыыы(22.01.2014 16:10, )
      - понял, про разные файлы я имел в виду,что если работа с индексами и массивом ведется из разных файлов, то быть уверенным, что переменные объявлены точно правильно - aoreh(22.01.2014 16:22)
  - Уточняющие вопросы. glob_wbuf - volatile? in_buf - volatile? - SciFi(22.01.2014 15:49)
    - нет. сейчас я посмотрю еще варианты С - напишу результаты. самому интересно. - ыыыыыыыыыы(22.01.2014 15:57, )
      - Ну тогда компилятор всё правильно сделал. Другими словами, сам дурак. - SciFi(22.01.2014 16:04)
        
        возможно меня извинит, то что это чужой код и вроде как сказали, что volatile пробовали к массиву - не помогло. ну и volatile еще тратит время (ld/st) на работу с ним... то есть решение с барьером, имхо, лучше, но про порядок таких операций я бы ыыыыыыыыыы(116 знак., 22.01.2014 16:32, )
        
        Стандарт - по ссылке -> SciFi(225 знак., 22.01.2014 16:37, ссылка)
        
        спасибо - ыыыыыыыыыы(22.01.2014 16:42, )
        
        при объявлении приемника volatile - порядок получается правильный. но я не уверен, что это лучше барьера. по хорошему, в TSO в барьере должно еще flush быть - ыыыыыыыыыы(22.01.2014 16:14, )

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