ロックフリーアリーナアロケータ実装 - 正しい？

Question

単純なポインタインクリメントアロケータ（彼らは正式名称を持っていますか？）私はロックフリーのアルゴリズムを探しています。些細なことですが、私の実装が正しいかどうかについてのフィードバックを得たいと思います。

ないスレッドセーフな実装：

byte * head; // current head of remaining buffer 
byte * end; // end of remaining buffer 

void * Alloc(size_t size) 
{ 
    if (end-head < size) 
    return 0; // allocation failure 

    void * result = head; 
    head += size; 
    return head; 
} 

スレッドセーフな実装での私の試み：CMPXCHGは(destination, exchangeValue, comparand)引数と比較連動交換は元の値に

ルックスを返し、ある

void * Alloc(size_t size) 
{ 
    byte * current; 
    do 
    { 
    current = head; 
    if (end - current < size) 
     return 0; // allocation failure 
    } while (CMPXCHG(&head, current+size, current) != current)); 
    return current; 
} 

他のスレッドがget-currentとcmpxchgの間に割り振った場合、ループは再び試みます。コメントはありますか？

Answer 1

現在のコードが正常に動作しているようです。あなたのコードは、あなたが

do 
{ 
    original = *data; // Capture. 

    result = DoOperation(original); // Attempt operation 
} while (CMPXCHG(data, result, original) != original); 

EDIT副作用なしにデータの単一の単語で動作する任意のロックフリーアルゴリズムを実装するために使用できる単純なパターンで以下のコードと同じ動作します。私のオリジナルの提案をあなたが十分なスペースが残っていなければ、割り当てようと失敗することをサポートしているので、インターロッキングされたアドインはここではうまくいきません。 InterlockedAddを使用した場合、ポインタを修正して以降のallocを失敗させてしまいました。