在 C++17 中，是否未定义使用无锁原子学保护从信号处理程序传递的数据?

根据我对过去问题的解读，该标准允许在信号处理程序中访问无锁原子，并且对"普通"对象的任何修改都变得未定义。如果是这样，以下模式(其中原子变量是非原子变量的内存屏障(是否也未定义？

下面的模式是单一生产者-签名-消费者环形缓冲区的模式。信号是生产者，线程是消费者。请忽略正在旋转的收集线程中的低效率 - 不想使已经复杂的示例复杂化。

AFAICT，这种模式在信号处理程序中使用是安全的，因为原子变量可以防止任何竞赛，并且我避免在信号处理程序内部分配内存。但是，它确实修改了信号处理程序中的非原子对象。

vector<vector<int>> ring;
atomic<int> push_idx;
atomic<int> pop_idx;
void init()
{
ring.resize(8);
for (auto &v : ring)
{
v.resize(10);
}
}
int advance_idx(int i)
{
return (i + 1) % 8;
}
int buf[5];
void sig_handler()
{
int a = push_idx.load(memory_order_relaxed);
int p = pop_idx.load(memory_order_acquire);
if (advance_idx(a) == p)
{
return; // ring overflow
}
// fill up static-linkage data
for (int i = 0; i < 5; i++)
{
buf[i] = i;
}
// copy some static-linkage data into buffer
for (int i = 0; i < 5; i++)
{
ring[a][i] = buf[i];
}
ring[a].resize(5);
push_idx.store(advance_idx(a), memory_order_release)
}
void collecting_thread()
{
for (;;)
{
int p = pop_idx.load(memory_order_relaxed);
int a = push_idx.load(memory_order_acquire);
if (p == a)
{
continue; // nothing to do
}
auto &vec_to_process = ring[p];
process_vec(std::move(vec_to_process); //may move-from
vec_to_process.clear();
vec_to_process.resize(10);
pop_idx.store(advance_idx(p), memory_order_release);
}
}