Was ist "ablaufinvariant" oder "eintrittsinvariant" ?

Gast #4284276
Lesenswert?
• ▲
▼
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
Gast #4284291
Lesenswert?
• ▲
▼
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
Gast #4284313
Lesenswert?
• ▲
▼
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

Antwort schreiben

Hinweis: der ursprüngliche Beitrag ist mehr als 6 Monate alt. Bitte hier nur auf die ursprüngliche Frage antworten, für neue Fragen einen neuen Beitrag erstellen.

Formatierung
  • [c]C-Code[/c]
  • [code]Code in anderen Sprachen, ASCII-Zeichnungen[/code]
  • [math]Formel in LaTeX-Syntax[/math]
  • [[Titel]] – Link zu einem Artikel
  • Verweis auf einen anderen Beitrag: Rechtsklick auf dessen Beitrags-ID (#8078628), „Adresse kopieren“, in den Text einfügen

Mehr zur Formatierung

Längeren Sourcecode als Anhang, nicht in den Text. JPG nur für Fotos und Scans; Zeichnungen und Screenshots als PNG oder GIF. Siehe Bildformate.

Schon registriert? Anmelden

Wird nicht angezeigt. Wir schicken dir einen Link; sobald du damit bestätigst, erscheint dein Beitrag.

Mit dem Abschicken legst du einen kostenlosen Account an und erkennst die Nutzungsbedingungen und die Datenschutzerklärung an.