caxapa.ru :: "нарваться на перестановку порядка обращения" и "запишет в том же порядке". Ты уж определись.

SciFi (17.05.2020 13:18, просмотров: 759) ответил fk0 на Кстати в любой функции оперирующей с указателями на данные доступными из нескольких потоков (тот же ring buffer) можно запросто нарваться на перестановку порядка обращения к переменным. И volatile не поможет: gcc все эти volatile аккуратненько вынесет в конец функции и там запишет в том же порядке. Я на когда такое впервые увидел, чуть не рехнулся пока баг разгадывал. Поэтому после изменения указателей или после записи данных перед продвижением указателя нужно обязательно

"нарваться на перестановку порядка обращения" и "запишет в том же порядке". Ты уж определись.

ส็็็็็็็็็็็็็็็็็็็็็็็็็༼ ຈل͜ຈ༽ส้้้้้้้้้้้้้้้้้้้้้้้

Ответить

- volatile-указатели на данные записывались в конце функции, в том порядке, как они писались в функции. Но данные писались независимо в теле функции. Т.е. данные писались, указатели не двигались. А потом на выходе подвинулись указатели, ровно так как они должны были бы подвинуться пока писались данные. Идея в том, что gcc не пишет volatile переменные, а пишет их значения в регистры (коих у мипса дофига). А потом перед выходом эти регистры натурально записывает в память. - fk0(17.05.2020 14:01)
  - То есть забыли добавить volatile в объявление "uint8_t fifo[];"? Расплата вполне заслуженная. - SciFi(17.05.2020 14:05)
    - Если добавлять volatile для всей памяти -- это будет треш, угар и содомия (при просмотре дизассемблера -- крайне неоптимальный код). Так делать не нужно. Потом возникает другая проблема -- вся область памяти становится несовместимой (без постоянных reinterpret_cast'ов) с обычными указателями и всеми интерфейсами в программе. Вообще volatile не нужен. Достаточно вставлять memory barrier. В случае кольцевого буфера: после записи данных и перед измененим указателя записи, и fk0(392 знак., 17.05.2020 14:20, ссылка)

ARM, RISC-V контроллеры