Является ли OSCompareAndSwap невосприимчивым к проблеме ABA, как CMPXCHG8B? - PullRequest
Новая
       29

Является ли OSCompareAndSwap невосприимчивым к проблеме ABA, как CMPXCHG8B?

2 голосов
/ 19 марта 2010

Является ли OSCompareAndSwap невосприимчивым к проблеме ABA, как CMPXCHG8B?

1 Ответ

2 голосов
/ 19 марта 2010

Все зависит от реализации. OSCompareAndSwap * - это только интерфейс, который гарантирует атомарный оператор CAS (если его поддерживает ЦП).

Для x86 эта функция для 64-битной версии реализована как 

_OSCompareAndSwap64:
    pushl       %edi
    pushl       %ebx

    movl         4+8(%esp), %eax    #; low 32-bits of oldValue
    movl         8+8(%esp), %edx    #; high 32-bits of oldValue
    movl        12+8(%esp), %ebx    #; low 32-bits of newValue
    movl        16+8(%esp), %ecx    #; high 32-bits of newValue
    movl        20+8(%esp), %edi    #; ptr
    lock
    cmpxchg8b   0(%edi)     #; CAS (eax:edx, ebx:ecx implicit)
    sete        %al         #; did CAS succeed? (TZ=1)
    movzbl      %al, %eax       #; clear out the high bytes

    popl        %ebx
    popl        %edi
    ret

так что ответ для вас, вероятно, "да".

...