блокировка свободного распределения распределительных устройств - правильно?

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; 
} 

Моя попытка потокобезопасная реализации:

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; 
} 

где CMPXCHG является блокированы сравнить обмен с (destination, exchangeValue, comparand) аргументами, возвращая первоначальное значение

Looks хорошо для меня - если другой поток распределяет между потоком-получателем и cmpxchg, цикл снова пытается. Любые комментарии?

Answer 1

Ваш текущий код работает. Ваш код ведет себя так же, как и приведенный ниже код, который представляет собой простой шаблон, который вы можете использовать для реализации любого безблокировочного алгоритма, который работает на одном слове данных без побочных эффектов

do 
{ 
    original = *data; // Capture. 

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

EDIT: Мое оригинальное предложение взаимосвязанного add не будет работать здесь, потому что вы поддерживаете попытки выделить и провалиться, если осталось недостаточно свободного места. Вы уже изменили указатель и вызывают последующие выделения, если вы использовали InterlockedAdd.