This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
 author David Mitchell Sun, 8 Nov 2015 15:16:09 +0000 (15:16 +0000) committer David Mitchell Wed, 3 Feb 2016 09:18:33 +0000 (09:18 +0000)
Currently pp_leavesub() doesn't call FREETMPS. Presumably this is due to
the danger of freeing temps that need to exist beyond the return, such
as the mortal copies we make of return args, or return args that are

The down side of this is that temps aren't freed until the next nextstate
is executed following the function call. If the function isn't near a
statement boundary, then it may be a while before temps are freed; e.g.
in f(g()), when g() returns, its temps continue to exist during the call
to f(). For recursive subs it gets worse, although there is a specific
hack already in pp_leavesub() that says in scalar context if CvDEPTH > 1,
then temporarily RC++ the single return value then do a FREETMPS. This
can in theory leak if something dies during the FREETMPS.

This commit provides a more general solution. During the course of
processing (usually mortal copying) the return args, it divides the
current temps stack frame into two halves, with the temps that need
keeping migrating to the bottom half. It then does a FREETMPS equivalent
only of the top half.

This is actually more efficient than it sounds; but in addition, the code
has been heavily optimised: in particular the call to sv_mortalcopy()
has been unrolled and inlined, and within that code common cases (such as
IV, RV) handled directly, and the mortal stack is only checked/extended
once, rather than for every arg.

Also, the arg adjust / freetmps code has been moved out of pp_leavesub()
and into a separate static function.

 pp_hot.c patch | blob | blame | history t/op/sub.t patch | blob | blame | history t/perf/benchmarks patch | blob | blame | history

index e212997..4c6beb4 100644 (file)
--- a/pp_hot.c
+++ b/pp_hot.c
PP(pp_grepwhile)
}
}

