如何在不阻塞的情况下保护非原子变量不被中断和应用程序代码修改

Question

我希望能够在不阻塞的情况下修改中断上下文或应用程序上下文中的非原子变量。 为了防止 ISR 阻塞，我使用原子标志来保护非原子数据。

#include <atomic>
#include <cstdint>

using CountLock = std::atomic<bool>;
static_assert(CountLock::is_always_lock_free, "count lock must be lock free");

#define TARGET_COUNT (1000)
CountLock count_locked{false};
uint64_t  count{0}; // non-atomic on 32-bit system

// In interrupt
void MyISR()
{
    // Don't modify count if locked
    if (count_locked)
        return;

    ++count; // non-atomic

    if (count == TARGET_COUNT)
        // Do something
}

// Application code (not in interrupt)
void setCount(uint64_t newCount)
{
    // lock count while we are setting it
    count_locked = true;
    count = newCount;
    count_locked = false;
}

1. 这是否正确保护数据？
2. 是否允许编译器编译出 count_locked 变量或重新排序指令，以便数据在锁之外？
3. 我认为没有什么需要标记为 volatile 是否正确？
4. 这相当于互斥锁吗？

Answer 1

考虑两个线程同时分别调用MyISR和setCount ：

T1                             T2

if (count_locked)
        return;

                               count_locked = true;

 ++count; /*non-atomic*/       count = newCount;        // << data race

 if (count == TARGET_COUNT)
    // Do something

                               count_locked = false;

原子不保护对count写入。

1. 不

2. 数据被修改而没有被正确锁定

3. 是的。 引用何时在多线程中使用 volatile？ ：“对于平台无关的多线程应用程序编程，易失性（几乎）是无用的。”

4. 不