X-Git-Url: http://git.vpit.fr/?a=blobdiff_plain;f=Types.xs;h=0b5b3f5fd1c97f2581f7f2c775bf00d836e2b547;hb=3a70868e5fd2c419e5c78329107019375efc5558;hp=e29b97c494c7c2835c42441ba156d7608e383fa9;hpb=ca20ae2227f4d652532078d6e45d03d17fd625ab;p=perl%2Fmodules%2FLexical-Types.git diff --git a/Types.xs b/Types.xs index e29b97c..0b5b3f5 100644 --- a/Types.xs +++ b/Types.xs @@ -6,6 +6,9 @@ #include "perl.h" #include "XSUB.h" +#define __PACKAGE__ "Lexical::Types" +#define __PACKAGE_LEN__ (sizeof(__PACKAGE__)-1) + /* --- Compatibility wrappers ---------------------------------------------- */ #define LT_HAS_PERL(R, V, S) (PERL_REVISION > (R) || (PERL_REVISION == (R) && (PERL_VERSION > (V) || (PERL_VERSION == (V) && (PERL_SUBVERSION >= (S)))))) @@ -32,9 +35,6 @@ # define HvNAMELEN_get(H) strlen(HvNAME_get(H)) #endif -#define __PACKAGE__ "Lexical::Types" -#define __PACKAGE_LEN__ (sizeof(__PACKAGE__)-1) - /* --- Helpers ------------------------------------------------------------- */ /* ... Hints ............................................................... */ @@ -61,10 +61,15 @@ STATIC SV *lt_hint(pTHX) { /* ... op => info map ...................................................... */ -#define OP2STR_BUF char buf[(CHAR_BIT * sizeof(UV)) / 2] -#define OP2STR(O) (sprintf(buf, "%"UVxf, PTR2UV(O))) +#define PTABLE_VAL_FREE(V) PerlMemShared_free(V) + +#include "ptable.h" -STATIC HV *lt_op_map = NULL; +STATIC ptable *lt_op_map = NULL; + +#ifdef USE_ITHREADS +STATIC perl_mutex lt_op_map_mutex; +#endif typedef struct { SV *orig_pkg; @@ -73,42 +78,56 @@ typedef struct { OP *(*pp_padsv)(pTHX); } lt_op_info; -STATIC void lt_map_store(pTHX_ const OP *o, SV *orig_pkg, SV *type_pkg, SV *type_meth, OP *(*pp_padsv)(pTHX)) { -#define lt_map_store(O, P1, P2, M, PP) lt_map_store(aTHX_ (O), (P1), (P2), (M), (PP)) - OP2STR_BUF; - SV *val; +STATIC void lt_map_store(const OP *o, SV *orig_pkg, SV *type_pkg, SV *type_meth, OP *(*pp_padsv)(pTHX)) { lt_op_info *oi; - Newx(oi, 1, lt_op_info); +#ifdef USE_ITHREADS + MUTEX_LOCK(<_op_map_mutex); +#endif + + if (!(oi = ptable_fetch(lt_op_map, o))) { + oi = PerlMemShared_malloc(sizeof *oi); + ptable_store(lt_op_map, o, oi); + } + oi->orig_pkg = orig_pkg; oi->type_pkg = type_pkg; oi->type_meth = type_meth; oi->pp_padsv = pp_padsv; - val = newSVuv(PTR2UV(oi)); - (void)hv_store(lt_op_map, buf, OP2STR(o), val, 0); +#ifdef USE_ITHREADS + MUTEX_UNLOCK(<_op_map_mutex); +#endif } -STATIC const lt_op_info *lt_map_fetch(pTHX_ const OP *o) { -#define lt_map_fetch(O) lt_map_fetch(aTHX_ (O)) - OP2STR_BUF; - SV **svp; +STATIC const lt_op_info *lt_map_fetch(const OP *o, lt_op_info *oi) { + const lt_op_info *val; - svp = hv_fetch(lt_op_map, buf, OP2STR(o), 0); +#ifdef USE_ITHREADS + MUTEX_LOCK(<_op_map_mutex); +#endif + + val = ptable_fetch(lt_op_map, o); + if (val) { + *oi = *val; + val = oi; + } - return svp ? INT2PTR(const lt_op_info *, SvUVX(*svp)) : NULL; +#ifdef USE_ITHREADS + MUTEX_UNLOCK(<_op_map_mutex); +#endif + + return val; } /* --- Hooks --------------------------------------------------------------- */ /* ... Our pp_padsv ........................................................ */ -STATIC OP *(*lt_old_pp_padsv)(pTHX) = 0; - STATIC OP *lt_pp_padsv(pTHX) { - const lt_op_info *oi; + lt_op_info oi; - if ((PL_op->op_private & OPpLVAL_INTRO) && (oi = lt_map_fetch(PL_op))) { + if ((PL_op->op_private & OPpLVAL_INTRO) && lt_map_fetch(PL_op, &oi)) { PADOFFSET targ = PL_op->op_targ; SV *sv = PAD_SVl(targ); @@ -121,12 +140,12 @@ STATIC OP *lt_pp_padsv(pTHX) { PUSHMARK(SP); EXTEND(SP, 3); - PUSHs(oi->type_pkg); + PUSHs(oi.type_pkg); PUSHs(sv); - PUSHs(oi->orig_pkg); + PUSHs(oi.orig_pkg); PUTBACK; - items = call_sv(oi->type_meth, G_ARRAY | G_METHOD); + items = call_sv(oi.type_meth, G_ARRAY | G_METHOD); SPAGAIN; switch (items) { @@ -144,10 +163,31 @@ STATIC OP *lt_pp_padsv(pTHX) { LEAVE; } - return CALL_FPTR(oi->pp_padsv)(aTHX); + return CALL_FPTR(oi.pp_padsv)(aTHX); } - return CALL_FPTR(lt_old_pp_padsv)(aTHX); + return CALL_FPTR(PL_ppaddr[OP_PADSV])(aTHX); +} + +STATIC OP *(*lt_pp_padsv_saved)(pTHX) = 0; + +STATIC void lt_pp_padsv_save(void) { + if (lt_pp_padsv_saved) + return; + + lt_pp_padsv_saved = PL_ppaddr[OP_PADSV]; + PL_ppaddr[OP_PADSV] = lt_pp_padsv; +} + +STATIC void lt_pp_padsv_restore(OP *o) { + if (!lt_pp_padsv_saved) + return; + + if (o->op_ppaddr == lt_pp_padsv) + o->op_ppaddr = lt_pp_padsv_saved; + + PL_ppaddr[OP_PADSV] = lt_pp_padsv_saved; + lt_pp_padsv_saved = 0; } /* ... Our ck_pad{any,sv} .................................................. */ @@ -168,7 +208,7 @@ STATIC OP *lt_ck_padany(pTHX_ OP *o) { HV *stash; SV *hint; - PL_ppaddr[OP_PADSV] = lt_old_pp_padsv; + lt_pp_padsv_restore(o); o = CALL_FPTR(lt_old_ck_padany)(aTHX_ o); @@ -176,8 +216,8 @@ STATIC OP *lt_ck_padany(pTHX_ OP *o) { if (stash && (hint = lt_hint())) { SV *orig_pkg = newSVpvn(HvNAME_get(stash), HvNAMELEN_get(stash)); SV *orig_meth = lt_default_meth; - SV *type_pkg = orig_pkg; - SV *type_meth = orig_meth; + SV *type_pkg = NULL; + SV *type_meth = NULL; SV *code = INT2PTR(SV *, SvUVX(hint)); SvREADONLY_on(orig_pkg); @@ -224,12 +264,19 @@ STATIC OP *lt_ck_padany(pTHX_ OP *o) { LEAVE; } - if (type_meth == orig_meth) + if (!type_pkg) { + type_pkg = orig_pkg; + SvREFCNT_inc(orig_pkg); + } + + if (!type_meth) { + type_meth = orig_meth; SvREFCNT_inc(orig_meth); - lt_map_store(o, orig_pkg, type_pkg, type_meth, lt_old_pp_padsv); + } - lt_old_pp_padsv = PL_ppaddr[OP_PADSV]; - PL_ppaddr[OP_PADSV] = lt_pp_padsv; + lt_pp_padsv_save(); + + lt_map_store(o, orig_pkg, type_pkg, type_meth, lt_pp_padsv_saved); } skip: @@ -239,7 +286,8 @@ skip: STATIC OP *(*lt_old_ck_padsv)(pTHX_ OP *) = 0; STATIC OP *lt_ck_padsv(pTHX_ OP *o) { - PL_ppaddr[OP_PADSV] = lt_old_pp_padsv; + lt_pp_padsv_restore(o); + return CALL_FPTR(lt_old_ck_padsv)(aTHX_ o); } @@ -254,17 +302,20 @@ PROTOTYPES: DISABLE BOOT: { if (!lt_initialized++) { + lt_op_map = ptable_new(); +#ifdef USE_ITHREADS + MUTEX_INIT(<_op_map_mutex); +#endif + lt_default_meth = newSVpvn("TYPEDSCALAR", 11); SvREADONLY_on(lt_default_meth); PERL_HASH(lt_hash, __PACKAGE__, __PACKAGE_LEN__); - lt_op_map = newHV(); lt_old_ck_padany = PL_check[OP_PADANY]; PL_check[OP_PADANY] = MEMBER_TO_FPTR(lt_ck_padany); lt_old_ck_padsv = PL_check[OP_PADSV]; PL_check[OP_PADSV] = MEMBER_TO_FPTR(lt_ck_padsv); - lt_old_pp_padsv = PL_ppaddr[OP_PADSV]; } }