Повысьте удаление общей памяти Interprocess, разрешения и выходные файлы - PullRequest
Новая
       59

Повысьте удаление общей памяти Interprocess, разрешения и выходные файлы

0 голосов
/ 11 мая 2018

Я использую библиотеку Boost Interprocess для разделения памяти между двумя процессами.

Я использую следующее для выделения блока совместно используемой памяти, присоединенного вектора, именованного мьютекса и именованной переменной условия: 

using ShmemAllocator = allocator<T, managed_shared_memory::segment_manager>;
using MyVector = vector<T, ShmemAllocator>;

segment.reset(new managed_shared_memory(create_only, blockName, numBytes));

const ShmemAllocator alloc_inst(segment->get_segment_manager());
vec = segment->construct<MyVector>(sharedVectorName)(alloc_inst);

named_mutex.reset(new named_mutex(create_only, mutexName));
cond_empty.reset(new named_condition(create_only, conditionVName));

и следующее для удаления: 

named_mutex::remove(mutexName);
named_condition::remove(conditionVName);
shared_memory_object::remove(blockName);

Чтобы проверить, правильно ли удалялась память, я запустил стресс-тест: 

while(counter < 1000000)
{
    MySharedMemoryObj s;
    ++counter;
}

(Полагаясь на деструктор RAII для удаления общей памяти)

У меня три вопроса:

  1. Нужно ли мне удалять вектор, потому что он все равно является частью сегмента?

  2. Вышеприведенное работает, но в одном конкретном случае этоне сделал и выдал исключение Boost Interprocess, заявив, что не имеет разрешения на доступ к памяти.Что является причиной этого / есть ли способ избежать этого?

  3. Я заметил, что приведенный выше код генерирует двоичные файлы в / tmp с именем outputXXXXXXXXXXX.Что это?Они не удаляются и поэтому накапливаются.

1 Ответ

0 голосов
/ 11 мая 2018
  1. Нужно ли удалять вектор, потому что он в любом случае является частью сегмента?

Технически, здесь не совсем (предполагается, что вы используете разделяемую памятьраспределитель тоже).Тем не менее, это плохая практика, чтобы пропустить уничтожение, особенно если у вашего деструктора есть логика (это не тривиально ).

Вышеописанное работает, но в одном конкретном случае это не сработало и вызвала исключение Boost Interprocess, заявив, что у него нет разрешения на доступ к памяти.Что является причиной этого / есть ли способ избежать этого?

Убедитесь, что программа запускается так же, как и предполагаемый пользователь, при создании общего сегмента.Это то, что предоставляет ему права доступа на уровне файлов.

Например, если вы создаете сегмент как root, вы не сможете открыть его как другого пользователя.

Я заметил, что приведенный выше код генерирует двоичные файлы в / tmp с именем outputXXXXXXXXXXX.Что это?Они не удаляются и поэтому накапливаются.

Это не имеет большого смысла.Пути предполагают, что вы находитесь в системе POSIX.В POSIX shmem обычно существует в /dev/shm, и я не вижу необходимости во временных файлах.

Я бы предположил, что временные файлы могут быть артефактом других программ (например, вашей IDE?)

Предлагаемые упрощения: 

#include <boost/interprocess/managed_shared_memory.hpp>
#include <boost/interprocess/sync/named_mutex.hpp>
#include <boost/interprocess/sync/named_condition.hpp>
#include <vector>
namespace bip = boost::interprocess;

static auto blockName        = "4f72909d-8265-4260-9bb1-6bd58f63812c";
static auto sharedVectorName = "54714711";
static auto mutexName        = "b4eb63e0";
static auto conditionVName   = "f7a95857";

template <typename T> using ShmemAllocator = bip::allocator<T, bip::managed_shared_memory::segment_manager>;
template <typename T> using MyVector = std::vector<T, ShmemAllocator<T> >;

int main() {
    bip::managed_shared_memory segment(bip::create_only, "blockName", 10<<20u);

    auto vec = segment.construct<MyVector<int> >(sharedVectorName)(segment.get_segment_manager());

    bip::named_mutex named_mutex(bip::create_only, mutexName);
    bip::named_condition named_condition(bip::create_only, conditionVName);
}

Или, в зависимости от того, что вы хотите синхронизировать, сделайте примитивы синхронизации членами общих данных: 

struct SharedData {
    using allocator_type = ShmemAllocator<int>;

    template <typename A>
    SharedData(A alloc) : _vec(alloc) {}

    MyVector<int> _vec;
    bip::interprocess_mutex _mx;
    bip::interprocess_condition _cond;
};

int main(int argc, char**) {
    bip::managed_shared_memory segment(bip::open_or_create, "2fc51845-3d9b-442b-88ee-f6fd1725e8b0", 10<<20u);

    auto& data = *segment.find_or_construct<SharedData>("sharedData")(segment.get_segment_manager());
}

Simple Multi-Producer /Многопользовательская очередь:

Моделирует очередь с максимальной емкостью 10 элементов. 

#include <boost/interprocess/managed_shared_memory.hpp>
#include <boost/interprocess/sync/interprocess_mutex.hpp>
#include <boost/interprocess/sync/interprocess_condition.hpp>
#include <boost/date_time/posix_time/posix_time.hpp>
#include <vector>
#include <mutex> // unique_lock
namespace bip = boost::interprocess;

template <typename T> using ShmemAllocator = bip::allocator<T, bip::managed_shared_memory::segment_manager>;
template <typename T> using MyVector = std::vector<T, ShmemAllocator<T> >;

struct SharedData {
    using allocator_type = ShmemAllocator<int>;

    template <typename A>
    SharedData(A alloc) : _vec(alloc) {}

    MyVector<int> _vec;
    bip::interprocess_mutex _mx;
    bip::interprocess_condition _cond;

    using lock_type = std::unique_lock<bip::interprocess_mutex>;
    lock_type wait_for_empty() {
        lock_type lk(_mx);
        _cond.wait(lk, [=] { return _vec.empty(); });
        return lk;
    }

    void push(int v) {
        lock_type lk(_mx);
        _cond.wait(lk, [=] { return _vec.size() < 10; }); // wait for free space
        _vec.push_back(v);
        _cond.notify_all();
    }

    bool pop(boost::posix_time::time_duration timeout, int& out) {
        lock_type lk(_mx);

        // wait for message
        auto deadline = boost::posix_time::microsec_clock::universal_time() + timeout;
        if (_cond.timed_wait(lk, deadline, [=] { return !_vec.empty(); })) {
            out = _vec.back();
            _vec.pop_back();
            _cond.notify_all();
            return true;
        } 
        return false;
    }
};

int main(int argc, char**) {
    bip::managed_shared_memory segment(bip::open_or_create, "2fc51845-3d9b-442b-88ee-f6fd1725e8b0", 10<<20u);

    auto& data = *segment.find_or_construct<SharedData>("sharedData")(segment.get_segment_manager());

    if (argc>1) {
        // "server"
        std::cout << "Waiting for queue to be depleted\n";
        data.wait_for_empty();

        for (int i = 0; i<20; ++i) {
            std::cout << "Pushing " << i << "\n";
            data.push(i);
        }
    } else {
        // "client"
        int what;
        while (data.pop(boost::posix_time::seconds(1), what))
            std::cout << "Popped " << what << "\n";

        std::cout << "Timeout reached, bye\n";
    }

}
...