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