Unterschied zwischen Reentrant und Critical Section

Hi Johannes,

just my 2 cent:
Ich sichere üblicherweise mit einer Critical Section (CS) ab, wenn es 
zwei Threads/Prozesse (*) gibt, die auf den gleichen Speicher zugreifen 
sollen. Gleichzeitig ist hier wichtig.

Reentrant lege ich Methoden/Funktionen aus, die im Verlauf der 
Abarbeitung in einem Thread mehrfach betreten werden können - warum auch 
immer das sein muss. Auch hier passieren Dinge irgendwie gleichzeitig, 
eine Absicherung z.B. auf Thread-Ebene (ein Thread hat das Token oder 
nicht) würde Dir hier aber nichts bringen, die zwei Läufe kämen sich 
immer noch in die Quere.

Das nur als Denk- und Recherchestart ;-)

Gruß, jois3

(*) Eine CS sichert zumindest im Begriffsbereich Windows/C/C++ nicht 
zwischen Prozessen ab, dafür gibt es den Mutex (teuer, aber 
Prozess-sicher). Ich hab mal etwas verallgemeinert, kommt aber auf den 
Kontext an.

Die beiden Begriffe haben nichts miteinander zu tun!

Eine Critical Section ist ein Bereich, wo kein anderer Prozess/Task/ISR 
rein pfuschen darf.


Reentrant heißt wiedereintrittsfähig.
Im Grunde bezeichnet es, die Fähigkeit einer Funktion, immer das gleiche 
zu tun. Egal unter welchen Umständen. Bei der Nutzung von Globalen oder 
statischen Variablen, kann es da (unerwünschte) Seiteneffekte geben.

Johannes H. schrieb:
> Betrifft der Begriff Reentrant nur Funktionen und
> Librarys oder kann ich zu einer Crtical Section auch sagen, dass diese
> Reentrant gemacht werden muss

Renetrant heisst, dass man den Code mehrfach und unsynchronisiert 
aufrufen kann. Eine Critical Section kannst du aber nicht aufrufen, es 
sei denn du verpackst sie eben in ein Unterprogramm. Also streng 
genommen nein.

Im übrigen haben die Dinge nur wenig miteinander zu tun: Reentrant ist 
Code, wenn bei jedem Aufruf eine andere Instanz von Variablen verwendet 
wird, z.B. auf dem Stack. Eine Critical Section braucht man dagegen 
gerade dann, wenn dieselbe Variable in verschiedenen Programmteilen 
verwendet wird, um Zugriffskonflikte zu vermeiden.

Es kann sein, dass eine reentrant Funktion eine Critical Section haben 
muss, z.B. wenn das Ergebnis von a+b immer im Akkumulator landet, den es 
im Prozessor nur einmal gibt.

Georg