2

ブーストshared_memory_objectとmapped_regionに問題があります。一連のオブジェクト（構造）をメモリオブジェクトに書き込みたい。構造にcharだけが含まれている場合は、すべて問題ありません。構造体にintを追加するだけの場合、オブジェクトを多すぎると（たとえば、70とすると、ブロックの制限よりはるかに少ない）、書き込み時にセグメンテーション違反が発生します。

これまで、単純な文字が共有メモリに書き込まれる例を見てきましたが、使用できるオブジェクトの種類については何も読んでいません。オブジェクトとバイトストリームの間で変換を行う必要があるのか​​、それともそのような関数がすでに存在するのか疑問に思っています。または、コードで何か間違ったことをしているだけの場合。コメントされた行は、コメントを外したときにセグメンテーション違反を与える行です...

#include <boost/interprocess/shared_memory_object.hpp>
#include <boost/interprocess/mapped_region.hpp>
#include <boost/interprocess/containers/string.hpp>
#include <cstring>
#include <cstdlib>
#include <string>
#include <vector>
#include <iostream>
#include <unistd.h>

struct Record {
    char c;
    int i;
//  float f;
//  double d;
//  char cs[32];
//  boost::interprocess::string is;
//  std::vector<int> v;

    Record() {}
    Record(int _k) { Init(_k); }

    void Init(int _k = 0) {
        c = _k + 65;
        i = _k;
//      f = _k + _k/100.0;
//      d = _k + _k/1000.0;
//      is = "interprocess string";
//      for(int j = 0; j < _k; ++j) v.push_back(j);
    }
};

int main(int argc, char *argv[])
{
   using namespace boost::interprocess;
   using std::cerr;
   using std::endl;

   int nObjects = 0;
   size_t blockSize = 1024;

   static std::string sharedObjName("MySharedMemory");      // why static?

   const int writer = 1, reader = 2, error = -1;
   int operation = error;

   if(argc >= 2) {
      if(argv[1][0] == 'w') operation = writer;
      if(argv[1][0] == 'r') operation = reader;
   }
   if(argc == 1) operation = writer;

   if(operation == writer)      // Writer process
   {
      cerr << "Number of objects to write = ";
      std::cin >> nObjects;

      // Remove shared memory on construction and destruction
      struct shm_remove {
         shm_remove() { shared_memory_object::remove(sharedObjName.c_str()); }
         ~shm_remove(){ shared_memory_object::remove(sharedObjName.c_str()); }
      } remover;

      shared_memory_object shm(create_only, sharedObjName.c_str(), read_write);

      shm.truncate(blockSize);

      mapped_region region(shm, read_write);

      offset_t shmSize;
      shm.get_size(shmSize);

      // Produce and write data
      Record *pData0 = static_cast<Record*>(region.get_address());
      Record *pData  = pData0;

      for(int i = 0; i < nObjects; ++i) {
         if(pData0 + blockSize - pData < signed(sizeof(Record))) {
            cerr << "Error: memory block full!" << endl;
            break;
         }
         pData->Init(i);
         pData += sizeof(Record);
      }

      //Launch child process
      pid_t pId = fork();

      if(pId == 0)
      {
         std::string s(argv[0]); s += " r";

         if(std::system(s.c_str()) != 0) {
            cerr << "Error launching reader process." << endl;
            exit(1);
         }
         exit(0);
      }
      else if(pId > 0)
      {
         sleep(2);
         cerr << "Writer has finished!" << endl;
      }
      else  // pId < 0
         exit(-1);
   }
   else if(operation == reader)         // Reader process
   {
      shared_memory_object shm (open_only, sharedObjName.c_str(), read_only);

      mapped_region region(shm, read_only);

      Record *pData = static_cast<Record*>(region.get_address());

      for(int i = 0; i < nObjects; ++i)  {
         // Print pData...
         pData += sizeof(Record);
      }
   }
   else
      exit(1);

   return 0;
}

ヒントありがとうございます！

MacOS X10.6.2-gcc4.2-ブースト1.41.0

4

1 に答える 1

3 
pData += sizeof(Record);

その行が問題です。ポインター演算は、変更が基になるポインター型 (この場合は Record) の「単位」であることを意味します。したがって、次のレコードにインクリメントする場合は、pData += sizeof(Record) ではなく、pData++ を実行する必要があります。これにより、ポインターが64バイト増加します (sizeof(Record) が 8 - 8*8 = 64 であると仮定)。

サイズチェックで同様のポインター算術エラーが発生しました。

pData0 + blockSize - pData < signed(sizeof(Record))

おそらく次のようなものが必要です。

blockSize/sizeof(Record)-(pData-pData0) <= 0
于 2010-01-08T00:38:46.717 に答える