Atomisch zwei ganze Zahlen mit CAS @ inkrementier

Anscheinend ist es möglich, zwei Ganzzahlen mit Compare-and-Swap-Anweisungen atomar zu erhöhen.Dieser Vortrag behauptet, dass ein solcher Algorithmus existiert, aber nicht genau beschreibt, wie er aussieht.

Wie kann das gemacht werden?

(Beachten Sie, dass die offensichtliche Lösung, die ganzen Zahlen nacheinander zu erhöhen, nicht atomar ist. Außerdem zählt das Einfügen mehrerer ganzer Zahlen in ein Maschinenwort nicht, da dies den möglichen Bereich einschränken würde.)

Antworten auf die Frage(6)

Ihre Antwort auf die Frage