存储在共享内存中的C ++对象（volatile成员函数？）

Question

我想知道使用存储在共享内存中的对象的好习惯。 我心中的选择是：

1. 将volatile添加到存储在共享内存中的对象的每个成员函数
2. 在每次迭代时从/向共享内存复制整个数据。
3. 访问没有volatile的共享内存。

让我解释一下我遇到的问题：

我在Linux上运行了两个进程。 它们通过共享内存传输数据。 由于它们通过二进制信号量相互锁定，因此一次只能有一个进程完成其工作。 编译器是g ++ 3.4.x. 我目前的代码如下所示：

struct MyTime
{
  int32 dayNumber;
  int32 milliSecOfDay;
  void convert(double* answer);
};
struct MyData
{
  double var1;
  MyTime time;
};
volatile MyData* ptr;
ptr = (volatile MyData*)shmat(shmid, NULL, 0);

double answer;
ptr->time.convert(&answer);  //< ERROR(*)

*：错误：传递const volatile TimeTTJ2000' as `bool的'参数TimeTTJ2000 :: get_Tu_UT1（double＆，const int32＆，const int32＆）const'丢弃限定符

（以上代码仅用于解释。错误消息来自我的真实代码，其中MyData的大小要大得多。）

要删除该错误，在我看来，我将不得不定义另一个成员函数

MyTime::convert(double* answer) volatile;

但在我看来，我必须将“易变”添加到库中不一定是我的所有函数中，这似乎是荒谬的。

为了避免在任何地方出现“volatile”，我想我可以在一个进程解锁后立即将共享内存中的整个数据复制到本地，并在进程被锁定之前写回共享内存。 通过这种方式，我不会感到烦恼，但这仍然是明智之举吗？

或者我可以在不使用volatile的情况下访问共享内存数据吗？ 这会让我的生活更轻松。 （我对共享内存和易失性方面的经验很少。我不太确定什么时候需要volatile。当然我知道基本知识，例如，volatile会抑制优化。）

Answer 1

但在我看来，我必须将“易变”添加到库中不一定是我的所有函数中，这似乎是荒谬的。

这就是c ++标准所说应该完成的。 您可以抛弃const / volatile说明符，但通过这样做，您可以引入UB。

或者我可以在不使用volatile的情况下访问共享内存数据吗？

是的，您不需要volatile来访问共享内存。 由于您使用信号量锁定访问权限，因此无需复制数据。

在FPGA写入某些内存（不是共享内存）的情况下，您需要使用volatile。