Was ist "ablaufinvariant" oder "eintrittsinvariant" ?

[Ridcully (Gast)]

Hallo,

ich möchte tiefergehend verstehen wie C (GCC) für AVR oder genau 
genommen die AVR Libc funktioniert.

Also angefangen mich bei 
http://www.nongnu.org/avr-libc/user-manual/index.html einzulesen.
Da nun Englisch nicht meine Muttersprache ist, muss ich mir einige 
Wörter die nicht in der Schule gelehrt wurden, bzw. in "normalen" Texten 
und Sprachgebrauch oder auch Filmen vorkommen übersetzen lassen.

Das Wort "reentrant" wird mir mit ablaufinvariant oder 
eintrittsinvariant übersetzt.

Damit bin ich genauso schlau wie vorher...
Ich bin kein studierter EDVler bzw. Profiprogrammierer nicht mal 
Hobbyist mit viel Programmiererfahrung.
Was bedeuten diese übersetzten Begriffe oder Wörter?

Ridcully

[Volker (Gast)]

https://de.wikipedia.org/w/index.php?title=Eintrittsinvarianz&redirect=no

[sebastian (Gast)]

Das bedeutet, dass man die Funktion erneut betreten (enter) kann, bevor 
sie verlassen wird.
Praktisch heißt das, sie greift auf keine Variablen mit globaler 
Lebesdauer (entweder richtig global, oder static) zu.

Erneutes betreten der Funktion kommt vor bei:
- Rekursionen
- Interrupts
- Threads

[Ridcully (Gast)]

Danke für die Erklärung und den Link.
Mit meinen selbst erlernten Vorwissen bin ich sogar in der Lage die 
Erklärungen zu verstehen (mit einigen Nachdenken) .
Wer solche Begriffe jemanden ohne jegliches Vorwissen erklären kann, 
eventell sogar in einer "Sendung mit der Maus" Weise muß ein Genie sein.

Ridcully