一种进程间共享内存的实现

ssselice

已于 2023-01-30 16:04:57 修改

阅读量427

点赞数

文章标签： c++ 开发语言

于 2023-01-30 15:38:30 首次发布

本文链接：https://blog.csdn.net/ssselice/article/details/128803405

版权

一、进程间共享内存的必要

进程间共享内存的作用是用于传递实时的数据，尤其是复杂多变的数据。整数型、字符型等简单数据能够很方便的在进程间传递，并且很方便的使用，例如windows上的PostMessage等函数。但复杂数据传递时比较麻烦，尤其是数据类型中含有指针的时候。

二、进程间共享内存使用相同的基地址

传统的共享内存，使用时都是申请一段内存空间，然后放入各自的地址空间中。这种方式比较适用于传递二进制数据，例如一段声音或者视频或者其他数据。但如果你传递的数据是带有格式信息的一个结构体，这种方式使用起来就很麻烦了。例如你传递的结构体如下：

struct _data {
    int member_size;
    char* member_name;
    char* member_data;
};

当你将该结构体放入传统共享内存空间时，由于member_name和member_data是指针，数据存放在另外的地址中，你同时需要将两个指针指向的数据也存储到共享内存区域。但别的进程读取member_name和member_data时，它们指向的数据区域在该进程中并不存在或者不可访问。所以需要在存入共享内存时将member_name和member_data的地址数据转换为与基地址的差值。同时在使用时将该地址转换回去。当多个进程使用该结构体时，还需要先将数据复制到自己的堆栈空间，然后再使用。

所以如果所有使用该共享内存的进程，映射共享内存的基地址都是相同的，则不需要该转换步骤，可以直接使用。

庆幸的是，MapViewOfFileEx和shmat函数提供该功能。

LPVOID MapViewOfFileEx(
  [in]           HANDLE hFileMappingObject,
  [in]           DWORD  dwDesiredAccess,
  [in]           DWORD  dwFileOffsetHigh,
  [in]           DWORD  dwFileOffsetLow,
  [in]           SIZE_T dwNumberOfBytesToMap,
  [in, optional] LPVOID lpBaseAddress
);

或者

void *shmat(int shmid, const void *shmaddr, int shmflg)

三、共享内存的管理

进程间共享内存，如果管理数据放在各自的进程空间，则无法达到进程间共享的目的，只能用于同一进程的不同线程间共享。所以我们需要将管理数据也放在共享内存区域中。可以在共享内存区域内开辟一块空间，用于存放管理数据。由于是存放在共享空间中，不同进程间申请内存时，可以有效的同步。只需要用一个信号量（互斥量），控制不同进程对共享内存的访问即可。由于基地址一样，共享内存管理数据也存储在共享内存区域，所以我们需要一种方便的管理方法，直接访问内存数据即可确定使用的共享内存空间。

四、一种简单表示的内存池

我们设计一种简单表示的内存池，一个内存池至少需要占用4096字节的空间。内存池中的每个节点大小为2的幂数，但节点占用的空间超过4096字节时，占用空间为4096的整数倍。虽然这样申请的内存空间存在浪费的现象，但计算方便。

下面结构体是内存池节点管理数据，空间大小为24字节。

struct memory_pool_node_t {
    int32_t memory_block_size;            // 内存池中的内存块节点大小
    int16_t max_memory_block_count;       // 剩余内存池中的内存块节点数量
    int16_t left_memory_block_count;      // 剩余内存池中的内存块节点数量
    union {
        memory_block_t *p_head;           // 内存块节点首地址
        int8_t reserved1[8];              // 用于内存对齐
    };
    union {
        memory_block_t *p_idle;           // 下一个空闲内存块节点
        int8_t reserved2[8];              // 用于内存对齐
    };
};

下面结构体是内存块节点管理数据，空间大小同样占用24字节

struct memory_block_t {
    union {
        int8_t reserved[24];             // 对齐到24字节
        struct {
            memory_block_t *p_pre;       // 前一个节点指针
            uint8_t used;                // 所属内存池节点是否使用
            memory_block_t *p_next;      // 下一个节点指针
            uint32_t memory_pool_index;  // 所属内存池节点索引
        };
    };
    //    int8_t data[0];
};

同时，我们还需要一个结构体，用来表示空闲的内存池节点

struct idle_memory_pool_node_t {
    int32_t count;       // 负数表示 空闲内存池节点数量，包含当前节点和后面的节点
    int32_t index;       // 当前内存池所属节点索引
    union {
        idle_memory_pool_node_t *p_next;   // 下一个空闲内存池节点
        int8_t reserved1[8];               // 用于内存对齐
    };
    union {
        idle_memory_pool_node_t *p_pre;    // 上一个空闲内存池节点
        int8_t reserved2[8];               // 用于内存对齐
    };
};