Numero di consenso di swap da memoria a memoria

Question

Penso che il numero di consenso di operazione Mem-to-Mem-Swap (A, B) che scambia atomicamente i valori tra le posizioni condivise A e B (memoria r/w condivisa) infinito , ma ho difficoltà a dimostrarlo.
Ho pensato di implementare CAS Con Mem-to-Mem-SWAP ma confrontare atomicamente è problematico, penso che ci sia un protocollo di consenso semplice ma non riesco a pensarne uno.