volatile und Arduino

[Jürgen (derkleinemuck)]

Ich bin gerade dabei volatile zu erklären. Auf Microchip Studio klappt 
mein Beispiel genau wie gewünscht und im Assembler sieht man auch warum. 
Die nicht-volatile Variable wird in der ISR inkrementiert und die 
Hauptroutine bekommt das nicht mit.

Jetzt wollte ich das auch mit der Arduino IDE zeigen und siehe da: es 
ist egal, wie ich die Variable deklariere - es funktioniert. Also das 
beispiel von Arduino ausprobiert: 
https://www.arduino.cc/reference/en/language/functions/external-interrupts/attachinterrupt/
Und auch dem ist egal, was ich mit volatile mache.

Warum??? Wo liegt mein Denkfehler oder vermutlich eher: was macht die 
IDE da komisches (mit einer der Compileroptionen?)

[Frank M. (ukw) (Moderator)]

Jürgen schrieb:
> Und auch dem ist egal, was ich mit volatile mache.

Wenn ich mich recht erinnere, sind bei Arduino die Optimierungen 
standardmäßig ausgeschaltet. Ich meine mich zu erinnern, dass man bei 
späteren Installationen gefragt wurde, ob man Optimierungen einschalten 
will oder nicht.

Bei abgeschalteter Optimierung ist es in der Regel so, dass der Compiler 
ziemlich genau das macht, was im Quelltext steht. Dabei liest er 
Variablen jedesmal neu ein statt sie in Registern zu vorhalten - 
zumindest über einige Programmabschnitte.

[Jürgen (derkleinemuck)]

So sieht der Aufruf der IDE aus:

...7.3.0-atmel3.6.1-arduino7/bin/avr-gcc" -Os -g -flto -fuse-linker-plugin -Wl,--gc-sections -mmcu=atmega328p -o "C:....elf" "....cpp.o" "...\\core.a" "-LC:\\Windows\\..." -lm

"-Os" ist doch die Standardoptimerung? Zumindest nutzt Studio die auch

[Johann L. (gjlayde)]

Jürgen schrieb:
> Die nicht-volatile Variable wird in der ISR inkrementiert und die
> Hauptroutine bekommt das nicht mit.
>
> Jetzt wollte ich das auch mit der Arduino IDE zeigen und siehe da: es
> ist egal, wie ich die Variable deklariere - es funktioniert. Also das
> beispiel von Arduino ausprobiert:
> 
https://www.arduino.cc/reference/en/language/functions/external-interrupts/attachinterrupt/

Das da?

void loop() {
  digitalWrite(ledPin, state);
}

void blink() {
  state = !state;
}

digitalWrite() ist wohl (effektiv) sowas wie

* (volatile uint8_t*) ADDR = state;

Und das ist nach den Strict Aliasing Rules im gleichen Alias Set wie 
state.

Falls digitalWrite zu einem Funktionsaufruf compilert, dann muss state 
auch immer wieder neu gelesen werden (es sei denn die Funktion ist 
const, was sie nicht ist wegen dem volatile Zugriff).

Hinzu kommt noch das loop(), falls nicht geinlinet, ebenfalls ein 
Funktionsaufruf darstellt.  Also muss state auch immer wieder neu 
gelesen werden.

[Jürgen (derkleinemuck)]

Sorry. Nein.
Ich habe den falschen Link zum Beispiel geschickt. Das ist ja nur eine 
IRS.
Ich meine das Beispiel: 
https://www.arduino.cc/reference/de/language/variables/variable-scope-qualifiers/volatile/ 
:

// Die LED wird angeschaltet, wenn der Interrupt-Pin den Status ändert.
volatile byte changed = 0;

void setup() {
  // Deklariere den LED-Pin als Output-Pin
  pinMode(LED_BUILTIN, OUTPUT);
  // Setze einen Interrupt
  attachInterrupt(digitalPinToInterrupt(2), toggle, CHANGE);
}

void loop() {
  if (changed == 1) {
    // toggle() wurde vom Interrupt aus aufgerufen!
    // changed auf 0 zurücksetzen
    changed = 0;
    // LED für 200 ms blinken lassen
    digitalWrite(LED_BUILTIN, HIGH);
    delay(200);
    digitalWrite(LED_BUILTIN, LOW);
  }
}

void toggle() {
  // Invertiere den Status, dass die LED blinkt
  changed = 1;
}

[Falk B. (falk)]

Jürgen schrieb:
> Ich meine das Beispiel:

Mach's mal so

void loop() {
  while(1) {
    if (changed) {
      // toggle() wurde vom Interrupt aus aufgerufen!
      // changed auf 0 zurücksetzen
      changed = 0;
      // LED für 200 ms blinken lassen
      digitalWrite(LED_BUILTIN, HIGH);
      delay(200);
      digitalWrite(LED_BUILTIN, LOW);
    }
  }
}

[Johann L. (gjlayde)]

Jürgen schrieb:
>     digitalWrite(LED_BUILTIN, HIGH);

Ist auch wieder im selben Alias Set wie changed.

[Jürgen (derkleinemuck)]

Wie kann ich das verhindern? Das Beispiel ist ja von Arduino und soll 
eigentlich genau das Phänomen demonstrieren.

[Markus F. (mfro)]

Zuverlässig? Gar nicht.

Der Compiler garantiert (u.a), dass volatile Variablen bei jedem Zugriff 
gelesen (also nicht in Registern gehalten) werden.

Andersrum ist aber ganz und gar nicht garantiert, dass das Weglassen von 
volatile immer in einer Registervariable resultiert (d.h. ein 
vergessenes volatile führt nicht zuverlässig zu einem Fehlverhalten).

