5、在共享内存无指针编程:句柄HANDLE转换为指针
初级代码游戏的专栏介绍与文章目录-CSDN博客
我的github:codetoys,所有代码都将会位于ctfc库中。已经放入库中我会指出在库中的位置。
这些代码大部分以Linux为目标但部分代码是纯C++的,可以在任何平台上使用。
共享内存里面不能用指针,只能用索引,在windows上经常称之为句柄(当然实际上句柄也并非索引,而是个抽象ID),我在这个系统里使用HANDLE这个名字(因为我是windows出身)。
但是我们真的要无指针编程吗?那还要什么++?
目录
一、索引如何转换为指针
二、句柄结构
三、代码解读
一、索引如何转换为指针
没有指针当然是很困难的,不过我们是C++啊,我们可以把索引包装得跟指针差不多。
但是索引只有一个整数偏移量,而转为指针必须知道起始地址,怎么传递起始地址?增加参数还能当指针使用吗?这要怎么搞呢?
但是我们是共享内存呀!共享内存是公共资源,不可能随意创建,系统内的共享内存都是被管理的,我们只需要给每个共享内存一个唯一的名字,用全局变量保存其起始地址,那么就可以把索引转换为指针而不需要额外的参数了。(这算是一个花招吧)
前面介绍共享内存管理接口的时候,提到了共享内存的名字,除了名字,还有一个PI(指针索引),每个共享内存块都有预定义的唯一的名字和索引,另外有一个全局数组存储共享内存入口地址。
二、句柄结构
template<typename T, int PI_N >struct T_HANDLE_ARRAY{T_SHM_SIZE handle;T_HANDLE_ARRAY(T_SHM_SIZE h = -1) :handle(h) {}T_HANDLE_ARRAY(T_HANDLE_ARRAY const& tmp) :handle(tmp.handle) {}typedef random_access_iterator_tag iterator_category;typedef T* pointer;typedef T element_type;typedef T value_type;typedef long difference_type;typedef long offset_type;typedef T& reference;bool operator<(T_HANDLE_ARRAY const& tmp)const { return handle < tmp.handle; }T_HANDLE_ARRAY operator + (long n)const{T_HANDLE_ARRAY tmp;tmp.handle = handle + n;return tmp;}T_HANDLE_ARRAY operator - (long n)const{T_HANDLE_ARRAY tmp;tmp.handle = handle - n;return tmp;}T_SHM_SIZE operator - (T_HANDLE_ARRAY const& tmp)const { return handle - tmp.handle; }T_HANDLE_ARRAY& operator += (T_SHM_SIZE n) { handle += n; return *this; }T_HANDLE_ARRAY& operator ++ () { ++handle; return *this; }T_HANDLE_ARRAY& operator -- () { --handle; return *this; }T_HANDLE_ARRAY& operator = (T_HANDLE_ARRAY const& tmp) { handle = tmp.handle; return *this; }bool operator == (T_HANDLE_ARRAY const& tmp)const { return handle == tmp.handle; }bool operator != (T_HANDLE_ARRAY const& tmp)const { return !((*this) == tmp); }T& operator * ()const{return *operator ->();}T* operator -> ()const{if (0 == PI_N)throw "SHM PI_N=0";struct_T_ARRAY_VMAP_S* pvmap = (struct_T_ARRAY_VMAP_S*)GET_PP_VMAP(PI_N);shm_private_data* paddrmap = &GET_SHM_PRIVATE_DATA(PI_N);for (long i = 0; i < pvmap->size; ++i){if (pvmap->m_vmaps[i].handle_begin <= handle && handle < pvmap->m_vmaps[i].handle_end){if (pvmap->size > paddrmap->addr_map_size){if (0 != paddrmap->thread_mutex.lock())throw "paddrmap->thread_mutex.lock error";if (pvmap->size > paddrmap->addr_map_size){for (long j = paddrmap->addr_map_size; j < pvmap->size; ++j){char* p = CShmMan::ConnectByID(pvmap->m_vmaps[j].shm_id, false);if (NULL == p){thelog << "连接共享内存失败 shmid = " << pvmap->m_vmaps[j].shm_id << " 错误信息:" << strerror(errno) << ende;throw "连接共享内存失败";}if (((unsigned long)p) % 8 != 0){thelog << "地址对齐错误" << ende;throw "地址对齐错误";}char buf[256];sprintf(buf, "连接共享内存 %d %ld shm_id %d addr %p", PI_N, j, pvmap->m_vmaps[j].shm_id, p);thelog << buf << endi;paddrmap->AddShmMap(pvmap->m_vmaps[j].shm_id, p);}}else{thelog << "已经被其它线程处理" << endi;}if (0 != paddrmap->thread_mutex.unlock())throw "paddrmap->thread_mutex.unlock error";}return (T*)paddrmap->shm_addr_map[i].second + handle - pvmap->m_vmaps[i].handle_begin;}if (i == pvmap->size - 1 && handle == pvmap->m_vmaps[i].handle_end){thelog << "刚好越过最后一个 " << handle << " " << (T*)paddrmap->shm_addr_map[i].second + handle - pvmap->m_vmaps[i].handle_begin << endi;//return (T *)paddrmap->shm_addr_map[i].second+handle-pvmap->m_vmaps[i].handle_begin;}}char buf[2048];sprintf(buf, "->无效的句柄 PI_N=%d handle=%ld", PI_N, handle);theLog << "shmArray.h T_HANDLE_ARRAY" << buf << ende;ShowVMapPrivateData();abort();return NULL;}static T_SHM_SIZE _me(T const* p, bool not_throw = false){char buf[256];struct_T_ARRAY_VMAP_S* pvmap = (struct_T_ARRAY_VMAP_S*)GET_PP_VMAP(PI_N);shm_private_data* paddrmap = &GET_SHM_PRIVATE_DATA(PI_N);for (long i = 0; i < pvmap->size; ++i){if ((T*)paddrmap->shm_addr_map[i].second <= p && p < (T*)paddrmap->shm_addr_map[i].second + pvmap->m_vmaps[i].handle_end - pvmap->m_vmaps[i].handle_begin){return p - (T*)paddrmap->shm_addr_map[i].second + pvmap->m_vmaps[i].handle_begin;}if (i == pvmap->size - 1 && p == (T*)paddrmap->shm_addr_map[i].second + pvmap->m_vmaps[i].handle_end - pvmap->m_vmaps[i].handle_begin){thelog << "刚好越过最后一个 " << p << " " << p - (T*)paddrmap->shm_addr_map[i].second + pvmap->m_vmaps[i].handle_begin << endi;//return p-(T *)paddrmap->shm_addr_map[i].second+pvmap->m_vmaps[i].handle_begin;}}if (not_throw)return -1;else{sprintf(buf, "_me无效的地址 %p", p);throw buf;}}static void ShowVMapPrivateData(){struct_T_ARRAY_VMAP_S* pvmap = (struct_T_ARRAY_VMAP_S*)GET_PP_VMAP(PI_N);shm_private_data* paddrmap = &GET_SHM_PRIVATE_DATA(PI_N);long i, j;theLog << endl;theLog << "pvmap->size=" << pvmap->size << endl;for (i = 0; i < pvmap->size; ++i){theLog << i << " : begin=" << pvmap->m_vmaps[i].handle_begin << " end=" << pvmap->m_vmaps[i].handle_end << endl;}theLog << "paddrmap->addr_map_size=" << paddrmap->addr_map_size << endl;for (j = 0; j < paddrmap->addr_map_size; ++j){theLog << j << " : " << paddrmap->shm_addr_map[j].first << " - " << (long)paddrmap->shm_addr_map[j].second << endl;}theLog << endi;}};
三、代码解读
这个代码是个模板,参数是指向的类型和入口指针的索引。
主要部分是自定义的指针类,符合随机迭代器概念要求,可以用在STL算法里。
复杂的代码部分是在没有连接是自动去连接。由于每个共享内存结构其实是可扩展的,是多个共享内存的串联,因此代码比较复杂。数据的索引是连续的,但不同分块的连接地址并不相同,因此需要一个分块映射表。还要考虑多线程保护。如果没有分块问题,操作会简单很多,只需要根据PI_N获取入口地址,判断是否需要连接,然后就能转换为指针了。
(这里是文档结束)