Que fait le compilateur C avec des champs de bit?

L'atomicité dépend de la cible et du compilateur. AVR-GCC, par exemple, TRYS Pour détecter l'accès au bit et l'émetteur de bits ou des instructions claires si possible. Vérifiez la sortie de l'assembleur pour être sûr ...

Edit: Voici une ressource pour les instructions atomiques sur PowerPC directement à partir de la bouche du cheval:

http://www.ibm.com/developerworks/library/pa- Atom /

Il est correct de supposer que les champs de réglage ne sont pas atomiques. La norme C n'est pas particulièrement claire sur la manière dont les champs de bit doivent être mis en œuvre et divers compilateurs vont de différentes manières.

Si vous vous souciez vraiment de votre architecture et de votre compilateur de votre cible, désassemblez un code d'objet.

Généralement, votre code atteindra le résultat souhaité, mais sera beaucoup moins efficace que le code utilisant des macros et des décalages. Cela dit, il est probablement plus lisible d'utiliser vos champs de bits si vous ne vous souciez pas de la performance ici.

Vous pouvez toujours écrire une fonction d'emballage de setter pour les bits atomiques, si vous êtes préoccupé par les futurs codeurs (y compris vous-même) étant confus.

Cela dépend totalement de l'architecture et du compilateur si les opérations Bitfield sont atomiques ou non. Mon expérience personnelle raconte: n'utilisez pas de champs de bit si vous n'êtes pas obligé.

Oui, votre hypothèse est correcte, en ce sens que vous ne pouvez pas supposer d'atomicité. Sur une plate-forme spécifique, vous pourriez l'obtenir comme un supplément, mais vous ne pouvez pas compter sur elle en tout cas.

Fondamentalement, le compilateur effectue un masquage et des choses pour vous. Il pourrait peut-être profiter des cas d'angle ou des instructions spéciales. Si vous êtes intéressé par l'efficacité, regardez dans l'assembleur que votre compilateur produit avec cela, il est généralement instructif. En règle générale, je dirais que les compilateurs modernes produisent du code aussi efficace que l'effort de programmation moyen. Le véritable twiddeling de bits profonds pour votre compilateur spécifique pourrait peut-être gagner des cycles.

Je suis à peu près sûr que sur PowerPC, ce n'est pas atomique, mais si votre cible est un système de base unique, vous pouvez simplement:

void update_reg_from_isr(unsigned * reg_addr, unsigned set, unsigned clear, unsigned toggle) {
   unsigned reg = *reg_addr;
   reg |= set;
   reg &= ~clear;
   reg ^= toggle;
   *reg_addr = reg;
}

void update_reg(unsigned * reg_addr, unsigned set, unsigned clear, unsigned toggle) {
   interrupts_block();
   update_reg_from_isr(reg_addr, set, clear, toggle);
   interrupts_enable();
}