Динамические структуры данных в shared memory.

Placement new?

placement new

Placement new будет недостаточно - нужен будет еще кастомный аллокатор, выделяющий куски для векторов из разделяемой памяти, и заботящийся о разных адресах в разных процессах.

Я думаю, проще написать свой шаблонный контейнер, чем адаптировать STL.

Вот есть вектор. Вектор, например, внутри хранит указатель на массив. Указатель - это охуенно, но в другом процессе указатель на те же данные будет численно другой. И как ты собрался это заставить работать?

Ну вот boost::ipc это как-то делают через кастомный алокатор. Тоже самое говорится в статье на Dr.Dobb, но там так же «не все так прозрачно» для меня. Т.е. я так понимаю не вариант и лучше даже не париться с этими «хотелками».

Сам не юзал, но есть вот такой велосипед:

https://capnproto.org/

Inter-process communication: Multiple processes running on the same machine can share a Cap’n Proto message via shared memory. No need to pipe data through the kernel. Calling another process can be just as fast and easy as calling another thread.

PS Я, кстати, за вариант «не форкаться без необходимости».

дык, заюзай его. там дофига каких-то контейнеров и средств синхронизации. если что, поверх этого наваяешь свои контейнеры и аллокаторы.

Проще всего мапить сегмент на один и тот же адрес во всех процессах. Тогда указатели на объекты, размещённые в этом сегменте, будут валидными во всех процессах. Тогда можно использовать стандартные контейнеры со своим аллокатором. А аллокатор можно реализовать с помощью glibc-оного маллока в отдельной арене, использующей сегмент.

Если все процессы родственные, то есть форкнуты от единого предка, этот предок может смапить сегмент до форка, и во всех потомках этот сегмент будет с одним и тем же адресом. И во всех потомках указатели внутрь сегмента будут одинаковые.

Используй третий вариант. Остальное - продукт компании костьіль&костьіли

4.2