BestPractices: Nutzung der AtomicIncrement/Decrement als threadsafe Getter / Resetter

[Rollo62]

Hallo zusammen,

ich benutze die Atomic.... Threadsafe Funktionen seit geraumer Zeit, und bin damit hochzufrieden.

Allerdings benutze ich diese, mangels entsprechender Funktionen, teilweise etwas "abgewandelt".
Ich würde gerne mal eure Meinungen dazu hören, ob es damit evtl. irgendwelche Seiteneffekte, oder Probleme geben könnte.


AtomicIncrement() als Getter

Delphi-Quellcode:

    LTempCopy := AtomicIncrement( FVariable, 0); // "DONT Inc" and Get threadSafe    
    if LTempCopy = xyz then
       ...

Das Konstrukt scheint gut zu funktionieren, es holte den aktuellen Wert von FVariable threadsafe, und legt eine temporäre Kopie davon 1:1 an,
mit der ich dann normal weiterarbeiten kann.


AtomicIncrement() als Resetter

Delphi-Quellcode:

    LTempCopy := AtomicIncrement( FVariable, 0); // "DONT Inc" and Get threadSafe    

    AtomicDecrement( FVariable, -LTempCopy );    // Set Zero threadSafe

Auch dieses Konstrukt scheint problemlos zu Laufen, und ich habe bisher keine Probleme damit.

Könnten diese beiden Konstrukte oben an irgendeiner Stelle Probleme machen,
z.B. Überläufe von Variablen, irgendwelche Seiteneffekte, o.ä
oder kann ich denen weiterhin blind vertrauen ?

Ich wäre erfreut eure Meinungen und Erfahrungen dazu zu lesen.

Rollo

[Schokohase]

Die Getter sind meistens völlig problemlos, und du kannst quasi alles machen, ohne dass du Probleme bekommst. (Ja es gibt Ausnahmen ...)

Beim Schreiben kommt die Wahrheit ans Licht:

Code:

FVariable := 10;

Thread A: LTempCopy := AtomicIncrement( FVariable, 0); // 10
Thread B: LTempCopy := AtomicIncrement( FVariable, 0); // 10

Thread A: AtomicDecrement( FVariable, -LTempCopy ); // 0
Thread B: AtomicDecrement( FVariable, -LTempCopy ); // -10

Wohl doch nicht so ...

[Rollo62]

Ich nutze das bei mir nicht in extremen Multithread Situationen, deshalb ist mir
Noch nichts Negatives aufgefallen.
Mir fehlen aber die entsprechenden threadsicheren Schreibfunktionen.

Man könnte auch AtomicExchange nehmen, aber das kommt doch am Ende aufs gleiche raus.
Oder etwa nicht ?
Ok, Exchange kann die Variable setzen ohne das sich die interne Variable weiterbewegt..

Wie kommt man zum Lesen und Screiben einfacher Variablen um ein Lock.Enter/Leave herum ?
Das sollte mit Atomic Funktionen doch ideal und elegant möglich sein.

Gibt es nicht noch ein paar Tricks die damit möglich sind ?