探密perl-解析perl源码(2)

远行的心

　　本本系列为刘兴(http://deepfuture.iteye.com/)原创，未经笔者授权，任何人和机构不能转载 
1、
1)Perl本身有三种主要的数据类型：
①标量(scalar)
②数组(array)
③散列(hash)
这三种类型在perlapi中对应有三种：
①SV(Scalar Variables)
②AV(Array Variables)
③HV(Hash Variables)
2)指令标志
IA64处理器I-tanium（安腾）
X64 64位的处理器.
X32 32位的处理器.
i32 32位的操作系统
3)perlapi.h
　　#undef  PL_OpPtr
#define PL_OpPtr  (*Perl_IOpPtr_ptr(aTHX))
#undef  PL_OpSlab
#define PL_OpSlab  (*Perl_IOpSlab_ptr(aTHX))
　　2、分配perl片区内存
　　片区大小PERL_SLAB_SIZE*sizeof(I32*)，PERL_SLAB_SIZE在READONLY调试模式，默认为4096,否则为2048
　　

　　#ifdef PERL_DEBUG_READONLY_OPS
　　#  define PERL_SLAB_SIZE 4096
　　#  include <sys/mman.h>
　　#endif
　　

　　#ifndef PERL_SLAB_SIZE
　　#define PERL_SLAB_SIZE 2048
　　#endif
　　void *
　　Perl_Slab_Alloc(pTHX_ size_t sz)
　　{
　　//传入的sz参数是指分配的片区大小（字节为单位）
　　    dVAR;//ifdef PERL_GLOBAL_STRUCT，则完成 my_vars赋值
　　//my_vars赋值:struct perl_vars*my_vars= (struct perl_vars*)PERL_GET_VARS()
　　    /*
　　PL_OpPtr指向指令集合池中的某条I32指令的地址PL_OpSlab
　　PL_OpSlab保存了具体该条I32指令地址
　　PL_OpPtr和PL_OpSlab都是指针，PL_OpSlab指向某条最终指令的地址
　　I32指令是一个结构变量，含有该指令的信息
　　当增加某条指令时，从指令集合池中分配一个指针大小的空间存放该条指令的指针PL_OpSlab
　　     * To make incrementing use count easy PL_OpSlab is an I32 *
　　     * To make inserting the link to slab PL_OpPtr is I32 **
　　     * So compute size in units of sizeof(I32 *) as that is how Pl_OpPtr increments
　　     * Add an overhead for pointer to slab and round up as a number of pointers
　　     */
　　    //将函数参数sz改为I32指令数量，在函数参数基础上加了2条指令
　　    sz = (sz + 2*sizeof(I32 *) -1)/sizeof(I32 *);
　　

　　if ((PL_OpSpace -= sz) < 0) {//PL_OpSpace空间太小，分配新片区(即指令指针池)，片区内仅存放指令指针
　　      //如果PL_OpSpace空间不能容纳本次分配的片区，则分配新的片区
　　     //PERL_SLAB_SIZE为新片区指令总数量  
　　#ifdef PERL_DEBUG_READONLY_OPS//如果是调试模式
　　/* We need to allocate chunk by chunk so that we can control the VM
　　  mapping */
　　     //定义了只读调试，则将PERL_SLAB_SIZE*sizeof(I32*)的大小的片区映射到内存,地址返回给PL_OpPtr(I32 **类型)
　　

　　

　　

　　PL_OpPtr = (I32**) mmap(0, PERL_SLAB_SIZE*sizeof(I32*), PROT_READ|PROT_WRITE,
　　MAP_ANON|MAP_PRIVATE, -1, 0);
　　       //打印OP调试信息，其中包括片区大小和片区起始地址
　　DEBUG_m(PerlIO_printf(Perl_debug_log, "mapped %lu at %p\n",
　　     (unsigned long) PERL_SLAB_SIZE*sizeof(I32*),
　　     PL_OpPtr));
　　if(PL_OpPtr == MAP_FAILED) {
　　   perror("mmap failed");
　　   abort();
　　}
　　#else
　　如果不是调试模式，直接分配PERL_SLAB_SIZE*sizeof(I32*)大小空间
　　该空间容纳PERL_SLAB_SIZE 条指令（不是指令结构变量本身，而是指令结构变量的指针）
　　        PL_OpPtr = (I32 **) PerlMemShared_calloc(PERL_SLAB_SIZE,sizeof(I32*));
　　//iperlsys.h找到PerlMemShared_calloc相关定义
　　#define PerlMemShared_calloc(num, size)    \
　　(*PL_MemShared->pCalloc)(PL_MemShared, (num), (size))
　　#endif
　　     if (!PL_OpPtr) {//PL_OpPtr分配错误，返回NULL
　　   return NULL;
　　}
　　//接着处理分配的PERL_SLAB_SIZE*sizeof(I32*)大小空间
　　/* We reserve the 0'th I32 sized chunk as a use count */
　　        //PL_OpSlab从PL_OpPtr获得指令地址
　　        PL_OpSlab = (I32 *) PL_OpPtr;
　　/* Reduce size by the use count word, and by the size we need.
　　* Latter is to mimic the '-=' in the if() above
　　*/
　　        //PL_OpSpace 为余下的空间，重新计算
　　PL_OpSpace = PERL_SLAB_SIZE - (sizeof(I32)+sizeof(I32 **)-1)/sizeof(I32 **) - sz;
　　/* Allocation pointer starts at the top.
　　  Theory: because we build leaves before trunk allocating at end
　　  means that at run time access is cache friendly upward
　　*/
　　        //PL_OpPtr指向片区空间(即指令指针池)的未尾，因为空间容纳了PERL_SLAB_SIZE个I32指令结构地址(I32*)
　　PL_OpPtr += PERL_SLAB_SIZE;
　　//处理在只读调试的情况下，新增片区，需要放置相关片区地址在PL_slabs数组中(仅用于调试)，该数组存放了所有曾经分配过的OP片区，注意不是PL_OpSlab
　　#ifdef PERL_DEBUG_READONLY_OPS
　　/* We remember this slab.  */
　　/* This implementation isn't efficient, but it is simple. */
　　PL_slabs = (I32**) realloc(PL_slabs, sizeof(I32**) * (PL_slab_count + 1));
　　PL_slabs[PL_slab_count++] = PL_OpSlab;
　　DEBUG_m(PerlIO_printf(Perl_debug_log, "Allocate %p\n", PL_OpSlab));
　　#endif
　　}
　　    assert( PL_OpSpace >= 0 );//确保PL_OpSpace还有空间容纳I32指令
　　   //新分配空间或原有空间已经足够容纳，处理返回值(void *)(PL_OpPtr + 1)
　　    /* Move the allocation pointer down */
　　    PL_OpPtr   -= sz;//分配片区空间的使用是从未尾开始向前推进，即从后向前使用空间，PL_OpPtr指向本次从片区空间中分配的指令集合所使用的空间的起始地址
　　    assert( PL_OpPtr > (I32 **) PL_OpSlab );//确保本次分配的指令集合空间够用，
　　//没有超过片区的起始地址(I32 **) PL_OpSlab
　　   //本次分配的空间起始地址放置片区空间首指令( I32＊)PL_OpSlab
　　    *PL_OpPtr   = PL_OpSlab; /* Note which slab it belongs to */
　　//PL_OpSlab是(I32*)
　　   (*PL_OpSlab)++; /* Increment use count of slab */
　　    assert( PL_OpPtr+sz <= ((I32 **) PL_OpSlab + PERL_SLAB_SIZE) );
　　    assert( *PL_OpSlab > 0 );
　　    return (void *)(PL_OpPtr + 1);//因为*PL_OpPtr处放置了片区空间首指令PL_OpSlab，必须以下一个指令指针位置，返回给函数调用者
　　}