[Veit D. (devil-elec)]

Hallo,

zum demonstrieren könnten 2 Zählvariablen miteinander bzw. 
"gegeneinander" zählen. Eine Variable ist volatile und die andere nicht 
volatile.
Beide werden im gleichen Interrupt inkrementiert, Timer Interrupt o.ä..
Das lässt man sehr zügig machen. Dann lässt man beide Werte bspw. nur 
aller 1s anzeigen. Die Chancen sollten gut stehen, dass man beobachten 
kann, dass beide Werte auseinander driften. Eine andere Idee habe ich 
nicht wie man das Fehlverhalten bewusst sichtbar machen könnte.

Und denke an das atomare "auslesen", sonst hat man andere Effekte. ;-)

[Oliver S. (oliverso)]

Veit D. schrieb:
> Die Chancen sollten gut stehen, dass man beobachten
> kann, dass beide Werte auseinander driften.

Die Chancen stehen besser, das eine der Variablen sich gar nicht 
verändert.

Oliver

[Veit D. (devil-elec)]

Hallo,

nö, gezählt wird, dass habe ich schon vorher gewusst. Was mich nur 
wundert ist, das sie nicht wie vermutet auseinander driften. Sowas ist 
leider schwer provozierbar. Timer 1 Normalmode und inkrementiert wird 
mit Overflow Interrupt.

[Εrnst B. (ernst)]

Veit D. schrieb:
> Was mich nur
> wundert ist, das sie nicht wie vermutet auseinander driften.

Das wundert garnicht.
das "volatile" verhindert, dass der Compiler (falsche) Annahmen über den 
Inhalt der Variablen zur Optimierung verwendet.
Solche Annahmen kann er für die ISR sowieso nicht treffen, da sieht der 
Compiler nicht, wo sie aufgerufen wird, insofern macht innerhalb der ISR 
das "volatile" keinen Unterschied.

Beim Auslesen von Variablen innerhalb von main(), die auch von der ISR 
geändert werden, da macht es einen Unterschied.
Dort kann man dem Compiler mit memory/optimization-Barriers mitteilen, 
wo er eine evtl. geänderte Variable lieber neu aus dem RAM liest. Ist 
praktischerweise in sei(), ATOMIC_BLOCK usw. schon eingebaut.
Oder man macht die variable "volatile", wenn man eine einfache Lösung 
will ohne sich viel mit der Theorie herumzuschlagen.

[Veit D. (devil-elec)]

Hallo,

ich habe innerhalb der ISR kein volatile.
Die beiden Zählvariablen sind global.

ATOMIC_BLOCK verwende ich zum auslesen, damit während des Auslesens kein 
Interrupt dazwischen funkt.

[Εrnst B. (ernst)]

Veit D. schrieb:
> ich habe innerhalb der ISR kein volatile.

Doch. du verwendest dort die Variable
>> volatile unsigned long countVolatile;

Veit D. schrieb:
> ATOMIC_BLOCK verwende ich zum auslesen

Damit brauchst du das volatile nicht mehr. Der ATOMIC_BLOCK sorgt schon 
dafür, das alles passt.

[Veit D. (devil-elec)]

Hallo,

du siehst aber schon das die Variablen global angelegt sind?
Würde lokal in der ISR sonst auch keinen Sinn machen.

> Damit brauchst du das volatile nicht mehr. Der ATOMIC_BLOCK sorgt schon
> dafür, das alles passt.

Ist das immer so? Für mich gehörte volatile und atomic immer zusammen 
damit nichts schief geht.

[Εrnst B. (ernst)]

Veit D. schrieb:
> Für mich gehörte volatile und atomic immer zusammen
> damit nichts schief geht.

der ATOMIC_BLOCK erzwingt schon exakt den Effekt, den du mit volatile 
erreichen willst.

Falls du nachschauen willst, warum:
ATOMIC_BLOCK benutzt cli().

avr/interrupt.h definiert cli() als

# define cli()  __asm__ __volatile__ ("cli" ::: "memory")

das ::: "memory" ist dann die Magie:

https://gcc.gnu.org/onlinedocs/gcc/Extended-Asm.html

The "memory" clobber tells the compiler that the assembly code performs memory
reads or writes to items other than those listed in the input and output operands
(for example, accessing the memory pointed to by one of the input parameters).
To ensure memory contains correct values, GCC may need to flush specific register
values to memory before executing the asm. Further, the compiler does not assume
that any values read from memory before an asm remain unchanged after that asm;
it reloads them as needed. Using the "memory" clobber effectively forms a
read/write memory barrier for the compiler.

[Veit D. (devil-elec)]

Hallo,

Danke für die Erklärung.

Gibt es Bsp. wofür man volatile alleine verwendet?
Also ohne cli, ATOMIC_BLOCK usw.
Für mich fällt da gerade jeder Grund weg.

[Εrnst B. (ernst)]

Veit D. schrieb:
> Gibt es Bsp. wofür man volatile alleine verwendet?

(volatile) uint8_t flag =0;

ISR() {
  if (something) {
    flag=1;
  }
}

main() {
  print("Warte auf Flag...\n");
  while (!flag) {/* Warte...*/}
  print("Flag ist true\n");
}

Weil flag nur 8 Bit hat, braucht es kein Atomic Block um es sauber zu 
lesen. Aber der Compiler macht u.U. ohne volatile eine Endlosschleife 
aus dem while und optimiert den Rest von main() weg...

[Veit D. (devil-elec)]

Hallo,

gut zu wissen mit der Optimiererei.
Danke.