使用 32 位原子實(shí)現(xiàn) 64 位原子計(jì)數(shù)器

簡介：

本文介紹了 64 位原子計(jì)數(shù)器的設(shè)計(jì)和實(shí)現(xiàn)，使用32 位原子操作。它旨在提供對共享計(jì)數(shù)器的高效、無鎖訪問，特別適合具有多個(gè)讀取器和單個(gè)寫入器的場景。

設(shè)計(jì)注意事項(xiàng)：

建議的設(shè)計(jì)基于“SeqLock”的概念，它利用 32 位生成計(jì)數(shù)，其中低位用作讀鎖

代碼實(shí)現(xiàn)：

class counter {
    atomic<uint32_t> lo_;
    atomic<uint32_t> hi_;
    atomic<uint32_t> gen_;

    uint64_t read() const {
        auto acquire = memory_order_acquire;
        uint32_t lo, hi, gen1, gen2;
        do {
            gen1 = gen_.load(acquire);
            lo = lo_.load(acquire);
            hi = hi_.load(acquire);
            gen2 = gen_.load(acquire);
        } while (gen1 != gen2 || (gen1 & 1));
        return (uint64_t(hi) << 32) | lo;
    }

    void increment() {
        auto release = memory_order_release;
        gen_.fetch_add(1, release);
        uint32_t newlo = 1 + lo_.fetch_add(1, release);
        if (newlo == 0) {
            hi_.fetch_add(1, release);
        }
        gen_.fetch_add(1, release);
    }
};

設(shè)計(jì)評估：

1. 正確性： 該設(shè)計(jì)提供了 64 位原子計(jì)數(shù)器的有效實(shí)現(xiàn)，防止競爭條件并確保所有線程都看到一致的值。
2. 效率：使用 32 位原子而不是 64 位原子可以提高性能，特別是在 64 位原子操作成本高昂的系統(tǒng)中。
3. 無鎖性：SeqLock設(shè)計(jì)消除了對鎖的需求，從而實(shí)現(xiàn)高并發(fā)訪問

替代解決方案：

需要注意的是，原子讀-修改-寫（RMW）操作對于增量操作。相反，更有效的方法是使用帶有釋放內(nèi)存排序的純加載和存儲(chǔ)：

void increment() {
    auto release = memory_order_release;
    uint64_t count = lo_.load(release) | (uint64_t(hi_.load(release)) << 32);
    count++;
    lo_.store(count & uint32_t(-1), release);
    hi_.store((count >> 32) & uint32_t(-1), release);
}

結(jié)論：

建議的實(shí)現(xiàn)提供了一個(gè)高效且正確的解決方案用于使用 32 位原子創(chuàng)建 64 位原子計(jì)數(shù)器。 SeqLock 設(shè)計(jì)確保計(jì)數(shù)器在無鎖的情況下運(yùn)行，同時(shí)允許多個(gè)讀取器和單個(gè)寫入器同時(shí)操作，而不會(huì)引入數(shù)據(jù)競爭。

以上是如何僅使用 32 位原子實(shí)現(xiàn) 64 位原子計(jì)數(shù)器？的詳細(xì)內(nèi)容。更多信息請關(guān)注PHP中文網(wǎng)其他相關(guān)文章！