Nano Hash - криптовалюты, майнинг, программирование

Требуется ли для получения спин-блокировки сравнение и обмен или достаточно обмена?

Предположим, у нас есть реализация spinlock:

struct Lock {
    locked : Atomic(bool),
}

Тогда функция разблокировки может быть:

fun unlock(lock : &Lock) {
    atomic_store(&lock.locked, false, release);
}

А как же lock? Обычно он использует сравнение и замену следующим образом:

fun lock(lock : &Lock) {
    while atomic_compare_and_swap(&lock.locked, false, true, acquire) {}
}

Но разве обмена для этого недостаточно? Что-то вроде этого:

fun lock(lock : &Lock) {
    while atomic_swap(&lock.locked, true, acquire) {}
}

Есть ли какие-либо проблемы с этим?

concurrency atomic spinlock
13.11.2018

Ответы:


1

Сравнение и замена на самом деле не нужны. Атомарная установка флага true, если он равен false, логически эквивалентна безусловной установке его true.

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

Вот пример спин-блокировки C++, использующей exchange().

#include <atomic>

class mutex {
    std::atomic<bool> flag{false};

public:
    void lock()
    {
        while (flag.exchange(true, std::memory_order_acquire));
    }

    void unlock()
    {
        flag.store(false, std::memory_order_release);
    }
};
14.11.2018
Новые материалы
Кластеризация: более глубокий взгляд
Кластеризация — это метод обучения без учителя, в котором мы пытаемся найти группы в наборе данных на основе некоторых известных или неизвестных свойств, которые могут существовать. Независимо от..
Как написать эффективное резюме
Предложения по дизайну и макету, чтобы представить себя профессионально Вам не позвонили на собеседование после того, как вы несколько раз подали заявку на работу своей мечты? У вас может..
Частный метод Python: улучшение инкапсуляции и безопасности
Введение Python — универсальный и мощный язык программирования, известный своей простотой и удобством использования. Одной из ключевых особенностей, отличающих Python от других языков, является..
Как я автоматизирую тестирование с помощью Jest
Шутка для победы, когда дело касается автоматизации тестирования Одной очень важной частью разработки программного обеспечения является автоматизация тестирования, поскольку она создает..
Работа с векторными символическими архитектурами, часть 4 (искусственный интеллект)
Hyperseed: неконтролируемое обучение с векторными символическими архитектурами (arXiv) Автор: Евгений Осипов , Сачин Кахавала , Диланта Хапутантри , Тимал Кемпития , Дасвин Де Сильва ,..
Понимание расстояния Вассерштейна: мощная метрика в машинном обучении
В обширной области машинного обучения часто возникает необходимость сравнивать и измерять различия между распределениями вероятностей. Традиционные метрики расстояния, такие как евклидово..
Обеспечение масштабируемости LLM: облачный анализ с помощью AWS Fargate и Copilot
В динамичной области искусственного интеллекта все большее распространение получают модели больших языков (LLM). Они жизненно важны для различных приложений, таких как интеллектуальные..