-PP(pp_leavesub)
+ *
+ * Process the sub's return args (in the range base_sp+1 .. PL_stack_sp),
+ * and do the equivalent of a FREEMPS (and TAINT_NOT).
+ * Not intended to be called in void context.
+ *
+ * The main things done to process the return args are:
+ *    * in scalar context, only return the last arg (or PL_sv_undef if none);
+ *    * make a TEMP copy of every return arg, except where we can optimise
+ *      the copy away without it being semantically visible;
+ *    * make sure the arg isn't prematurely freed; in the case of an arg
+ *      not copied, this may involve mortalising it. For example, in
+ *      C<sub f { my \$x = ...; \$x }>, \$x would be freed when we do
+ *      CX_LEAVE_SCOPE(cx) unless it's protected or copied.
+ *
+ * There is a big issue with doing a FREETMPS. We would like to free any
+ * temps created by the last statement the sub executed, rather than
+ * leaving them for the caller. In a situation where a sub call isn't
+ * soon followed by a nextstate (e.g. nested recursive calls, a la
+ * fibonacci()), temps can accumulate, causing memory and performance
+ * issues.
+ *
+ * On the other hand, we don't want to free any TEMPs which are keeping
+ * alive any return args that we skip copying; nor do we wish to undo any
+ * mortalising or mortal copying we do here.
+ *
+ * The solution is to split the temps stack frame into two, with a cut
+ * point delineating the two halves. We arrange that by the end of this
+ * function, all the temps stack frame entries we wish to keep are in the
+ * range  PL_tmps_floor+1.. tmps_base-1, while the ones we free now are in
+ * the range  tmps_base .. PL_tmps_ix.  During the course of this
+ * function, tmps_base starts off as PL_tmps_floor+1, then increases
+ * whenever we find or create a temp that we know should be kept. In
+ * general the stuff above tmps_base is undecided until we reach the end,
+ * and we may need a sort stage for that.
+ *
+ * To determine whether a TEMP is keeping a return arg alive, every
+ * arg that is kept rather than copied and which has the SvTEMP flag
+ * set, has the flag temporarily unset, to mark it. At the end we scan
+ * stack temps stack frame above the cut for entries without SvTEMP and
+ * keep them, while turning SvTEMP on again. Note that if we die before
+ * the SvTEMPs are enabled again, its safe: at worst, subsequent use of
+ * those SVs may be slightly less efficient.
+ *
+ * In practice various optimisations for some common cases mean we can
+ * avoid most of the scanning and swapping about with the temps stack.
+ */
+
+STATIC void
{
dSP;
-    SV **mark;
-    SV **newsp;
+    SV    **from_sp;   /* where we're copying args from */
+    SSize_t tmps_base; /* lowest index into tmps stack that needs freeing now */
+    SSize_t nargs;
+
+    TAINT_NOT;
+
+    if (gimme == G_ARRAY) {
+        from_sp = base_sp + 1;
+        nargs   = SP - base_sp;
+    }
+    else {
+        assert(gimme == G_SCALAR);
+        if (UNLIKELY(base_sp >= SP)) {
+            /* no return args */
+            assert(base_sp == SP);
+            EXTEND(SP, 1);
+            *++SP = &PL_sv_undef;
+            base_sp = SP;
+            nargs   = 0;
+        }
+        else {
+            from_sp = SP;
+            nargs   = 1;
+        }
+    }
+
+    /* common code for G_SCALAR and G_ARRAY */
+
+    tmps_base = PL_tmps_floor + 1;
+
+    assert(nargs >= 0);
+    if (nargs) {
+        /* pointer version of tmps_base. Not safe across temp stack
+         * reallocs. */
+        SV **tmps_basep;
+
+        EXTEND_MORTAL(nargs); /* one big extend for worst-case scenario */
+        tmps_basep = PL_tmps_stack + tmps_base;
+        /* whether any SVs have have SvTEMP temporarily turned off,
+         * indicating that they need saving below the cut */
+
+        /* process each return arg */
+
+        do {
+            SV *sv = *from_sp++;
+
+            assert(PL_tmps_ix + nargs < PL_tmps_max);
+
+            if (SvTEMP(sv) && !SvMAGICAL(sv) && SvREFCNT(sv) == 1) {
+                /* can optimise away the copy */
+                *++base_sp = sv;
+
+                /* Since this SV is an SvTEMP with a ref count of 1, we
+                 * don't need to re-mortalise it; instead we just need to
+                 * ensure that its existing entry in the temps stack frame
+                 * ends up below the cut and so avoids being freed this
+                 * time round. We mark it as needing to be kept by
+                 * temporarily unsetting SvTEMP; then at the end, we
+                 * shuffle any !SvTEMP entries on the tmps stack back
+                 * below the cut.
+                 * However, there's a significant chance that there's a
+                 * 1:1 correspondence between the first few (or all)
+                 * elements in the return args stack frame and those in
+                 * the temps stack frame;
+                 * e,g.  sub f { ....; map {...} .... },
+                 * or e.g. if we're exiting multiple scopes and one of the
+                 * return arg.
+                 *
+                 * If so, this arg sv will correspond to the next item
+                 * above the cut, and so can be kept merely by moving the
+                 * cut boundary up one, rather than messing with SvTEMP.
+                 * If all args arre 1:1 then we can avoid the sorting
+                 * stage below completely.
+                 */
+                if (sv == *tmps_basep)
+                    tmps_basep++;
+                else
+                    SvTEMP_off(sv);
+            }
+            else {
+                /* Make a mortal copy of the SV.
+                 * The following code is the equivalent of sv_mortalcopy()
+                 * except that:
+                 *  * it assumes the temps stack has already been extended;
+                 *  * it optimises the copying for some simple SV types;
+                 *  * it puts the new item at the cut rather than at
+                 *    ++PL_tmps_ix, moving the previous occupant there
+                 */
+                SV *newsv = newSV(0);
+
+                PL_tmps_stack[++PL_tmps_ix] = *tmps_basep;
+                /* put it on the tmps stack early so it gets freed if we die */
+                *tmps_basep++ = newsv;
+                *++base_sp = newsv;
+
+                if (SvTYPE(sv) <= SVt_IV) {
+                    /* arg must be one of undef, IV/UV, or RV: skip
+                     * sv_setsv_flags() and do the copy directly */
+                    U32 dstflags;
+                    U32 srcflags = SvFLAGS(sv);
+
+                    assert(!SvGMAGICAL(sv));
+                    if (srcflags & (SVf_IOK|SVf_ROK)) {
+                        SET_SVANY_FOR_BODYLESS_IV(newsv);
+
+                        if (srcflags & SVf_ROK) {
+                            newsv->sv_u.svu_rv = SvREFCNT_inc(SvRV(sv));
+                            /* SV type plus flags */
+                            dstflags = (SVt_IV|SVf_ROK|SVs_TEMP);
+                        }
+                        else {
+                            /* both src and dst are <= SVt_IV, so sv_any
+                             * directly rather than going via sv_any.
+                             */
+                            assert(    &(sv->sv_u.svu_iv)
+                                    == &(((XPVIV*) SvANY(sv))->xiv_iv));
+                            assert(    &(newsv->sv_u.svu_iv)
+                                    == &(((XPVIV*) SvANY(newsv))->xiv_iv));
+                            newsv->sv_u.svu_iv = sv->sv_u.svu_iv;
+                            /* SV type plus flags */
+                            dstflags = (SVt_IV|SVf_IOK|SVp_IOK|SVs_TEMP
+                                            |(srcflags & SVf_IVisUV));
+                        }
+                    }
+                    else {
+                        assert(!(srcflags & SVf_OK));
+                        dstflags = (SVt_NULL|SVs_TEMP); /* SV type plus flags */
+                    }
+                    SvFLAGS(newsv) = dstflags;
+
+                }
+                else {
+                    /* do the full sv_setsv() */
+                    SSize_t old_base;
+
+                    SvTEMP_on(newsv);
+                    old_base = tmps_basep - PL_tmps_stack;
+                    SvGETMAGIC(sv);
+                    sv_setsv_flags(newsv, sv, SV_DO_COW_SVSETSV);
+                    /* the mg_get or sv_setv might have created new temps
+                     * or realloced the tmps stack; regrow and reload */
+                    EXTEND_MORTAL(nargs);
+                    tmps_basep = PL_tmps_stack + old_base;
+                    TAINT_NOT; /* Each item is independent */
+                }
+
+            }
+        } while (--nargs);
+
+        /* If there are any temps left above the cut, we need to sort
+         * them into those to keep and those to free. The only ones to
+         * keep are those for which we've temporarily unset SvTEMP.
+         * Work inwards from the two ends at tmps_basep .. PL_tmps_ix,
+         * swapping pairs as necessary. Stop when we meet in the middle.
+         */
+        {
+            SV **top = PL_tmps_stack + PL_tmps_ix;
+            while (tmps_basep <= top) {
+                SV *sv = *top;
+                if (SvTEMP(sv))
+                    top--;
+                else {
+                    SvTEMP_on(sv);
+                    *top = *tmps_basep;
+                    *tmps_basep = sv;
+                    tmps_basep++;
+                }
+            }
+        }
+
+        tmps_base = tmps_basep - PL_tmps_stack;
+    }
+
+    PL_stack_sp = base_sp;
+
+    /* unrolled FREETMPS() but using tmps_base-1 rather than PL_tmps_floor */
+    while (PL_tmps_ix >= tmps_base) {
+        SV* const sv = PL_tmps_stack[PL_tmps_ix--];
+#ifdef PERL_POISON
+        PoisonWith(PL_tmps_stack + PL_tmps_ix + 1, 1, SV *, 0xAB);
+#endif
+        if (LIKELY(sv)) {
+            SvTEMP_off(sv);
+            SvREFCNT_dec_NN(sv); /* note, can modify tmps_ix!!! */
+        }
+    }
+}
+
+
+PP(pp_leavesub)
+{
I32 gimme;
PERL_CONTEXT *cx;
+    SV **oldsp;
OP *retop;

cx = CX_CUR();
@@ -3301,62 +3543,13 @@ PP(pp_leavesub)
return 0;
}

