В https://docs.rust-embedded.org/embedonomicon/dma.html обсуждается compiler_fence. Указано, что компилятор может по-всякому реордерить

Question

В https://docs.rust-embedded.org/embedonomicon/dma.html обсуждается compiler_fence. Указано, что компилятор может по-всякому реордерить

инструкции. На полном серьезе обсуждается, что компилятор может наоптимизировать так, что нарушается вся семантика программы. Это что - реально?

#embedded #it #russian

0

28.03.2022

4 ответов

24 просмотра

MUTbKA Автор вопроса

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

0

28.03.2022

ᛒ ᛖ ᚱ ᚲ ᚢ ᛊ ᛞ ᛖ ᚲ ᛖ ᚱ

MUTbKA
Ну, когда речь идет о hardware - это понятно более...

аа, где тот код, поточнее

0

28.03.2022

ᛒ ᛖ ᚱ ᚲ ᚢ ᛊ ᛞ ᛖ ᚲ ᛖ ᚱ

MUTbKA
Ну, когда речь идет о hardware - это понятно более...

компилятору нет резона косячить - он генерит код по своей модели памяти

0

28.03.2022