探密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，必须以下一个指令指针位置，返回给函数调用者

 

 

 

}