代码之家 › 专栏 › 技术社区 › bzim

获取自旋锁需要比较和交换还是交换就足够了?

spinlock atomic concurrency

bzim · 技术社区 · 6 年前

假设我们有一个 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) {}
}

这有什么问题吗?

1 回复 | 直到 6 年前

LWimsey 6 年前

比较和交换不是真的必要。以原子方式设置标志 true 如果是的话 false 在逻辑上等价于无条件地设置它 .

下面是一个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);
    }
};

推荐文章

a a · 为什么在这个可重入锁示例中需要引用计数?

2 年前

Grant · goroutines有高空闲唤醒电话

3 年前

CapBul · 只有case子句(没有case表达式)和default case的select语句在Golang中做什么?

3 年前

Teho · NodeJs服务器如何处理并发请求?(关于数据库端的问题)

3 年前

plpm · 如何在Python中的进程之间发送和接收消息(通过通道)?

3 年前

hoaz · 如何安全地清理并发映射

6 年前

Ettapp · MySQL/PostgreSQL-这是否可以在事务中执行并行写入?

6 年前

Alanpatchi · int基元类型的volatile声明

6 年前

arash kordi · golang仅在writer进行更改时阻止读卡器

6 年前