Início / unix / Perguntas / 779905
Accepted
wangt13
Asked: 2024-07-11 08:00:21 +0800 CST

Comportamento diferente do programa C compilado com GNU -O2 e -O3

  • 772

Estou trabalhando em um sistema Linux embarcado (5.10.24) e há vários aplicativos em execução nele.

Recentemente, encontrei algo estranho com um programa C como segue.
O programa C usa APIs fornecidas pela biblioteca de um SDK, que é construído com GNU -O2, mas o programa C é construído com GNU -O3por padrão.

Então, às vezes, é encontrado (1 em centenas de execuções) que o programa C seria acionado Segmentation Faultem uma função no SDK.

Se o programa C for construído com o mesmo GNU -O2que o SDK, NÃO haverá tal Segmentation Faultacionamento nos milhares de sua execução.

Pesquisei no Google a diferença entre -O2e -O3e encontrei alguém mencionado que -O3pode desencadear um bug estranho e estranho, é verdade?

gnu

2 respostas

  1. Best Answer

    Como regra geral, suponha que os principais softwares usados ​​por milhões de pessoas estejam funcionando corretamente e que seu próprio software, desenvolvido agora por você e usado somente por você, seja a causa do problema. Encontrar bugs genuínos como esse no GCC é extremamente raro na carreira de um desenvolvedor e é um pouco como ganhar na loteria . Encontrar bugs em código proprietário de código fechado é um pouco mais comum dependendo do tamanho da organização, da base de usuários e da idade do produto.

    As otimizações não afetam o código pré-compilado, apenas o código que você compilou com o GCC.

    Os níveis de otimização são uma forma abreviada de adicionar vários sinalizadores de otimização . Você pode experimentá-los individualmente para ver qual deles causa problemas. Para -O3isso:

    -fgcse-after-reload
-fipa-cp-clone
-floop-interchange
-floop-unroll-and-jam
-fpeel-loops
-fpredictive-commoning
-fsplit-loops
-fsplit-paths
-ftree-loop-distribution
-ftree-partial-pre
-funswitch-loops
-fvect-cost-model=dynamic
-fversion-loops-for-strides

    Normalmente, níveis de otimização incompatíveis entre seu código e APIs não devem causar problemas. A convenção de chamada não é afetada. Em casos raros, structo preenchimento pode ficar desalinhado, mas isso é raro.

    Mais comumente, as otimizações fazem uma de duas coisas:

    • No código encadeado, otimizações agressivas podem reordenar seu código de forma que ele não seja mais seguro para threads. Isso geralmente é o resultado de você, o desenvolvedor, não usar palavras-chave como C volatilecorretamente.
    • Em todo o código, os níveis mais baixos de otimização têm alguma proteção adicional que é útil para depurar o código. Isso inclui coisas como adicionar preenchimento com valores predefinidos que permitem que um depurador detecte uma saturação de buffer. Esse preenchimento pode evitar que seu programa trave completamente quando deveria. Observe que não acredito que o preenchimento seja removido pelas otimizações acima para -O3over -O2. Ele ainda pode reordenar as coisas de modo que um erro existente de saturação de buffer ou erro de indexação de array agora cause um erro fatal onde não o fez originalmente.

    Não vi o contexto do que você leu, mas, no geral, suponha que a otimização do seu código acionará um bug no seu código, não no compilador.

    • 3

  2. É realmente verdade e pode indicar um problema do GCC.

    Se o seu SDK for de código aberto e você estiver usando uma das versões suportadas do GCC, você poderá enviar um relatório de bug. Caso contrário, reduzir o nível de otimização é o caminho a percorrer.

    • 1

relate perguntas