Примитивы синхронизации

Представьте, что Вы должны написать многопоточную программу на языке, в котором почти нет примитивов синхронизации. Единственное средство - функция TSL (test, set and lock), которая выглядит следующим образом:

int tsl(int* value) {
   int oldValue = *value;
   *value = 1;
   return oldValue;
}

При этом среда гарантирует, что функция атомарна. Например, что компилятор транслирует её в атомарную машинную инструкцию.

Как реализовать с помощью этого примитива критическую секцию? Оптимально было бы получить реализацию двух функций: lock() и unlock().

Решение
Простейший вариант с активным ожиданием мог бы выглядеть так:

int lock = 0;

void lock() {
    while(!tsl(*lock)) {
        // nothing
    }
}

void unlock() {
    *lock = 0;
}