使用内存映射文件进行持久化 - 是否需要volatile?

时间:2017-08-08 01:32:19

标签: c++ volatile memory-mapped-files boost-interprocess

我需要在重新启动时持久保存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_,或者它只是偶然工作的过程,实际上是,未定义的行为。

1 个答案:

答案 0 :(得分:2)

在这种情况下,没有。

在引擎盖下,Boost的interprocess / mapped_region.hpp正在使用mmap,它会返回一个指向内存映射区域的指针。

如果您怀疑其他进程(或硬件)可能正在写入您的文件,则只需使用volatile

(这将是您应该提供的最基本的同步,因为volatile强制在每次访问时从内存中读取。如果您可以控制进程,则可以尝试更高级的同步,如信号量。)< / p>