我需要在重新启动时持久保存uint64_t
标记。
为实现这一点,我使用boost::interprocess::mapped_region
来存储我在同一过程中创建的文件:
bip::file_mapping file(filename.c_str(), bip::read_write);
auto region = std::make_unique<bip::mapped_region>(file, bip::read_write);
然后我将地址转换为我的uint64_t
类型
using Tag = uint64_t;
Tag& curr_ = *reinterpret_cast<Tag*>(region->get_address());
现在我可以后加标签,获取&#34;下一个标签&#34;,结果会在重启后保持不变
Tag next = curr_++;
请注意,此过程 仅从 读取 。它的目的纯粹是为了提供持久性。
问题:
我的Tag& curr_
是非易失性的,是否对内存映射区域执行I / O,未定义行为?
为了正确,我的代码是否需要volatile
关键字?
以下完整的工作示例:
#include <boost/interprocess/mapped_region.hpp>
#include <boost/interprocess/file_mapping.hpp>
#include <sys/stat.h>
#include <fstream>
#include <cstdint>
#include <memory>
#include <iostream>
namespace bip = boost::interprocess;
using Tag = uint64_t;
Tag& map_tag(const std::string& filename,
std::unique_ptr<bip::mapped_region>& region)
{
struct stat buffer;
if (stat(filename.c_str(), &buffer) != 0)
{
std::filebuf fbuf;
fbuf.open(filename.c_str(), std::ios_base::in |
std::ios_base::out |
std::ios_base::trunc |
std::ios_base::binary);
Tag tag = 1;
fbuf.sputn((char*)&tag, sizeof(Tag));
}
bip::file_mapping file(filename.c_str(), bip::read_write);
// map the whole file with read-write permissions in this process
region = std::make_unique<bip::mapped_region>(file, bip::read_write);
return *reinterpret_cast<Tag*>(region->get_address());
}
class TagBroker
{
public:
TagBroker(const std::string& filename)
: curr_(map_tag(filename, region_))
{}
Tag next()
{
return curr_++;
}
private:
std::unique_ptr<bip::mapped_region> region_;
Tag& curr_;
};
int main()
{
TagBroker broker("/tmp/tags.bin");
Tag tag = broker.next();
std::cout << tag << '\n';
return 0;
}
输出:
在整个运行过程中,保持持久性。
$ ./a.out
1
$ ./a.out
2
$ ./a.out
3
$ ./a.out
4
我不知道这是否正确,因为我的过程是唯一一个阅读/写入Tag& curr_
,或者它只是偶然工作的过程,实际上是,未定义的行为。
答案 0 :(得分:2)
在这种情况下,没有。
在引擎盖下,Boost的interprocess / mapped_region.hpp正在使用mmap
,它会返回一个指向内存映射区域的指针。
如果您怀疑其他进程(或硬件)可能正在写入您的文件,则只需使用volatile
。
(这将是您应该提供的最基本的同步,因为volatile
强制在每次访问时从内存中读取。如果您可以控制进程,则可以尝试更高级的同步,如信号量。)< / p>