-    newsp = PL_stack_base + cx->blk_oldsp;
gimme = cx->blk_gimme;
+    oldsp = PL_stack_base + cx->blk_oldsp; /* last arg of previous frame */

-    TAINT_NOT;
-    if (gimme == G_SCALAR) {
-       MARK = newsp + 1;
-       if (LIKELY(MARK <= SP)) {
-            /* if we are recursing, then free the current tmps.
-             * Normally we don't bother and rely on the caller to do this,
-             * because early tmp freeing tends to free the args we're
-             * returning.
-             * Doing it for recursion ensures the things like the
-             * fibonacci benchmark don't fill up the tmps stack because
-             * it never reaches an outer nextstate */
-           if (cx->blk_sub.olddepth) {
-               if (SvTEMP(TOPs) && SvREFCNT(TOPs) == 1
-                    && !SvMAGICAL(TOPs)) {
-                   *MARK = SvREFCNT_inc(TOPs);
-                   FREETMPS;
-                   sv_2mortal(*MARK);
-               }
-               else {
-                    SV *sv = SvREFCNT_inc(TOPs); /* FREETMPS could clobber it */
-                   FREETMPS;
-                   *MARK = sv_mortalcopy(sv);
-                   SvREFCNT_dec_NN(sv);
-               }
-           }
-           else if (SvTEMP(TOPs) && SvREFCNT(TOPs) == 1
-                    && !SvMAGICAL(TOPs)) {
-               *MARK = TOPs;
-           }
-           else
-               *MARK = sv_mortalcopy(TOPs);
-       }
-       else {
-           MEXTEND(MARK, 0);
-           *MARK = &PL_sv_undef;
-       }
-       SP = MARK;
-    }
-    else if (gimme == G_ARRAY) {
-       for (MARK = newsp + 1; MARK <= SP; MARK++) {
-           if (!SvTEMP(*MARK) || SvREFCNT(*MARK) != 1
-                || SvMAGICAL(*MARK)) {
-               *MARK = sv_mortalcopy(*MARK);
-               TAINT_NOT;      /* Each item is independent */
-           }
-       }
-    }
-    else {
-        /* G_VOID */
-        SP = newsp;
-    }
-
-    PUTBACK;
+    if (gimme == G_VOID)
+        PL_stack_sp = oldsp;
+    else

