Und dieses "höchstens" kann verdammt große Probleme hervorrufen. Wenn deine Liste schrumpft, nachdem du size() aufgerufen hast, und dann auf einen ungültigen Index zugreifst. Oder bei einer Iteration über alle Elemente zur Auswertung das letzte Element nicht mehr mit einbeziehst? Das sin schon gewaltige Probleme, die mit unter dein Programm crashen lassen.
Eigentlich sind dies keine Probleme im Zusammenhang mit multithreaded funktionen, weil er eben in dem geschilderten Fall sowieso auf diesen Fall expliziet reagieren muss.
Das heisst er muss im oben genannten Fall einen kompletten Block an Code in eine critical Section hängen, egal ob die Funktion nun reentrant iss oder nicht.
das reentrant hingegen erlaubt es, die Abfrage eben auch ohne (eigenen) Schutz zu machen. Man muss halt nur damit rechnen, dass man wenn die funktion zurueckkomt, das ergebniss schon "veraltet" sein kann.
Fuer Code der absolute aktualitaet vorraussetzt, sind also reentrante funktionen ohne eigenen Schutz nichts. Aber sie sind halt gut geeignet um z.b. fortschritte zu melden, oder vorab anfragen, wo das ergebnis bei einer Direkten operation eh nochmal ueberprueft wird.
"Reentrant" garantiert Dir nichtmal das du ein Ergebniss erhaelst, was irgendwann mal aktuell war, es kann im Kollisionsfall selten auchmal "Müll" liefern. Aber es garantiert, das du durch die Abfrage das Object nicht durcheinanderbringst, in einen undefinierten zustand versetzt, so dass du eben selbst die möglichkeit hasst zu entscheiden, iss das ergebniss wichtig, dann brauch ich schutz, -> kostet performance, oder iss das ergebnis "unwichtig".
Ja es gibt auch (relativ) unwichtige Ergebnisse !
Fortschrittsbalken z.b.
oder useranzeigen, die sich mehrmals pro sekunde aktualisieren, da iss es ned sooo tragisch, wenn ab und an mal nen Ausrutscher bei ist.
@TE
wenn du MT programmierst, solltest Du dich wirklich mit den Begriffen:
atomar,
reentrant (in bezug auf funktionen/Methoden/operationen),
threadsafe (in Bezug auf Objecte/ganze Bibliotheken)
auskennen, vor allem was sie genau bedeuten. Falls man die falsch deutet, wird man so auf die Nase fallen ....
grad "threadsicher" wird sehr sehr gern falsch gedeutet
, bzw auch von vielen falsch verwendet.
Ciao ...