Op.xs

   1 /* This file is part of the Sub::Op Perl module.
   2  * See http://search.cpan.org/dist/Sub-Op/ */
   3
   4 #define PERL_NO_GET_CONTEXT
   5 #include "EXTERN.h"
   6 #include "perl.h"
   7 #include "XSUB.h"
   8
   9 #define __PACKAGE__     "Sub::Op"
  10 #define __PACKAGE_LEN__ (sizeof(__PACKAGE__)-1)
  11
  12 /* --- Compatibility wrappers ---------------------------------------------- */
  13
  14 #define SO_HAS_PERL(R, V, S) (PERL_REVISION > (R) || (PERL_REVISION == (R) && (PERL_VERSION > (V) || (PERL_VERSION == (V) && (PERL_SUBVERSION >= (S))))))
  15
  16 /* ... Thread safety and multiplicity ...................................... */
  17
  18 #ifndef SO_MULTIPLICITY
  19 # if defined(MULTIPLICITY) || defined(PERL_IMPLICIT_CONTEXT)
  20 #  define SO_MULTIPLICITY 1
  21 # else
  22 #  define SO_MULTIPLICITY 0
  23 # endif
  24 #endif
  25 #if SO_MULTIPLICITY && !defined(tTHX)
  26 # define tTHX PerlInterpreter*
  27 #endif
  28
  29 #if SO_MULTIPLICITY && defined(USE_ITHREADS) && defined(dMY_CXT) && defined(MY_CXT) && defined(START_MY_CXT) && defined(MY_CXT_INIT) && (defined(MY_CXT_CLONE) || defined(dMY_CXT_SV))
  30 # define SO_THREADSAFE 1
  31 # ifndef MY_CXT_CLONE
  32 #  define MY_CXT_CLONE \
  33     dMY_CXT_SV;                                                      \
  34     my_cxt_t *my_cxtp = (my_cxt_t*)SvPVX(newSV(sizeof(my_cxt_t)-1)); \
  35     Copy(INT2PTR(my_cxt_t*, SvUV(my_cxt_sv)), my_cxtp, 1, my_cxt_t); \
  36     sv_setuv(my_cxt_sv, PTR2UV(my_cxtp))
  37 # endif
  38 #else
  39 # define SO_THREADSAFE 0
  40 # undef  dMY_CXT
  41 # define dMY_CXT      dNOOP
  42 # undef  MY_CXT
  43 # define MY_CXT       indirect_globaldata
  44 # undef  START_MY_CXT
  45 # define START_MY_CXT STATIC my_cxt_t MY_CXT;
  46 # undef  MY_CXT_INIT
  47 # define MY_CXT_INIT  NOOP
  48 # undef  MY_CXT_CLONE
  49 # define MY_CXT_CLONE NOOP
  50 #endif
  51
  52 /* --- Global data --------------------------------------------------------- */
  53
  54 #define MY_CXT_KEY __PACKAGE__ "::_guts" XS_VERSION
  55
  56 typedef struct {
  57  HV  *map;
  58  CV  *placeholder;
  59 #if SO_THREADSAFE
  60  tTHX owner;
  61 #endif /* SO_THREADSAFE */
  62 } my_cxt_t;
  63
  64 START_MY_CXT
  65
  66 #if SO_THREADSAFE
  67
  68 STATIC SV *so_clone(pTHX_ SV *sv, tTHX owner) {
  69 #define so_clone(S, O) so_clone(aTHX_ (S), (O))
  70  CLONE_PARAMS  param;
  71  AV           *stashes = NULL;
  72  SV           *dupsv;
  73
  74  if (SvTYPE(sv) == SVt_PVHV && HvNAME_get(sv))
  75   stashes = newAV();
  76
  77  param.stashes    = stashes;
  78  param.flags      = 0;
  79  param.proto_perl = owner;
  80
  81  dupsv = sv_dup(sv, &param);
  82
  83  if (stashes) {
  84   av_undef(stashes);
  85   SvREFCNT_dec(stashes);
  86  }
  87
  88  return SvREFCNT_inc(dupsv);
  89 }
  90
  91 #endif /* SO_THREADSAFE */
  92
  93 #define PTABLE_NAME        ptable
  94 #define PTABLE_VAL_FREE(V) PerlMemShared_free(V)
  95
  96 #include "ptable.h"
  97
  98 /* PerlMemShared_free() needs the [ap]PTBLMS_? default values */
  99 #define ptable_store(T, K, V) ptable_store(aPTBLMS_ (T), (K), (V))
 100
 101 STATIC ptable *sub_op_name = NULL;
 102
 103 #ifdef USE_ITHREADS
 104 STATIC perl_mutex sub_op_name_mutex;
 105 #endif
 106
 107 typedef struct {
 108  STRLEN len;
 109  char   buf;
 110 } sub_op_name_t;
 111
 112 /* --- Public API ---------------------------------------------------------- */
 113
 114 #include "sub_op.h"
 115
 116 void sub_op_register(pTHX_ const sub_op_keyword *k) {
 117  SV *key = newSViv(PTR2IV(k->pp));
 118
 119  if (!PL_custom_op_names)
 120   PL_custom_op_names = newHV();
 121  (void) hv_store_ent(PL_custom_op_names, key, newSVpv(k->name, k->len), 0);
 122
 123  if (!PL_custom_op_descs)
 124   PL_custom_op_descs = newHV();
 125  (void) hv_store_ent(PL_custom_op_descs, key, newSVpv(k->name, k->len), 0);
 126
 127  if (k->check) {
 128   SV *check = newSViv(PTR2IV(k->check));
 129   sv_magicext(key, check, PERL_MAGIC_ext, NULL, k->ud, 0);
 130   SvREFCNT_dec(check);
 131  }
 132
 133  {
 134   dMY_CXT;
 135   (void) hv_store(MY_CXT.map, k->name, k->len, key, 0);
 136  }
 137 }
 138
 139 /* --- Private helpers ----------------------------------------------------- */
 140
 141 #define SO_LINKLIST(O) ((O)->op_next ? (O)->op_next : sub_op_linklist(O))
 142
 143 STATIC OP *sub_op_linklist(pTHX_ OP *o) {
 144 #define sub_op_linklist(O) sub_op_linklist(aTHX_ (O))
 145     OP *first;
 146
 147     if (o->op_next)
 148         return o->op_next;
 149
 150     /* establish postfix order */
 151     first = cUNOPo->op_first;
 152     if (first) {
 153         register OP *kid;
 154         o->op_next = SO_LINKLIST(first);
 155         kid = first;
 156         for (;;) {
 157             if (kid->op_sibling) {
 158                 kid->op_next = SO_LINKLIST(kid->op_sibling);
 159                 kid = kid->op_sibling;
 160             } else {
 161                 kid->op_next = o;
 162                 break;
 163             }
 164         }
 165     }
 166     else
 167         o->op_next = o;
 168
 169     return o->op_next;
 170 }
 171
 172 STATIC IV sub_op_hint(pTHX) {
 173 #define sub_op_hint() sub_op_hint(aTHX)
 174  SV *hint;
 175
 176 #if SO_HAS_PERL(5, 9, 5)
 177  hint = Perl_refcounted_he_fetch(aTHX_ PL_curcop->cop_hints_hash,
 178                                        NULL,
 179                                        __PACKAGE__, __PACKAGE_LEN__,
 180                                        0,
 181                                        0);
 182 #else
 183  {
 184   SV **val = hv_fetch(GvHV(PL_hintgv), __PACKAGE__, __PACKAGE_LEN__, 0);
 185   if (!val)
 186    return 0;
 187   hint = *val;
 188  }
 189 #endif
 190
 191  return (SvOK(hint) && SvIOK(hint)) ? SvIVX(hint) : 0;
 192 }
 193
 194 STATIC OP *(*sub_op_old_ck_entersub)(pTHX_ OP *) = 0;
 195
 196 STATIC OP *sub_op_ck_entersub(pTHX_ OP *o) {
 197  o = CALL_FPTR(sub_op_old_ck_entersub)(aTHX_ o);
 198
 199  if (sub_op_hint()) {
 200   OP *ex_list, *rv2cv, *gvop, *last_arg = NULL;
 201   GV *gv;
 202
 203   if (o->op_type != OP_ENTERSUB)
 204    goto skip;
 205   if (o->op_private & OPpENTERSUB_AMPER) /* hopefully \&foo */
 206    goto skip;
 207
 208   ex_list = cUNOPo->op_first;
 209   /* pushmark when a method call */
 210   if (!ex_list || ex_list->op_type != OP_NULL)
 211    goto skip;
 212
 213   rv2cv = cUNOPx(ex_list)->op_first;
 214   if (!rv2cv)
 215    goto skip;
 216
 217   while (1) {
 218    OP *next = rv2cv->op_sibling;
 219    if (!next)
 220     break;
 221    last_arg = rv2cv;
 222    rv2cv    = next;
 223   }
 224
 225   if (!(rv2cv->op_flags & OPf_KIDS))
 226    goto skip;
 227
 228   gvop = cUNOPx(rv2cv)->op_first;
 229   if (!gvop || gvop->op_type != OP_GV)
 230    goto skip;
 231
 232   gv = cGVOPx_gv(gvop);
 233
 234   {
 235    HV *stash = GvSTASH(gv);
 236    SV *pp_sv, **svp;
 237    CV *cv = NULL;
 238    const char *name = GvNAME(gv);
 239    I32         len  = GvNAMELEN(gv);
 240    dMY_CXT;
 241
 242    svp = hv_fetch(MY_CXT.map, name, len, 0);
 243    if (!svp)
 244     goto skip;
 245
 246    pp_sv = *svp;
 247    if (!pp_sv || !SvOK(pp_sv))
 248     goto skip;
 249
 250    if (gv && SvTYPE(gv) >= SVt_PVGV && (cv = GvCV(gv)) == MY_CXT.placeholder) {
 251     SvREFCNT_dec(cv);
 252     GvCV(gv) = NULL;
 253     if (!GvSV(gv) && !GvAV(gv) && !GvHV(gv) && !GvIO(gv) && !GvFORM(gv)) {
 254      (void) hv_delete(stash, name, len, G_DISCARD);
 255     }
 256    }
 257
 258    o->op_type   = OP_CUSTOM;
 259    o->op_ppaddr = INT2PTR(Perl_ppaddr_t, SvIVX(pp_sv));
 260
 261    if (last_arg)
 262     last_arg->op_sibling = NULL;
 263
 264    op_free(rv2cv);
 265
 266    {
 267     MAGIC *mg = mg_find(pp_sv, PERL_MAGIC_ext);
 268     if (mg) {
 269      sub_op_check_t check = INT2PTR(sub_op_check_t, SvIVX(mg->mg_obj));
 270      o = CALL_FPTR(check)(aTHX_ o, mg->mg_ptr);
 271     }
 272    }
 273
 274    sub_op_linklist(o);
 275
 276    {
 277     sub_op_name_t *on = PerlMemShared_malloc(sizeof(*on) + len);
 278     Copy(name, &on->buf, len, char);
 279     (&on->buf)[len] = '\0';
 280     on->len = len;
 281 #ifdef USE_ITHREADS
 282     MUTEX_LOCK(&sub_op_name_mutex);
 283 #endif /* USE_ITHREADS */
 284     ptable_store(sub_op_name, o, on);
 285 #ifdef USE_ITHREADS
 286     MUTEX_UNLOCK(&sub_op_name_mutex);
 287 #endif /* USE_ITHREADS */
 288    }
 289   }
 290  }
 291
 292 skip:
 293  return o;
 294 }
 295
 296 STATIC OP *(*sub_op_old_ck_gelem)(pTHX_ OP *) = 0;
 297
 298 STATIC OP *sub_op_ck_gelem(pTHX_ OP *o) {
 299  o = CALL_FPTR(sub_op_old_ck_entersub)(aTHX_ o);
 300
 301  if (sub_op_hint()) {
 302   OP *rv2gv, *gvop;
 303   GV *gv;
 304
 305   rv2gv = cUNOPo->op_first;
 306   if (!rv2gv)
 307    goto skip;
 308
 309   gvop = cUNOPx(rv2gv)->op_first;
 310   if (!gvop || gvop->op_type != OP_GV)
 311    goto skip;
 312
 313   gv = cGVOPx_gv(gvop);
 314   if (!gv)
 315    goto skip;
 316
 317   {
 318    CV *cv;
 319    dMY_CXT;
 320
 321    if (gv && SvTYPE(gv) >= SVt_PVGV && (cv = GvCV(gv)) == MY_CXT.placeholder) {
 322     SvREFCNT_dec(cv);
 323     GvCV(gv) = NULL;
 324     if (!GvSV(gv) && !GvAV(gv) && !GvHV(gv) && !GvIO(gv) && !GvFORM(gv)) {
 325      (void)hv_delete(GvSTASH(gv), GvNAME_get(gv), GvNAMELEN_get(gv), G_DISCARD);
 326     }
 327    }
 328   }
 329  }
 330
 331 skip:
 332  return o;
 333 }
 334
 335 /* --- XS ------------------------------------------------------------------ */
 336
 337 MODULE = Sub::Op      PACKAGE = Sub::Op
 338
 339 PROTOTYPES: ENABLE
 340
 341 BOOT:
 342 {
 343  sub_op_name = ptable_new();
 344 #ifdef USE_ITHREADS
 345  MUTEX_INIT(&sub_op_name_mutex);
 346 #endif
 347
 348  MY_CXT_INIT;
 349  MY_CXT.map         = newHV();
 350  MY_CXT.placeholder = NULL;
 351 #if SO_THREADSAFE
 352  MY_CXT.owner       = aTHX;
 353 #endif /* SO_THREADSAFE */
 354
 355  sub_op_old_ck_entersub = PL_check[OP_ENTERSUB];
 356  PL_check[OP_ENTERSUB]  = sub_op_ck_entersub;
 357  sub_op_old_ck_gelem    = PL_check[OP_GELEM];
 358  PL_check[OP_GELEM]     = sub_op_ck_gelem;
 359 }
 360
 361 #if SO_THREADSAFE
 362
 363 void
 364 CLONE(...)
 365 PROTOTYPE: DISABLE
 366 PREINIT:
 367  HV  *map;
 368  CV  *placeholder;
 369  tTHX owner;
 370 CODE:
 371  {
 372   dMY_CXT;
 373   owner       = MY_CXT.owner;
 374   map         = (HV *) so_clone((SV *) MY_CXT.map,         owner);
 375   placeholder = (CV *) so_clone((SV *) MY_CXT.placeholder, owner);
 376  }
 377  {
 378   MY_CXT_CLONE;
 379   MY_CXT.map         = map;
 380   MY_CXT.placeholder = placeholder;
 381   MY_CXT.owner       = aTHX;
 382  }
 383
 384 #endif /* SO_THREADSAFE */
 385
 386 void
 387 _placeholder(SV *sv)
 388 PROTOTYPE: $
 389 PPCODE:
 390  if (SvROK(sv)) {
 391   sv = SvRV(sv);
 392   if (SvTYPE(sv) >= SVt_PVCV) {
 393    dMY_CXT;
 394    SvREFCNT_dec(MY_CXT.placeholder);
 395    MY_CXT.placeholder = (CV *) SvREFCNT_inc(sv);
 396   }
 397  }
 398  XSRETURN(0);
 399
 400 void
 401 _custom_name(SV *op)
 402 PROTOTYPE: $
 403 PREINIT:
 404  OP *o;
 405  sub_op_name_t *on;
 406 PPCODE:
 407  if (!SvROK(op))
 408   XSRETURN_UNDEF;
 409  o = INT2PTR(OP *, SvIV(SvRV(op)));
 410  if (!o || o->op_type != OP_CUSTOM)
 411   XSRETURN_UNDEF;
 412 #ifdef USE_ITHREADS
 413  MUTEX_LOCK(&sub_op_name_mutex);
 414 #endif /* USE_ITHREADS */
 415  on = ptable_fetch(sub_op_name, o);
 416 #ifdef USE_ITHREADS
 417  MUTEX_UNLOCK(&sub_op_name_mutex);
 418 #endif /* USE_ITHREADS */
 419  if (!on)
 420   XSRETURN_UNDEF;
 421  ST(0) = sv_2mortal(newSVpvn(&on->buf, on->len));
 422  XSRETURN(1);