CX_LEAVE_SCOPE(cx);
POPSUB(cx);        /* Stack values are safe: release CV and @_ ... */
index cc6501d..a299447 100644 (file)
@@ -6,7 +6,7 @@ BEGIN {
set_up_inc('../lib');
}

-plan(tests => 61);
+plan(tests => 62);

sub empty_sub {}

@@ -391,3 +391,15 @@ is(join('-', 10, check_ret(-1,5)),      "10",  "check_ret(-1,5) list");
my \$a = [ f99(1), f99(2) ];
is("@\$a", "1x 2x", "PADTMPs copied on return");
}
+
+# A sub should FREETMPS on exit
+# RT #124248
+
+{
+    package p124248;
+    my \$d = 0;
+    sub DESTROY { \$d++ }
+    sub f { ::is(\$d, 1, "RT 124248"); }
+    sub g { !!(my \$x = bless []); }
+    f(g());
+}
index ba9b278..2a04845 100644 (file)
setup   => 'sub f { }',
code    => 'f()',
},
+    'call::sub::amp_empty' => {
+        desc    => '&foo function call with no args or body',
+        setup   => 'sub f { }; @_ = ();',
+        code    => '&f',
+    },
'call::sub::args3' => {
desc    => 'function call with 3 local lexical vars',
setup   => 'sub f { my (\$a, \$b, \$c) = @_; 1 }',
code    => 'f(1,2,3)',
},
+    'call::sub::args2_ret1' => {
+        desc    => 'function call with 2 local lex vars and 1 return value',
+        setup   => 'my \$x; sub f { my (\$a, \$b) = @_; \$a+\$b }',
+        code    => '\$x = f(1,2)',
+    },
+    'call::sub::args2_ret1temp' => {
+        desc    => 'function call with 2 local lex vars and 1 return TEMP value',
+        setup   => 'my \$x; sub f { my (\$a, \$b) = @_; \\$a }',
+        code    => '\$x = f(1,2)',
+    },
'call::sub::args3_ret3' => {
desc    => 'function call with 3 local lex vars and 3 return values',
setup   => 'my @a; sub f { my (\$a, \$b, \$c) = @_; \$a+\$b, \$c, 1 }',
code    => '@a = f(1,2,3)',
},
+    'call::sub::args3_ret3str' => {
+        desc    => 'function call with 3 local lex vars and 3 string return values',
+        setup   => 'my @a; sub f { my (\$a, \$b, \$c) = @_; my @s = ("aa","bb","cc"); @s }',
+        code    => '@a = f(1,2,3)',
+    },
+    'call::sub::args3_ret3temp' => {
+        desc    => 'function call with 3 local lex vars and 3 TEMP return values',
+        setup   => 'my @a; sub f { my (\$a, \$b, \$c) = @_; 1..3 }',
+        code    => '@a = f(1,2,3)',
+    },
+    'call::sub::recursive' => {
+        desc    => 'basic recursive function call',
+        setup   => 'my \$x; sub f { my (\$i) = @_; \$i > 0 ? \$i + f(\$i-1) : 0 }',
+        code    => '\$x = f(1)',
+    },

'call::goto::empty' => {
desc    => 'goto &funtion with no args or body',
{"ft_lang_label":"__label__en","ft_lang_prob":0.64809865,"math_prob":0.91015375,"size":11147,"snap":"2021-21-2021-25","text_gpt3_token_len":3621,"char_repetition_ratio":0.12043435,"word_repetition_ratio":0.10743427,"special_character_ratio":0.38369069,"punctuation_ratio":0.1835093,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9646668,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-05-17T11:12:31Z\",\"WARC-Record-ID\":\"<urn:uuid:7598863c-8588-4287-aadc-3a7a7ad0f468>\",\"Content-Length\":\"67991\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:69f6c5e8-d3c4-49a6-94a0-fc66eee9237f>\",\"WARC-Concurrent-To\":\"<urn:uuid:04ee1ddb-9638-4094-a6f4-b82c1b4be914>\",\"WARC-IP-Address\":\"188.166.18.220\",\"WARC-Target-URI\":\"https://perl5.git.perl.org/perl5.git/commitdiff/f7a874b868f5a21432be489ac4efc417525c52f6\",\"WARC-Payload-Digest\":\"sha1:VHLCN4YWOR4TFNWEKJXUSLQKP7K3XY53\",\"WARC-Block-Digest\":\"sha1:NKAN6HJQZ6W5YADSPAQPV2KQGDEDPC4H\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-21/CC-MAIN-2021-21_segments_1620243992159.64_warc_CC-MAIN-20210517084550-20210517114550-00135.warc.gz\"}"}