Types.xs

   1 /* This file is part of the Lexical-Types Perl module.
   2  * See http://search.cpan.org/dist/Lexical-Types/ */
   3
   4 #define PERL_NO_GET_CONTEXT
   5 #include "EXTERN.h"
   6 #include "perl.h"
   7 #include "XSUB.h"
   8
   9 #define __PACKAGE__     "Lexical::Types"
  10 #define __PACKAGE_LEN__ (sizeof(__PACKAGE__)-1)
  11
  12 /* --- Compatibility wrappers ---------------------------------------------- */
  13
  14 #define LT_HAS_PERL(R, V, S) (PERL_REVISION > (R) || (PERL_REVISION == (R) && (PERL_VERSION > (V) || (PERL_VERSION == (V) && (PERL_SUBVERSION >= (S))))))
  15
  16 #if LT_HAS_PERL(5, 10, 0) || defined(PL_parser)
  17 # ifndef PL_in_my_stash
  18 #  define PL_in_my_stash PL_parser->in_my_stash
  19 # endif
  20 #else
  21 # ifndef PL_in_my_stash
  22 #  define PL_in_my_stash PL_Iin_my_stash
  23 # endif
  24 #endif
  25
  26 #ifndef LT_WORKAROUND_REQUIRE_PROPAGATION
  27 # define LT_WORKAROUND_REQUIRE_PROPAGATION !LT_HAS_PERL(5, 10, 1)
  28 #endif
  29
  30 #ifndef HvNAME_get
  31 # define HvNAME_get(H) HvNAME(H)
  32 #endif
  33
  34 #ifndef HvNAMELEN_get
  35 # define HvNAMELEN_get(H) strlen(HvNAME_get(H))
  36 #endif
  37
  38 #ifndef SvREFCNT_inc_simple_NN
  39 # define SvREFCNT_inc_simple_NN SvREFCNT_inc
  40 #endif
  41
  42 #undef ENTERn
  43 #if defined(ENTER_with_name) && !LT_HAS_PERL(5, 11, 4)
  44 # define ENTERn(N) ENTER_with_name(N)
  45 #else
  46 # define ENTERn(N) ENTER
  47 #endif
  48
  49 #undef LEAVEn
  50 #if defined(LEAVE_with_name) && !LT_HAS_PERL(5, 11, 4)
  51 # define LEAVEn(N) LEAVE_with_name(N)
  52 #else
  53 # define LEAVEn(N) LEAVE
  54 #endif
  55
  56 /* ... Thread safety and multiplicity ...................................... */
  57
  58 #ifndef LT_MULTIPLICITY
  59 # if defined(MULTIPLICITY) || defined(PERL_IMPLICIT_CONTEXT)
  60 #  define LT_MULTIPLICITY 1
  61 # else
  62 #  define LT_MULTIPLICITY 0
  63 # endif
  64 #endif
  65 #if LT_MULTIPLICITY && !defined(tTHX)
  66 # define tTHX PerlInterpreter*
  67 #endif
  68
  69 #if LT_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))
  70 # define LT_THREADSAFE 1
  71 # ifndef MY_CXT_CLONE
  72 #  define MY_CXT_CLONE \
  73     dMY_CXT_SV;                                                      \
  74     my_cxt_t *my_cxtp = (my_cxt_t*)SvPVX(newSV(sizeof(my_cxt_t)-1)); \
  75     Copy(INT2PTR(my_cxt_t*, SvUV(my_cxt_sv)), my_cxtp, 1, my_cxt_t); \
  76     sv_setuv(my_cxt_sv, PTR2UV(my_cxtp))
  77 # endif
  78 #else
  79 # define LT_THREADSAFE 0
  80 # undef  dMY_CXT
  81 # define dMY_CXT      dNOOP
  82 # undef  MY_CXT
  83 # define MY_CXT       lt_globaldata
  84 # undef  START_MY_CXT
  85 # define START_MY_CXT STATIC my_cxt_t MY_CXT;
  86 # undef  MY_CXT_INIT
  87 # define MY_CXT_INIT  NOOP
  88 # undef  MY_CXT_CLONE
  89 # define MY_CXT_CLONE NOOP
  90 # undef  pMY_CXT
  91 # define pMY_CXT
  92 # undef  pMY_CXT_
  93 # define pMY_CXT_
  94 # undef  aMY_CXT
  95 # define aMY_CXT
  96 # undef  aMY_CXT_
  97 # define aMY_CXT_
  98 #endif
  99
 100 /* --- Helpers ------------------------------------------------------------- */
 101
 102 /* ... Thread-safe hints ................................................... */
 103
 104 #if LT_WORKAROUND_REQUIRE_PROPAGATION
 105
 106 typedef struct {
 107  SV *code;
 108  IV  cxreq;
 109 } lt_hint_t;
 110
 111 #define LT_HINT_STRUCT 1
 112
 113 #define LT_HINT_CODE(H) ((H)->code)
 114
 115 #define LT_HINT_FREE(H) { \
 116  lt_hint_t *h = (H);      \
 117  SvREFCNT_dec(h->code);   \
 118  PerlMemShared_free(h);   \
 119 }
 120
 121 #else  /*  LT_WORKAROUND_REQUIRE_PROPAGATION */
 122
 123 typedef SV lt_hint_t;
 124
 125 #define LT_HINT_STRUCT 0
 126
 127 #define LT_HINT_CODE(H) (H)
 128
 129 #define LT_HINT_FREE(H) SvREFCNT_dec(H);
 130
 131 #endif /* !LT_WORKAROUND_REQUIRE_PROPAGATION */
 132
 133 #if LT_THREADSAFE
 134
 135 #define PTABLE_NAME        ptable_hints
 136 #define PTABLE_VAL_FREE(V) LT_HINT_FREE(V)
 137
 138 #define pPTBL  pTHX
 139 #define pPTBL_ pTHX_
 140 #define aPTBL  aTHX
 141 #define aPTBL_ aTHX_
 142
 143 #include "ptable.h"
 144
 145 #define ptable_hints_store(T, K, V) ptable_hints_store(aTHX_ (T), (K), (V))
 146 #define ptable_hints_free(T)        ptable_hints_free(aTHX_ (T))
 147
 148 #endif /* LT_THREADSAFE */
 149
 150 /* ... Global data ......................................................... */
 151
 152 #define MY_CXT_KEY __PACKAGE__ "::_guts" XS_VERSION
 153
 154 typedef struct {
 155 #if LT_THREADSAFE
 156  ptable *tbl; /* It really is a ptable_hints */
 157  tTHX    owner;
 158 #endif
 159  SV     *default_meth;
 160  OP *  (*pp_padsv_saved)(pTHX);
 161 } my_cxt_t;
 162
 163 START_MY_CXT
 164
 165 /* ... Cloning global data ................................................. */
 166
 167 #if LT_THREADSAFE
 168
 169 STATIC SV *lt_clone(pTHX_ SV *sv, tTHX owner) {
 170 #define lt_clone(S, O) lt_clone(aTHX_ (S), (O))
 171  CLONE_PARAMS  param;
 172  AV           *stashes = NULL;
 173  SV           *dupsv;
 174
 175  if (SvTYPE(sv) == SVt_PVHV && HvNAME_get(sv))
 176   stashes = newAV();
 177
 178  param.stashes    = stashes;
 179  param.flags      = 0;
 180  param.proto_perl = owner;
 181
 182  dupsv = sv_dup(sv, &param);
 183
 184  if (stashes) {
 185   av_undef(stashes);
 186   SvREFCNT_dec(stashes);
 187  }
 188
 189  return SvREFCNT_inc(dupsv);
 190 }
 191
 192 STATIC void lt_ptable_hints_clone(pTHX_ ptable_ent *ent, void *ud_) {
 193  my_cxt_t  *ud  = ud_;
 194  lt_hint_t *h1 = ent->val;
 195  lt_hint_t *h2;
 196
 197  if (ud->owner == aTHX)
 198   return;
 199
 200 #if LT_HINT_STRUCT
 201
 202  h2        = PerlMemShared_malloc(sizeof *h2);
 203  h2->code  = lt_clone(h1->code, ud->owner);
 204  SvREFCNT_inc(h2->code);
 205 #if LT_WORKAROUND_REQUIRE_PROPAGATION
 206  h2->cxreq = h1->cxreq;
 207 #endif
 208
 209 #else /*   LT_HINT_STRUCT */
 210
 211  h2 = lt_clone(h1, ud->owner);
 212  SvREFCNT_inc(h2);
 213
 214 #endif /* !LT_HINT_STRUCT */
 215
 216  ptable_hints_store(ud->tbl, ent->key, h2);
 217 }
 218
 219 STATIC void lt_thread_cleanup(pTHX_ void *);
 220
 221 STATIC void lt_thread_cleanup(pTHX_ void *ud) {
 222  int *level = ud;
 223
 224  if (*level) {
 225   *level = 0;
 226   LEAVE;
 227   SAVEDESTRUCTOR_X(lt_thread_cleanup, level);
 228   ENTER;
 229  } else {
 230   dMY_CXT;
 231   PerlMemShared_free(level);
 232   ptable_hints_free(MY_CXT.tbl);
 233  }
 234 }
 235
 236 #endif /* LT_THREADSAFE */
 237
 238 /* ... Hint tags ........................................................... */
 239
 240 #if LT_WORKAROUND_REQUIRE_PROPAGATION
 241 STATIC IV lt_require_tag(pTHX) {
 242 #define lt_require_tag() lt_require_tag(aTHX)
 243  const PERL_SI *si;
 244
 245  for (si = PL_curstackinfo; si; si = si->si_prev) {
 246   I32 cxix;
 247
 248   for (cxix = si->si_cxix; cxix >= 0; --cxix) {
 249    const PERL_CONTEXT *cx = si->si_cxstack + cxix;
 250
 251    if (CxTYPE(cx) == CXt_EVAL && cx->blk_eval.old_op_type == OP_REQUIRE)
 252     return PTR2IV(cx);
 253   }
 254  }
 255
 256  return PTR2IV(NULL);
 257 }
 258 #endif /* LT_WORKAROUND_REQUIRE_PROPAGATION */
 259
 260 STATIC SV *lt_tag(pTHX_ SV *value) {
 261 #define lt_tag(V) lt_tag(aTHX_ (V))
 262  lt_hint_t *h;
 263  SV *code = NULL;
 264  dMY_CXT;
 265
 266  if (SvROK(value)) {
 267   value = SvRV(value);
 268   if (SvTYPE(value) >= SVt_PVCV) {
 269    code = value;
 270    SvREFCNT_inc_simple_NN(code);
 271   }
 272  }
 273
 274 #if LT_HINT_STRUCT
 275  h = PerlMemShared_malloc(sizeof *h);
 276  h->code  = code;
 277 # if LT_WORKAROUND_REQUIRE_PROPAGATION
 278  h->cxreq = lt_require_tag();
 279 # endif /* LT_WORKAROUND_REQUIRE_PROPAGATION */
 280 #else  /*  LT_HINT_STRUCT */
 281  h = code;
 282 #endif /* !LT_HINT_STRUCT */
 283
 284 #if LT_THREADSAFE
 285  /* We only need for the key to be an unique tag for looking up the value later.
 286   * Allocated memory provides convenient unique identifiers, so that's why we
 287   * use the hint as the key itself. */
 288  ptable_hints_store(MY_CXT.tbl, h, h);
 289 #endif /* LT_THREADSAFE */
 290
 291  return newSViv(PTR2IV(h));
 292 }
 293
 294 STATIC SV *lt_detag(pTHX_ const SV *hint) {
 295 #define lt_detag(H) lt_detag(aTHX_ (H))
 296  lt_hint_t *h;
 297  dMY_CXT;
 298
 299  if (!(hint && SvIOK(hint)))
 300   return NULL;
 301
 302  h = INT2PTR(lt_hint_t *, SvIVX(hint));
 303 #if LT_THREADSAFE
 304  h = ptable_fetch(MY_CXT.tbl, h);
 305 #endif /* LT_THREADSAFE */
 306 #if LT_WORKAROUND_REQUIRE_PROPAGATION
 307  if (lt_require_tag() != h->cxreq)
 308   return NULL;
 309 #endif /* LT_WORKAROUND_REQUIRE_PROPAGATION */
 310
 311  return LT_HINT_CODE(h);
 312 }
 313
 314 STATIC U32 lt_hash = 0;
 315
 316 STATIC SV *lt_hint(pTHX) {
 317 #define lt_hint() lt_hint(aTHX)
 318  SV *hint;
 319 #if LT_HAS_PERL(5, 9, 5)
 320  hint = Perl_refcounted_he_fetch(aTHX_ PL_curcop->cop_hints_hash,
 321                                        NULL,
 322                                        __PACKAGE__, __PACKAGE_LEN__,
 323                                        0,
 324                                        lt_hash);
 325 #else
 326  SV **val = hv_fetch(GvHV(PL_hintgv), __PACKAGE__, __PACKAGE_LEN__, lt_hash);
 327  if (!val)
 328   return 0;
 329  hint = *val;
 330 #endif
 331  return lt_detag(hint);
 332 }
 333
 334 /* ... op => info map ...................................................... */
 335
 336 #define PTABLE_NAME        ptable_map
 337 #define PTABLE_VAL_FREE(V) PerlMemShared_free(V)
 338
 339 #include "ptable.h"
 340
 341 /* PerlMemShared_free() needs the [ap]PTBLMS_? default values */
 342 #define ptable_map_store(T, K, V) ptable_map_store(aPTBLMS_ (T), (K), (V))
 343
 344 STATIC ptable *lt_op_map = NULL;
 345
 346 #ifdef USE_ITHREADS
 347 STATIC perl_mutex lt_op_map_mutex;
 348 #endif
 349
 350 typedef struct {
 351 #ifdef MULTIPLICITY
 352  STRLEN buf_size, orig_pkg_len, type_pkg_len, type_meth_len;
 353  char *buf;
 354 #else /* MULTIPLICITY */
 355  SV *orig_pkg;
 356  SV *type_pkg;
 357  SV *type_meth;
 358 #endif /* !MULTIPLICITY */
 359  OP *(*old_pp_padsv)(pTHX);
 360 } lt_op_info;
 361
 362 STATIC void lt_map_store(pTHX_ const OP *o, SV *orig_pkg, SV *type_pkg, SV *type_meth, OP *(*old_pp_padsv)(pTHX)) {
 363 #define lt_map_store(O, OP, TP, TM, PP) lt_map_store(aTHX_ (O), (OP), (TP), (TM), (PP))
 364  lt_op_info *oi;
 365
 366 #ifdef USE_ITHREADS
 367  MUTEX_LOCK(&lt_op_map_mutex);
 368 #endif
 369
 370  if (!(oi = ptable_fetch(lt_op_map, o))) {
 371   oi = PerlMemShared_malloc(sizeof *oi);
 372   ptable_map_store(lt_op_map, o, oi);
 373 #ifdef MULTIPLICITY
 374   oi->buf      = NULL;
 375   oi->buf_size = 0;
 376 #else /* MULTIPLICITY */
 377  } else {
 378   SvREFCNT_dec(oi->orig_pkg);
 379   SvREFCNT_dec(oi->type_pkg);
 380   SvREFCNT_dec(oi->type_meth);
 381 #endif /* !MULTIPLICITY */
 382  }
 383
 384 #ifdef MULTIPLICITY
 385  {
 386   STRLEN op_len       = SvCUR(orig_pkg);
 387   STRLEN tp_len       = SvCUR(type_pkg);
 388   STRLEN tm_len       = SvCUR(type_meth);
 389   STRLEN new_buf_size = op_len + tp_len + tm_len;
 390   char *buf;
 391   if (new_buf_size > oi->buf_size) {
 392    PerlMemShared_free(oi->buf);
 393    oi->buf      = PerlMemShared_malloc(new_buf_size);
 394    oi->buf_size = new_buf_size;
 395   }
 396   buf  = oi->buf;
 397   Copy(SvPVX(orig_pkg),  buf, op_len, char);
 398   buf += op_len;
 399   Copy(SvPVX(type_pkg),  buf, tp_len, char);
 400   buf += tp_len;
 401   Copy(SvPVX(type_meth), buf, tm_len, char);
 402   oi->orig_pkg_len  = op_len;
 403   oi->type_pkg_len  = tp_len;
 404   oi->type_meth_len = tm_len;
 405   SvREFCNT_dec(orig_pkg);
 406   SvREFCNT_dec(type_pkg);
 407   SvREFCNT_dec(type_meth);
 408  }
 409 #else /* MULTIPLICITY */
 410  oi->orig_pkg  = orig_pkg;
 411  oi->type_pkg  = type_pkg;
 412  oi->type_meth = type_meth;
 413 #endif /* !MULTIPLICITY */
 414
 415  oi->old_pp_padsv = old_pp_padsv;
 416
 417 #ifdef USE_ITHREADS
 418  MUTEX_UNLOCK(&lt_op_map_mutex);
 419 #endif
 420 }
 421
 422 STATIC const lt_op_info *lt_map_fetch(const OP *o, lt_op_info *oi) {
 423  const lt_op_info *val;
 424
 425 #ifdef USE_ITHREADS
 426  MUTEX_LOCK(&lt_op_map_mutex);
 427 #endif
 428
 429  val = ptable_fetch(lt_op_map, o);
 430  if (val) {
 431   *oi = *val;
 432   val = oi;
 433  }
 434
 435 #ifdef USE_ITHREADS
 436  MUTEX_UNLOCK(&lt_op_map_mutex);
 437 #endif
 438
 439  return val;
 440 }
 441
 442 STATIC void lt_map_delete(pTHX_ const OP *o) {
 443 #define lt_map_delete(O) lt_map_delete(aTHX_ (O))
 444 #ifdef USE_ITHREADS
 445  MUTEX_LOCK(&lt_op_map_mutex);
 446 #endif
 447
 448  ptable_map_store(lt_op_map, o, NULL);
 449
 450 #ifdef USE_ITHREADS
 451  MUTEX_UNLOCK(&lt_op_map_mutex);
 452 #endif
 453 }
 454
 455 /* --- Hooks --------------------------------------------------------------- */
 456
 457 /* ... Our pp_padsv ........................................................ */
 458
 459 STATIC OP *lt_pp_padsv(pTHX) {
 460  lt_op_info oi;
 461
 462  if ((PL_op->op_private & OPpLVAL_INTRO) && lt_map_fetch(PL_op, &oi)) {
 463   PADOFFSET targ = PL_op->op_targ;
 464   SV *sv         = PAD_SVl(targ);
 465
 466   if (sv) {
 467    SV *orig_pkg, *type_pkg, *type_meth;
 468    int items;
 469    dSP;
 470
 471    ENTER;
 472    SAVETMPS;
 473
 474 #ifdef MULTIPLICITY
 475    {
 476     STRLEN op_len = oi.orig_pkg_len, tp_len = oi.type_pkg_len;
 477     char *buf = oi.buf;
 478     orig_pkg  = sv_2mortal(newSVpvn(buf, op_len));
 479     SvREADONLY_on(orig_pkg);
 480     buf      += op_len;
 481     type_pkg  = sv_2mortal(newSVpvn(buf, tp_len));
 482     SvREADONLY_on(type_pkg);
 483     buf      += tp_len;
 484     type_meth = sv_2mortal(newSVpvn(buf, oi.type_meth_len));
 485     SvREADONLY_on(type_meth);
 486    }
 487 #else /* MULTIPLICITY */
 488    orig_pkg  = oi.orig_pkg;
 489    type_pkg  = oi.type_pkg;
 490    type_meth = oi.type_meth;
 491 #endif /* !MULTIPLICITY */
 492
 493    PUSHMARK(SP);
 494    EXTEND(SP, 3);
 495    PUSHs(type_pkg);
 496    PUSHs(sv);
 497    PUSHs(orig_pkg);
 498    PUTBACK;
 499
 500    items = call_sv(type_meth, G_ARRAY | G_METHOD);
 501
 502    SPAGAIN;
 503    switch (items) {
 504     case 0:
 505      break;
 506     case 1:
 507      sv_setsv(sv, POPs);
 508      break;
 509     default:
 510      croak("Typed scalar initializer method should return zero or one scalar, but got %d", items);
 511    }
 512    PUTBACK;
 513
 514    FREETMPS;
 515    LEAVE;
 516   }
 517
 518   return CALL_FPTR(oi.old_pp_padsv)(aTHX);
 519  }
 520
 521  return CALL_FPTR(PL_ppaddr[OP_PADSV])(aTHX);
 522 }
 523
 524 STATIC void lt_pp_padsv_save(pMY_CXT) {
 525 #define lt_pp_padsv_save() lt_pp_padsv_save(aMY_CXT)
 526  if (MY_CXT.pp_padsv_saved)
 527   return;
 528
 529  MY_CXT.pp_padsv_saved = PL_ppaddr[OP_PADSV];
 530  PL_ppaddr[OP_PADSV]   = lt_pp_padsv;
 531 }
 532
 533 STATIC void lt_pp_padsv_restore(pMY_CXT_ OP *o) {
 534 #define lt_pp_padsv_restore(O) lt_pp_padsv_restore(aMY_CXT_ (O))
 535  OP *(*saved)(pTHX) = MY_CXT.pp_padsv_saved;
 536
 537  if (!saved)
 538   return;
 539
 540  if (o->op_ppaddr == lt_pp_padsv)
 541   o->op_ppaddr = saved;
 542
 543  PL_ppaddr[OP_PADSV]   = saved;
 544  MY_CXT.pp_padsv_saved = 0;
 545 }
 546
 547 /* ... Our ck_pad{any,sv} .................................................. */
 548
 549 /* Sadly, the PADSV OPs we are interested in don't trigger the padsv check
 550  * function, but are instead manually mutated from a PADANY. This is why we set
 551  * PL_ppaddr[OP_PADSV] in the padany check function so that PADSV OPs will have
 552  * their pp_ppaddr set to our pp_padsv. PL_ppaddr[OP_PADSV] is then reset at the
 553  * beginning of every ck_pad{any,sv}. Some unwanted OPs can still call our
 554  * pp_padsv, but much less than if we would have set PL_ppaddr[OP_PADSV]
 555  * globally. */
 556
 557 STATIC OP *(*lt_old_ck_padany)(pTHX_ OP *) = 0;
 558
 559 STATIC OP *lt_ck_padany(pTHX_ OP *o) {
 560  HV *stash;
 561  SV *code;
 562  dMY_CXT;
 563
 564  lt_pp_padsv_restore(o);
 565
 566  o = CALL_FPTR(lt_old_ck_padany)(aTHX_ o);
 567
 568  stash = PL_in_my_stash;
 569  if (stash && (code = lt_hint())) {
 570   SV *orig_pkg  = newSVpvn(HvNAME_get(stash), HvNAMELEN_get(stash));
 571   SV *orig_meth = MY_CXT.default_meth;
 572   SV *type_pkg  = NULL;
 573   SV *type_meth = NULL;
 574   int items;
 575
 576   dSP;
 577
 578   SvREADONLY_on(orig_pkg);
 579
 580   ENTER;
 581   SAVETMPS;
 582
 583   PUSHMARK(SP);
 584   EXTEND(SP, 2);
 585   PUSHs(orig_pkg);
 586   PUSHs(orig_meth);
 587   PUTBACK;
 588
 589   items = call_sv(code, G_ARRAY);
 590
 591   SPAGAIN;
 592   if (items > 2)
 593    croak(__PACKAGE__ " mangler should return zero, one or two scalars, but got %d", items);
 594   if (items == 0) {
 595    SvREFCNT_dec(orig_pkg);
 596    FREETMPS;
 597    LEAVE;
 598    goto skip;
 599   } else {
 600    SV *rsv;
 601    if (items > 1) {
 602     rsv = POPs;
 603     if (SvOK(rsv)) {
 604      type_meth = newSVsv(rsv);
 605      SvREADONLY_on(type_meth);
 606     }
 607    }
 608    rsv = POPs;
 609    if (SvOK(rsv)) {
 610     type_pkg = newSVsv(rsv);
 611     SvREADONLY_on(type_pkg);
 612    }
 613   }
 614   PUTBACK;
 615
 616   FREETMPS;
 617   LEAVE;
 618
 619   if (!type_pkg) {
 620    type_pkg = orig_pkg;
 621    SvREFCNT_inc(orig_pkg);
 622   }
 623
 624   if (!type_meth) {
 625    type_meth = orig_meth;
 626    SvREFCNT_inc(orig_meth);
 627   }
 628
 629   lt_pp_padsv_save();
 630
 631   lt_map_store(o, orig_pkg, type_pkg, type_meth, MY_CXT.pp_padsv_saved);
 632  } else {
 633 skip:
 634   lt_map_delete(o);
 635  }
 636
 637  return o;
 638 }
 639
 640 STATIC OP *(*lt_old_ck_padsv)(pTHX_ OP *) = 0;
 641
 642 STATIC OP *lt_ck_padsv(pTHX_ OP *o) {
 643  dMY_CXT;
 644
 645  lt_pp_padsv_restore(o);
 646
 647  lt_map_delete(o);
 648
 649  return CALL_FPTR(lt_old_ck_padsv)(aTHX_ o);
 650 }
 651
 652 STATIC U32 lt_initialized = 0;
 653
 654 STATIC void lt_teardown(pTHX_ void *root) {
 655  dMY_CXT;
 656
 657  if (!lt_initialized)
 658   return;
 659
 660 #if LT_MULTIPLICITY
 661  if (aTHX != root)
 662   return;
 663 #endif
 664
 665 #if LT_THREADSAFE
 666  ptable_hints_free(MY_CXT.tbl);
 667 #endif
 668  SvREFCNT_dec(MY_CXT.default_meth);
 669
 670  PL_check[OP_PADANY] = MEMBER_TO_FPTR(lt_old_ck_padany);
 671  lt_old_ck_padany    = 0;
 672  PL_check[OP_PADSV]  = MEMBER_TO_FPTR(lt_old_ck_padsv);
 673  lt_old_ck_padsv     = 0;
 674
 675  lt_initialized = 0;
 676 }
 677
 678 STATIC void lt_setup(pTHX) {
 679 #define lt_setup() lt_setup(aTHX)
 680  if (lt_initialized)
 681   return;
 682
 683  {
 684   MY_CXT_INIT;
 685 #if LT_THREADSAFE
 686   MY_CXT.tbl            = ptable_new();
 687   MY_CXT.owner          = aTHX;
 688 #endif
 689   MY_CXT.pp_padsv_saved = 0;
 690   MY_CXT.default_meth   = newSVpvn("TYPEDSCALAR", 11);
 691   SvREADONLY_on(MY_CXT.default_meth);
 692  }
 693
 694  lt_old_ck_padany    = PL_check[OP_PADANY];
 695  PL_check[OP_PADANY] = MEMBER_TO_FPTR(lt_ck_padany);
 696  lt_old_ck_padsv     = PL_check[OP_PADSV];
 697  PL_check[OP_PADSV]  = MEMBER_TO_FPTR(lt_ck_padsv);
 698
 699 #if LT_MULTIPLICITY
 700  call_atexit(lt_teardown, aTHX);
 701 #else
 702  call_atexit(lt_teardown, NULL);
 703 #endif
 704
 705  lt_initialized = 1;
 706 }
 707
 708 STATIC U32 lt_booted = 0;
 709
 710 /* --- XS ------------------------------------------------------------------ */
 711
 712 MODULE = Lexical::Types      PACKAGE = Lexical::Types
 713
 714 PROTOTYPES: ENABLE
 715
 716 BOOT:
 717 {
 718  if (!lt_booted++) {
 719   HV *stash;
 720
 721   lt_op_map = ptable_new();
 722 #ifdef USE_ITHREADS
 723   MUTEX_INIT(&lt_op_map_mutex);
 724 #endif
 725
 726   PERL_HASH(lt_hash, __PACKAGE__, __PACKAGE_LEN__);
 727
 728   stash = gv_stashpvn(__PACKAGE__, __PACKAGE_LEN__, 1);
 729   newCONSTSUB(stash, "LT_THREADSAFE", newSVuv(LT_THREADSAFE));
 730  }
 731
 732  lt_setup();
 733 }
 734
 735 #if LT_THREADSAFE
 736
 737 void
 738 CLONE(...)
 739 PROTOTYPE: DISABLE
 740 PREINIT:
 741  ptable *t;
 742  int    *level;
 743  SV     *cloned_default_meth;
 744 PPCODE:
 745  {
 746   my_cxt_t ud;
 747   dMY_CXT;
 748   ud.tbl   = t = ptable_new();
 749   ud.owner = MY_CXT.owner;
 750   ptable_walk(MY_CXT.tbl, lt_ptable_hints_clone, &ud);
 751   cloned_default_meth = lt_clone(MY_CXT.default_meth, MY_CXT.owner);
 752  }
 753  {
 754   MY_CXT_CLONE;
 755   MY_CXT.tbl            = t;
 756   MY_CXT.owner          = aTHX;
 757   MY_CXT.pp_padsv_saved = 0;
 758   MY_CXT.default_meth   = cloned_default_meth;
 759  }
 760  {
 761   level = PerlMemShared_malloc(sizeof *level);
 762   *level = 1;
 763   LEAVEn("sub");
 764   SAVEDESTRUCTOR_X(lt_thread_cleanup, level);
 765   ENTERn("sub");
 766  }
 767  XSRETURN(0);
 768
 769 #endif
 770
 771 SV *
 772 _tag(SV *value)
 773 PROTOTYPE: $
 774 CODE:
 775  RETVAL = lt_tag(value);
 776 OUTPUT:
 777  RETVAL